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.


Field Summary
static IdManager stdIdManager
          Standard IdManager
 
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.
 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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

stdIdManager

public static final IdManager stdIdManager
Standard IdManager

Constructor Detail

IdManager

public IdManager()
Creates a new instance of IdManager

Method Detail

setReadOnly

public void setReadOnly()
Disallow creation of ids (except IdReader


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()

getInitialEnvironment

public Environment getInitialEnvironment()

getInitialSnapshot

public Snapshot getInitialSnapshot()

newSnapshotId

public int newSnapshotId()

checkInvariants

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


dump

public void dump()