|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTerm
Coopn term.
CoopnElement
, Serialized FormConstructor Summary | |
CoopnTerm()
Simple constructor. |
|
CoopnTerm(CoopnFunctionSymbol generator,
CoopnTermAgg params)
Simple constructor. |
|
CoopnTerm(CoopnFunctionSymbol generator,
CoopnTermAgg params,
CoopnTypeRelation rel)
Simple constructor. |
|
CoopnTerm(CoopnObjectSymbol object)
Simple constructor. |
|
CoopnTerm(CoopnTermVariable variable)
Simple constructor. |
|
CoopnTerm(CoopnVariableSymbol variable)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
int |
compareTo(java.lang.Object o)
|
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
boolean |
hasParameters()
Has parameters ?. return true iff this term has parameters. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
boolean |
isADTType()
Is this term typed by an ADT type ?. return true iff this type is a class type. |
boolean |
isClassType()
Is this term typed by a class type ?. return true iff this type is a class type. |
boolean |
isFunction()
Is this term based on a function ?. return true iff this term is based on a function. |
boolean |
isGenerator()
Is this term based on a generator ?. return true iff this term is based on a generator. |
boolean |
isGroundTerm()
Is the term a ground term ? |
boolean |
isObject()
Is this term based on an object ?. return true iff this term is based on an object. |
boolean |
isOperation()
Is this term based on an operation ?. return true iff this term is based on an operation. |
boolean |
isSelf()
Is this term Self ?. return true iff this term is Self. |
boolean |
isTermVariable()
Is this term based on a term variable ? |
boolean |
isVariable()
Is this term based on a variable ?. return true iff this term is based on a variable. |
CoopnTermAgg |
parameters()
Get the parameters associated to this term. |
CoopnSymbol |
symbol()
Get the symbol associated to this term. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
toCoco(CoopnSymbolTable table)
CoCo conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm |
toCompleteTextTerm(CoopnSymbolTable table)
Get the complete textual term representing the term. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm |
toTextTerm()
Get the textual term representing the term. |
CoopnType |
type()
Returns the statis type of the term. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, pureCOIL, pureCOOPN, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CoopnTerm(CoopnObjectSymbol object) throws java.lang.IllegalArgumentException
public CoopnTerm(CoopnVariableSymbol variable) throws java.lang.IllegalArgumentException
public CoopnTerm(CoopnTermVariable variable) throws java.lang.IllegalArgumentException
public CoopnTerm(CoopnFunctionSymbol generator, CoopnTermAgg params) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
public CoopnTerm(CoopnFunctionSymbol generator, CoopnTermAgg params, CoopnTypeRelation rel) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
rel
- the type realtion object, or null.public CoopnTerm() throws java.lang.IllegalArgumentException
Method Detail |
public int compareTo(java.lang.Object o)
compareTo
in interface java.lang.Comparable
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic boolean isObject()
public boolean isVariable()
public boolean isTermVariable()
public boolean isFunction()
public boolean isGenerator()
public boolean isOperation()
public boolean isSelf()
public boolean hasParameters()
public boolean isGroundTerm()
public CoopnSymbol symbol() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
- This term is Self.public CoopnTermAgg parameters()
java.lang.IllegalArgumentException
- This term is Self.public CoopnType type()
public boolean isADTType()
public boolean isClassType()
public boolean equals(java.lang.Object obj)
CoopnElement
equals
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
obj
- the object to comparepublic int hashCode()
CoopnElement
hashCode
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toTextTerm()
java.lang.IllegalArgumentException
- This term cannot be converted to a textual
representation, for example because of an
arity problem.public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
CoopnElement
toText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toCompleteTextTerm(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
- This term cannot be converted to a textual
representation, for example because of an
arity problem.public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
CoopnElement
toCompleteText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
table
- the symbol table used to generate symbol referencespublic ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
CoopnElement
toCoco
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
origin
- the module which generated the Coco conversiontable
- the symbol table used to generate symbol referencesjava.lang.IllegalArgumentException
- A used symbol is not in the symbol table.public java.lang.Object unmodifiableCopy()
CoopnElement
unmodifiableCopy
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.Object clone()
CoopnElement
clone
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |