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
The Validator for the model.
- See Also:
- 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
Modifier and TypeFieldDescriptionprotected static final String
The cached validation expression for the reusedBehavioursOnlyBindValidVariables constraint of 'Data Channel Behaviour'.protected static final String
The cached validation expression for the variableReferencesReferToValidSinkRoleParameter constraint of 'Data Channel Behaviour'.protected static final String
The cached validation expression for the variableUsagesReferToValidSourceRoleParameter constraint of 'Data Channel Behaviour'.protected static final int
A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.static final String
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator
The cached base package validator.static final BehaviourValidator
The cached model packageprotected static final String
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
-
Method Summary
Modifier and TypeMethodDescriptionprotected EPackage
Returns the package of this validator switch.Returns the resource locator that will be used to fetch messages for this validator's diagnostics.protected boolean
CallsvalidateXXX
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
-
Field Details
-
INSTANCE
The cached model package- Generated class or method.
-
DIAGNOSTIC_SOURCE
- See Also:
- Generated class or method.
-
DIAGNOSTIC_CODE_COUNT
protected static final int DIAGNOSTIC_CODE_COUNTA constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.- See Also:
- Generated class or method.
-
identifierValidator
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator identifierValidatorThe 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__EEXPRESSIONThe cached validation expression for the variableUsagesReferToValidSourceRoleParameter constraint of 'Data Channel Behaviour'.- See Also:
- 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__EEXPRESSIONThe cached validation expression for the variableReferencesReferToValidSinkRoleParameter constraint of 'Data Channel Behaviour'.- See Also:
- 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__EEXPRESSIONThe cached validation expression for the reusedBehavioursOnlyBindValidVariables constraint of 'Data Channel Behaviour'.- See Also:
- 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__EEXPRESSIONThe cached validation expression for the boundVariableBelongsToReusedBehaviour constraint of 'Variable Binding'.- See Also:
- Generated class or method.
-
-
Constructor Details
-
BehaviourValidator
public BehaviourValidator()Creates an instance of the switch.- Generated class or method.
-
-
Method Details
-
getEPackage
Returns the package of this validator switch.- Overrides:
getEPackage
in classEObjectValidator
- Generated class or method.
-
validate
protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) CallsvalidateXXX
for the corresponding classifier of the model.- Overrides:
validate
in classEObjectValidator
- 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
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.- Overrides:
getResourceLocator
in classEObjectValidator
- Generated class or method.
-