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

Class BehaviourValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.behaviour.util.BehaviourValidator

All Implemented Interfaces:

EValidator

public class BehaviourValidator
extends EObjectValidator

The Validator for the model.

See Also:

BehaviourPackage

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_CHANNEL_BEHAVIOUR__REUSED_BEHAVIOURS_ONLY_BIND_VALID_VARIABLES__EEXPRESSION	The cached validation expression for the reusedBehavioursOnlyBindValidVariables constraint of 'Data Channel Behaviour'.
protected static String	DATA_CHANNEL_BEHAVIOUR__VARIABLE_REFERENCES_REFER_TO_VALID_SINK_ROLE_PARAMETER__EEXPRESSION	The cached validation expression for the variableReferencesReferToValidSinkRoleParameter constraint of 'Data Channel Behaviour'.
protected static String	DATA_CHANNEL_BEHAVIOUR__VARIABLE_USAGES_REFER_TO_VALID_SOURCE_ROLE_PARAMETER__EEXPRESSION	The cached validation expression for the variableUsagesReferToValidSourceRoleParameter constraint of 'Data Channel Behaviour'.
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 BehaviourValidator	INSTANCE	The cached model package
protected static String	VARIABLE_BINDING__BOUND_VARIABLE_BELONGS_TO_REUSED_BEHAVIOUR__EEXPRESSION	The cached validation expression for the boundVariableBelongsToReusedBehaviour constraint of 'Variable Binding'.

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
BehaviourValidator()	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	validateBehaviourReuse(BehaviourReuse behaviourReuse, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBehaviours(Behaviours behaviours, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataChannelBehaviour(DataChannelBehaviour dataChannelBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataChannelBehaviour_reusedBehavioursOnlyBindValidVariables(DataChannelBehaviour dataChannelBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the reusedBehavioursOnlyBindValidVariables constraint of 'Data Channel Behaviour'.
boolean	validateDataChannelBehaviour_variableReferencesReferToValidSinkRoleParameter(DataChannelBehaviour dataChannelBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the variableReferencesReferToValidSinkRoleParameter constraint of 'Data Channel Behaviour'.
boolean	validateDataChannelBehaviour_variableUsagesReferToValidSourceRoleParameter(DataChannelBehaviour dataChannelBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the variableUsagesReferToValidSourceRoleParameter constraint of 'Data Channel Behaviour'.
boolean	validateReusableBehaviour(ReusableBehaviour reusableBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateVariableBinding(VariableBinding variableBinding, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateVariableBinding_boundVariableBelongsToReusedBehaviour(VariableBinding variableBinding, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the boundVariableBelongsToReusedBehaviour constraint of 'Variable Binding'.

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 BehaviourValidator 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_CHANNEL_BEHAVIOUR__VARIABLE_USAGES_REFER_TO_VALID_SOURCE_ROLE_PARAMETER__EEXPRESSION

protected static final String DATA_CHANNEL_BEHAVIOUR__VARIABLE_USAGES_REFER_TO_VALID_SOURCE_ROLE_PARAMETER__EEXPRESSION

The cached validation expression for the variableUsagesReferToValidSourceRoleParameter constraint of 'Data Channel Behaviour'.

See Also:

Constant Field Values

Generated class or method.

DATA_CHANNEL_BEHAVIOUR__VARIABLE_REFERENCES_REFER_TO_VALID_SINK_ROLE_PARAMETER__EEXPRESSION

protected static final String DATA_CHANNEL_BEHAVIOUR__VARIABLE_REFERENCES_REFER_TO_VALID_SINK_ROLE_PARAMETER__EEXPRESSION

The cached validation expression for the variableReferencesReferToValidSinkRoleParameter constraint of 'Data Channel Behaviour'.

See Also:

Constant Field Values

Generated class or method.

DATA_CHANNEL_BEHAVIOUR__REUSED_BEHAVIOURS_ONLY_BIND_VALID_VARIABLES__EEXPRESSION

protected static final String DATA_CHANNEL_BEHAVIOUR__REUSED_BEHAVIOURS_ONLY_BIND_VALID_VARIABLES__EEXPRESSION

The cached validation expression for the reusedBehavioursOnlyBindValidVariables constraint of 'Data Channel Behaviour'.

See Also:

Constant Field Values

Generated class or method.

VARIABLE_BINDING__BOUND_VARIABLE_BELONGS_TO_REUSED_BEHAVIOUR__EEXPRESSION

protected static final String VARIABLE_BINDING__BOUND_VARIABLE_BELONGS_TO_REUSED_BEHAVIOUR__EEXPRESSION

The cached validation expression for the boundVariableBelongsToReusedBehaviour constraint of 'Variable Binding'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

BehaviourValidator

public BehaviourValidator()

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.

validateDataChannelBehaviour

public boolean validateDataChannelBehaviour(DataChannelBehaviour dataChannelBehaviour,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Generated class or method.

validateDataChannelBehaviour_variableUsagesReferToValidSourceRoleParameter

public boolean validateDataChannelBehaviour_variableUsagesReferToValidSourceRoleParameter(DataChannelBehaviour dataChannelBehaviour,
                                                                                          DiagnosticChain diagnostics,
                                                                                          Map<Object,Object> context)

Validates the variableUsagesReferToValidSourceRoleParameter constraint of 'Data Channel Behaviour'.

Generated class or method.

validateDataChannelBehaviour_variableReferencesReferToValidSinkRoleParameter

public boolean validateDataChannelBehaviour_variableReferencesReferToValidSinkRoleParameter(DataChannelBehaviour dataChannelBehaviour,
                                                                                            DiagnosticChain diagnostics,
                                                                                            Map<Object,Object> context)

Validates the variableReferencesReferToValidSinkRoleParameter constraint of 'Data Channel Behaviour'.

Generated class or method.

validateDataChannelBehaviour_reusedBehavioursOnlyBindValidVariables

public boolean validateDataChannelBehaviour_reusedBehavioursOnlyBindValidVariables(DataChannelBehaviour dataChannelBehaviour,
                                                                                   DiagnosticChain diagnostics,
                                                                                   Map<Object,Object> context)

Validates the reusedBehavioursOnlyBindValidVariables constraint of 'Data Channel Behaviour'.

Generated class or method.

validateBehaviours

public boolean validateBehaviours(Behaviours behaviours,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateReusableBehaviour

public boolean validateReusableBehaviour(ReusableBehaviour reusableBehaviour,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateBehaviourReuse

public boolean validateBehaviourReuse(BehaviourReuse behaviourReuse,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateVariableBinding

public boolean validateVariableBinding(VariableBinding variableBinding,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateVariableBinding_boundVariableBelongsToReusedBehaviour

public boolean validateVariableBinding_boundVariableBelongsToReusedBehaviour(VariableBinding variableBinding,
                                                                             DiagnosticChain diagnostics,
                                                                             Map<Object,Object> context)

Validates the boundVariableBelongsToReusedBehaviour constraint of 'Variable Binding'.

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.