public class EID extends java.lang.Object implements java.lang.Comparable<EID>
Modifier and Type | Field and Description |
---|---|
int |
eventIdx
The index of the event within the trace.
|
int |
traceIdx
The index of the trace within the log.
|
Constructor and Description |
---|
EID(int traceIndex,
int eventIndex)
The constructor for the Event ID.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(EID other)
Method providing the natural ordering for comparing one EID with another.
|
boolean |
equals(java.lang.Object other)
Test for equality of an object with the Event ID instance.
|
java.lang.String |
toString()
Friendly representation of the Event ID for the cases where code is being debugged.
|
public final int traceIdx
public final int eventIdx
public EID(int traceIndex, int eventIndex)
traceIndex
- Index number for the trace in the log.eventIndex
- Index number for the event in the trace.public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
other
- The other object with which to test for equality.public int compareTo(EID other)
compareTo
in interface java.lang.Comparable<EID>
other
- The other EID with which to compare itself.