|
|||||||||
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.CoopnEvent
Coopn event.
CoopnElement
, Serialized FormConstructor Summary | |
CoopnEvent(CoopnClassPortSymbol symbol,
CoopnTermAgg params)
Simple constructor. |
|
CoopnEvent(CoopnClassPortSymbol symbol,
CoopnTermAgg params,
CoopnTypeRelation rel)
Simple constructor. |
|
CoopnEvent(CoopnTransitionSymbol transition)
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 event has parameters. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
boolean |
isCreation()
Is this event based on a class creation ?. return true iff this event is based on a class creation. |
boolean |
isDestruction()
Is this event based on a class destruction ?. return true iff this event is based on a class destruction. |
boolean |
isGate()
Is this event based on a class gate ?. return true iff this event is based on a class gate. |
boolean |
isMethod()
Is this event based on a class method ?. return true iff this event is based on a class method. |
boolean |
isPort()
Is this event based on a class port ?. return true iff this event is based on a class port. |
boolean |
isProvide()
Is this cohercion based on a provide port ?. return true iff this cohercion is based on a provide port. |
boolean |
isRequire()
Is this cohercion based on a require port ?. return true iff this cohercion is based on a require port. |
boolean |
isTransition()
Is this event based on a transition ?. return true iff this event is based on a transition. |
CoopnTermAgg |
parameters()
Get the parameters of this event. |
CoopnClassPortSymbol |
port()
Get the port associated to this event. |
CoopnTypeAgg |
portType()
Returns the type of the symbol associated to the event. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
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 event representing the event. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm |
toTextTerm()
Get the textual event representing the event. |
CoopnTransitionSymbol |
transition()
Get the transition associated to this event. |
CoopnTypeAgg |
type()
Returns the type of the parameters. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, pureCOIL, 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 CoopnEvent(CoopnTransitionSymbol transition) throws java.lang.IllegalArgumentException
public CoopnEvent(CoopnClassPortSymbol symbol, CoopnTermAgg params) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
public CoopnEvent(CoopnClassPortSymbol symbol, CoopnTermAgg params, CoopnTypeRelation rel) throws java.lang.IllegalArgumentException, CoopnTypingProblemException, CoopnArityProblemException
Method Detail |
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic boolean isTransition()
public boolean isPort()
public boolean isGate()
public boolean isMethod()
public boolean isCreation()
public boolean isDestruction()
public boolean isProvide()
public boolean isRequire()
public boolean hasParameters()
public CoopnTransitionSymbol transition() throws java.lang.IllegalArgumentException
public CoopnClassPortSymbol port() throws java.lang.IllegalArgumentException
public CoopnTermAgg parameters()
public CoopnTypeAgg portType() throws java.lang.IllegalArgumentException
public CoopnTypeAgg type()
public boolean pureCOOPN()
CoopnElement
pureCOOPN
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
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 event 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 event 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 |