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, toVariableArray
public 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 ImmutableElectricObject
public boolean equalsExceptVariables(ImmutableElectricObject o)
equalsExceptVariables
in class ImmutableElectricObject
o
- other ImmutableElectricObject.public java.lang.String toString()
toString
in class java.lang.Object
public void check()
java.lang.AssertionError
- if invariant is broken.