Package org.sosy_lab.common

Class UniqueIdGenerator

java.lang.Object

org.sosy_lab.common.UniqueIdGenerator

public final class UniqueIdGenerator
extends Object

Utility class for generating unique. This class is fully thread-safe.

It gives out at most MAX_INT ids, afterwards it throws an exception.

Constructor Summary

Constructors

Constructor	Description
UniqueIdGenerator()

Method Summary

Modifier and Type	Method	Description
int	getFreshId()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UniqueIdGenerator

public UniqueIdGenerator()

Method Details

getFreshId

public int getFreshId()