public class PrefixClosedLanguage.Trace
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String |
id |
| Constructor and Description |
|---|
Trace(int classesSize) |
| Modifier and Type | Method and Description |
|---|---|
void |
addEvent(int event) |
boolean |
equals(java.lang.Object trace) |
int[] |
getEventCount(int ignoredEventsFromEnd)
undefined behavior when ignoredEventsFromEnd > Trace.length()
|
int |
getLast() |
int |
hashCode() |
int |
length() |
java.lang.String |
toString() |
public void addEvent(int event)
public int length()
public int[] getEventCount(int ignoredEventsFromEnd)
public int getLast()
public boolean equals(java.lang.Object trace)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object