|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbaobab.trace.Trace
public class Trace
The Trace class represents a trace.
Constructor Summary | |
---|---|
Trace(int[] element,
int elementSize)
Constructs a Trace |
|
Trace(Trace rule)
Constructs a Trace, as a clone of a given trace |
Method Summary | |
---|---|
void |
addElement(int[] element,
int elementSize,
int prevNumberOfElements)
Adds a new element to this trace |
byte[] |
getBytes(int elementSize,
int numberOfElements)
Produces a string representation of a trace |
int[] |
getDebugElementData()
|
java.util.Vector<int[]> |
getElements(int elementSize,
int numberOfElements)
Decode the trace as a Vector of elements (represented as arrays of ints) |
java.util.Vector<BitList> |
getElementsAsBitLists(int elementSize,
int numberOfElements)
Decode the trace as a Vector of elements (represented as arrays of bytes) |
int |
getHeightOf(BitList element,
int elementSize,
int numberOfElements)
|
long |
getNumberOfOccurrences()
Gets the number of occurrences of this trace |
int |
height(int elementSize,
int numberOfElements)
|
void |
incrementDebugNumberOfElements()
|
void |
incrementOccurrences(long add)
Increments the number of this trace |
boolean |
isEmpty()
Tests whether this joinable object is empty |
void |
join(Trace trace)
Join (merge) the object joinable to this object |
java.lang.String |
normalFormString(int elementSize,
int numberOfElements)
Produces a string representation of a trace |
java.lang.String |
normalFormString(int elementSize,
int numberOfElements,
java.lang.String[] mapIntToName,
boolean condenseNames)
Produces a string representation of a trace |
static Trace |
parse(java.lang.String description,
int elementSize,
int numberOfElements)
|
static Trace |
parse(java.lang.String description,
int elementSize,
int numberOfElements,
java.util.Hashtable<java.lang.String,java.lang.Integer> mapNamesToInt)
|
static Trace |
parseBitList(byte[] list,
int elementSize,
int numberOfElements)
|
Trace |
reverse(int elementSize,
int numberOfElements)
|
void |
setDebugElementData(int[] debugData)
|
void |
split(Trace trace)
Split the object joinable from this object |
java.lang.String |
toString()
|
java.lang.String |
toString(int elementSize,
int numberOfElements)
Produces a string representation of a trace |
java.lang.String |
toString(int elementSize,
int numberOfElements,
java.lang.String[] mapIntToName,
boolean condenseNames)
Produces a string representation of a trace |
java.lang.String |
toString(int elementSize,
int numberOfElements,
java.lang.String[] mapIntToName,
java.util.Hashtable<java.lang.String,java.util.TreeSet<java.lang.String>> mapNamesToDescriptions,
boolean condenseNames)
Produces a string representation of a trace |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Trace(int[] element, int elementSize)
element
- the first element represented as an array of intselementSize
- the maximum value for all elementspublic Trace(Trace rule)
rule
- the give traceMethod Detail |
---|
public static Trace parse(java.lang.String description, int elementSize, int numberOfElements, java.util.Hashtable<java.lang.String,java.lang.Integer> mapNamesToInt)
public static Trace parse(java.lang.String description, int elementSize, int numberOfElements)
public static Trace parseBitList(byte[] list, int elementSize, int numberOfElements)
public void setDebugElementData(int[] debugData)
public int[] getDebugElementData()
public void incrementDebugNumberOfElements()
public void incrementOccurrences(long add)
add
- the number of occurrences to addpublic int getHeightOf(BitList element, int elementSize, int numberOfElements)
public long getNumberOfOccurrences()
public java.util.Vector<int[]> getElements(int elementSize, int numberOfElements)
elementSize
- the maximum value for all elementsnumberOfElements
- the number of elements on this trace
public java.util.Vector<BitList> getElementsAsBitLists(int elementSize, int numberOfElements)
elementSize
- the maximum value for all elementsnumberOfElements
- the number of elements on this trace
public void addElement(int[] element, int elementSize, int prevNumberOfElements)
element
- the element to be added, represented as an array of intselementSize
- the maximum value for all elements of this traceprevNumberOfElements
- the previous number of elements on this tracepublic int height(int elementSize, int numberOfElements)
public Trace reverse(int elementSize, int numberOfElements)
public java.lang.String normalFormString(int elementSize, int numberOfElements)
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String normalFormString(int elementSize, int numberOfElements, java.lang.String[] mapIntToName, boolean condenseNames)
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String toString(int elementSize, int numberOfElements)
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public byte[] getBytes(int elementSize, int numberOfElements)
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String toString(int elementSize, int numberOfElements, java.lang.String[] mapIntToName, boolean condenseNames)
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String toString(int elementSize, int numberOfElements, java.lang.String[] mapIntToName, java.util.Hashtable<java.lang.String,java.util.TreeSet<java.lang.String>> mapNamesToDescriptions, boolean condenseNames)
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String toString()
toString
in class java.lang.Object
public void join(Trace trace)
Joinable
join
in interface Joinable<Trace>
trace
- the object to be joinedpublic void split(Trace trace)
Joinable
split
in interface Joinable<Trace>
trace
- the object to be splittedpublic boolean isEmpty()
Joinable
isEmpty
in interface Joinable<Trace>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |