AMETASx.data.htype
Class TransitionType

java.lang.Object
  AMETASx.data.htype.TransitionType

All Implemented Interfaces:

java.io.Serializable

public class TransitionType

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

static long

serialVersionUID Serialisierungsversion.

Constructor Summary

TransitionType()

TransitionType(State start)

Method Summary

HybridTypeConformance	getConformanceTo(TransitionType tySuper, HybridTypeConformance tcFail, CGOntologySet os) Bestimmt die Konformität beider Transitionstypen, damit auch die Konformität der beiden Agententypen überhaupt.
State	getInitialState()
boolean	isDefined()
void	setInitialState(State st0)
void	setTransWithReceiver(Transition[] atr)
void	setTransWithSender(Transition[] atr)
java.lang.String	toString() Liefert eine einfache Stringrepräsentation.
java.lang.String	toString(boolean bDetail) Liefert eine Stringrepräsentation.

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

public static final long serialVersionUID

Serialisierungsversion.

See Also:

Constant Field Values

Constructor Detail

TransitionType

public TransitionType()

TransitionType

public TransitionType(State start)

Method Detail

getInitialState

public State getInitialState()

setInitialState

public void setInitialState(State st0)

isDefined

public boolean isDefined()

setTransWithSender

public void setTransWithSender(Transition[] atr)

setTransWithReceiver

public void setTransWithReceiver(Transition[] atr)

getConformanceTo

public HybridTypeConformance getConformanceTo(TransitionType tySuper,
                                              HybridTypeConformance tcFail,
                                              CGOntologySet os)

Bestimmt die Konformität beider Transitionstypen, damit auch die Konformität der beiden Agententypen überhaupt.

Parameters:

tySuper - Transitionstyp des möglichen Supertyps.

tcFail - Vorgaben des Nachfragers, welche Beurteilungen fatal wirken sollen.

os - Ontologien, die für den Semantikcheck benötigt werden.

Returns:

Konformitätsobjekt, das Auskunft über die Übereinstimmung gibt.

toString

public java.lang.String toString()

Liefert eine einfache Stringrepräsentation.

Returns:

Stringrepräsentation.

toString

public java.lang.String toString(boolean bDetail)

Liefert eine Stringrepräsentation.

Parameters:

bDetail - wenn true, ist die Ausgabe ausführlich.

Returns:

Stringrepräsentation.