Package org.palladiosimulator.dataflow.diagram.DataFlowDiagram.util

Class DataFlowDiagramValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.diagram.DataFlowDiagram.util.DataFlowDiagramValidator

All Implemented Interfaces:

EValidator

public class DataFlowDiagramValidator
extends EObjectValidator

The Validator for the model.

See Also:

DataFlowDiagramPackage

Generated class or method.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator

EObjectValidator.DynamicEClassValidator, EObjectValidator.DynamicEDataTypeValidator

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate

Field Summary

Fields

Modifier and Type	Field	Description
protected static String	DATA_FLOW__AT_LEAST_ONE_DATA_ENTRY_REQUIRED__EEXPRESSION	The cached validation expression for the atLeastOneDataEntryRequired constraint of 'Data Flow'.
protected static int	DIAGNOSTIC_CODE_COUNT	A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
static String	DIAGNOSTIC_SOURCE	A constant for the source of diagnostic codes from this package.
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static DataFlowDiagramValidator	INSTANCE	The cached model package

Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator

DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Constructor	Description
DataFlowDiagramValidator()	Creates an instance of the switch.

Method Summary

Modifier and Type	Method	Description
protected EPackage	getEPackage()	Returns the package of this validator switch.
ResourceLocator	getResourceLocator()	Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
protected boolean	validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)	Calls validateXXX for the corresponding classifier of the model.
boolean	validateComponent(Component component, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateData(Data data, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataFlow(DataFlow dataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataFlow_atLeastOneDataEntryRequired(DataFlow dataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the atLeastOneDataEntryRequired constraint of 'Data Flow'.
boolean	validateDataFlowDiagram(DataFlowDiagram dataFlowDiagram, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataFlowDiagramRefinement(DataFlowDiagramRefinement dataFlowDiagramRefinement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataFlowEdge(DataFlowEdge dataFlowEdge, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEdge(Edge edge, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEdgeRefinement(EdgeRefinement edgeRefinement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEntity(Entity entity, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExternalActor(ExternalActor externalActor, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNamedElement(NamedElement namedElement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNode(Node node, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProcess(Process process, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStore(Store store, DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

createBadDataValueDiagnostic, createDiagnostic, getAvailableChoices, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate, validate, validate, validate, validate, validate, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validatePattern, wrapEnumerationValues

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final DataFlowDiagramValidator INSTANCE

The cached model package

Generated class or method.

DIAGNOSTIC_SOURCE

public static final String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

Diagnostic.getSource(), Diagnostic.getCode(), Constant Field Values

Generated class or method.

DIAGNOSTIC_CODE_COUNT

protected static final int DIAGNOSTIC_CODE_COUNT

A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.

See Also:

Constant Field Values

Generated class or method.

identifierValidator

protected de.uka.ipd.sdq.identifier.util.IdentifierValidator identifierValidator

The cached base package validator.

Generated class or method.

DATA_FLOW__AT_LEAST_ONE_DATA_ENTRY_REQUIRED__EEXPRESSION

protected static final String DATA_FLOW__AT_LEAST_ONE_DATA_ENTRY_REQUIRED__EEXPRESSION

The cached validation expression for the atLeastOneDataEntryRequired constraint of 'Data Flow'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

DataFlowDiagramValidator

public DataFlowDiagramValidator()

Creates an instance of the switch.

Generated class or method.

Method Detail

getEPackage

protected EPackage getEPackage()

Returns the package of this validator switch.

Overrides:

getEPackage in class EObjectValidator

Generated class or method.

validate

protected boolean validate(int classifierID,
                           Object value,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Calls validateXXX for the corresponding classifier of the model.

Overrides:

validate in class EObjectValidator

Generated class or method.

validateDataFlowDiagram

public boolean validateDataFlowDiagram(DataFlowDiagram dataFlowDiagram,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateComponent

public boolean validateComponent(Component component,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateExternalActor

public boolean validateExternalActor(ExternalActor externalActor,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateStore

public boolean validateStore(Store store,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

Generated class or method.

validateProcess

public boolean validateProcess(Process process,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

Generated class or method.

validateDataFlowDiagramRefinement

public boolean validateDataFlowDiagramRefinement(DataFlowDiagramRefinement dataFlowDiagramRefinement,
                                                 DiagnosticChain diagnostics,
                                                 Map<Object,Object> context)

Generated class or method.

validateDataFlow

public boolean validateDataFlow(DataFlow dataFlow,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validateDataFlow_atLeastOneDataEntryRequired

public boolean validateDataFlow_atLeastOneDataEntryRequired(DataFlow dataFlow,
                                                            DiagnosticChain diagnostics,
                                                            Map<Object,Object> context)

Validates the atLeastOneDataEntryRequired constraint of 'Data Flow'.

Generated class or method.

validateData

public boolean validateData(Data data,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateEdge

public boolean validateEdge(Edge edge,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateDataFlowEdge

public boolean validateDataFlowEdge(DataFlowEdge dataFlowEdge,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateNode

public boolean validateNode(Node node,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateNamedElement

public boolean validateNamedElement(NamedElement namedElement,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateEntity

public boolean validateEntity(Entity entity,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

Generated class or method.

validateEdgeRefinement

public boolean validateEdgeRefinement(EdgeRefinement edgeRefinement,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

getResourceLocator

public ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:

getResourceLocator in class EObjectValidator

Generated class or method.