org.eclipse.emf.henshin.model.util
Class HenshinValidator

java.lang.Object
  org.eclipse.emf.ecore.util.EObjectValidator
      org.eclipse.emf.henshin.model.util.HenshinValidator

All Implemented Interfaces:

EValidator

public class HenshinValidator
extends EObjectValidator

The Validator for the Henshin model.

See Also:

HenshinPackage

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

protected static 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 String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package.
static HenshinValidator	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

HenshinValidator()
Creates an instance of the switch.

Method Summary

protected BasicDiagnostic	createDiagnostic(int severity, String source, int code, String messageKey, Object[] messageSubstitutions, Object[] data, Map<Object,Object> context, String additionalMessage)
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	validateAction(Action action, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAnd(And and, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAnnotation(Annotation annotation, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAttribute(Attribute attribute, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAttributeCondition(AttributeCondition attributeCondition, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBinaryFormula(BinaryFormula binaryFormula, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateConditionalUnit(ConditionalUnit conditionalUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEdge_equalParentGraphs(Edge edge, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the equalParentGraphs constraint of 'Edge'.
boolean	validateEdge(Edge edge, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFormula(Formula formula, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateGraph_uniqueNodeNames(Graph graph, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the uniqueNodeNames constraint of 'Graph'.
boolean	validateGraph(Graph graph, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateGraphElement(GraphElement graphElement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIndependentUnit(IndependentUnit independentUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIteratedUnit_iterationsNotEmpty(IteratedUnit iteratedUnit, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the iterationsNotEmpty constraint of 'Iterated Unit'.
boolean	validateIteratedUnit(IteratedUnit iteratedUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLoopUnit(LoopUnit loopUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMapping(Mapping mapping, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateModelElement(ModelElement modelElement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateModule(Module module, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMultiUnit(MultiUnit multiUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNamedElement(NamedElement namedElement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNestedCondition_mappingImageContainedInCurrent(NestedCondition nestedCondition, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the mappingImageContainedInCurrent constraint of 'Nested Condition'.
boolean	validateNestedCondition_mappingOriginContainedInParentCondition(NestedCondition nestedCondition, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the mappingOriginContainedInParentCondition constraint of 'Nested Condition'.
boolean	validateNestedCondition(NestedCondition nestedCondition, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNode_uniqueAttributeTypes(Node node, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the uniqueAttributeTypes constraint of 'Node'.
boolean	validateNode(Node node, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNot(Not not, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOr(Or or, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateParameter_nameNotEmpty(Parameter parameter, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the nameNotEmpty constraint of 'Parameter'.
boolean	validateParameter_nameNotTypeName(Parameter parameter, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the nameNotTypeName constraint of 'Parameter'.
boolean	validateParameter(Parameter parameter, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateParameterMapping(ParameterMapping parameterMapping, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePriorityUnit(PriorityUnit priorityUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRule_createdEdgesNotDerived(Rule rule, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the createdEdgesNotDerived constraint of 'Rule'.
boolean	validateRule_createdNodesNotAbstract(Rule rule, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the createdNodesNotAbstract constraint of 'Rule'.
boolean	validateRule_deletedEdgesNotDerived(Rule rule, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the deletedEdgesNotDerived constraint of 'Rule'.
boolean	validateRule_mappingsFromLeft2Right(Rule rule, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the mappingsFromLeft2Right constraint of 'Rule'.
boolean	validateRule(Rule rule, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSequentialUnit(SequentialUnit sequentialUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnaryFormula(UnaryFormula unaryFormula, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnaryUnit(UnaryUnit unaryUnit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnit_parameterMappingsPointToDirectSubUnit(Unit unit, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the parameterMappingsPointToDirectSubUnit constraint of 'Unit'.
boolean	validateUnit_parameterNamesUnique(Unit unit, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the parameterNamesUnique constraint of 'Unit'.
boolean	validateUnit(Unit unit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateXor(Xor xor, DiagnosticChain diagnostics, Map<Object,Object> context)

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

createBadDataValueDiagnostic, createDiagnostic, 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_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, validate, validate, validate, validate, validate, validate, validatePattern, wrapEnumerationValues

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final HenshinValidator INSTANCE

The cached model package

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

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

Constructor Detail

HenshinValidator

public HenshinValidator()

Creates an instance of the switch.

Method Detail

getEPackage

protected EPackage getEPackage()

Returns the package of this validator switch.

Overrides:

getEPackage in class EObjectValidator

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

validateModelElement

public boolean validateModelElement(ModelElement modelElement,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

validateAnnotation

public boolean validateAnnotation(Annotation annotation,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

validateNamedElement

public boolean validateNamedElement(NamedElement namedElement,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

validateRule

public boolean validateRule(Rule rule,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

validateRule_mappingsFromLeft2Right

public boolean validateRule_mappingsFromLeft2Right(Rule rule,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the mappingsFromLeft2Right constraint of 'Rule'.

validateRule_createdNodesNotAbstract

public boolean validateRule_createdNodesNotAbstract(Rule rule,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Validates the createdNodesNotAbstract constraint of 'Rule'.

validateRule_createdEdgesNotDerived

public boolean validateRule_createdEdgesNotDerived(Rule rule,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the createdEdgesNotDerived constraint of 'Rule'.

validateRule_deletedEdgesNotDerived

public boolean validateRule_deletedEdgesNotDerived(Rule rule,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the deletedEdgesNotDerived constraint of 'Rule'.

validateAttributeCondition

public boolean validateAttributeCondition(AttributeCondition attributeCondition,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

validateParameter

public boolean validateParameter(Parameter parameter,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

validateParameter_nameNotEmpty

public boolean validateParameter_nameNotEmpty(Parameter parameter,
                                              DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Validates the nameNotEmpty constraint of 'Parameter'.

validateParameter_nameNotTypeName

public boolean validateParameter_nameNotTypeName(Parameter parameter,
                                                 DiagnosticChain diagnostics,
                                                 Map<Object,Object> context)

Validates the nameNotTypeName constraint of 'Parameter'.

validateGraph

public boolean validateGraph(Graph graph,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

validateGraph_uniqueNodeNames

public boolean validateGraph_uniqueNodeNames(Graph graph,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

Validates the uniqueNodeNames constraint of 'Graph'.

validateGraphElement

public boolean validateGraphElement(GraphElement graphElement,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

validateModule

public boolean validateModule(Module module,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

validateUnit

public boolean validateUnit(Unit unit,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

validateUnit_parameterNamesUnique

public boolean validateUnit_parameterNamesUnique(Unit unit,
                                                 DiagnosticChain diagnostics,
                                                 Map<Object,Object> context)

Validates the parameterNamesUnique constraint of 'Unit'.

validateUnit_parameterMappingsPointToDirectSubUnit

public boolean validateUnit_parameterMappingsPointToDirectSubUnit(Unit unit,
                                                                  DiagnosticChain diagnostics,
                                                                  Map<Object,Object> context)

Validates the parameterMappingsPointToDirectSubUnit constraint of 'Unit'.

validateMapping

public boolean validateMapping(Mapping mapping,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

validateNode

public boolean validateNode(Node node,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

validateNode_uniqueAttributeTypes

public boolean validateNode_uniqueAttributeTypes(Node node,
                                                 DiagnosticChain diagnostics,
                                                 Map<Object,Object> context)

Validates the uniqueAttributeTypes constraint of 'Node'.

validateAttribute

public boolean validateAttribute(Attribute attribute,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

validateEdge

public boolean validateEdge(Edge edge,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

validateEdge_equalParentGraphs

public boolean validateEdge_equalParentGraphs(Edge edge,
                                              DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Validates the equalParentGraphs constraint of 'Edge'.

validateUnaryUnit

public boolean validateUnaryUnit(UnaryUnit unaryUnit,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

validateMultiUnit

public boolean validateMultiUnit(MultiUnit multiUnit,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

validateIndependentUnit

public boolean validateIndependentUnit(IndependentUnit independentUnit,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

validateSequentialUnit

public boolean validateSequentialUnit(SequentialUnit sequentialUnit,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

validateConditionalUnit

public boolean validateConditionalUnit(ConditionalUnit conditionalUnit,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

validatePriorityUnit

public boolean validatePriorityUnit(PriorityUnit priorityUnit,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

validateIteratedUnit

public boolean validateIteratedUnit(IteratedUnit iteratedUnit,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

validateIteratedUnit_iterationsNotEmpty

public boolean validateIteratedUnit_iterationsNotEmpty(IteratedUnit iteratedUnit,
                                                       DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

Validates the iterationsNotEmpty constraint of 'Iterated Unit'.

validateLoopUnit

public boolean validateLoopUnit(LoopUnit loopUnit,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

validateNestedCondition

public boolean validateNestedCondition(NestedCondition nestedCondition,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

validateNestedCondition_mappingOriginContainedInParentCondition

public boolean validateNestedCondition_mappingOriginContainedInParentCondition(NestedCondition nestedCondition,
                                                                               DiagnosticChain diagnostics,
                                                                               Map<Object,Object> context)

Validates the mappingOriginContainedInParentCondition constraint of 'Nested Condition'.

validateNestedCondition_mappingImageContainedInCurrent

public boolean validateNestedCondition_mappingImageContainedInCurrent(NestedCondition nestedCondition,
                                                                      DiagnosticChain diagnostics,
                                                                      Map<Object,Object> context)

Validates the mappingImageContainedInCurrent constraint of 'Nested Condition'.

validateFormula

public boolean validateFormula(Formula formula,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

validateUnaryFormula

public boolean validateUnaryFormula(UnaryFormula unaryFormula,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

validateBinaryFormula

public boolean validateBinaryFormula(BinaryFormula binaryFormula,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

validateAnd

public boolean validateAnd(And and,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

validateOr

public boolean validateOr(Or or,
                          DiagnosticChain diagnostics,
                          Map<Object,Object> context)

validateNot

public boolean validateNot(Not not,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

validateAction

public boolean validateAction(Action action,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

validateXor

public boolean validateXor(Xor xor,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

validateParameterMapping

public boolean validateParameterMapping(ParameterMapping parameterMapping,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

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

createDiagnostic

protected BasicDiagnostic createDiagnostic(int severity,
                                           String source,
                                           int code,
                                           String messageKey,
                                           Object[] messageSubstitutions,
                                           Object[] data,
                                           Map<Object,Object> context,
                                           String additionalMessage)