KeyPool

io.shiftleft.passes.KeyPool
trait KeyPool extends KeyPool

A pool of long integers that serve as node ids. Using the method next, the pool provides the next id in a thread-safe manner.

Attributes

Graph
Supertypes
trait KeyPool
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Inherited methods

def next(): Long

Attributes

Inherited from:
KeyPool