AMETASx.data.htype
Class HybridType

java.lang.Object
  AMETAS.data.type.TypeContent
      AMETASx.data.htype.HybridType

All Implemented Interfaces:

java.io.Serializable

public class HybridType

extends TypeContent

implements java.io.Serializable

Repräsentiert einen Typ.

See Also:

Serialized Form

Field Summary

static long

serialVersionUID Serialisationsversion.

Constructor Summary

HybridType()
Erzeugt eine neue Typinstanz.

HybridType(SyntacticType synType, TransitionType trType, SemanticType semType)
Erzeugt eine neue Typinstanz.

Method Summary

java.lang.Object	clone() Liefert eine Kopie des hybriden Typs.
static void	debug(java.lang.String sMessage) Gibt eine Zeichenkette auf dem Kontrollausgabestrom aus.
TypeConformance	getConformanceTo(TypeContent tySuper, KnowledgeBase kb) Liefert die Konformität zwischen zwei Typen.
TypeConformance	getConformanceTo(TypeContent tySuper, TypeConformance tc, KnowledgeBase kb) Liefert die Konformität zwischen zwei Typen.
SemanticType	getSemanticType() Liefert den semantischen Typ.
byte[]	getSignableData() Liefert die Daten, welche zur Signatur beitragen sollen.
SyntacticType	getSyntacticType() Liefert den syntaktischen Typ.
TransitionType	getTransitionType() Liefert den Transitionstyp.
static void	setDebug(boolean bDebug) Stellt die Kontrollausgaben an oder aus.
static void	setDebugWriter(java.io.PrintWriter pw) Setzt den Ausgabekanal für Fehlersuchzwecke.
void	specialize(TypeContent tycSpec) Spezialisiert den Typ.
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

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

Field Detail

serialVersionUID

public static final long serialVersionUID

Serialisationsversion.

See Also:

Constant Field Values

Constructor Detail

HybridType

public HybridType()

Erzeugt eine neue Typinstanz. Die einzelnen Komponenten werden als leere Typen initialisiert.

HybridType

public HybridType(SyntacticType synType,
                  TransitionType trType,
                  SemanticType semType)

Erzeugt eine neue Typinstanz.

Parameters:

synType - Syntaktischer Typ.

trType - Transitionstyp.

semType - Semantischer Typ.

Method Detail

getSyntacticType

public SyntacticType getSyntacticType()

Liefert den syntaktischen Typ.

Returns:

Syntaktischer Typ.

getTransitionType

public TransitionType getTransitionType()

Liefert den Transitionstyp.

Returns:

Transitionstyp.

getSemanticType

public SemanticType getSemanticType()

Liefert den semantischen Typ.

Returns:

Semantischer Typ.

getConformanceTo

public TypeConformance getConformanceTo(TypeContent tySuper,
                                        KnowledgeBase kb)

Liefert die Konformität zwischen zwei Typen. Ist kein Transitionstyp definiert, wird nur syntaktisch geprüft. Ansonsten wird der syntaktische Typ in Relation zum gegebenen Transitionstyp geprüft. Das Ergebnis aller Tests wird mit dem Vergleich der semantischen Typen kombiniert und als Konformitätsobjekt geliefert. Sollen Konzeptgraphen verglichen werden, müssen die Konzept- und die Relationsontologie in dieser Reihenfolge im Feld übergeben werden.

Returns:

Konformitätsinstanz, die Auskunft über das Verhältnis der beiden gibt.

getConformanceTo

public TypeConformance getConformanceTo(TypeContent tySuper,
                                        TypeConformance tc,
                                        KnowledgeBase kb)

Liefert die Konformität zwischen zwei Typen. Ist kein Transitionstyp definiert, wird nur syntaktisch geprüft. Ansonsten wird der syntaktische Typ in Relation zum gegebenen Transitionstyp geprüft. Das Ergebnis aller Tests wird mit dem Vergleich der semantischen Typen kombiniert und als Konformitätsobjekt geliefert. Sollen Konzeptgraphen verglichen werden, müssen die Konzept- und die Relationsontologie in dieser Reihenfolge im Feld übergeben werden.

Specified by:

getConformanceTo in class TypeContent

Parameters:

tc - Typkonformitätsmaske.

tySuper - Beschreibung des möglichen Supertypen.

kb - Wissensbasis für Typvergleich.

Returns:

Konformitätsinstanz, die Auskunft über das Verhältnis der beiden gibt.

setDebugWriter

public static void setDebugWriter(java.io.PrintWriter pw)

Setzt den Ausgabekanal für Fehlersuchzwecke.

Parameters:

pw - Ausgabekanal.

setDebug

public static void setDebug(boolean bDebug)

Stellt die Kontrollausgaben an oder aus.

Parameters:

bDebug - wenn true, werden Kontrollausgaben geliefert.

debug

public static void debug(java.lang.String sMessage)

Gibt eine Zeichenkette auf dem Kontrollausgabestrom aus.

Parameters:

sMessage - Auszugebende Nachricht.

clone

public java.lang.Object clone()

Liefert eine Kopie des hybriden Typs. Die Kopie wird durch Serialisierung und Deserialisierung gewonnen, damit interne Verzeigerungen nicht zerstört werden.

Specified by:

clone in class TypeContent

Returns:

Kopie.

specialize

public void specialize(TypeContent tycSpec)
                throws java.lang.UnsupportedOperationException

Spezialisiert den Typ. Dies ist in der derzeitigen Version nicht vorgesehen, sodass eine UnsupportedOperationException geworfen wird.

Specified by:

specialize in class TypeContent

Parameters:

tycSpec - Spezialisierungstyp.

Throws:

java.lang.UnsupportedOperationException - immer, da diese Operation nicht implementiert ist.

getSignableData

public byte[] getSignableData()

Liefert die Daten, welche zur Signatur beitragen sollen. Dies ist notwendig, da zwischen verschiedenen Java-Versionen (1.1.8 und 1.2.2) verschiedene Ergebnisse bei der Serialisierung herauskommen. Dafür ist die Signatur über die Typen möglicherweise nicht hundertprozentig sicher.

Specified by:

getSignableData in class TypeContent

Returns:

Signaturdaten.

toString

public java.lang.String toString()

Liefert eine einfache Stringrepräsentation.

Specified by:

toString in class TypeContent

Returns:

Stringrepräsentation.

toString

public java.lang.String toString(boolean bDetail)

Liefert eine Stringrepräsentation.

Parameters:

bDetail - wenn true, wird der Inhalt aufgelistet.

Returns:

Stringrepräsentation.