|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.sun.electric.database.ImmutableElectricObject
com.sun.electric.database.ImmutablePortInst
public class ImmutablePortInst
Immutable class which stores varaibles of PortInst.
Field Summary | |
---|---|
static ImmutablePortInst |
EMPTY
|
static ImmutablePortInst[] |
NULL_ARRAY
|
Fields inherited from class com.sun.electric.database.ImmutableElectricObject |
---|
flags |
Method Summary | |
---|---|
void |
check()
Checks invariant of this ImmutablePortInst. |
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. |
ImmutablePortInst |
withoutVariable(Variable.Key key)
Returns ImmutablePortInst which differs from this ImmutablePortInst by removing Variable with the specified key. |
ImmutablePortInst |
withRenamedIds(IdMapper idMapper)
Returns ImmutablePortInst which differs from this ImmutablePortInst by renamed Ids. |
ImmutablePortInst |
withVariable(Variable var)
Returns ImmutablePortInst which differs from this ImmutablePortInst by additional Variable. |
Methods inherited from class com.sun.electric.database.ImmutableElectricObject |
---|
getNumVariables, getVar, getVar, getVariables, getVarValue, searchVar, toVariableArray |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final ImmutablePortInst[] NULL_ARRAY
public static final ImmutablePortInst EMPTY
Method Detail |
---|
public ImmutablePortInst withVariable(Variable var)
var
- additional Variable.
java.lang.NullPointerException
- if var is nullpublic ImmutablePortInst withoutVariable(Variable.Key key)
key
- Variable Key to remove.
java.lang.NullPointerException
- if key is nullpublic ImmutablePortInst withRenamedIds(IdMapper idMapper)
idMapper
- a map from old Ids to new Ids.
public int hashCodeExceptVariables()
hashCodeExceptVariables
in class ImmutableElectricObject
public boolean equalsExceptVariables(ImmutableElectricObject o)
equalsExceptVariables
in class ImmutableElectricObject
o
- other ImmutableElectricObject.
public void check()
java.lang.AssertionError
- if invariant is broken.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |