edu.hkust.afchecker.model
Class State

java.lang.Object
  edu.hkust.afchecker.model.State

public class State
extends java.lang.Object

Author: Andrew
File history: Created on July 16, 2011. Last update on Sept. 26, 2012.
Description: The class for representing a unique state in a finite state machine.

Constructor Summary

State(short stateNo, java.lang.String stateName)
constructor

Method Summary

java.lang.String	getName()
short	getNo()
void	setName(java.lang.String stateName) set the state name to stateName
void	setNo(short stateNo) set the state id to stateNo

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

State

public State(short stateNo,
             java.lang.String stateName)

constructor

Parameters:

stateNo -

stateName -

Method Detail

getNo

public short getNo()

Returns:

the id of the state, state id should be unique

setNo

public void setNo(short stateNo)

set the state id to stateNo

Parameters:

stateNo -

getName

public java.lang.String getName()

Returns:

the name of the state, state name should be unique

setName

public void setName(java.lang.String stateName)

set the state name to stateName

Parameters:

stateName -