public interface History extends Cloneable, Storable
Modifier and Type | Method and Description |
---|---|
void |
clear()
This method clears the history, i.e.
|
History |
clone()
This method returns a deep copy of the instance
|
boolean |
operationAllowed(int... op)
Returns
true if the specified operation is allowed, i.e. |
void |
operationPerfomed(int... op)
This method puts an operation to the history.
|
boolean operationAllowed(int... op)
true
if the specified operation is allowed, i.e. it does not conflict with any operation from the history.op
- the operation to be testedtrue
if the specified operation is allowedvoid operationPerfomed(int... op)
op
- the performed operationvoid clear()
History clone() throws CloneNotSupportedException
CloneNotSupportedException
- if not possibleCloneable
,
Object.clone()