pipe.io
Class StateRecord
java.lang.Object
pipe.io.StateRecord
public class StateRecord
- extends java.lang.Object
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 |
StateRecord
public StateRecord()
StateRecord
public StateRecord(Marking newstate)
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()