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

    Interface CallSemantics<Domain>

    The abstract semantics of concrete R functions, mapping the (possibly namespaced) name of a function to the semantics to apply for calls of that function. The names of the functions are parsed as Identifier, so that names like dplyr::filter, filter, or *::filter can be used.

    interface CallSemantics<Domain extends StateDomain> {
        accessCalls?: CallSemanticsMapping<Domain, "handleAccessCall">;
        conditionSemantics?: CallSemanticsMapping<Domain, "handleConditionBranch">;
        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? 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

    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