|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface History
This interface is used to manage the history of some process.
Method Summary | |
---|---|
void |
clear()
This method clears the history, i.e. it removes all operations from the history. |
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. it does not conflict with any operation from the history. |
void |
operationPerfomed(int... op)
This method puts an operation to the history. |
Methods inherited from interface de.jstacs.Storable |
---|
toXML |
Method Detail |
---|
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 tested
true
if the specified operation is allowedvoid operationPerfomed(int... op)
op
- the performed operationvoid clear()
History clone() throws CloneNotSupportedException
CloneNotSupportedException
- if not possibleCloneable
,
Object.clone()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |