com.sun.electric.database.id
Class IdManager

java.lang.Object
  extended by com.sun.electric.database.id.IdManager

public class IdManager
extends java.lang.Object

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

IdManager

public IdManager()
Creates a new instance of IdManager

Method Detail

newTechId

public TechId newTechId(java.lang.String techName)
Returns TechId with specified techName.

Parameters:
techName - technology name.
Returns:
TechId with specified techName.

getTechId

public TechId getTechId(int techIndex)
Returns TechId by given index.

Parameters:
techIndex - given index.
Returns:
TechId with given index.

newLibId

public LibId newLibId(java.lang.String libName)
Returns LibId with specified libName.

Parameters:
libName - library name.
Returns:
LibId with specified libName.

getLibId

public LibId getLibId(int libIndex)
Returns LibId by given index.

Parameters:
libIndex - given index.
Returns:
LibId with given index.

getCellId

public CellId getCellId(int cellIndex)
Returns CellId by given index.

Parameters:
cellIndex - given index.
Returns:
CellId with given index.

getInitialTechPool

public TechPool getInitialTechPool()

getInitialSnapshot

public Snapshot getInitialSnapshot()

newSnapshotId

public int newSnapshotId()

checkInvariants

public void checkInvariants()
Method to check invariants in all Libraries.


dump

public void dump()