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 java.util.List<ValidationUtil.Result>	checkTopLevelRefinedStates(ActorClass ac)
static ValidationUtil.Result	checkTransition(Transition tr)
static boolean	isCircularClassHierarchy(ActorClass ac)
static boolean	isCircularClassHierarchy(DataClass dc)
static boolean	isCircularClassHierarchy(ProtocolClass pc)
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 ValidationUtil.Result	isFreeOfReferences(Port port)
static boolean	isMultipleConnectable(Port port, ActorContainerRef ref)
static boolean	isReferencedAsReplicatedInModel(ActorClass ac)
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

isCircularClassHierarchy

public static boolean isCircularClassHierarchy(DataClass dc)

isCircularClassHierarchy

public static boolean isCircularClassHierarchy(ProtocolClass pc)

isCircularClassHierarchy

public static boolean isCircularClassHierarchy(ActorClass ac)

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)

isFreeOfReferences

public static ValidationUtil.Result isFreeOfReferences(Port port)

isReferencedAsReplicatedInModel

public static boolean isReferencedAsReplicatedInModel(ActorClass ac)

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)

checkTopLevelRefinedStates

public static java.util.List<ValidationUtil.Result> checkTopLevelRefinedStates(ActorClass ac)