Interface IdentifierReference

Something like a in b <- a. Without any surrounding information, a will produce the identifier reference a. Similarly, b will create a reference.

interface IdentifierReference {
    controlDependencies: undefined | ControlDependency[];
    name: undefined | Identifier;
    nodeId: NodeId;
    type: ReferenceType;
}

Hierarchy (view full)

Hierarchy-Diagram

UML class diagram of IdentifierReference

Properties

controlDependencies name nodeId type

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).

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

Node which represents the reference in the AST

Readonlytype

type: ReferenceType

Type of the reference to be resolved

Settings

Member Visibility

On This Page

Properties