|
|||||||||
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.CoopnMigrationType
Coopn migration type.
CoopnElement
, Serialized FormField Summary | |
static int |
BORROW
|
static int |
GIVE
|
static int |
LEND
|
static int |
NORMAL
|
static int |
TAKE
|
Constructor Summary | |
CoopnMigrationType(CoopnType type,
int migration)
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. |
boolean |
isBorrow()
Is a borrow migration ?. return true iff this represents a borrow migration. |
boolean |
isGive()
Is a give migration ?. return true iff this represents a give migration. |
boolean |
isLend()
Is a lend migration ?. return true iff this represents a lend migration. |
boolean |
isNormal()
Is no migration ?. return true iff this represents no migration. |
boolean |
isTake()
Is a take migration ?. return true iff this represents a take migration. |
int |
migrationInfo()
Get the migration information. |
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 portion only, without caring about the migration information. |
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 portion only, without caring about the migration information. |
CoopnType |
type()
Get the Type ?. return true the type. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
static boolean |
validMigrationInfo(int migrationInfo)
|
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 int NORMAL
public static final int GIVE
public static final int TAKE
public static final int LEND
public static final int BORROW
Constructor Detail |
public CoopnMigrationType(CoopnType type, int migration) throws java.lang.IllegalArgumentException, CoopnTypingProblemException
Method Detail |
public static boolean validMigrationInfo(int migrationInfo)
public int compareTo(java.lang.Object o)
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic CoopnType type()
public boolean isNormal()
public boolean isGive()
public boolean isTake()
public boolean isLend()
public boolean isBorrow()
public int migrationInfo()
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 |