Package org.palladiosimulator.pcm.seff.seff_performance.util

Class SeffPerformanceValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.pcm.seff.seff_performance.util.SeffPerformanceValidator

All Implemented Interfaces:

EValidator

public class SeffPerformanceValidator
extends EObjectValidator

The Validator for the model.

See Also:

• SeffPerformancePackage

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
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.
protected static final String	INFRASTRUCTURE_CALL__REFERENCED_REQUIRED_ROLE_MUST_BE_REQUIRED_BY_COMPONENT__EEXPRESSION	The cached validation expression for the referencedRequiredRoleMustBeRequiredByComponent constraint of 'Infrastructure Call'.
protected static final String	INFRASTRUCTURE_CALL__SIGNATURE_MUST_BELONG_TO_USED_REQUIRED_ROLE__EEXPRESSION	The cached validation expression for the signatureMustBelongToUsedRequiredRole constraint of 'Infrastructure Call'.
protected static final String	INFRASTRUCTURE_CALL__SIGNATURE_ROLE_COMBINATION_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION	The cached validation expression for the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Infrastructure Call'.
static final SeffPerformanceValidator	INSTANCE	The cached model package
protected static final String	PARAMETRIC_RESOURCE_DEMAND__DEMANDED_PROCESSING_RESOURCE_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION	The cached validation expression for the demandedProcessingResourceMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Parametric Resource Demand'.
protected static final String	RESOURCE_CALL__RESOURCE_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_COMPONENT__EEXPRESSION	The cached validation expression for the resourceRequiredRoleMustBeReferencedByComponent constraint of 'Resource Call'.
protected static final String	RESOURCE_CALL__RESOURCE_SIGNATURE_BELONGS_TO_RESOURCE_REQUIRED_ROLE__EEXPRESSION	The cached validation expression for the resourceSignatureBelongsToResourceRequiredRole constraint of 'Resource Call'.
protected static final String	RESOURCE_CALL__SIGNATURE_ROLE_COMBINATION_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION	The cached validation expression for the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Resource Call'.

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
SeffPerformanceValidator()	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	validateInfrastructureCall(InfrastructureCall infrastructureCall, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateInfrastructureCall_referencedRequiredRoleMustBeRequiredByComponent(InfrastructureCall infrastructureCall, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the referencedRequiredRoleMustBeRequiredByComponent constraint of 'Infrastructure Call'.
boolean	validateInfrastructureCall_signatureMustBelongToUsedRequiredRole(InfrastructureCall infrastructureCall, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the signatureMustBelongToUsedRequiredRole constraint of 'Infrastructure Call'.
boolean	validateInfrastructureCall_signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction(InfrastructureCall infrastructureCall, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Infrastructure Call'.
boolean	validateParametricResourceDemand(ParametricResourceDemand parametricResourceDemand, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateParametricResourceDemand_demandedProcessingResourceMustBeUniqueWithinAbstractInternalControlFlowAction(ParametricResourceDemand parametricResourceDemand, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the demandedProcessingResourceMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Parametric Resource Demand'.
boolean	validateResourceCall(ResourceCall resourceCall, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateResourceCall_resourceRequiredRoleMustBeReferencedByComponent(ResourceCall resourceCall, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the resourceRequiredRoleMustBeReferencedByComponent constraint of 'Resource Call'.
boolean	validateResourceCall_resourceSignatureBelongsToResourceRequiredRole(ResourceCall resourceCall, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the resourceSignatureBelongsToResourceRequiredRole constraint of 'Resource Call'.
boolean	validateResourceCall_signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction(ResourceCall resourceCall, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Resource Call'.

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

INFRASTRUCTURE_CALL__SIGNATURE_MUST_BELONG_TO_USED_REQUIRED_ROLE__EEXPRESSION

protected static final String INFRASTRUCTURE_CALL__SIGNATURE_MUST_BELONG_TO_USED_REQUIRED_ROLE__EEXPRESSION

The cached validation expression for the signatureMustBelongToUsedRequiredRole constraint of 'Infrastructure Call'.

See Also:

• Constant Field Values

Generated class or method.

INFRASTRUCTURE_CALL__REFERENCED_REQUIRED_ROLE_MUST_BE_REQUIRED_BY_COMPONENT__EEXPRESSION

protected static final String INFRASTRUCTURE_CALL__REFERENCED_REQUIRED_ROLE_MUST_BE_REQUIRED_BY_COMPONENT__EEXPRESSION

The cached validation expression for the referencedRequiredRoleMustBeRequiredByComponent constraint of 'Infrastructure Call'.

See Also:

• Constant Field Values

Generated class or method.

INFRASTRUCTURE_CALL__SIGNATURE_ROLE_COMBINATION_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION

protected static final String INFRASTRUCTURE_CALL__SIGNATURE_ROLE_COMBINATION_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION

The cached validation expression for the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Infrastructure Call'.

See Also:

• Constant Field Values

Generated class or method.

RESOURCE_CALL__RESOURCE_SIGNATURE_BELONGS_TO_RESOURCE_REQUIRED_ROLE__EEXPRESSION

protected static final String RESOURCE_CALL__RESOURCE_SIGNATURE_BELONGS_TO_RESOURCE_REQUIRED_ROLE__EEXPRESSION

The cached validation expression for the resourceSignatureBelongsToResourceRequiredRole constraint of 'Resource Call'.

See Also:

• Constant Field Values

Generated class or method.

RESOURCE_CALL__RESOURCE_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_COMPONENT__EEXPRESSION

protected static final String RESOURCE_CALL__RESOURCE_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_COMPONENT__EEXPRESSION

The cached validation expression for the resourceRequiredRoleMustBeReferencedByComponent constraint of 'Resource Call'.

See Also:

• Constant Field Values

Generated class or method.

RESOURCE_CALL__SIGNATURE_ROLE_COMBINATION_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION

protected static final String RESOURCE_CALL__SIGNATURE_ROLE_COMBINATION_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION

The cached validation expression for the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Resource Call'.

See Also:

• Constant Field Values

Generated class or method.

PARAMETRIC_RESOURCE_DEMAND__DEMANDED_PROCESSING_RESOURCE_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION

protected static final String PARAMETRIC_RESOURCE_DEMAND__DEMANDED_PROCESSING_RESOURCE_MUST_BE_UNIQUE_WITHIN_ABSTRACT_INTERNAL_CONTROL_FLOW_ACTION__EEXPRESSION

The cached validation expression for the demandedProcessingResourceMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Parametric Resource Demand'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

SeffPerformanceValidator

public SeffPerformanceValidator()

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.

validateInfrastructureCall

public boolean validateInfrastructureCall(InfrastructureCall infrastructureCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateInfrastructureCall_signatureMustBelongToUsedRequiredRole

public boolean validateInfrastructureCall_signatureMustBelongToUsedRequiredRole(InfrastructureCall infrastructureCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the signatureMustBelongToUsedRequiredRole constraint of 'Infrastructure Call'.

Generated class or method.

validateInfrastructureCall_referencedRequiredRoleMustBeRequiredByComponent

public boolean validateInfrastructureCall_referencedRequiredRoleMustBeRequiredByComponent(InfrastructureCall infrastructureCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the referencedRequiredRoleMustBeRequiredByComponent constraint of 'Infrastructure Call'.

Generated class or method.

validateInfrastructureCall_signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction

public boolean validateInfrastructureCall_signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction(InfrastructureCall infrastructureCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Infrastructure Call'.

Generated class or method.

validateResourceCall

public boolean validateResourceCall(ResourceCall resourceCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateResourceCall_resourceSignatureBelongsToResourceRequiredRole

public boolean validateResourceCall_resourceSignatureBelongsToResourceRequiredRole(ResourceCall resourceCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the resourceSignatureBelongsToResourceRequiredRole constraint of 'Resource Call'.

Generated class or method.

validateResourceCall_resourceRequiredRoleMustBeReferencedByComponent

public boolean validateResourceCall_resourceRequiredRoleMustBeReferencedByComponent(ResourceCall resourceCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the resourceRequiredRoleMustBeReferencedByComponent constraint of 'Resource Call'.

Generated class or method.

validateResourceCall_signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction

public boolean validateResourceCall_signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction(ResourceCall resourceCall,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the signatureRoleCombinationMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Resource Call'.

Generated class or method.

validateParametricResourceDemand

public boolean validateParametricResourceDemand(ParametricResourceDemand parametricResourceDemand,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateParametricResourceDemand_demandedProcessingResourceMustBeUniqueWithinAbstractInternalControlFlowAction

public boolean validateParametricResourceDemand_demandedProcessingResourceMustBeUniqueWithinAbstractInternalControlFlowAction(ParametricResourceDemand parametricResourceDemand,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the demandedProcessingResourceMustBeUniqueWithinAbstractInternalControlFlowAction constraint of 'Parametric Resource Demand'.

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.