Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## pipe.io
Class StateRecord

    java.lang.Object
      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()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD