AMETASx.data.htype
Class Transition

java.lang.Object
  AMETASx.data.htype.Transition

All Implemented Interfaces:

java.io.Serializable

public class Transition

extends java.lang.Object

implements java.io.Serializable

Repräsentiert eine Transition. Eine Transition ist bestimmt durch die Eingabenachricht, die Angabe des Absender, die Ausgabenachricht, die Annotation des Empfängers sowie den Zielzustand. Werden mehrere Nachrichten gesendet, so handelt es sich um mehrere einzelne Transitionen.

See Also:

Serialized Form

Constructor Summary

Transition()

Transition(MessageType input, Annotation sender, MessageType output, Annotation receiver, State stNew)

Method Summary

MessageType	getInputMessage()
State	getNewState()
MessageType	getOutputMessage()
Annotation	getReceiver()
HybridTypeConformance	getReceiverConformanceTo(Transition trSuper, HybridTypeConformance tcFail, CGOntologySet os)
Annotation	getSender()
HybridTypeConformance	getSenderConformanceTo(Transition trSuper, HybridTypeConformance tcFail, CGOntologySet os)
boolean	ignoreInput()
boolean	ignoreOutput()
void	setIgnoreInput(boolean bIgnore)
void	setIgnoreOutput(boolean bIgnore)
void	setInputMessage(MessageType input)
void	setNewState(State stNew)
void	setOutputMessage(MessageType output)
void	setReceiver(Annotation receiver)
void	setSender(Annotation sender)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Transition

public Transition()

Transition

public Transition(MessageType input,
                  Annotation sender,
                  MessageType output,
                  Annotation receiver,
                  State stNew)

Method Detail

setInputMessage

public void setInputMessage(MessageType input)

getInputMessage

public MessageType getInputMessage()

setSender

public void setSender(Annotation sender)

getSender

public Annotation getSender()

setOutputMessage

public void setOutputMessage(MessageType output)

getOutputMessage

public MessageType getOutputMessage()

setReceiver

public void setReceiver(Annotation receiver)

getReceiver

public Annotation getReceiver()

setIgnoreInput

public void setIgnoreInput(boolean bIgnore)

setIgnoreOutput

public void setIgnoreOutput(boolean bIgnore)

ignoreInput

public boolean ignoreInput()

ignoreOutput

public boolean ignoreOutput()

setNewState

public void setNewState(State stNew)

getNewState

public State getNewState()

getSenderConformanceTo

public HybridTypeConformance getSenderConformanceTo(Transition trSuper,
                                                    HybridTypeConformance tcFail,
                                                    CGOntologySet os)

getReceiverConformanceTo

public HybridTypeConformance getReceiverConformanceTo(Transition trSuper,
                                                      HybridTypeConformance tcFail,
                                                      CGOntologySet os)

toString

public java.lang.String toString()