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 and Description
static int	ALLOCATION__COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE The code for constraint 'Communicating Servers Have To Be Connected By Linking Resource' of 'Allocation'.
static int	ALLOCATION__EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE The code for constraint 'Each Assembly Context Within System Has To Be Allocated Exactly Once' of 'Allocation'.
static int	ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED The code for constraint 'One Assembly Context Or One Event Channel Should Be Referred' of 'Context'.
static String	copyright
static String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package.
static 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 and Description
AllocationValidator() Creates an instance of the switch.

Method Summary

Modifier and Type	Method and Description
ResourceLocator	getResourceLocator() Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
boolean	validateAllocation_CommunicatingServersHaveToBeConnectedByLinkingResource(Allocation allocation, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the CommunicatingServersHaveToBeConnectedByLinkingResource constraint of 'Allocation'.
boolean	validateAllocation_EachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce(Allocation allocation, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the EachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce constraint of 'Allocation'.
boolean	validateAllocation(Allocation allocation, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAllocationContext_OneAssemblyContextOrOneEventChannelShouldBeReferred(AllocationContext allocationContext, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the OneAssemblyContextOrOneEventChannelShouldBeReferred constraint of 'Context'.
boolean	validateAllocationContext(AllocationContext allocationContext, DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

getFeatureLabel, getObjectLabel, getValueLabel, validate_BidirectionalReferenceIsPaired, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validate, validate, validate

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

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_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED

public static final int ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED

The code for constraint 'One Assembly Context Or One Event Channel Should Be Referred' of 'Context'.

See Also:

Constant Field Values

Generated class or method.

ALLOCATION__EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE

public static final int ALLOCATION__EACH_ASSEMBLY_CONTEXT_WITHIN_SYSTEM_HAS_TO_BE_ALLOCATED_EXACTLY_ONCE

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

See Also:

Constant Field Values

Generated class or method.

ALLOCATION__COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE

public static final int ALLOCATION__COMMUNICATING_SERVERS_HAVE_TO_BE_CONNECTED_BY_LINKING_RESOURCE

The code for constraint 'Communicating Servers Have To Be Connected By Linking Resource' of 'Allocation'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

AllocationValidator

public AllocationValidator()

Creates an instance of the switch.

Generated class or method.

Method Detail

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_EachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce

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

Validates the EachAssemblyContextWithinSystemHasToBeAllocatedExactlyOnce constraint of 'Allocation'.

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.

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.