|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.jstacs.motifDiscovery.history.NoRevertHistory
public class NoRevertHistory
This class implements a history that allows operations, that are not a
priorily forbidden and do not create a configuration that has already be
considered. If not a priorily forbidden shrink operations are always allowed.
This history may not cause an termination of the motif discovery.
CappedHistory
Constructor Summary | |
---|---|
NoRevertHistory()
This constructor creates an instance that allows to shift shrink and expand the motif. |
|
NoRevertHistory(boolean allowShift,
boolean allowShrink,
boolean allowExpand)
This constructor creates an instance with user specified allowed operations. |
|
NoRevertHistory(StringBuffer xml)
This is the constructor for the interface Storable . |
Method Summary | |
---|---|
void |
clear()
This method clears the history, i.e. it removes all operations from the history. |
NoRevertHistory |
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. |
StringBuffer |
toXML()
This method returns an XML representation as StringBuffer of an
instance of the implementing class. |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public NoRevertHistory()
public NoRevertHistory(boolean allowShift, boolean allowShrink, boolean allowExpand)
allowShift
- whether it is allowed to shift the motifallowShrink
- whether it is allowed to shrink the motifallowExpand
- whether it is allowed to expand the motifpublic NoRevertHistory(StringBuffer xml) throws NonParsableException
Storable
.
xml
- the XML representation as StringBuffer
NonParsableException
- if the XML representation could not be parsedMethod Detail |
---|
public StringBuffer toXML()
Storable
StringBuffer
of an
instance of the implementing class.
toXML
in interface Storable
public NoRevertHistory clone() throws CloneNotSupportedException
History
clone
in interface History
clone
in class Object
CloneNotSupportedException
- if not possibleCloneable
,
Object.clone()
public void clear()
History
clear
in interface History
public boolean operationAllowed(int... op)
History
true
if the specified operation is allowed, i.e. it does not conflict with any operation from the history.
operationAllowed
in interface History
op
- the operation to be tested
true
if the specified operation is allowedpublic void operationPerfomed(int... op)
History
operationPerfomed
in interface History
op
- the performed operation
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |