Interface ProcessKnownFunctionCallInput<OtherInfo>

interface ProcessKnownFunctionCallInput<OtherInfo> {
    args: readonly (
        | "<>"
        | RExpressionList<OtherInfo & ParentInformation>
        | RFunctionDefinition<OtherInfo & ParentInformation>
        | RNamedFunctionCall<OtherInfo & ParentInformation>
        | RUnnamedFunctionCall<OtherInfo & ParentInformation>
        | RParameter<OtherInfo & ParentInformation>
        | RArgument<OtherInfo & ParentInformation>
        | RComment<OtherInfo & ParentInformation>
        | RLineDirective<OtherInfo & ParentInformation>
        | RForLoop<OtherInfo & ParentInformation>
        | RRepeatLoop<OtherInfo & ParentInformation>
        | RWhileLoop<OtherInfo & ParentInformation>
        | RIfThenElse<OtherInfo & ParentInformation>
        | RNamedAccess<OtherInfo & ParentInformation>
        | RIndexAccess<OtherInfo & ParentInformation>
        | RUnaryOp<OtherInfo & ParentInformation>
        | RBinaryOp<OtherInfo & ParentInformation>
        | RSymbol<OtherInfo & ParentInformation, string>
        | RNumber<OtherInfo & ParentInformation>
        | RString<OtherInfo & ParentInformation>
        | RLogical<OtherInfo & ParentInformation>
        | RBreak<OtherInfo & ParentInformation>
        | RNext<OtherInfo & ParentInformation>
        | RPipe<OtherInfo & ParentInformation>
    )[];
    data: DataflowProcessorInformation<OtherInfo & ParentInformation>;
    forceArgs?: "all" | readonly boolean[];
    hasUnknownSideEffect?: boolean;
    markAsNSE?: readonly number[];
    name: RSymbol<OtherInfo & ParentInformation>;
    origin: string;
    patchData?: (
        data: DataflowProcessorInformation<OtherInfo & ParentInformation>,
        arg: number,
    ) => DataflowProcessorInformation<OtherInfo & ParentInformation>;
    reverseOrder?: boolean;
    rootId: NodeId;
}

Type Parameters

  • OtherInfo

Hierarchy (View Summary)

Hierarchy-Diagram

UML class diagram of ProcessKnownFunctionCallInput

Properties

args data forceArgs? hasUnknownSideEffect? markAsNSE? name origin patchData? reverseOrder? rootId

Properties

Readonlyargs

args: readonly (
    | "<>"
    | RExpressionList<OtherInfo & ParentInformation>
    | RFunctionDefinition<OtherInfo & ParentInformation>
    | RNamedFunctionCall<OtherInfo & ParentInformation>
    | RUnnamedFunctionCall<OtherInfo & ParentInformation>
    | RParameter<OtherInfo & ParentInformation>
    | RArgument<OtherInfo & ParentInformation>
    | RComment<OtherInfo & ParentInformation>
    | RLineDirective<OtherInfo & ParentInformation>
    | RForLoop<OtherInfo & ParentInformation>
    | RRepeatLoop<OtherInfo & ParentInformation>
    | RWhileLoop<OtherInfo & ParentInformation>
    | RIfThenElse<OtherInfo & ParentInformation>
    | RNamedAccess<OtherInfo & ParentInformation>
    | RIndexAccess<OtherInfo & ParentInformation>
    | RUnaryOp<OtherInfo & ParentInformation>
    | RBinaryOp<OtherInfo & ParentInformation>
    | RSymbol<OtherInfo & ParentInformation, string>
    | RNumber<OtherInfo & ParentInformation>
    | RString<OtherInfo & ParentInformation>
    | RLogical<OtherInfo & ParentInformation>
    | RBreak<OtherInfo & ParentInformation>
    | RNext<OtherInfo & ParentInformation>
    | RPipe<OtherInfo & ParentInformation>
)[]

Readonlydata

data: DataflowProcessorInformation<OtherInfo & ParentInformation>

Optional ReadonlyforceArgs

forceArgs?: "all" | readonly boolean[]

which of the arguments should be forced? this may be all, e.g., if the function itself is unknown on encounter

Optional ReadonlyhasUnknownSideEffect

hasUnknownSideEffect?: boolean

Does the call have a side effect that we do not know a lot about which may have further consequences?

Optional ReadonlymarkAsNSE

markAsNSE?: readonly number[]

which arguments are to be marked as EdgeType#NonStandardEvaluation|non-standard-evaluation?

Readonlyname

name: RSymbol<OtherInfo & ParentInformation>

Readonlyorigin

origin: string

Optional ReadonlypatchData

patchData?: (
    data: DataflowProcessorInformation<OtherInfo & ParentInformation>,
    arg: number,
) => DataflowProcessorInformation<OtherInfo & ParentInformation>

allows passing a data processor in-between each argument

Optional ReadonlyreverseOrder

reverseOrder?: boolean

should arguments be processed from right to left? This does not affect the order recorded in the call but of the environments

ReadonlyrootId

rootId: NodeId

Settings

Member Visibility

On This Page

Properties