Interface StateDomain<Domain>

An interface for state-like domains that store abstract values for AST nodes.

interface StateDomain<Domain extends AnyAbstractDomain = AnyAbstractDomain> {
    get domain(): Domain;
    entries(): readonly [NodeId, Domain][];
    get(node: NodeId): Domain | undefined;
    getBottomNodes(): NodeId[];
    has(node: NodeId): boolean;
    isBottom(): boolean;
    remove(node: NodeId): void;
    set(node: NodeId, value: Domain): void;
}

Type Parameters

Domain extends AnyAbstractDomain = AnyAbstractDomain

Implemented by

StateAbstractDomain

Index

Accessors

Methods

entries get getBottomNodes has isBottom remove set

Accessors

domain

get domain(): Domain
The underlying value domain of the state domain.

Returns Domain
- Defined in src/abstract-interpretation/domains/state-domain.ts:11

Methods

entries

entries(): readonly [NodeId, Domain][]
Returns all node-value pairs of the state domain.

Returns readonly [NodeId, Domain][]
- Defined in src/abstract-interpretation/domains/state-domain.ts:41

get

get(node: NodeId): Domain | undefined
Gets the inferred abstract value for an AST node ID.
Parameters
- node: NodeId
Returns Domain | undefined
- Defined in src/abstract-interpretation/domains/state-domain.ts:16

getBottomNodes

getBottomNodes(): NodeId[]
Gets the AST node IDs in the state domain that are mapped to Bottom.

Returns NodeId[]
- Defined in src/abstract-interpretation/domains/state-domain.ts:36

has

has(node: NodeId): boolean
Checks whether the state domain has an inferred value for an AST node ID.
Parameters
- node: NodeId
Returns boolean
- Defined in src/abstract-interpretation/domains/state-domain.ts:21

isBottom

isBottom(): boolean
Whether the state is Bottom.

Returns boolean
- Defined in src/abstract-interpretation/domains/state-domain.ts:46

remove

remove(node: NodeId): void
Removes the inferred value for an AST node ID from the state domain.
Parameters
- node: NodeId
Returns void
- Defined in src/abstract-interpretation/domains/state-domain.ts:26

set

set(node: NodeId, value: Domain): void
Sets the inferred value for an AST node ID from the state domain.
Parameters
- node: NodeId
- value: Domain
Returns void
- Defined in src/abstract-interpretation/domains/state-domain.ts:31