public class TraceElements extends java.lang.Object implements java.lang.Comparable<TraceElements>
| Constructor and Description |
|---|
TraceElements() |
TraceElements(ExecutionTrace executionTrace) |
TraceElements(ExecutionTrace executionTrace,
int numOfRecentActivity) |
TraceElements(TraceElements traceElements,
java.lang.String element) |
TraceElements(org.deckfour.xes.model.XTrace xTrace) |
| Modifier and Type | Method and Description |
|---|---|
void |
addElement(java.lang.String element) |
TraceElements |
addTrace(TraceElements traceElements) |
int |
compareTo(TraceElements arg0) |
boolean |
equals(java.lang.Object arg0) |
boolean |
equals(java.util.Vector<java.lang.String> arg0) |
java.lang.String |
getElement(int i) |
java.util.Vector<java.lang.String> |
getElements() |
int |
getNextActivityDistance(int from,
java.lang.String activity) |
int |
getSize() |
TraceElements |
getTraceElement(int i) |
int |
hashCode() |
boolean |
isStartedWithPrefix(TraceElements prefix) |
int |
size() |
TraceElements |
subTrace(int i) |
java.lang.String |
toString() |
public TraceElements()
public TraceElements(ExecutionTrace executionTrace, int numOfRecentActivity)
public TraceElements(ExecutionTrace executionTrace)
public TraceElements(org.deckfour.xes.model.XTrace xTrace)
public TraceElements(TraceElements traceElements, java.lang.String element)
public java.util.Vector<java.lang.String> getElements()
public void addElement(java.lang.String element)
public int hashCode()
hashCode in class java.lang.Objectpublic TraceElements addTrace(TraceElements traceElements)
public boolean isStartedWithPrefix(TraceElements prefix)
public int size()
public boolean equals(java.lang.Object arg0)
equals in class java.lang.Objectpublic boolean equals(java.util.Vector<java.lang.String> arg0)
public java.lang.String getElement(int i)
public TraceElements getTraceElement(int i)
public TraceElements subTrace(int i)
public int getNextActivityDistance(int from,
java.lang.String activity)
public int compareTo(TraceElements arg0)
compareTo in interface java.lang.Comparable<TraceElements>public int getSize()
public java.lang.String toString()
toString in class java.lang.Object