The TighteningTraceTypeis 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.10for 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 |