AMETASx.data.htype
Class SyntacticType

java.lang.Object
  AMETASx.data.htype.SyntacticType

All Implemented Interfaces:

java.io.Serializable

public class SyntacticType

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

static long

serialVersionUID Serialisierungsversion.

Constructor Summary

SyntacticType()
Konstruktor.

SyntacticType(MessageType[] aMsgIn, MessageType[] aMsgOut)
Konstruktor.

Method Summary

MessageType[]	findInputMessages(Annotation ann, CGOntologySet cgont) Findet alle Eingangsnachrichten, die die gegebene Annotation haben.
MessageType[]	findMessages(Annotation ann, boolean bInput, CGOntologySet cgont) Findet alle Eingangsnachrichten, die die gegebene Annotation haben.
MessageType[]	findOutputMessages(Annotation ann, CGOntologySet cgont) Findet alle Ausgangsnachrichten, die die gegebene Annotation haben.
HybridTypeConformance	getConformanceTo(SyntacticType possSuperType, HybridTypeConformance tcFail, CGOntologySet os) Bestimmt die Konformität dieses Typs zu dem übergebenen.
MessageType[]	getInputMessages() Liefert die Eingabenachrichten.
MessageType[]	getOutputMessages() Liefert die Ausgabenachrichten.
void	setInputMessages(MessageType[] aMsg) Setzt die Eingabenachrichten.
void	setOutputMessages(MessageType[] aMsg) Setzt die Ausgabenachrichten.
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

SyntacticType

public SyntacticType()

Konstruktor. Die Eingabe- und Ausgabenachrichten werden auf null gesetzt.

SyntacticType

public SyntacticType(MessageType[] aMsgIn,
                     MessageType[] aMsgOut)

Konstruktor.

Parameters:

aMsgIn - Eingabenachrichten.

aMsgOut - Ausgabenachrichten.

Method Detail

setInputMessages

public void setInputMessages(MessageType[] aMsg)

Setzt die Eingabenachrichten.

Parameters:

aMsg - Eingabenachrichten.

setOutputMessages

public void setOutputMessages(MessageType[] aMsg)

Setzt die Ausgabenachrichten.

Parameters:

aMsg - Ausgabenachrichten.

getInputMessages

public MessageType[] getInputMessages()

Liefert die Eingabenachrichten.

Returns:

Eingabenachrichten.

getOutputMessages

public MessageType[] getOutputMessages()

Liefert die Ausgabenachrichten.

Returns:

Ausgabenachrichten.

findInputMessages

public MessageType[] findInputMessages(Annotation ann,
                                       CGOntologySet cgont)

Findet alle Eingangsnachrichten, die die gegebene Annotation haben.

Parameters:

ann - Annotation.

cgont - Ontologien.

Returns:

Feld von passenden Eingangsnachrichten.

findOutputMessages

public MessageType[] findOutputMessages(Annotation ann,
                                        CGOntologySet cgont)

Findet alle Ausgangsnachrichten, die die gegebene Annotation haben.

Parameters:

ann - Annotation.

cgont - Ontologien.

Returns:

Feld von passenden Eingangsnachrichten.

findMessages

public MessageType[] findMessages(Annotation ann,
                                  boolean bInput,
                                  CGOntologySet cgont)

Findet alle Eingangsnachrichten, die die gegebene Annotation haben.

Parameters:

ann - Annotation.

bInput - true, wenn es eine Eingangsnachricht sein soll.

cgont - Ontologien.

Returns:

Feld von passenden Eingangsnachrichten.

getConformanceTo

public HybridTypeConformance getConformanceTo(SyntacticType possSuperType,
                                              HybridTypeConformance tcFail,
                                              CGOntologySet os)

Bestimmt die Konformität dieses Typs zu dem übergebenen. Der übergebene Typ wird als möglicher Supertyp angesehen. Hierbei werden keine Zustandsübergänge betrachtet. Die Regel sieht so aus:
Sei dieser Typ T1 genannt, der andere T2. Es ist zu prüfen, ob T1 Subtyp von T2 ist.

• T1 muss die Arten von Nachrichten akzeptieren, die T2 akzeptiert.
• T1 darf nur solche Arten von Nachrichten senden, die T2 sendet.
• Es gelten die Ko- und Kontravarianzregeln für die Nachrichtenarten.

Parameters:

possSuperType - Übergebener Typ.

Returns:

Konformitätsobjekt, das Auskunft über das Verhältnis der beiden Typen 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.