Package: SInvariantTypeBase
SInvariantTypeBase
name | instruction | branch | complexity | line | method | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SInvariantTypeBase() |
|
|
|
|
|
||||||||||||||||||||
SInvariantTypeBase(ILexLocation, Boolean, Boolean) |
|
|
|
|
|
||||||||||||||||||||
SInvariantTypeBase(ILexLocation, Boolean, List, Boolean, Boolean, AExplicitFunctionDefinition, AExplicitFunctionDefinition, AExplicitFunctionDefinition) |
|
|
|
|
|
||||||||||||||||||||
equals(Object) |
|
|
|
|
|
||||||||||||||||||||
getChildren(Boolean) |
|
|
|
|
|
||||||||||||||||||||
getEqDef() |
|
|
|
|
|
||||||||||||||||||||
getInNarrower() |
|
|
|
|
|
||||||||||||||||||||
getInvDef() |
|
|
|
|
|
||||||||||||||||||||
getOpaque() |
|
|
|
|
|
||||||||||||||||||||
getOrdDef() |
|
|
|
|
|
||||||||||||||||||||
hashCode() |
|
|
|
|
|
||||||||||||||||||||
removeChild(INode) |
|
|
|
|
|
||||||||||||||||||||
setEqDef(AExplicitFunctionDefinition) |
|
|
|
|
|
||||||||||||||||||||
setInNarrower(Boolean) |
|
|
|
|
|
||||||||||||||||||||
setInvDef(AExplicitFunctionDefinition) |
|
|
|
|
|
||||||||||||||||||||
setOpaque(Boolean) |
|
|
|
|
|
||||||||||||||||||||
setOrdDef(AExplicitFunctionDefinition) |
|
|
|
|
|
||||||||||||||||||||
toString() |
|
|
|
|
|