public class IdManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static IdManager |
stdIdManager
Standard IdManager
|
Constructor and Description |
---|
IdManager()
Creates a new instance of IdManager
|
Modifier and Type | Method and Description |
---|---|
void |
checkInvariants()
Method to check invariants in all Libraries.
|
void |
dump() |
CellId |
getCellId(int cellIndex)
Returns CellId by given index.
|
Environment |
getInitialEnvironment() |
Snapshot |
getInitialSnapshot() |
TechPool |
getInitialTechPool() |
LibId |
getLibId(int libIndex)
Returns LibId by given index.
|
TechId |
getTechId(int techIndex)
Returns TechId by given index.
|
LibId |
newLibId(java.lang.String libName)
Returns LibId with specified libName.
|
int |
newSnapshotId() |
TechId |
newTechId(java.lang.String techName)
Returns TechId with specified techName.
|
void |
setReadOnly()
Disallow creation of ids (except IdReader
|
public static final IdManager stdIdManager
public void setReadOnly()
public TechId newTechId(java.lang.String techName)
techName
- technology name.public TechId getTechId(int techIndex)
techIndex
- given index.public LibId newLibId(java.lang.String libName)
libName
- library name.public LibId getLibId(int libIndex)
libIndex
- given index.public CellId getCellId(int cellIndex)
cellIndex
- given index.public TechPool getInitialTechPool()
public Environment getInitialEnvironment()
public Snapshot getInitialSnapshot()
public int newSnapshotId()
public void checkInvariants()
public void dump()