The TighteningTraceType is a subtype of the TraceType. This structure is to describe the content of traces for all the steps in the given program. It is formally defined in Table 64. Refer section 10.10 for the description of the parameters.
Table 64 - TighteningTraceType Definition
|
Attribute |
Value |
|||||
|
BrowseName |
TighteningTraceType |
|||||
|
IsAbstract |
False |
|||||
|
ValueRank |
−2 (−2 = Any) |
|||||
|
DataType |
TighteningTraceDataType |
|||||
|
References |
NodeClass |
BrowseName |
DataType |
TypeDefinition |
Others |
|
|
Subtype of the TraceType |
||||||
|
0:HasComponent |
Variable |
StepTraces |
StepTraceDataType[] |
0:BaseDataVariableType |
M, RO |
|