ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnEvent

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnEvent
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class CoopnEvent
extends CoopnElement

Coopn event.

See Also:
CoopnElement, Serialized Form

Constructor 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

CoopnEvent

public CoopnEvent(CoopnTransitionSymbol transition)
           throws java.lang.IllegalArgumentException
Simple constructor. Build a tau event based on transition.

CoopnEvent

public CoopnEvent(CoopnClassPortSymbol symbol,
                  CoopnTermAgg params)
           throws java.lang.IllegalArgumentException,
                  CoopnTypingProblemException,
                  CoopnArityProblemException
Simple constructor. Build a event based on a class port along with parameters.

CoopnEvent

public CoopnEvent(CoopnClassPortSymbol symbol,
                  CoopnTermAgg params,
                  CoopnTypeRelation rel)
           throws java.lang.IllegalArgumentException,
                  CoopnTypingProblemException,
                  CoopnArityProblemException
Simple constructor. Build a event based on a class port along with parameters.
Method Detail

interpret

public CoopnElement interpret(CoopnSubstitution sigma)
Description copied from class: CoopnElement
Interpretation of this element according to a substitution.
Overrides:
interpret in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
sigma - the substitution; cannot be null
Returns:
a new CoopnElement object, coreesponding to the interpretation.

isTransition

public boolean isTransition()
Is this event based on a transition ?. return true iff this event is based on a transition.

isPort

public boolean isPort()
Is this event based on a class port ?. return true iff this event is based on a class port.

isGate

public boolean isGate()
Is this event based on a class gate ?. return true iff this event is based on a class gate.

isMethod

public boolean isMethod()
Is this event based on a class method ?. return true iff this event is based on a class method.

isCreation

public boolean isCreation()
Is this event based on a class creation ?. return true iff this event is based on a class creation.

isDestruction

public boolean isDestruction()
Is this event based on a class destruction ?. return true iff this event is based on a class destruction.

isProvide

public boolean isProvide()
Is this cohercion based on a provide port ?. return true iff this cohercion is based on a provide port.

isRequire

public boolean isRequire()
Is this cohercion based on a require port ?. return true iff this cohercion is based on a require port.

hasParameters

public boolean hasParameters()
Has parameters ?. return true iff this event has parameters.

transition

public CoopnTransitionSymbol transition()
                                 throws java.lang.IllegalArgumentException
Get the transition associated to this event.
Returns:
the transition associated to this event.

port

public CoopnClassPortSymbol port()
                          throws java.lang.IllegalArgumentException
Get the port associated to this event.
Returns:
the symbol associated to this event.

parameters

public CoopnTermAgg parameters()
Get the parameters of this event.
Returns:
the parameters or null, if there is no parameters.

portType

public CoopnTypeAgg portType()
                      throws java.lang.IllegalArgumentException
Returns the type of the symbol associated to the event.
Returns:
the type of the symbol associated to the event, or null if the event is based on a transition.

type

public CoopnTypeAgg type()
Returns the type of the parameters.

pureCOOPN

public boolean pureCOOPN()
Description copied from class: CoopnElement
Pure COOPN verification method. Must be modified by the elements which may alterate the result.
Overrides:
pureCOOPN in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
true iff this object is in pure CO-OPN language.

equals

public boolean equals(java.lang.Object obj)
Description copied from class: CoopnElement
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Description copied from class: CoopnElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
the hash code.

toTextTerm

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toTextTerm()
Get the textual event representing the event. Actually, a event may be represented by a unique event.
Returns:
The textual event representing the event.
Throws:
java.lang.IllegalArgumentException - This event cannot be converted to a textual representation, for example because of an arity problem.

toText

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
Description copied from class: CoopnElement
Textual elements conversion method. Must be defined in the inherited classes. This routine converts an element into a user-friendly textual element representing it. The string interpretation of this element is very intuitive by a user, but may be incorrect in the sense that it may be rejected by a checker.
Overrides:
toText in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
a CoopnTextElement image.

toCompleteTextTerm

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toCompleteTextTerm(CoopnSymbolTable table)
                                                                                throws java.lang.IllegalArgumentException
Get the complete textual event representing the event. Actually, a event may be represented by a unique event.
Returns:
The complete textual event representing the event.
Throws:
java.lang.IllegalArgumentException - This event cannot be converted to a textual representation, for example because of an arity problem.

toCompleteText

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
Description copied from class: CoopnElement
Complete textual elements conversion method. Must be defined in the inherited classes. This routine converts an element into a correct textual element representing it. The string interpretation of this element will be accepted by a checker, but may be difficult to read by users, due to the additionnal information, like parenthesis and so on.
Overrides:
toCompleteText in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
table - the symbol table used to generate symbol references
Returns:
a CoopnTextElement image.

toCoco

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table)
                                                                       throws java.lang.IllegalArgumentException
Description copied from class: CoopnElement
CoCo conversion method. Must be defined in the inherited classes. This routine convert an element into a string representing it in a CO-opn COnpact form.
Overrides:
toCoco in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
origin - the module which generated the Coco conversion
table - the symbol table used to generate symbol references
Returns:
a String image of the element.
Throws:
java.lang.IllegalArgumentException - A used symbol is not in the symbol table.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Description copied from class: CoopnElement
Copy the element into an unmodifiable structure.
Overrides:
unmodifiableCopy in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
an unmodififable clone of the element.

clone

public java.lang.Object clone()
Description copied from class: CoopnElement
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
a clone object.