Package org.palladiosimulator.dataflow.diagram.characterized.DataFlowDiagramCharacterized.util

Class DataFlowDiagramCharacterizedValidatorGen

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.diagram.characterized.DataFlowDiagramCharacterized.util.DataFlowDiagramCharacterizedValidatorGen

All Implemented Interfaces:

EValidator

Direct Known Subclasses:

DataFlowDiagramCharacterizedValidator

public class DataFlowDiagramCharacterizedValidatorGen
extends EObjectValidator

The Validator for the model.

See Also:

DataFlowDiagramCharacterizedPackage

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	BEHAVING__EXACTLY_ONE_BEHAVIOR_HAS_TO_BE_SPECIFIED__EEXPRESSION	The cached validation expression for the exactlyOneBehaviorHasToBeSpecified constraint of 'Behaving'.
protected static String	CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_IS_ENTITY_INPUT_PIN__EEXPRESSION	The cached validation expression for the destinationPinIsEntityInputPin constraint of 'Characterized Data Flow'.
protected static String	CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_OWNER_MATCHES_DESTINATION__EEXPRESSION	The cached validation expression for the destinationPinOwnerMatchesDestination constraint of 'Characterized Data Flow'.
protected static String	CHARACTERIZED_DATA_FLOW__NOT_PART_OF_LOOP__EEXPRESSION	The cached validation expression for the notPartOfLoop constraint of 'Characterized Data Flow'.
protected static String	CHARACTERIZED_DATA_FLOW__SOURCE_PIN_IS_ENTITY_OUTPUT_PIN__EEXPRESSION	The cached validation expression for the sourcePinIsEntityOutputPin constraint of 'Characterized Data Flow'.
protected static String	CHARACTERIZED_DATA_FLOW__SOURCE_PIN_OWNER_MATCHES_SOURCE__EEXPRESSION	The cached validation expression for the sourcePinOwnerMatchesSource constraint of 'Characterized Data Flow'.
protected static String	CHARACTERIZED_NODE__AT_LEAST_ONE_INPUT_FLOW_FOR_EACH_INPUT_PIN__EEXPRESSION	The cached validation expression for the atLeastOneInputFlowForEachInputPin constraint of 'Characterized Node'.
protected static String	CHARACTERIZED_STORE__STORE_HAS_EXACTLY_ONE_INPUT_AND_ONE_OUTPUT_PIN__EEXPRESSION	The cached validation expression for the storeHasExactlyOneInputAndOneOutputPin constraint of 'Characterized Store'.
protected static String	CHARACTERIZED_STORE__STORE_HAS_NO_ASSIGNMENTS_IN_BEHAVIOR__EEXPRESSION	The cached validation expression for the storeHasNoAssignmentsInBehavior constraint of 'Characterized Store'.
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.
static DataFlowDiagramCharacterizedValidatorGen	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
DataFlowDiagramCharacterizedValidatorGen()	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	validateBehaving(Behaving behaving, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBehaving_exactlyOneBehaviorHasToBeSpecified(Behaving behaving, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the exactlyOneBehaviorHasToBeSpecified constraint of 'Behaving'.
boolean	validateCharacterizable(Characterizable characterizable, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedActorProcess(CharacterizedActorProcess characterizedActorProcess, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedDataFlow(CharacterizedDataFlow characterizedDataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedDataFlow_destinationPinIsEntityInputPin(CharacterizedDataFlow characterizedDataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the destinationPinIsEntityInputPin constraint of 'Characterized Data Flow'.
boolean	validateCharacterizedDataFlow_destinationPinOwnerMatchesDestination(CharacterizedDataFlow characterizedDataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the destinationPinOwnerMatchesDestination constraint of 'Characterized Data Flow'.
boolean	validateCharacterizedDataFlow_notPartOfLoop(CharacterizedDataFlow characterizedDataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the notPartOfLoop constraint of 'Characterized Data Flow'.
boolean	validateCharacterizedDataFlow_sourcePinIsEntityOutputPin(CharacterizedDataFlow characterizedDataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the sourcePinIsEntityOutputPin constraint of 'Characterized Data Flow'.
boolean	validateCharacterizedDataFlow_sourcePinOwnerMatchesSource(CharacterizedDataFlow characterizedDataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the sourcePinOwnerMatchesSource constraint of 'Characterized Data Flow'.
boolean	validateCharacterizedExternalActor(CharacterizedExternalActor characterizedExternalActor, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedNode(CharacterizedNode characterizedNode, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedNode_atLeastOneInputFlowForEachInputPin(CharacterizedNode characterizedNode, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the atLeastOneInputFlowForEachInputPin constraint of 'Characterized Node'.
boolean	validateCharacterizedProcess(CharacterizedProcess characterizedProcess, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedStore(CharacterizedStore characterizedStore, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedStore_storeHasExactlyOneInputAndOneOutputPin(CharacterizedStore characterizedStore, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the storeHasExactlyOneInputAndOneOutputPin constraint of 'Characterized Store'.
boolean	validateCharacterizedStore_storeHasNoAssignmentsInBehavior(CharacterizedStore characterizedStore, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the storeHasNoAssignmentsInBehavior constraint of 'Characterized Store'.

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 DataFlowDiagramCharacterizedValidatorGen 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.

CHARACTERIZED_STORE__STORE_HAS_NO_ASSIGNMENTS_IN_BEHAVIOR__EEXPRESSION

protected static final String CHARACTERIZED_STORE__STORE_HAS_NO_ASSIGNMENTS_IN_BEHAVIOR__EEXPRESSION

The cached validation expression for the storeHasNoAssignmentsInBehavior constraint of 'Characterized Store'.

See Also:

Constant Field Values

Generated class or method.

CHARACTERIZED_STORE__STORE_HAS_EXACTLY_ONE_INPUT_AND_ONE_OUTPUT_PIN__EEXPRESSION

protected static final String CHARACTERIZED_STORE__STORE_HAS_EXACTLY_ONE_INPUT_AND_ONE_OUTPUT_PIN__EEXPRESSION

The cached validation expression for the storeHasExactlyOneInputAndOneOutputPin constraint of 'Characterized Store'.

See Also:

Constant Field Values

Generated class or method.

CHARACTERIZED_DATA_FLOW__SOURCE_PIN_IS_ENTITY_OUTPUT_PIN__EEXPRESSION

protected static final String CHARACTERIZED_DATA_FLOW__SOURCE_PIN_IS_ENTITY_OUTPUT_PIN__EEXPRESSION

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

See Also:

Constant Field Values

Generated class or method.

CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_IS_ENTITY_INPUT_PIN__EEXPRESSION

protected static final String CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_IS_ENTITY_INPUT_PIN__EEXPRESSION

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

See Also:

Constant Field Values

Generated class or method.

CHARACTERIZED_DATA_FLOW__SOURCE_PIN_OWNER_MATCHES_SOURCE__EEXPRESSION

protected static final String CHARACTERIZED_DATA_FLOW__SOURCE_PIN_OWNER_MATCHES_SOURCE__EEXPRESSION

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

See Also:

Constant Field Values

Generated class or method.

CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_OWNER_MATCHES_DESTINATION__EEXPRESSION

protected static final String CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_OWNER_MATCHES_DESTINATION__EEXPRESSION

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

See Also:

Constant Field Values

Generated class or method.

CHARACTERIZED_DATA_FLOW__NOT_PART_OF_LOOP__EEXPRESSION

protected static final String CHARACTERIZED_DATA_FLOW__NOT_PART_OF_LOOP__EEXPRESSION

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

See Also:

Constant Field Values

Generated class or method.

CHARACTERIZED_NODE__AT_LEAST_ONE_INPUT_FLOW_FOR_EACH_INPUT_PIN__EEXPRESSION

protected static final String CHARACTERIZED_NODE__AT_LEAST_ONE_INPUT_FLOW_FOR_EACH_INPUT_PIN__EEXPRESSION

The cached validation expression for the atLeastOneInputFlowForEachInputPin constraint of 'Characterized Node'.

See Also:

Constant Field Values

Generated class or method.

BEHAVING__EXACTLY_ONE_BEHAVIOR_HAS_TO_BE_SPECIFIED__EEXPRESSION

protected static final String BEHAVING__EXACTLY_ONE_BEHAVIOR_HAS_TO_BE_SPECIFIED__EEXPRESSION

The cached validation expression for the exactlyOneBehaviorHasToBeSpecified constraint of 'Behaving'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

DataFlowDiagramCharacterizedValidatorGen

public DataFlowDiagramCharacterizedValidatorGen()

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.

validateCharacterizable

public boolean validateCharacterizable(Characterizable characterizable,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateCharacterizedExternalActor

public boolean validateCharacterizedExternalActor(CharacterizedExternalActor characterizedExternalActor,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Generated class or method.

validateCharacterizedStore

public boolean validateCharacterizedStore(CharacterizedStore characterizedStore,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateCharacterizedStore_storeHasNoAssignmentsInBehavior

public boolean validateCharacterizedStore_storeHasNoAssignmentsInBehavior(CharacterizedStore characterizedStore,
                                                                          DiagnosticChain diagnostics,
                                                                          Map<Object,Object> context)

Validates the storeHasNoAssignmentsInBehavior constraint of 'Characterized Store'.

Generated class or method.

validateCharacterizedStore_storeHasExactlyOneInputAndOneOutputPin

public boolean validateCharacterizedStore_storeHasExactlyOneInputAndOneOutputPin(CharacterizedStore characterizedStore,
                                                                                 DiagnosticChain diagnostics,
                                                                                 Map<Object,Object> context)

Validates the storeHasExactlyOneInputAndOneOutputPin constraint of 'Characterized Store'.

Generated class or method.

validateCharacterizedProcess

public boolean validateCharacterizedProcess(CharacterizedProcess characterizedProcess,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Generated class or method.

validateCharacterizedDataFlow

public boolean validateCharacterizedDataFlow(CharacterizedDataFlow characterizedDataFlow,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

Generated class or method.

validateCharacterizedDataFlow_sourcePinIsEntityOutputPin

public boolean validateCharacterizedDataFlow_sourcePinIsEntityOutputPin(CharacterizedDataFlow characterizedDataFlow,
                                                                        DiagnosticChain diagnostics,
                                                                        Map<Object,Object> context)

Validates the sourcePinIsEntityOutputPin constraint of 'Characterized Data Flow'.

Generated class or method.

validateCharacterizedDataFlow_destinationPinIsEntityInputPin

public boolean validateCharacterizedDataFlow_destinationPinIsEntityInputPin(CharacterizedDataFlow characterizedDataFlow,
                                                                            DiagnosticChain diagnostics,
                                                                            Map<Object,Object> context)

Validates the destinationPinIsEntityInputPin constraint of 'Characterized Data Flow'.

Generated class or method.

validateCharacterizedDataFlow_sourcePinOwnerMatchesSource

public boolean validateCharacterizedDataFlow_sourcePinOwnerMatchesSource(CharacterizedDataFlow characterizedDataFlow,
                                                                         DiagnosticChain diagnostics,
                                                                         Map<Object,Object> context)

Validates the sourcePinOwnerMatchesSource constraint of 'Characterized Data Flow'.

Generated class or method.

validateCharacterizedDataFlow_destinationPinOwnerMatchesDestination

public boolean validateCharacterizedDataFlow_destinationPinOwnerMatchesDestination(CharacterizedDataFlow characterizedDataFlow,
                                                                                   DiagnosticChain diagnostics,
                                                                                   Map<Object,Object> context)

Validates the destinationPinOwnerMatchesDestination constraint of 'Characterized Data Flow'.

Generated class or method.

validateCharacterizedDataFlow_notPartOfLoop

public boolean validateCharacterizedDataFlow_notPartOfLoop(CharacterizedDataFlow characterizedDataFlow,
                                                           DiagnosticChain diagnostics,
                                                           Map<Object,Object> context)

Validates the notPartOfLoop constraint of 'Characterized Data Flow'.

Generated class or method.

validateCharacterizedActorProcess

public boolean validateCharacterizedActorProcess(CharacterizedActorProcess characterizedActorProcess,
                                                 DiagnosticChain diagnostics,
                                                 Map<Object,Object> context)

Generated class or method.

validateCharacterizedNode

public boolean validateCharacterizedNode(CharacterizedNode characterizedNode,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateCharacterizedNode_atLeastOneInputFlowForEachInputPin

public boolean validateCharacterizedNode_atLeastOneInputFlowForEachInputPin(CharacterizedNode characterizedNode,
                                                                            DiagnosticChain diagnostics,
                                                                            Map<Object,Object> context)

Validates the atLeastOneInputFlowForEachInputPin constraint of 'Characterized Node'.

Generated class or method.

validateBehaving

public boolean validateBehaving(Behaving behaving,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validateBehaving_exactlyOneBehaviorHasToBeSpecified

public boolean validateBehaving_exactlyOneBehaviorHasToBeSpecified(Behaving behaving,
                                                                   DiagnosticChain diagnostics,
                                                                   Map<Object,Object> context)

Validates the exactlyOneBehaviorHasToBeSpecified constraint of 'Behaving'.

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.