Interface BuiltInIdentifierConstant<T>

An identifier reference points to a variable like a in b <- a. Without any surrounding code, a will produce the identifier reference a. Similarly, b will create a reference (although it will be an identifier definition which adds even more information).

In general, references are merely pointers (with meta-information) to a vertex in the DataflowGraph|dataflow graph. In the context of the extractor, for example, they indicate the references that are currently (during the analysis at this given node) DataflowInformation#in|read (in), DataflowInformation#out|written (out), or DataflowInformation#unknownReferences|unknown (unknownReferences).

See

InGraphIdentifierDefinition

interface BuiltInIdentifierConstant<T = unknown> {
    controlDependencies: undefined | ControlDependency[];
    definedAt: `built-in:${string}`;
    name: undefined | Identifier;
    nodeId: NodeId;
    type: BuiltInConstant;
    value: T;
}

Type Parameters

  • T = unknown

Hierarchy (View Summary)

Hierarchy-Diagram

UML class diagram of BuiltInIdentifierConstant

Properties

controlDependencies definedAt name nodeId type value

Properties

controlDependencies

controlDependencies: undefined | ControlDependency[]

If the reference is only effective, if, for example, an if-then-else condition is true, this references the root of the if. As a hacky intermediate solution (until we have pointer-analysis), an empty array may indicate a maybe which is due to pointer access (e.g., in a[x] <- 3).

definedAt

definedAt: `built-in:${string}`

Readonlyname

name: undefined | Identifier

Name the reference is identified by (e.g., the name of the variable), undefined if the reference is "artificial" (e.g., anonymous)

ReadonlynodeId

nodeId: NodeId

The id of the node which represents the reference in the NormalizedAst|normalized AST and the DataflowGraph|dataflow graph.

type

type: BuiltInConstant

Type of the reference to be resolved

value

value: T

Settings

Member Visibility

On This Page

Properties