|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement | +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaRoleTerm
Coala role term.
CoalaElement
, Serialized FormConstructor Summary | |
CoalaRoleTerm(CoalaRoleSymbol role,
CoopnTermAgg params)
Simple constructor. |
|
CoalaRoleTerm(CoalaRoleSymbol role,
CoopnTermAgg params,
CoopnTypeRelation rel)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
boolean |
hasParameters()
Has parameters ?. return true iff this term has parameters. |
CoopnTermAgg |
parameters()
Get the parameters associated to this term. |
CoalaRoleSymbol |
role()
Get the symbol associated to this term. |
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement |
toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement |
toText()
Textual elements conversion method. |
CoopnTypeAgg |
type()
Returns the static type of the term. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement |
cloneCoalaElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toString, toString, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CoalaRoleTerm(CoalaRoleSymbol role, CoopnTermAgg params) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
public CoalaRoleTerm(CoalaRoleSymbol role, CoopnTermAgg params, CoopnTypeRelation rel) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
rel
- the type realtion object, or null.Method Detail |
public boolean hasParameters()
public CoalaRoleSymbol role()
public CoopnTermAgg parameters()
java.lang.IllegalArgumentException
- This term is Self.public CoopnTypeAgg type()
public boolean equals(java.lang.Object obj)
CoalaElement
equals
in class CoalaElement
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
obj
- the object to comparepublic int hashCode()
CoalaElement
hashCode
in class CoalaElement
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
public ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toText()
CoalaElement
toText
in class CoalaElement
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
public ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toCompleteText(CoopnSymbolTable table)
CoalaElement
toCompleteText
in class CoalaElement
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
table
- the symbol table used to generate symbol referencespublic java.lang.Object clone()
CoalaElement
clone
in class CoalaElement
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |