Interface CallSemanticsEntry<Domain, Key>

The entry of a CallSemanticsDefinition mapping a function name to the semantics to apply for calls of that function.

interface CallSemanticsEntry<
    Domain extends StateDomain,
    Key extends keyof CallSemantics<Domain> = keyof CallSemantics<Domain>,
> {
    applier: CallSemanticsApplier<CallSemantics<Domain>[Key]>;
    identifier: Identifier | "other";
}

Type Parameters

Domain extends StateDomain
Type of the state abstract domain the semantics are defined for
Key extends keyof CallSemantics<Domain> = keyof CallSemantics<Domain>
The type of the call semantics entry to get the applier function type for

Index

Properties

applier identifier

Properties

`Readonly`applier

applier: CallSemanticsApplier<CallSemantics<Domain>[Key]>

`Readonly`identifier

identifier: Identifier | "other"