interface CfgInformationElementContent {
    isReachable?: boolean;
    isRoot: boolean;
    [key: string]: unknown;
}

Hierarchy (View Summary)

Indexable

  • [key: string]: unknown

Hierarchy-Diagram

UML class diagram of CfgInformationElementContent

Properties

Properties

isReachable?: boolean

Whether the current node is reachable from the root of the CFG. Only has a value if CfgInformationArguments.checkReachable was true.

isRoot: boolean

Whether the current node is a root node in the CFG, which is a node that is not contained inside of a function definition.