@eagleoutice/flowr - v2.15.8
    Preparing search index...

    Interface ConstantSemantics<Domain>

    The abstract semantics of the different types of R constants.

    interface ConstantSemantics<Domain extends StateDomain> {
        logical?: (
            state: Domain,
            vertex: DataflowGraphVertexValue,
            ctx: AbsintContext<Domain>,
            value: boolean,
        ) => void;
        null?: (
            state: Domain,
            vertex: DataflowGraphVertexValue,
            ctx: AbsintContext<Domain>,
            value: "NULL",
        ) => void;
        number?: (
            state: Domain,
            vertex: DataflowGraphVertexValue,
            ctx: AbsintContext<Domain>,
            value: RNumberValue,
        ) => void;
        string?: (
            state: Domain,
            vertex: DataflowGraphVertexValue,
            ctx: AbsintContext<Domain>,
            value: RStringValue,
        ) => void;
        symbol?: (
            state: Domain,
            vertex: DataflowGraphVertexValue,
            ctx: AbsintContext<Domain>,
            value: Identifier,
        ) => void;
    }

    Type Parameters

    • Domain extends StateDomain

      Type of the state abstract domain the semantics are defined for

    Index
    logical? null? number? string? symbol?
    logical?: (
        state: Domain,
        vertex: DataflowGraphVertexValue,
        ctx: AbsintContext<Domain>,
        value: boolean,
    ) => void

    The abstract semantics of logical constants, i.e. TRUE and FALSE

    Type Declaration

    null?: (
        state: Domain,
        vertex: DataflowGraphVertexValue,
        ctx: AbsintContext<Domain>,
        value: "NULL",
    ) => void

    The abstract semantics of the NULL constant

    Type Declaration

    number?: (
        state: Domain,
        vertex: DataflowGraphVertexValue,
        ctx: AbsintContext<Domain>,
        value: RNumberValue,
    ) => void

    The abstract semantics of numeric constants, such as 42

    Type Declaration

    string?: (
        state: Domain,
        vertex: DataflowGraphVertexValue,
        ctx: AbsintContext<Domain>,
        value: RStringValue,
    ) => void

    The abstract semantics of string constants, such as "id"

    Type Declaration

    symbol?: (
        state: Domain,
        vertex: DataflowGraphVertexValue,
        ctx: AbsintContext<Domain>,
        value: Identifier,
    ) => void

    The abstract semantics of symbol constants, such as NA or Inf

    Type Declaration

    Settings
    Member Visibility

    On This Page
    Properties