public class RestrictedRepeatHistory extends Object implements History
int), that are not a priorily forbidden and that are done before
less than a specified threshold. This enables the user for instance to allow
each operation exactly once. Furthermore, this class has a switch that allows
to forbid an operation for which the reverse operation has been performed in the
last step.
| Constructor and Description |
|---|
RestrictedRepeatHistory()
This constructor creates an instance that allows to shift, shrink, and
expand the motif, to do the reverse operation, and to do each operation at most once.
|
RestrictedRepeatHistory(boolean allowReverse)
This constructor creates an instance that allows to shift, shrink, and
expand the motif, and allows to do each operation at most once.
|
RestrictedRepeatHistory(boolean allowShift,
boolean allowShrink,
boolean allowExpand)
This constructor creates an instance that allows to do each operation at
most once.
|
RestrictedRepeatHistory(boolean allowShift,
boolean allowShrink,
boolean allowExpand,
boolean allowReverse,
int threshold)
This constructor creates an instance with user specified allowed
operations and
threshold. |
RestrictedRepeatHistory(int threshold)
This constructor creates an instance that allows to shift shrink and
expand the motif.
|
RestrictedRepeatHistory(StringBuffer xml)
This is the constructor for the interface
Storable. |
| Modifier and Type | Method and Description |
|---|---|
void |
clear()
This method clears the history, i.e.
|
RestrictedRepeatHistory |
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.
|
StringBuffer |
toXML()
This method returns an XML representation as
StringBuffer of an
instance of the implementing class. |
public RestrictedRepeatHistory()
public RestrictedRepeatHistory(boolean allowReverse)
allowReverse - whether it is allowed to do the reverse operation as next operation or notpublic RestrictedRepeatHistory(int threshold)
threshold - the number of times each operation can be doneIllegalArgumentException - if the threshold is below 1public RestrictedRepeatHistory(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 RestrictedRepeatHistory(boolean allowShift,
boolean allowShrink,
boolean allowExpand,
boolean allowReverse,
int threshold)
throws IllegalArgumentException
threshold.allowShift - whether it is allowed to shift the motifallowShrink - whether it is allowed to shrink the motifallowExpand - whether it is allowed to expand the motifallowReverse - whether it is allowed to do the reverse operation as next operation or notthreshold - the number of times each operation can be doneIllegalArgumentException - if the threshold is below 1public RestrictedRepeatHistory(StringBuffer xml) throws NonParsableException
Storable.xml - the XML representation as StringBufferNonParsableException - if the XML representation could not be parsedpublic StringBuffer toXML()
StorableStringBuffer of an
instance of the implementing class.public RestrictedRepeatHistory clone() throws CloneNotSupportedException
Historyclone in interface Historyclone in class ObjectCloneNotSupportedException - if not possibleCloneable,
Object.clone()public void clear()
Historypublic boolean operationAllowed(int... op)
Historytrue if the specified operation is allowed, i.e. it does not conflict with any operation from the history.operationAllowed in interface Historyop - the operation to be testedtrue if the specified operation is allowedpublic void operationPerfomed(int... op)
HistoryoperationPerfomed in interface Historyop - the performed operation