Class VisitingQueue

constructor

• new VisitingQueue(
      threshold: number,
      cache?: Map<string, Set<NodeId>>,
      isGraphVertex?: (id: NodeId) => boolean,
      gas?: ReadOnlyFlowrAnalyzerGasContext,
  ): VisitingQueue

  Parameters

  • threshold: number
  • Optionalcache: Map<string, Set<NodeId>>
  • OptionalisGraphVertex: (id: NodeId) => boolean
  • Optionalgas: ReadOnlyFlowrAnalyzerGasContext

  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

memoizeCallTargets

• memoizeCallTargets(
      id: NodeId,
      targets: () => Set<DataflowGraphVertexInfo>,
  ): Set<DataflowGraphVertexInfo>

  Parameters

  • id: NodeId
  • targets: () => Set<DataflowGraphVertexInfo>

  Returns Set<DataflowGraphVertexInfo>

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",
      >,
  >