org.eclipse.etrice.core.validation
Class ValidationUtil

java.lang.Object
  org.eclipse.etrice.core.validation.ValidationUtil

public class ValidationUtil
extends java.lang.Object

Nested Class Summary

static class

ValidationUtil.Result

Constructor Summary

ValidationUtil()

Method Summary

static ValidationUtil.Result	checkState(State state)
static ValidationUtil.Result	checkTransition(Transition tr)
static boolean	isBaseOf(ActorClass ac1, ActorClass ac2) check whether ac1 is base class of ac2
static boolean	isBaseOf(DataClass dc1, DataClass dc2) check whether dc1 is base class of dc2
static boolean	isBaseOf(ProtocolClass pc1, ProtocolClass pc2) check whether pc1 is base class of pc2
static ValidationUtil.Result	isConnectable(BindingEndPoint ep1, BindingEndPoint ep2, StructureClass sc)
static ValidationUtil.Result	isConnectable(Port p1, ActorContainerRef ref1, Port p2, ActorContainerRef ref2, StructureClass sc)
static ValidationUtil.Result	isConnectable(Port p1, ActorContainerRef ref1, Port p2, ActorContainerRef ref2, StructureClass sc, Binding exclude)
static ValidationUtil.Result	isConnectable(Port port, ActorContainerRef ref, StructureClass acc) returns true if this port is connectable inside its parent, i.e.
static ValidationUtil.Result	isConnectable(Port port, ActorContainerRef ref, StructureClass acc, Binding exclude)
static ValidationUtil.Result	isConnectable(SPPRef src, ActorContainerRef srcRef, SPPRef tgt, ActorContainerRef tgtRef, StructureClass ac)
static ValidationUtil.Result	isConnectable(SPPRef src, ActorContainerRef srcRef, SPPRef dst, ActorContainerRef dstRef, StructureClass sc, LayerConnection exclude)
static ValidationUtil.Result	isConnectable(TransitionTerminal src, StateGraph sg)
static ValidationUtil.Result	isConnectable(TransitionTerminal src, TransitionTerminal tgt, StateGraph sg)
static ValidationUtil.Result	isConnectable(TransitionTerminal src, TransitionTerminal tgt, Transition trans, StateGraph sg)
static boolean	isConnectableDst(SPPRef src, ActorContainerRef ref, StructureClass sc)
static boolean	isConnectableDst(SPPRef dst, ActorContainerRef ref, StructureClass sc, LayerConnection exclude)
static boolean	isConnectableSrc(SPPRef src, ActorContainerRef ref, StructureClass sc)
static boolean	isConnectableSrc(SPPRef src, ActorContainerRef ref, StructureClass sc, LayerConnection exclude)
static ValidationUtil.Result	isConnectableSrc(TransitionTerminal src, Transition trans, StateGraph sg)
static boolean	isConnected(Port port, ActorContainerRef ref, StructureClass sc)
static boolean	isConnected(Port port, ActorContainerRef ref, StructureClass sc, Binding exclude)
static boolean	isConnectedDst(SPPRef src, ActorContainerRef acr, StructureClass sc)
static boolean	isConnectedDst(SPPRef src, ActorContainerRef acr, StructureClass sc, LayerConnection exclude)
static boolean	isConnectedOutside(TrPoint tp)
static boolean	isConnectedSrc(SPPRef src, StructureClass sc)
static boolean	isConnectedSrc(SPPRef src, StructureClass sc, LayerConnection exclude)
static boolean	isKindOf(ActorClass ac1, ActorClass ac2) check whether ac1 is super type of ac2
static boolean	isKindOf(DataClass dc1, DataClass dc2) check whether dc1 is super type of dc2
static boolean	isKindOf(ProtocolClass pc1, ProtocolClass pc2) check whether pc1 is super type of pc2
static boolean	isReferencing(ActorClass ref, ActorClass ac) check if ref recursively is referencing ac
static boolean	isRelay(Port port) returns true if this is a relay port
static boolean	isRelay(SPPRef spp)
static ValidationUtil.Result	isUniqueName(InterfaceItem item)
static ValidationUtil.Result	isUniqueName(InterfaceItem item, java.lang.String name)
static ValidationUtil.Result	isUniqueName(StateGraphItem s, java.lang.String name)
static ValidationUtil.Result	isValid(Binding bind)
static ValidationUtil.Result	isValid(LayerConnection lc)
static ValidationUtil.Result	isValid(TrPoint tp)

Methods inherited from class java.lang.Object

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

Constructor Detail

ValidationUtil

public ValidationUtil()

Method Detail

isKindOf

public static boolean isKindOf(DataClass dc1,
                               DataClass dc2)

check whether dc1 is super type of dc2

Parameters:

dc1 -

dc2 -

Returns:

true if dc1 or one of its base types is identical to dc2

isBaseOf

public static boolean isBaseOf(DataClass dc1,
                               DataClass dc2)

check whether dc1 is base class of dc2

Parameters:

dc1 -

dc2 -

Returns:

true if dc1 is base class of dc2

isKindOf

public static boolean isKindOf(ProtocolClass pc1,
                               ProtocolClass pc2)

check whether pc1 is super type of pc2

Parameters:

pc1 -

pc2 -

Returns:

true if pc1 or one of its base types is identical to pc2

isBaseOf

public static boolean isBaseOf(ProtocolClass pc1,
                               ProtocolClass pc2)

check whether pc1 is base class of pc2

Parameters:

pc1 -

pc2 -

Returns:

true if pc1 is base class of pc2

isKindOf

public static boolean isKindOf(ActorClass ac1,
                               ActorClass ac2)

check whether ac1 is super type of ac2

Parameters:

ac1 -

ac2 -

Returns:

true if ac1 or one of its base types is identical to ac2

isBaseOf

public static boolean isBaseOf(ActorClass ac1,
                               ActorClass ac2)

check whether ac1 is base class of ac2

Parameters:

ac1 -

ac2 -

Returns:

true if ac1 is base class of ac2

isReferencing

public static boolean isReferencing(ActorClass ref,
                                    ActorClass ac)

check if ref recursively is referencing ac

Parameters:

ref -

ac -

Returns:

true if ref recursively is referencing ac

isRelay

public static boolean isRelay(Port port)

returns true if this is a relay port

Parameters:

port -

Returns:

true if relay port

isConnectable

public static ValidationUtil.Result isConnectable(Port port,
                                                  ActorContainerRef ref,
                                                  StructureClass acc)

returns true if this port is connectable inside its parent, i.e. an internal end port or a relay port

Parameters:

port -

Returns:

ok if connectable

isConnectable

public static ValidationUtil.Result isConnectable(Port port,
                                                  ActorContainerRef ref,
                                                  StructureClass acc,
                                                  Binding exclude)

isValid

public static ValidationUtil.Result isValid(Binding bind)

isConnectable

public static ValidationUtil.Result isConnectable(BindingEndPoint ep1,
                                                  BindingEndPoint ep2,
                                                  StructureClass sc)

isConnectable

public static ValidationUtil.Result isConnectable(Port p1,
                                                  ActorContainerRef ref1,
                                                  Port p2,
                                                  ActorContainerRef ref2,
                                                  StructureClass sc)

isConnectable

public static ValidationUtil.Result isConnectable(Port p1,
                                                  ActorContainerRef ref1,
                                                  Port p2,
                                                  ActorContainerRef ref2,
                                                  StructureClass sc,
                                                  Binding exclude)

isConnected

public static boolean isConnected(Port port,
                                  ActorContainerRef ref,
                                  StructureClass sc)

isConnected

public static boolean isConnected(Port port,
                                  ActorContainerRef ref,
                                  StructureClass sc,
                                  Binding exclude)

isRelay

public static boolean isRelay(SPPRef spp)

isValid

public static ValidationUtil.Result isValid(LayerConnection lc)

isConnectable

public static ValidationUtil.Result isConnectable(SPPRef src,
                                                  ActorContainerRef srcRef,
                                                  SPPRef tgt,
                                                  ActorContainerRef tgtRef,
                                                  StructureClass ac)

isConnectable

public static ValidationUtil.Result isConnectable(SPPRef src,
                                                  ActorContainerRef srcRef,
                                                  SPPRef dst,
                                                  ActorContainerRef dstRef,
                                                  StructureClass sc,
                                                  LayerConnection exclude)

isConnectableSrc

public static boolean isConnectableSrc(SPPRef src,
                                       ActorContainerRef ref,
                                       StructureClass sc)

isConnectableSrc

public static boolean isConnectableSrc(SPPRef src,
                                       ActorContainerRef ref,
                                       StructureClass sc,
                                       LayerConnection exclude)

isConnectedSrc

public static boolean isConnectedSrc(SPPRef src,
                                     StructureClass sc)

isConnectedSrc

public static boolean isConnectedSrc(SPPRef src,
                                     StructureClass sc,
                                     LayerConnection exclude)

isConnectableDst

public static boolean isConnectableDst(SPPRef src,
                                       ActorContainerRef ref,
                                       StructureClass sc)

isConnectableDst

public static boolean isConnectableDst(SPPRef dst,
                                       ActorContainerRef ref,
                                       StructureClass sc,
                                       LayerConnection exclude)

isConnectedDst

public static boolean isConnectedDst(SPPRef src,
                                     ActorContainerRef acr,
                                     StructureClass sc)

isConnectedDst

public static boolean isConnectedDst(SPPRef src,
                                     ActorContainerRef acr,
                                     StructureClass sc,
                                     LayerConnection exclude)

isConnectable

public static ValidationUtil.Result isConnectable(TransitionTerminal src,
                                                  TransitionTerminal tgt,
                                                  StateGraph sg)

isConnectable

public static ValidationUtil.Result isConnectable(TransitionTerminal src,
                                                  TransitionTerminal tgt,
                                                  Transition trans,
                                                  StateGraph sg)

isConnectable

public static ValidationUtil.Result isConnectable(TransitionTerminal src,
                                                  StateGraph sg)

isConnectableSrc

public static ValidationUtil.Result isConnectableSrc(TransitionTerminal src,
                                                     Transition trans,
                                                     StateGraph sg)

isValid

public static ValidationUtil.Result isValid(TrPoint tp)

isUniqueName

public static ValidationUtil.Result isUniqueName(InterfaceItem item)

isConnectedOutside

public static boolean isConnectedOutside(TrPoint tp)

isUniqueName

public static ValidationUtil.Result isUniqueName(InterfaceItem item,
                                                 java.lang.String name)

isUniqueName

public static ValidationUtil.Result isUniqueName(StateGraphItem s,
                                                 java.lang.String name)

checkTransition

public static ValidationUtil.Result checkTransition(Transition tr)

Parameters:

tr -

Returns:

checkState

public static ValidationUtil.Result checkState(State state)