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

    Interface SemanticsDefinition<Domain>

    A declarative definition of the abstract semantics of an abstract domain, mapping R constants and concrete R functions to the semantics to apply for them (see ValueSemantics).

    interface SemanticsDefinition<Domain extends StateDomain> {
        accessCalls?: CallSemanticsMapping<Domain, "handleAccessCall">;
        conditionSemantics?: CallSemanticsMapping<Domain, "handleConditionBranch">;
        constants?: ConstantSemantics<Domain>;
        functionCalls?: CallSemanticsMapping<Domain, "handleFunctionCall">;
        replacementCall?: CallSemanticsMapping<Domain, "handleReplacementCall">;
    }

    Type Parameters

    • Domain extends StateDomain

      Type of the state abstract domain the semantics are defined for

    Hierarchy (View Summary)

    Index
    accessCalls? conditionSemantics? constants? functionCalls? replacementCall?
    accessCalls?: CallSemanticsMapping<Domain, "handleAccessCall">

    The abstract semantics of access calls, such as x[1] or x$id

    conditionSemantics?: CallSemanticsMapping<Domain, "handleConditionBranch">

    The abstract semantics of conditions, refining the abstract state in the branches guarded by a call of the respective function

    constants?: ConstantSemantics<Domain>

    The abstract semantics of the different types of R constants

    functionCalls?: CallSemanticsMapping<Domain, "handleFunctionCall">

    The abstract semantics of normal function calls, such as data.frame(id = 1:5)

    replacementCall?: CallSemanticsMapping<Domain, "handleReplacementCall">

    The abstract semantics of replacement calls, such as names(x) <- "id"

    Settings
    Member Visibility

    On This Page
    Properties