|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectptolemy.backtrack.util.FieldRecordState
public class FieldRecordState
The state of a field record. A field record records the changes in a field.
Each Rollbackable
object may have 0 or more field records. The
information of a field record is kept in a field record state. When a new
checkpoint object is assigned to the Rollbackable
object, its
previous field record states are pushed on to stacks, and new states are
allocated. When the previous checkpoint object is restored to the Rollbackable
object, the previous field record states are popped out.
Red (tfeng) |
Red (tfeng) |
Field Summary | |
---|---|
private int |
_identifier
An increasing identifier for each record. |
private FieldRecord.RecordList[] |
_records
The record lists for all the dimensions. |
private int |
_totalNum
The total number of records in all the dimensions. |
Constructor Summary | |
---|---|
protected |
FieldRecordState(int dimensions)
Construct a field record. |
Method Summary | |
---|---|
protected int |
_decreaseTotalNum()
Decrease the total number of changes recorded in this field record state by 1. |
protected int |
_getIdentifier()
Get the identifier of this field record state. |
protected FieldRecord.RecordList[] |
_getRecords()
Get the array of change history for different numbers of indices. |
protected int |
_getTotalNum()
Get the total number of changes recorded in this field record state. |
protected int |
_increaseIdentifier()
Increase the identifier of this field record state by 1. |
protected int |
_increaseTotalNum()
Increase the total number of changes recorded in this field record state by 1. |
protected void |
_setTotalNum(int totalNum)
Set the total number of changes recorded in this field record state. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private int _identifier
private FieldRecord.RecordList[] _records
private int _totalNum
Constructor Detail |
---|
protected FieldRecordState(int dimensions)
dimensions
- The number of dimensions of this field.Method Detail |
---|
protected int _decreaseTotalNum()
_getTotalNum()
,
_increaseTotalNum()
,
_setTotalNum(int)
protected int _getIdentifier()
protected FieldRecord.RecordList[] _getRecords()
protected int _getTotalNum()
_setTotalNum(int)
protected int _increaseIdentifier()
_getIdentifier()
protected int _increaseTotalNum()
_decreaseTotalNum()
,
_getTotalNum()
,
_setTotalNum(int)
protected void _setTotalNum(int totalNum)
totalNum
- The new total number of changes._getTotalNum()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |