|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbaobab.trace.Trace
baobab.trace.DecomposedTrace
public class DecomposedTrace
The DecomposedTrace class represents a decomposed trace.
Constructor Summary | |
---|---|
DecomposedTrace(int[] decomposition,
Trace[] parts,
int elementSize)
Constructs a DecomposedTrace |
Method Summary | |
---|---|
void |
addElements(java.util.Vector<BitList> elements,
int elementSize,
int prevNumberOfElements)
Adds a new element to this trace |
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,
java.util.Hashtable<java.lang.String,java.util.TreeSet<java.lang.String>> mapNamesToDescriptions,
boolean condenseNames)
Produces a string representation of a decomposed trace |
Methods inherited from class baobab.trace.Trace |
---|
addElement, getBytes, getDebugElementData, getElements, getElementsAsBitLists, getHeightOf, getNumberOfOccurrences, height, incrementDebugNumberOfElements, incrementOccurrences, isEmpty, join, normalFormString, normalFormString, parse, parse, parseBitList, reverse, setDebugElementData, split, toString, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public DecomposedTrace(int[] decomposition, Trace[] parts, int elementSize)
decomposition
- the number of elements in each component traceparts
- the component traceselementSize
- the maximum value for all elementsMethod Detail |
---|
public void addElements(java.util.Vector<BitList> elements, int elementSize, int prevNumberOfElements)
elements
- the elements to be added, represented a vector of BitListelementSize
- the maximum value for all elements of this traceprevNumberOfElements
- the previous number of elements on this tracepublic java.lang.String toString(int elementSize, int numberOfElements)
toString
in class Trace
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)
toString
in class Trace
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |