com.sun.electric.database
Class LibraryBackup

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