pipe.io
Class StateRecord

java.lang.Object
  extended by pipe.io.StateRecord

public class StateRecord
extends java.lang.Object


Constructor Summary
StateRecord()
           
StateRecord(Marking newstate)
           
 
Method Summary
 int getID()
           
 int[] getState()
           
 boolean getTangible()
           
 void read(int statesize, java.io.RandomAccessFile ipfile)
           
 void read1(int statesize, java.io.RandomAccessFile ipfile)
           
 void write(java.io.RandomAccessFile opfile)
           
 void write(java.io.RandomAccessFile opfile, boolean Tangible)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StateRecord

public StateRecord()

StateRecord

public StateRecord(Marking newstate)
Method Detail

write

public void write(java.io.RandomAccessFile opfile)
           throws java.io.IOException
Throws:
java.io.IOException

write

public void write(java.io.RandomAccessFile opfile,
                  boolean Tangible)
           throws java.io.IOException
Throws:
java.io.IOException

read

public void read(int statesize,
                 java.io.RandomAccessFile ipfile)
          throws java.io.IOException
Throws:
java.io.IOException

read1

public void read1(int statesize,
                  java.io.RandomAccessFile ipfile)
           throws java.io.IOException
Throws:
java.io.IOException

getState

public int[] getState()

getID

public int getID()

getTangible

public boolean getTangible()