|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.sun.electric.database.Snapshot
public class Snapshot
Field Summary | |
---|---|
ImmutableArrayList<CellBackup> |
cellBackups
|
int[] |
cellGroups
|
CellId[] |
groupMainSchematics
|
IdManager |
idManager
|
ImmutableArrayList<LibraryBackup> |
libBackups
|
int |
snapshotId
|
TechPool |
techPool
|
Tool |
tool
|
Constructor Summary | |
---|---|
Snapshot(IdManager idManager)
Creates empty snapshot. |
Method Summary | |
---|---|
boolean |
cellBoundsDefined()
Checks if all cell bounds are defined. |
void |
check()
Checks invariant of this Snapshot. |
Artwork |
getArtwork()
Returns Artwork technology in this database |
CellBackup |
getCell(CellId cellId)
|
CellBackup |
getCell(int cellIndex)
|
ERectangle |
getCellBounds(CellId cellId)
|
ERectangle |
getCellBounds(int cellIndex)
|
CellRevision |
getCellRevision(CellId cellId)
|
CellRevision |
getCellRevision(int cellIndex)
|
java.util.Collection<CellId> |
getCellsDownTop()
|
java.util.List<CellId> |
getChangedCells(Snapshot oldSnapshot)
|
java.util.List<LibId> |
getChangedLibraries(Snapshot oldSnapshot)
|
Generic |
getGeneric()
Returns Generic technology in this database |
LibraryBackup |
getLib(LibId libId)
|
Schematics |
getSchematics()
Returns Schematic technology in this database |
Technology |
getTech(TechId techId)
Get Technology by TechId TechId must belong to same IdManager as TechPool |
TechPool |
getTechPool()
Returns TechPool of this Snapshot |
static CellName |
makeCellGroupName(java.util.Collection<CellName> cellNames)
Returns group name of group with specified CellNames. |
static Snapshot |
readSnapshot(IdReader reader,
Snapshot oldSnapshot)
|
void |
setCellBounds(CellId cellId,
ERectangle r)
Sets cell bounds for a cell with given CellId |
Snapshot |
with(Tool tool,
CellBackup[] cellBackupsArray,
ERectangle[] cellBoundsArray,
LibraryBackup[] libBackupsArray)
Creates a new instance of Snapshot which differs from this Snapshot. |
Snapshot |
withRenamedIds(IdMapper idMapper,
CellId fromGroup,
java.lang.String toGroup)
Returns Snapshot which differs from this Snapshot by renamed Ids. |
Snapshot |
withTechPool(TechPool techPool)
Creates a new instance of Snapshot which differs from this Snapshot by TechPool. |
void |
writeDiffs(IdWriter writer,
Snapshot oldSnapshot)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public final IdManager idManager
public final int snapshotId
public final Tool tool
public final ImmutableArrayList<CellBackup> cellBackups
public final int[] cellGroups
public final CellId[] groupMainSchematics
public final ImmutableArrayList<LibraryBackup> libBackups
public final TechPool techPool
Constructor Detail |
---|
public Snapshot(IdManager idManager)
Method Detail |
---|
public Snapshot withTechPool(TechPool techPool)
techPool
- new Technology pool
java.lang.IllegalArgumentException
- if new TechPool isn't extension of old TechPool.public Snapshot with(Tool tool, CellBackup[] cellBackupsArray, ERectangle[] cellBoundsArray, LibraryBackup[] libBackupsArray)
tool
- tool which initiated database changes/cellBackupsArray
- array indexed by cellIndex of new CellBackups.cellBoundsArray
- array indexed by cellIndex of cell bounds.libBackupsArray
- array indexed by libIndex of LibraryBackups.
java.lang.IllegalArgumentException
- on invariant violation.
ArrayOutOfBoundsException
- on some invariant violations.public void setCellBounds(CellId cellId, ERectangle r)
cellId
- given CellIdr
- cell boubds
java.lang.IllegalArgumentException
- if snapshot has not cell with given cellId or on bounds conflict.public Snapshot withRenamedIds(IdMapper idMapper, CellId fromGroup, java.lang.String toGroup)
idMapper
- a map from old Ids to new Ids.
public java.util.List<LibId> getChangedLibraries(Snapshot oldSnapshot)
public java.util.List<CellId> getChangedCells(Snapshot oldSnapshot)
public java.util.Collection<CellId> getCellsDownTop()
public CellBackup getCell(CellId cellId)
public CellRevision getCellRevision(CellId cellId)
public CellBackup getCell(int cellIndex)
public CellRevision getCellRevision(int cellIndex)
public static CellName makeCellGroupName(java.util.Collection<CellName> cellNames)
cellNames
- collection of CellNames in a group.
InvalidArgumentException
- if cellNames is emptypublic ERectangle getCellBounds(CellId cellId)
public ERectangle getCellBounds(int cellIndex)
public TechPool getTechPool()
public Technology getTech(TechId techId)
techId
- TechId to find
java.lang.IllegalArgumentException
- of TechId is not from this IdManagerpublic Artwork getArtwork()
public Generic getGeneric()
public Schematics getSchematics()
public LibraryBackup getLib(LibId libId)
public void writeDiffs(IdWriter writer, Snapshot oldSnapshot) throws java.io.IOException
java.io.IOException
public static Snapshot readSnapshot(IdReader reader, Snapshot oldSnapshot) throws java.io.IOException
java.io.IOException
public boolean cellBoundsDefined()
public void check()
java.lang.IllegalArgumentException
- on invariant violation.
ArrayOutOfBoundsException
- on some invariant violations.
java.lang.AssertionError
- if invariant is broken.
java.lang.AssertionError
- if invariant is broken.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |