AMETASx.data.htype
Class State

java.lang.Object
  AMETASx.data.htype.State

All Implemented Interfaces:

java.io.Serializable

public class State

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Constructor Summary

State()
Standardkonstruktor.

State(Transition[] atr)

Method Summary

Annotation	getAnnotation()
HybridTypeConformance	getConformanceTo(State st, CGOntologySet os)
Transition[]	getTransitions()
void	setAnnotation(Annotation ann)
void	setTransitions(Transition[] atr)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

State

public State()

Standardkonstruktor.

State

public State(Transition[] atr)

Method Detail

setAnnotation

public void setAnnotation(Annotation ann)

getAnnotation

public Annotation getAnnotation()

getTransitions

public Transition[] getTransitions()

setTransitions

public void setTransitions(Transition[] atr)

getConformanceTo

public HybridTypeConformance getConformanceTo(State st,
                                              CGOntologySet os)

toString

public java.lang.String toString()