Variable MatchArgsConst

Type Declaration

• findWithProps: function

  • findWithProps(
        this: void,
        args: readonly FunctionArgument[],
        signature: FnSig,
        props: number,
    ): NodeId[]

    Find all arguments of a function call that have a given argument property using the function signature.

    Parameters

    • this: void
    • args: readonly FunctionArgument[]
    • signature: FnSig
    • props: number

    Returns NodeId[]

• formalsOf: <Info extends ParentInformation>(
      this: void,
      call: RFunctionCall<Info>,
      graph: DataflowGraph,
      ctx: ReadOnlyFlowrAnalyzerContext,
  ) => readonly BrandedIdentifier[] | undefined

  The formal names a call binds against, whichever of flowR's sources knows them; see formalsOf.

• handsOnDots: function

  • handsOnDots(
        this: void,
        args: readonly FunctionArgument[],
        graph: DataflowGraph,
    ): boolean

    Whether the call hands on the dots of the function it is in (g(...)), so that what it binds depends on the calls of that function, see MatchArgs.onCallAndLink.

    Parameters

    • this: void
    • args: readonly FunctionArgument[]
    • graph: DataflowGraph

    Returns boolean

• onCallAndLink: function

  • onCallAndLink(
        this: void,
        args: readonly FunctionArgument[],
        params: readonly RParameter<ParentInformation>[],
        graph: DataflowGraph,
    ): Map<NodeId, NodeId>

    Binds a call's graph args to the params of the definition it calls and mutates graph, adding an EdgeType.DefinesOnCall and a EdgeType.DefinedByOnCall edge per bound pair.

    Parameters

    • this: void
    • args: readonly FunctionArgument[]
    • params: readonly RParameter<ParentInformation>[]
    • graph: DataflowGraph

    Returns Map<NodeId, NodeId>

• toDefinition: function

  • toDefinition<Info extends ParentInformation>(
        this: void,
        call: RFunctionCall<Info>,
        graph: DataflowGraph,
        ctx: ReadOnlyFlowrAnalyzerContext,
    ): ReadonlyMap<BrandedIdentifier, RArgument<Info>> | undefined

    Binds a call's arguments to the formals of whatever it calls, looking the formals up itself.

    Type Parameters

    • Info extends ParentInformation

    Parameters

    • this: void
    • call: RFunctionCall<Info>
    • graph: DataflowGraph
    • ctx: ReadOnlyFlowrAnalyzerContext

    Returns ReadonlyMap<BrandedIdentifier, RArgument<Info>> | undefined

• toNames: function

  • toNames<Info = object>(
        this: void,
        args: readonly PotentiallyEmptyRArgument<Info>[],
        paramNames: readonly BrandedIdentifier[],
    ): ReadonlyMap<BrandedIdentifier, RArgument<Info>>

    Binds a call's AST args to the formal paramNames.

    Type Parameters

    • Info = object

    Parameters

    • this: void
    • args: readonly PotentiallyEmptyRArgument<Info>[]
    • paramNames: readonly BrandedIdentifier[]

    Returns ReadonlyMap<BrandedIdentifier, RArgument<Info>>

• toSpec: function

  • toSpec<Targets extends NodeId | BrandedIdentifier = string>(
        this: void,
        args: readonly FunctionArgument[],
        params: Record<BrandedIdentifier, Targets> | readonly SigParameter[],
    ): Map<Targets, NodeId[]>

    Binds a call's graph args against the formals, reading nothing from the graph, so it also serves a function whose parameters are not in the AST at all.

    Type Parameters

    • Targets extends NodeId | BrandedIdentifier = string

    Parameters

    • this: void
    • args: readonly FunctionArgument[]
    • params: Record<BrandedIdentifier, Targets> | readonly SigParameter[]

    Returns Map<Targets, NodeId[]>

• unforceUnreadDots: function

  • unforceUnreadDots(this: void, graph: DataflowGraph): void

    Leaves unforced what the known calls of a function hand to its dots that no read of the dots sees once they are handed on, as R never evaluates it: with f <- function(...) g(...) and g <- function(a, b) b, f(u, v) forces v only.

    Parameters

    • this: void
    • graph: DataflowGraph

    Returns void