Class VisitingQueue

constructor

• new VisitingQueue(
      threshold: number,
      cache?: Map<string, Set<NodeId>>,
      graph?: Pick<
          DataflowGraph<DataflowGraphVertexInfo, DfEdge>,
          "hasVertex" | "isRoot",
      >,
      gas?: ReadOnlyFlowrAnalyzerGasContext,
      global?: readonly [REnvironmentInformation, string],
  ): VisitingQueue

  Parameters

  • threshold: number
  • Optionalcache: Map<string, Set<NodeId>>
  • Optionalgraph: Pick<DataflowGraph<DataflowGraphVertexInfo, DfEdge>, "hasVertex" | "isRoot">
  • Optionalgas: ReadOnlyFlowrAnalyzerGasContext
  • Optionalglobal: readonly [REnvironmentInformation, string]

  Returns VisitingQueue

potentialAdditions

add

• add(
      target: NodeId,
      env: REnvironmentInformation,
      envFingerprint: string,
      onlyForSideEffects: boolean,
  ): void

  Adds a node to the queue if it has not been seen before.

  Parameters

  • target: NodeId

    the node to add

  • env: REnvironmentInformation

    the environment the node is traversed in

  • envFingerprint: string

    the fingerprint of the environment

  • onlyForSideEffects: boolean

    whether the node is only used for its side effects

  Returns void

hasId

• hasId(id: NodeId): boolean

  Parameters

  • id: NodeId

  Returns boolean

hitThreshold

• hitThreshold(): boolean

  Whether a node was left out for having been added more often than the threshold allows.

  Returns boolean

next

• next(): NodeToSlice

  Returns NodeToSlice

nonEmpty

• nonEmpty(): boolean

  Whether there is anything left to visit, which the traversal is out of gas for as soon as it is exhausted.

  Returns boolean

status

• status(): Readonly<
      Pick<
          SliceResult,
          "timesHitThreshold"
          | "result"
          | "stoppedEarly"
          | "progress",
      >,
  >

  Returns Readonly<
      Pick<
          SliceResult,
          "timesHitThreshold"
          | "result"
          | "stoppedEarly"
          | "progress",
      >,
  >