Package org.palladiosimulator.pcm.allocation.util

Class AllocationValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.pcm.allocation.util.AllocationValidator

All Implemented Interfaces:

EValidator

public class AllocationValidator
extends EObjectValidator

The Validator for the model.

See Also:

• AllocationPackage

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 String	ALLOCATION__COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE__EEXPRESSION	The cached validation expression for the communicatingServersHaveToBeConnectedByLinkingResource constraint of 'Allocation'.
static final int	ALLOCATION__VALIDATE_EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE	The code for constraint 'Validate Each Assembly Context Within System Has To Be Allocated Exactly Once' of 'Allocation'.
protected static final String	ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED__EEXPRESSION	The cached validation expression for the oneAssemblyContextOrOneEventChannelShouldBeReferred constraint of 'Context'.
static final String	copyright
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 de.uka.ipd.sdq.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static final AllocationValidator	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
AllocationValidator()	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	validateAllocation(Allocation allocation, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAllocation_communicatingServersHaveToBeConnectedByLinkingResource(Allocation allocation, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the communicatingServersHaveToBeConnectedByLinkingResource constraint of 'Allocation'.
boolean	validateAllocation_validateEachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce(Allocation allocation, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the validateEachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce constraint of 'Allocation'.
boolean	validateAllocationContext(AllocationContext allocationContext, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAllocationContext_oneAssemblyContextOrOneEventChannelShouldBeReferred(AllocationContext allocationContext, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the oneAssemblyContextOrOneEventChannelShouldBeReferred constraint of 'Context'.

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

copyright

public static final String copyright

See Also:

• Constant Field Values

Generated class or method.

INSTANCE

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

ALLOCATION__VALIDATE_EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE

public static final int ALLOCATION__VALIDATE_EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE

The code for constraint 'Validate Each Assembly Context Within System Has To Be Allocated Exactly Once' of 'Allocation'.

See Also:

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

ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED__EEXPRESSION

protected static final String ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED__EEXPRESSION

The cached validation expression for the oneAssemblyContextOrOneEventChannelShouldBeReferred constraint of 'Context'.

See Also:

• Constant Field Values

Generated class or method.

ALLOCATION__COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE__EEXPRESSION

protected static final String ALLOCATION__COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE__EEXPRESSION

The cached validation expression for the communicatingServersHaveToBeConnectedByLinkingResource constraint of 'Allocation'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

AllocationValidator

public AllocationValidator()

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.

validateAllocationContext

public boolean validateAllocationContext(AllocationContext allocationContext,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateAllocationContext_oneAssemblyContextOrOneEventChannelShouldBeReferred

public boolean validateAllocationContext_oneAssemblyContextOrOneEventChannelShouldBeReferred(AllocationContext allocationContext,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the oneAssemblyContextOrOneEventChannelShouldBeReferred constraint of 'Context'.

Generated class or method.

validateAllocation

public boolean validateAllocation(Allocation allocation,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateAllocation_communicatingServersHaveToBeConnectedByLinkingResource

public boolean validateAllocation_communicatingServersHaveToBeConnectedByLinkingResource(Allocation allocation,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the communicatingServersHaveToBeConnectedByLinkingResource constraint of 'Allocation'.

Generated class or method.

validateAllocation_validateEachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce

public boolean validateAllocation_validateEachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce(Allocation allocation,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the validateEachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce constraint of 'Allocation'.

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.