Class Members

Hierarchy

Constructors

constructor

Properties

events functionBranches mappings reverts variables

Methods

getError

Constructors

constructor

Properties

Readonly events

events: IEvents = {}

Readonly functionBranches

functionBranches: Map<string, {
    pc: number;
    state: State<Inst, Expr>;
}> = ...

Store selectors', i.e., public and external functions program counter entry.

Type declaration

Readonly mappings

mappings: {
    [location: string]: {
        keys: Expr[][];
        name: string | undefined;
        structs: bigint[];
        values: Expr[];
    };
} = {}

Type declaration

  • [location: string]: {
        keys: Expr[][];
        name: string | undefined;
        structs: bigint[];
        values: Expr[];
    }
    • keys: Expr[][]
    • name: string | undefined
    • structs: bigint[]
    • values: Expr[]

Readonly reverts

reverts: IReverts = {}

Readonly variables

variables: Map<bigint, Variable> = ...

Methods

getError

  • Parameters

    • selector: string

    Returns {
        sig?: string;
    }

    • Optional sig?: string

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc v0.25.2