|
|||||||||
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.CoopnMark
Coopn mark.
CoopnElement
, Serialized FormField Summary | |
static java.lang.String |
NEGSYMBOL
|
Constructor Summary | |
CoopnMark(CoopnPlaceSymbol place,
CoopnTermAgg mark)
Simple constructor. |
|
CoopnMark(CoopnPlaceSymbol place,
CoopnTermAgg mark,
boolean negative)
Simple constructor. |
|
CoopnMark(CoopnPlaceSymbol place,
CoopnTermAgg mark,
CoopnTypeRelation rel)
Simple constructor. |
|
CoopnMark(CoopnPlaceSymbol place,
CoopnTermAgg mark,
CoopnTypeRelation rel,
boolean negative)
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. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
CoopnTermAgg |
mark()
Get the mark. |
boolean |
negative()
Get the negative flag. |
CoopnPlaceSymbol |
place()
Get the place. |
CoopnTypeAgg |
placeType()
Get the type of the place associated to this mark. |
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 type. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm |
toTextTerm()
Get the textual term representing the type. |
CoopnTypeAgg |
type()
Get the type of the mark. |
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 |
Field Detail |
public static final java.lang.String NEGSYMBOL
Constructor Detail |
public CoopnMark(CoopnPlaceSymbol place, CoopnTermAgg mark) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
public CoopnMark(CoopnPlaceSymbol place, CoopnTermAgg mark, CoopnTypeRelation rel) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
public CoopnMark(CoopnPlaceSymbol place, CoopnTermAgg mark, boolean negative) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
public CoopnMark(CoopnPlaceSymbol place, CoopnTermAgg mark, CoopnTypeRelation rel, boolean negative) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
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 CoopnPlaceSymbol place()
public CoopnTermAgg mark()
public boolean negative()
public CoopnTypeAgg placeType()
public CoopnTypeAgg type()
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()
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)
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 |