EASE.Agents.Specification
Class StateSave
java.lang.Object
|
+--EASE.Agents.Specification.StateSave
- public class StateSave
- extends java.lang.Object
- implements java.io.Serializable
This file contains the information required to
save and restore a state.
- See Also:
- Serialized Form
Constructor Summary |
StateSave(java.lang.String name,
java.lang.String type,
boolean isFinal,
boolean isStart,
boolean isFailure,
java.awt.Rectangle position,
java.util.Vector satisfaction,
java.util.Vector contracts)
|
StateSave(java.lang.String name,
java.lang.String type,
boolean isFinal,
boolean isStart,
java.awt.Rectangle position,
java.util.Vector satisfaction,
java.util.Vector contracts)
Deprecated. This constructor sets isFailure to default. |
Method Summary |
void |
setContracts(java.util.Vector contractSpecs)
This function doesn't really do anything except set the contract vector. |
Methods inherited from class java.lang.Object |
,
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
toString,
wait,
wait,
wait |
name
public java.lang.String name
type
public java.lang.String type
position
public java.awt.Rectangle position
satisfaction
public java.util.Vector satisfaction
contracts
public java.util.Vector contracts
isFailure
public boolean isFailure
- Does this state represent a failure state
isFinal
public boolean isFinal
- Does this state represent a finished/success state
isStart
public boolean isStart
- Does this state represent a starting state.
serialVersionUID
static final long serialVersionUID
StateSave
public StateSave(java.lang.String name,
java.lang.String type,
boolean isFinal,
boolean isStart,
java.awt.Rectangle position,
java.util.Vector satisfaction,
java.util.Vector contracts)
- Deprecated. This constructor sets isFailure to default.
- Old constructor
StateSave
public StateSave(java.lang.String name,
java.lang.String type,
boolean isFinal,
boolean isStart,
boolean isFailure,
java.awt.Rectangle position,
java.util.Vector satisfaction,
java.util.Vector contracts)
setContracts
public void setContracts(java.util.Vector contractSpecs)
- This function doesn't really do anything except set the contract vector.