|
TPTP 4.4.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.hyades.execution.trace.util.RecordArray
This is the record for an array of variables.
| Constructor Summary | |
|---|---|
RecordArray(java.lang.String event,
java.lang.Class elementClass,
java.lang.Object[] elementValues)
Creates an array of elements using the elementClass and elementValues.
|
|
RecordArray(java.lang.String event,
int[] elementIds,
java.lang.Class[] elementClasses,
java.lang.Object[] elementValues)
Creates a heterogeneous array using the elementNames, elementClasses,
and elementValues. |
|
| Method Summary | |
|---|---|
java.lang.String |
toString()
Converts this record into a string. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public RecordArray(java.lang.String event,
java.lang.Class elementClass,
java.lang.Object[] elementValues)
elementClass and elementValues.
If elementValues is null, it will be treated as an empty array.
event - the name of the eventelementClass - the class of each elementelementValues - an array of the values
public RecordArray(java.lang.String event,
int[] elementIds,
java.lang.Class[] elementClasses,
java.lang.Object[] elementValues)
elementNames, elementClasses,
and elementValues. All three parameters must be of the same length, or all
parameters will be ignored.
event - the name of the eventelementIds - an array of the element IDselementClasses - the class of each elementelementValues - an array of the values| Method Detail |
public java.lang.String toString()
|
TPTP 4.4.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||