This structure is to describe the content of traces for all the steps in the given program. It is used in TighteningResultDataType and is represented as TighteningTraceType variable. The structure is defined in Table 86.
Table 86 - TighteningTraceDataType Structure
|
Name |
Type |
Description |
|
TighteningTraceDataType |
structure |
Subtype of the TraceDataType. |
|
StepTraces |
StepTraceDataType[] |
The mandatory StepTraces is an array of StepTraceType which provides trace content for each step in the given program. |
Its representation in the AddressSpace is defined in Table 87.
Table 87 - TighteningTraceDataType Definiton
|
Attribute |
Value |
||||
|
BrowseName |
TighteningTraceDataType |
||||
|
IsAbstract |
False |
||||
|
References |
Node Class |
BrowseName |
DataType |
TypeDefinition |
Other |
|
Subtype of the TraceDataType. |
|||||