public class ServerState
extends java.lang.Object
implements java.io.Externalizable
Modifier and Type | Field and Description |
---|---|
int |
conditionalFrameId
Tracks the frame ID associated with the conditional up or down.
|
int |
conditionalUpDown
Tracks any conditional up or down that must be applied.
|
int |
currentWindow
Current window ID
|
int[] |
deadFrames
A list of frames still registered, for which their instantiating procedure was deleted.
|
java.util.List<ColorTable.EnvironmentColorTable> |
environments
Environments
|
int |
formatCheckId
ID of frame which should enable hard format check.
|
int |
interactions
Tracks the number of I/O interactions within the current block.
|
java.util.List<MarkEntry> |
markList
List of deferred hiding/pausing state changes.
|
int |
nesting
Current procedure nesting.
|
Constructor and Description |
---|
ServerState()
Default constructor.
|
ServerState(ServerState old)
Copy constructor.
|
Modifier and Type | Method and Description |
---|---|
private void |
extractMarkEntries(MarkEntry[] markArray)
Convert array of mark entries to list.
|
private MarkEntry[] |
markListToArray()
Convert mark entries to array.
|
private void |
readEnvironment(java.io.ObjectInput in)
Deserialize environments.
|
void |
readExternal(java.io.ObjectInput in)
Replacement for the default object reading method.
|
void |
reset()
Reset state.
|
private void |
writeEnvironment(java.io.ObjectOutput out)
Serialize environments.
|
void |
writeExternal(java.io.ObjectOutput out)
Replacement for the default object writing method.
|
public int interactions
public int conditionalUpDown
public int conditionalFrameId
public java.util.List<MarkEntry> markList
public int formatCheckId
public int nesting
public java.util.List<ColorTable.EnvironmentColorTable> environments
public int currentWindow
public int[] deadFrames
public ServerState()
public ServerState(ServerState old)
old
- The instance to duplicate.public void reset()
public void readExternal(java.io.ObjectInput in) throws java.io.IOException, java.lang.ClassNotFoundException
readExternal
in interface java.io.Externalizable
in
- Input source from which fields will be restored.java.io.IOException
- In case of I/O errors.java.lang.ClassNotFoundException
- If payload can't be instantiated.public void writeExternal(java.io.ObjectOutput out) throws java.io.IOException
writeExternal
in interface java.io.Externalizable
out
- The output destination to which fields will be saved.java.io.IOException
- In case of I/O errors.private void extractMarkEntries(MarkEntry[] markArray)
markArray
- Array of mark entries.private MarkEntry[] markListToArray()
private void writeEnvironment(java.io.ObjectOutput out) throws java.io.IOException
out
- Output stream.java.io.IOException
- In case of serialization error.private void readEnvironment(java.io.ObjectInput in) throws java.io.IOException, java.lang.ClassNotFoundException
in
- Input stream.java.io.IOException
java.lang.ClassNotFoundException
- In case of deserialization errors.