public class ExtendibleTrace extends java.lang.Object implements java.lang.Comparable<ExtendibleTrace>
Constructor and Description |
---|
ExtendibleTrace()
Creates a new empty extendible trace
|
ExtendibleTrace(ExtendibleTrace trace)
Creates a new extendible trace as a deep copy of the given one
|
ExtendibleTrace(java.lang.Integer event)
Creates a new extendible trace with the given element
|
Modifier and Type | Method and Description |
---|---|
ExtendibleTrace |
appendToNew(java.lang.Integer a,
boolean activation)
Append the given element to the current string
|
int |
compareTo(ExtendibleTrace o) |
java.util.LinkedList<java.lang.Integer> |
getActivations() |
java.util.LinkedList<java.lang.Integer> |
getTrace() |
boolean |
isContained(ExtendibleTrace larger)
Method to check if the current trace is contained into the other one
|
boolean |
isViolation() |
void |
setViolation(boolean isViolation) |
java.lang.String |
toString() |
public ExtendibleTrace()
public ExtendibleTrace(java.lang.Integer event)
event
- public ExtendibleTrace(ExtendibleTrace trace)
trace
- public ExtendibleTrace appendToNew(java.lang.Integer a, boolean activation)
a
- public java.util.LinkedList<java.lang.Integer> getTrace()
public java.util.LinkedList<java.lang.Integer> getActivations()
public java.lang.String toString()
toString
in class java.lang.Object
public int compareTo(ExtendibleTrace o)
compareTo
in interface java.lang.Comparable<ExtendibleTrace>
public boolean isViolation()
public void setViolation(boolean isViolation)
isViolation
- the isViolation to setpublic boolean isContained(ExtendibleTrace larger)
larger
-