|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.sun.electric.database.id.IdManager
public class IdManager
This class owns a set of LibIds and CellIds.
Constructor Summary | |
---|---|
IdManager()
Creates a new instance of IdManager |
Method Summary | |
---|---|
void |
checkInvariants()
Method to check invariants in all Libraries. |
void |
dump()
|
CellId |
getCellId(int cellIndex)
Returns CellId by given index. |
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public IdManager()
Method Detail |
---|
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 Snapshot getInitialSnapshot()
public int newSnapshotId()
public void checkInvariants()
public void dump()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |