public class FieldRecord.Record
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
int |
getIdentifier()
Get the identifier of this record.
|
int[] |
getIndices()
Get the indices on the left-hand side of the assignment.
|
long |
getTimestamp()
Get the timestamp taken at the time when the record is
created.
|
java.lang.Object |
getValue()
Get the old value of this record.
|
boolean |
isBackup()
Test if this record is a backup of an array.
|
java.lang.String |
toString()
Convert this record to a readable string.
|
public int getIdentifier()
public int[] getIndices()
public long getTimestamp()
public java.lang.Object getValue()
public boolean isBackup()
public java.lang.String toString()
toString
in class java.lang.Object