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

Field Summary
 java.util.Vector contracts
           
 boolean isFailure
          Does this state represent a failure state
 boolean isFinal
          Does this state represent a finished/success state
 boolean isStart
          Does this state represent a starting state.
 java.lang.String name
           
 java.awt.Rectangle position
           
 java.util.Vector satisfaction
           
(package private) static long serialVersionUID
           
 java.lang.String type
           
 
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
 

Field Detail

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
Constructor Detail

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)
Method Detail

setContracts

public void setContracts(java.util.Vector contractSpecs)
This function doesn't really do anything except set the contract vector.