public class ImmutableLibrary extends ImmutableElectricObject
| Modifier and Type | Field and Description |
|---|---|
java.util.Set<CellId> |
delibCells
DELIB cell files.
|
java.net.URL |
libFile
file location of this ImmutableLibrary
|
LibId |
libId
LibId of this ImmutableLibrary.
|
Version |
version
version of Electric which wrote the ImmutableLibrary.
|
flags| Modifier and Type | Method and Description |
|---|---|
void |
check()
Checks invariant of this ImmutableCell.
|
boolean |
equalsExceptVariables(ImmutableElectricObject o)
Indicates whether fields of other ImmutableElectricObject are equal to fileds of this object.
|
int |
hashCodeExceptVariables()
Return a hash code value for fields of this object.
|
static ImmutableLibrary |
newInstance(LibId libId,
java.net.URL libFile,
Version version)
Returns new ImmutableLibrary object.
|
java.lang.String |
toString()
Returns a printable version of this ImmutableLibrary.
|
ImmutableLibrary |
withDelibCells(java.util.Set<CellId> delibCells)
Returns ImmutableLibrary which differs from this ImmutableLibrary by delibCells.
|
ImmutableLibrary |
withFlags(int flags)
Returns ImmutableLibrary which differs from this ImmutableLibrary by flags.
|
ImmutableLibrary |
withLibFile(java.net.URL libFile)
Returns ImmutableLibrary which differs from this ImmutableLibrary by file.
|
ImmutableLibrary |
withoutVariable(Variable.Key key)
Returns ImmutableCell which differs from this ImmutableCell by removing Variable
with the specified key.
|
ImmutableLibrary |
withVariable(Variable var)
Returns ImmutableLibrary which differs from this ImmutableLibrary by additional Variable.
|
ImmutableLibrary |
withVersion(Version version)
Returns ImmutableLibrary which differs from this ImmutableLibrary by version.
|
getNumVariables, getVar, getVar, getVariables, getVarValue, searchVar, toVariableArraypublic final LibId libId
public final java.net.URL libFile
public final Version version
public final java.util.Set<CellId> delibCells
public static ImmutableLibrary newInstance(LibId libId, java.net.URL libFile, Version version)
libId - id of this ImmutableLibrary.libFile - file location of this ImmutableLibrary.version - version of Electric which wrote this ImmutableLibrary.java.lang.NullPointerException - if libId is null.public ImmutableLibrary withLibFile(java.net.URL libFile)
libFile - library file.java.lang.NullPointerException - if name is nullpublic ImmutableLibrary withVersion(Version version)
version - version of Electric which wrote this ImmutableLibrary.public ImmutableLibrary withVariable(Variable var)
var - additional Variable.java.lang.NullPointerException - if var is nullpublic ImmutableLibrary withoutVariable(Variable.Key key)
key - Variable Key to remove.java.lang.NullPointerException - if key is nullpublic ImmutableLibrary withFlags(int flags)
flags - new flags.public ImmutableLibrary withDelibCells(java.util.Set<CellId> delibCells)
delibCells - new delibCells.public int hashCodeExceptVariables()
hashCodeExceptVariables in class ImmutableElectricObjectpublic boolean equalsExceptVariables(ImmutableElectricObject o)
equalsExceptVariables in class ImmutableElectricObjecto - other ImmutableElectricObject.public java.lang.String toString()
toString in class java.lang.Objectpublic void check()
java.lang.AssertionError - if invariant is broken.