EASE.Sensing.Specification
Class FileFormat

java.lang.Object
  |
  +--EASE.Sensing.Specification.FileFormat
public class FileFormat
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
 java.util.Vector activations
           
 java.util.Vector constants
           
 java.util.Vector expressions
           
 java.io.File file
           
 java.util.Vector ifs
           
 java.util.Vector satisfactions
           
 java.util.Vector sensors
           
(package private) static long serialVersionUID
           
 java.util.Vector transitions
           
 java.util.Vector unaryExpressions
           
 
Constructor Summary
FileFormat()
           
FileFormat(java.util.Vector sensors, java.util.Vector constants, java.util.Vector expressions, java.util.Vector unaryExpressions, java.util.Vector ifs, java.util.Vector satisfactions, java.util.Vector activations, java.util.Vector transitions)
           
 
Method Summary
 void addCell(Cell c)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

constants

public java.util.Vector constants

expressions

public java.util.Vector expressions

unaryExpressions

public java.util.Vector unaryExpressions

sensors

public java.util.Vector sensors

ifs

public java.util.Vector ifs

satisfactions

public java.util.Vector satisfactions

activations

public java.util.Vector activations

transitions

public java.util.Vector transitions

file

public transient java.io.File file

serialVersionUID

static final long serialVersionUID
Constructor Detail

FileFormat

public FileFormat(java.util.Vector sensors,
                  java.util.Vector constants,
                  java.util.Vector expressions,
                  java.util.Vector unaryExpressions,
                  java.util.Vector ifs,
                  java.util.Vector satisfactions,
                  java.util.Vector activations,
                  java.util.Vector transitions)

FileFormat

public FileFormat()
Method Detail

addCell

public void addCell(Cell c)