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

Class RepositoryValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.confidentiality.pcm.model.confidentiality.repository.util.RepositoryValidator

All Implemented Interfaces:

EValidator

public class RepositoryValidator
extends EObjectValidator

The Validator for the model.

See Also:

• RepositoryPackage

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 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.
static final String	DIAGNOSTIC_SOURCE	A constant for the source of diagnostic codes from this package.
protected org.palladiosimulator.pcm.core.entity.util.EntityValidator	entityValidator	The cached base package validator.
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static final RepositoryValidator	INSTANCE	The cached model package
protected static final String	OPERATIONAL_DATA_STORE_COMPONENT__ALL_SEFFS_ARE_EMPTY__EEXPRESSION	The cached validation expression for the allSeffsAreEmpty constraint of 'Operational Data Store Component'.
protected static final String	OPERATIONAL_DATA_STORE_COMPONENT__NO_REQUIRED_INTERFACES__EEXPRESSION	The cached validation expression for the noRequiredInterfaces constraint of 'Operational Data Store Component'.
protected static final String	OPERATIONAL_DATA_STORE_COMPONENT__ONLY_PROVIDES_DATA_STORE_INTERFACE__EEXPRESSION	The cached validation expression for the onlyProvidesDataStoreInterface constraint of 'Operational Data Store Component'.
protected org.palladiosimulator.pcm.repository.util.RepositoryValidator	repositoryValidator	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
RepositoryValidator()	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	validateOperationalDataStoreComponent(OperationalDataStoreComponent operationalDataStoreComponent, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOperationalDataStoreComponent_allSeffsAreEmpty(OperationalDataStoreComponent operationalDataStoreComponent, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the allSeffsAreEmpty constraint of 'Operational Data Store Component'.
boolean	validateOperationalDataStoreComponent_noRequiredInterfaces(OperationalDataStoreComponent operationalDataStoreComponent, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the noRequiredInterfaces constraint of 'Operational Data Store Component'.
boolean	validateOperationalDataStoreComponent_onlyProvidesDataStoreInterface(OperationalDataStoreComponent operationalDataStoreComponent, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the onlyProvidesDataStoreInterface constraint of 'Operational Data Store Component'.

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 Details

INSTANCE

public static final RepositoryValidator 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.

entityValidator

protected org.palladiosimulator.pcm.core.entity.util.EntityValidator entityValidator

The cached base package validator.

Generated class or method.

repositoryValidator

protected org.palladiosimulator.pcm.repository.util.RepositoryValidator repositoryValidator

The cached base package validator.

Generated class or method.

OPERATIONAL_DATA_STORE_COMPONENT__ONLY_PROVIDES_DATA_STORE_INTERFACE__EEXPRESSION

protected static final String OPERATIONAL_DATA_STORE_COMPONENT__ONLY_PROVIDES_DATA_STORE_INTERFACE__EEXPRESSION

The cached validation expression for the onlyProvidesDataStoreInterface constraint of 'Operational Data Store Component'.

See Also:

• Constant Field Values

Generated class or method.

OPERATIONAL_DATA_STORE_COMPONENT__NO_REQUIRED_INTERFACES__EEXPRESSION

protected static final String OPERATIONAL_DATA_STORE_COMPONENT__NO_REQUIRED_INTERFACES__EEXPRESSION

The cached validation expression for the noRequiredInterfaces constraint of 'Operational Data Store Component'.

See Also:

• Constant Field Values

Generated class or method.

OPERATIONAL_DATA_STORE_COMPONENT__ALL_SEFFS_ARE_EMPTY__EEXPRESSION

protected static final String OPERATIONAL_DATA_STORE_COMPONENT__ALL_SEFFS_ARE_EMPTY__EEXPRESSION

The cached validation expression for the allSeffsAreEmpty constraint of 'Operational Data Store Component'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

RepositoryValidator

public RepositoryValidator()

Creates an instance of the switch.

Generated class or method.

Method Details

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.

validateOperationalDataStoreComponent

public boolean validateOperationalDataStoreComponent(OperationalDataStoreComponent operationalDataStoreComponent,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateOperationalDataStoreComponent_onlyProvidesDataStoreInterface

public boolean validateOperationalDataStoreComponent_onlyProvidesDataStoreInterface(OperationalDataStoreComponent operationalDataStoreComponent,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the onlyProvidesDataStoreInterface constraint of 'Operational Data Store Component'.

Generated class or method.

validateOperationalDataStoreComponent_noRequiredInterfaces

public boolean validateOperationalDataStoreComponent_noRequiredInterfaces(OperationalDataStoreComponent operationalDataStoreComponent,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the noRequiredInterfaces constraint of 'Operational Data Store Component'.

Generated class or method.

validateOperationalDataStoreComponent_allSeffsAreEmpty

public boolean validateOperationalDataStoreComponent_allSeffsAreEmpty(OperationalDataStoreComponent operationalDataStoreComponent,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the allSeffsAreEmpty constraint of 'Operational Data Store Component'.

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.