pilot
Interface StatesAndSituations

All Known Implementing Classes:
States, Situations

public interface StatesAndSituations


Method Summary
 void addName(java.lang.String name)
          The method addName adds a new name to the list.
 java.util.Vector getNames()
          The method getNames returns a vector with the names.
 int getWindowSize()
          The method getWindowSize returns the value of the window size.
 void setNames(java.util.Vector names)
          The method setNames sets the vector of names.
 void setWindowSize(int ws)
          The method setWindowSize sets the value of the property windowSize_.
 int size()
          The method size returns the size of the object.
 

Method Detail

getWindowSize

public int getWindowSize()
The method getWindowSize returns the value of the window size.
Returns:
The value of the window size.

setWindowSize

public void setWindowSize(int ws)
The method setWindowSize sets the value of the property windowSize_.
Parameters:
ws - The value of the desired window size

setNames

public void setNames(java.util.Vector names)
The method setNames sets the vector of names.
Parameters:
names - The vector with names.

getNames

public java.util.Vector getNames()
The method getNames returns a vector with the names.
Returns:
The vector with the names.

addName

public void addName(java.lang.String name)
The method addName adds a new name to the list.
Parameters:
name - The name to be added

size

public int size()
The method size returns the size of the object.
Returns:
The size