Interface StateDomainLike<Domain>

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

interface StateDomainLike<Domain extends AnyAbstractDomain> {
    get domain(): Domain;
    get(node: NodeId): Domain | undefined;
    has(node: NodeId): boolean;
    remove(node: NodeId): void;
    set(node: NodeId, value: Domain): void;
}

Type Parameters

Domain extends AnyAbstractDomain

Implemented by

StateAbstractDomain

Index

Accessors

Methods

get has 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-like.ts:11

Methods

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-like.ts:16

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-like.ts:21

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-like.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-like.ts:31