com.sun.electric.database
Class LibraryBackup

java.lang.Object
  extended by com.sun.electric.database.LibraryBackup

public class LibraryBackup
extends java.lang.Object


Field Summary
 ImmutableLibrary d
          Library persistent data.
static ImmutableArrayList<LibraryBackup> EMPTY_LIST
           
 boolean modified
          True if library needs saving to disk.
static LibraryBackup[] NULL_ARRAY
           
 LibId[] referencedLibs
          Array of referenced libs
 
Constructor Summary
LibraryBackup(ImmutableLibrary d, boolean modified, LibId[] referencedLibs)
          Creates a new instance of LibraryBackup
 
Method Summary
 void check()
          Checks invariant of this CellBackup.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

NULL_ARRAY

public static final LibraryBackup[] NULL_ARRAY

EMPTY_LIST

public static final ImmutableArrayList<LibraryBackup> EMPTY_LIST

d

public final ImmutableLibrary d
Library persistent data.


modified

public final boolean modified
True if library needs saving to disk.


referencedLibs

public final LibId[] referencedLibs
Array of referenced libs

Constructor Detail

LibraryBackup

public LibraryBackup(ImmutableLibrary d,
                     boolean modified,
                     LibId[] referencedLibs)
Creates a new instance of LibraryBackup

Method Detail

check

public void check()
Checks invariant of this CellBackup.

Throws:
java.lang.AssertionError - if invariant is broken.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object