Class VisitingQueue

constructor

• new VisitingQueue(threshold): VisitingQueue

• Parameters

  • threshold: number

  Returns VisitingQueue

potentialArguments

add

• add(target, env, envFingerprint, onlyForSideEffects): 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): boolean

• Parameters

  • id: NodeId

  Returns boolean

next

• next(): NodeToSlice

• Returns NodeToSlice

nonEmpty

• nonEmpty(): boolean

• Returns boolean

status

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

• Returns Readonly<Pick<SliceResult, "timesHitThreshold" | "result">>