org.eclipse.etrice.core.validation
Class ValidationUtil

java.lang.Object
  extended by 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 isMultipleConnectable(Port port, ActorContainerRef ref)
           
static boolean isReferencedInModel(Port port)
           
static boolean isReferencedInModel(SPPRef spp)
           
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)

isMultipleConnectable

public static boolean isMultipleConnectable(Port port,
                                            ActorContainerRef ref)

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)

isReferencedInModel

public static boolean isReferencedInModel(Port port)

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)

isReferencedInModel

public static boolean isReferencedInModel(SPPRef spp)

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)