Package org.palladiosimulator.dataflow.confidentiality.pcm.model.characterizedActions.util

Class CharacterizedActionsValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.confidentiality.pcm.model.characterizedActions.util.CharacterizedActionsValidator

All Implemented Interfaces:

EValidator

public class CharacterizedActionsValidator
extends EObjectValidator

The Validator for the model.

See Also:

CharacterizedActionsPackage

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	ASSIGNMENT__CHARACTERISTIC_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION	The cached validation expression for the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.
protected static String	ASSIGNMENT__RHS_ONLY_CONTAINS_CONTAINER_OR_RETURN_OR_SEFF_PARAMETER_CHARACTERISTIC_REFERENCES__EEXPRESSION	The cached validation expression for the rhsOnlyContainsContainerOrReturnOrSeffParameterCharacteristicReferences constraint of 'Assignment'.
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 CharacterizedActionsValidator	INSTANCE	The cached model package
protected static String	SEFF_RETURN_ASSIGNMENT__SEFF_HAS_TO_HAVE_RETURN_TYPE__EEXPRESSION	The cached validation expression for the seffHasToHaveReturnType constraint of 'Seff Return Assignment'.
protected org.palladiosimulator.pcm.seff.util.SeffValidator	seffValidator	The cached base package validator.
protected org.palladiosimulator.pcm.usagemodel.util.UsagemodelValidator	usagemodelValidator	The cached base package validator.

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
CharacterizedActionsValidator()	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	validateAssignment(Assignment<?> assignment, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAssignment_characteristicWildcardHasToBeOnLhsAndRhs(Assignment<?> assignment, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.
boolean	validateAssignment_rhsOnlyContainsContainerOrReturnOrSeffParameterCharacteristicReferences(Assignment<?> assignment, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the rhsOnlyContainsContainerOrReturnOrSeffParameterCharacteristicReferences constraint of 'Assignment'.
boolean	validateCharacterizableAssemblyContext(CharacterizableAssemblyContext characterizableAssemblyContext, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizableScenarioBehavior(CharacterizableScenarioBehavior characterizableScenarioBehavior, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedEntryLevelSystemCall(CharacterizedEntryLevelSystemCall characterizedEntryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedExternalCallAction(CharacterizedExternalCallAction characterizedExternalCallAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacterizedResourceDemandingSEFF(CharacterizedResourceDemandingSEFF characterizedResourceDemandingSEFF, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateParameterAssignment(ParameterAssignment parameterAssignment, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateParameterUsingCharacterizedAction(ParameterUsingCharacterizedAction parameterUsingCharacterizedAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSeffReturnAssignment(SeffReturnAssignment seffReturnAssignment, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSeffReturnAssignment_seffHasToHaveReturnType(SeffReturnAssignment seffReturnAssignment, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the seffHasToHaveReturnType constraint of 'Seff Return Assignment'.

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

seffValidator

protected org.palladiosimulator.pcm.seff.util.SeffValidator seffValidator

The cached base package validator.

Generated class or method.

usagemodelValidator

protected org.palladiosimulator.pcm.usagemodel.util.UsagemodelValidator usagemodelValidator

The cached base package validator.

Generated class or method.

ASSIGNMENT__CHARACTERISTIC_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION

protected static final String ASSIGNMENT__CHARACTERISTIC_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION

The cached validation expression for the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.

See Also:

Constant Field Values

Generated class or method.

ASSIGNMENT__RHS_ONLY_CONTAINS_CONTAINER_OR_RETURN_OR_SEFF_PARAMETER_CHARACTERISTIC_REFERENCES__EEXPRESSION

protected static final String ASSIGNMENT__RHS_ONLY_CONTAINS_CONTAINER_OR_RETURN_OR_SEFF_PARAMETER_CHARACTERISTIC_REFERENCES__EEXPRESSION

The cached validation expression for the rhsOnlyContainsContainerOrReturnOrSeffParameterCharacteristicReferences constraint of 'Assignment'.

See Also:

Constant Field Values

Generated class or method.

SEFF_RETURN_ASSIGNMENT__SEFF_HAS_TO_HAVE_RETURN_TYPE__EEXPRESSION

protected static final String SEFF_RETURN_ASSIGNMENT__SEFF_HAS_TO_HAVE_RETURN_TYPE__EEXPRESSION

The cached validation expression for the seffHasToHaveReturnType constraint of 'Seff Return Assignment'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

CharacterizedActionsValidator

public CharacterizedActionsValidator()

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.

validateAssignment

public boolean validateAssignment(Assignment<?> assignment,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateAssignment_characteristicWildcardHasToBeOnLhsAndRhs

public boolean validateAssignment_characteristicWildcardHasToBeOnLhsAndRhs(Assignment<?> assignment,
                                                                           DiagnosticChain diagnostics,
                                                                           Map<Object,Object> context)

Validates the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.

Generated class or method.

validateAssignment_rhsOnlyContainsContainerOrReturnOrSeffParameterCharacteristicReferences

public boolean validateAssignment_rhsOnlyContainsContainerOrReturnOrSeffParameterCharacteristicReferences(Assignment<?> assignment,
                                                                                                          DiagnosticChain diagnostics,
                                                                                                          Map<Object,Object> context)

Validates the rhsOnlyContainsContainerOrReturnOrSeffParameterCharacteristicReferences constraint of 'Assignment'.

Generated class or method.

validateSeffReturnAssignment

public boolean validateSeffReturnAssignment(SeffReturnAssignment seffReturnAssignment,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Generated class or method.

validateSeffReturnAssignment_seffHasToHaveReturnType

public boolean validateSeffReturnAssignment_seffHasToHaveReturnType(SeffReturnAssignment seffReturnAssignment,
                                                                    DiagnosticChain diagnostics,
                                                                    Map<Object,Object> context)

Validates the seffHasToHaveReturnType constraint of 'Seff Return Assignment'.

Generated class or method.

validateParameterAssignment

public boolean validateParameterAssignment(ParameterAssignment parameterAssignment,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

Generated class or method.

validateParameterUsingCharacterizedAction

public boolean validateParameterUsingCharacterizedAction(ParameterUsingCharacterizedAction parameterUsingCharacterizedAction,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Generated class or method.

validateCharacterizedExternalCallAction

public boolean validateCharacterizedExternalCallAction(CharacterizedExternalCallAction characterizedExternalCallAction,
                                                       DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

Generated class or method.

validateCharacterizedEntryLevelSystemCall

public boolean validateCharacterizedEntryLevelSystemCall(CharacterizedEntryLevelSystemCall characterizedEntryLevelSystemCall,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Generated class or method.

validateCharacterizedResourceDemandingSEFF

public boolean validateCharacterizedResourceDemandingSEFF(CharacterizedResourceDemandingSEFF characterizedResourceDemandingSEFF,
                                                          DiagnosticChain diagnostics,
                                                          Map<Object,Object> context)

Generated class or method.

validateCharacterizableAssemblyContext

public boolean validateCharacterizableAssemblyContext(CharacterizableAssemblyContext characterizableAssemblyContext,
                                                      DiagnosticChain diagnostics,
                                                      Map<Object,Object> context)

Generated class or method.

validateCharacterizableScenarioBehavior

public boolean validateCharacterizableScenarioBehavior(CharacterizableScenarioBehavior characterizableScenarioBehavior,
                                                       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.