com.sun.electric.database.id
Class IdManager

java.lang.Object
  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()