PivotValidator (MDT-OCL Documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.eclipse.ocl.examples.pivot.util
Class PivotValidator

java.lang.Object
  org.eclipse.emf.ecore.util.EObjectValidator
      org.eclipse.ocl.examples.pivot.util.PivotValidator

All Implemented Interfaces:: org.eclipse.emf.ecore.EValidator

public class PivotValidator
extends org.eclipse.emf.ecore.util.EObjectValidator
extends org.eclipse.emf.ecore.util.EObjectValidator

The Validator for the model.

See Also:: PivotPackage
Generated

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator
`org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator`

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator
`org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate`

Field Summary
`static int`	`CONSTRAINT__NOT_APPLY_TO_SELF` The `code` for constraint 'Validate Not Apply To Self' of 'Constraint'.
`static int`	`CONSTRAINT__VALUE_SPECIFICATION_BOOLEAN` The `code` for constraint 'Validate Value Specification Boolean' of 'Constraint'.
`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 java.lang.String`	`DIAGNOSTIC_SOURCE` A constant for the `source` of diagnostic `codes` from this package.
`static PivotValidator`	`INSTANCE` The cached model package
`static int`	`MULTIPLICITY_ELEMENT__LOWER_GE0` The `code` for constraint 'Validate Lower Ge0' of 'Multiplicity Element'.
`static int`	`MULTIPLICITY_ELEMENT__UPPER_GE_LOWER` The `code` for constraint 'Validate Upper Ge Lower' of 'Multiplicity Element'.
`static int`	`OPAQUE_EXPRESSION__LANGUAGE_BODY_SIZE` The `code` for constraint 'Validate Language Body Size' of 'Opaque Expression'.
`static int`	`OPERATION__TEST_CONSTRAINT` The `code` for constraint 'Validate Test Constraint' of 'Operation'.
`static int`	`PROPERTY__BINDING_TO_ATTRIBUTE` The `code` for constraint 'Validate Binding To Attribute' of 'Property'.
`static int`	`TEMPLATE_BINDING__ONE_PARAMETER_SUBSTITUTION` The `code` for constraint 'Validate One Parameter Substitution' of 'Template Binding'.
`static int`	`TEMPLATE_BINDING__PARAMETER_SUBSTITUTION_FORMAL` The `code` for constraint 'Validate Parameter Substitution Formal' of 'Template Binding'.
`static int`	`TEMPLATE_PARAMETER__MUST_BE_COMPATIBLE` The `code` for constraint 'Validate Must Be Compatible' of 'Template Parameter'.
`static int`	`TEMPLATE_PARAMETER_SUBSTITUTION__MUST_BE_COMPATIBLE` The `code` for constraint 'Validate Must Be Compatible' of 'Template Parameter Substitution'.
`static int`	`TEMPLATE_SIGNATURE__OWN_ELEMENTS` The `code` for constraint 'Validate Own Elements' of 'Template Signature'.
`static int`	`TYPE_TEMPLATE_PARAMETER__HAS_CONSTRAINING_TYPE` The `code` for constraint 'Validate Has Constraining Type' of 'Type Template Parameter'.

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 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
`PivotValidator()` Creates an instance of the switch.

Method Summary
`protected org.eclipse.emf.ecore.EPackage`	`getEPackage()` Returns the package of this validator switch.
`org.eclipse.emf.common.util.ResourceLocator`	`getResourceLocator()` Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
`protected boolean`	`validate(int classifierID, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Calls `validateXXX` for the corresponding classifier of the model.
`boolean`	`validateAnnotation(Annotation annotation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateAnyType(AnyType anyType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateAssociationClass(AssociationClass associationClass, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateAssociativityKind(AssociativityKind associativityKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateBagType(BagType bagType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateBoolean(boolean boolean_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCallableImplementation(CallableImplementation callableImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCallExp(CallExp callExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCallOperationAction(CallOperationAction callOperationAction, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateClass(Class class_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateClassifierType(ClassifierType classifierType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCollectionItem(CollectionItem collectionItem, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCollectionKind(CollectionKind collectionKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCollectionRange(CollectionRange collectionRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateCollectionType(CollectionType collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateComment(Comment comment, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateConstraint_validateNotApplyToSelf(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateNotApplyToSelf constraint of 'Constraint'.
`boolean`	`validateConstraint_validateValueSpecificationBoolean(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateValueSpecificationBoolean constraint of 'Constraint'.
`boolean`	`validateConstraint(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateDataType(DataType dataType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateDetail(Detail detail, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateElement(Element element, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateEnumeration(Enumeration enumeration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateEnumerationLiteral(EnumerationLiteral enumerationLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateEnumLiteralExp(EnumLiteralExp enumLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateExpressionInOcl(ExpressionInOcl expressionInOcl, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateFeature(Feature feature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateFeatureCallExp(FeatureCallExp featureCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateIfExp(IfExp ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateInt(int int_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateInteger(java.math.BigInteger integer, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateInvalidType(InvalidType invalidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateIterateExp(IterateExp iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateIteration(Iteration iteration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateIteratorExp(IteratorExp iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateLambdaType(LambdaType lambdaType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateLetExp(LetExp letExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateLibrary(Library library, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateLiteralExp(LiteralExp literalExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateLoopExp(LoopExp loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateMessageExp(MessageExp messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateMessageType(MessageType messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateMonikeredElement(MonikeredElement monikeredElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateMultiplicityElement_validateLowerGe0(MultiplicityElement multiplicityElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateLowerGe0 constraint of 'Multiplicity Element'.
`boolean`	`validateMultiplicityElement_validateUpperGeLower(MultiplicityElement multiplicityElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateUpperGeLower constraint of 'Multiplicity Element'.
`boolean`	`validateMultiplicityElement(MultiplicityElement multiplicityElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateNameable(Nameable nameable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateNamedElement(NamedElement namedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateNamespace(Namespace namespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateNavigationCallExp(NavigationCallExp navigationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateNullLiteralExp(NullLiteralExp nullLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateNumericLiteralExp(NumericLiteralExp numericLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateObject(java.lang.Object object, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateOclExpression(OclExpression oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateOpaqueExpression_validateLanguageBodySize(OpaqueExpression opaqueExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateLanguageBodySize constraint of 'Opaque Expression'.
`boolean`	`validateOpaqueExpression(OpaqueExpression opaqueExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateOperation_validateTestConstraint(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateTestConstraint constraint of 'Operation'.
`boolean`	`validateOperation(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateOperationCallExp(OperationCallExp operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateOperationTemplateParameter(OperationTemplateParameter operationTemplateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateOrderedSetType(OrderedSetType orderedSetType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePackage(Package package_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePackageableElement(PackageableElement packageableElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateParameter(Parameter parameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateParameterableElement(ParameterableElement parameterableElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePivotable(Pivotable pivotable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePrecedence(Precedence precedence, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePrimitiveType(PrimitiveType primitiveType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateProperty_validateBindingToAttribute(Property property, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateBindingToAttribute constraint of 'Property'.
`boolean`	`validateProperty(Property property, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePropertyCallExp(PropertyCallExp propertyCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateReal(java.math.BigDecimal real, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateRealLiteralExp(RealLiteralExp realLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateSendSignalAction(SendSignalAction sendSignalAction, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateSequenceType(SequenceType sequenceType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateSetType(SetType setType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateSignal(Signal signal, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateState(State state, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateStateExp(StateExp stateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateString(java.lang.String string, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateStringLiteralExp(StringLiteralExp stringLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTemplateableElement(TemplateableElement templateableElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTemplateBinding_validateOneParameterSubstitution(TemplateBinding templateBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateOneParameterSubstitution constraint of 'Template Binding'.
`boolean`	`validateTemplateBinding_validateParameterSubstitutionFormal(TemplateBinding templateBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateParameterSubstitutionFormal constraint of 'Template Binding'.
`boolean`	`validateTemplateBinding(TemplateBinding templateBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTemplateParameter_validateMustBeCompatible(TemplateParameter templateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateMustBeCompatible constraint of 'Template Parameter'.
`boolean`	`validateTemplateParameter(TemplateParameter templateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTemplateParameterSubstitution_validateMustBeCompatible(TemplateParameterSubstitution templateParameterSubstitution, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateMustBeCompatible constraint of 'Template Parameter Substitution'.
`boolean`	`validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTemplateParameterType(TemplateParameterType templateParameterType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTemplateSignature_validateOwnElements(TemplateSignature templateSignature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateOwnElements constraint of 'Template Signature'.
`boolean`	`validateTemplateSignature(TemplateSignature templateSignature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateThrowable(java.lang.Throwable throwable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTupleType(TupleType tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateType(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTypedElement(TypedElement typedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTypedMultiplicityElement(TypedMultiplicityElement typedMultiplicityElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTypeExp(TypeExp typeExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTypeTemplateParameter_validateHasConstrainingType(TypeTemplateParameter typeTemplateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the validateHasConstrainingType constraint of 'Type Template Parameter'.
`boolean`	`validateTypeTemplateParameter(TypeTemplateParameter typeTemplateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateUnlimitedNatural(java.math.BigInteger unlimitedNatural, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateUnspecifiedType(UnspecifiedType unspecifiedType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateValueSpecification(ValueSpecification valueSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateVariable(Variable variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateVariableDeclaration(VariableDeclaration variableDeclaration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateVariableExp(VariableExp variableExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateVisitable(Visitable visitable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateVisitor(Visitor<?,?> visitor, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateVoidType(VoidType voidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.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 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 PivotValidator INSTANCE

The cached model package

Generated

DIAGNOSTIC_SOURCE

public static final java.lang.String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:: Diagnostic.getSource(), Diagnostic.getCode(), Constant Field Values
Generated

CONSTRAINT__NOT_APPLY_TO_SELF

public static final int CONSTRAINT__NOT_APPLY_TO_SELF

The code for constraint 'Validate Not Apply To Self' of 'Constraint'.

See Also:: Constant Field Values
Generated

CONSTRAINT__VALUE_SPECIFICATION_BOOLEAN

public static final int CONSTRAINT__VALUE_SPECIFICATION_BOOLEAN

The code for constraint 'Validate Value Specification Boolean' of 'Constraint'.

See Also:: Constant Field Values
Generated

PROPERTY__BINDING_TO_ATTRIBUTE

public static final int PROPERTY__BINDING_TO_ATTRIBUTE

The code for constraint 'Validate Binding To Attribute' of 'Property'.

See Also:: Constant Field Values
Generated

MULTIPLICITY_ELEMENT__LOWER_GE0

public static final int MULTIPLICITY_ELEMENT__LOWER_GE0

The code for constraint 'Validate Lower Ge0' of 'Multiplicity Element'.

See Also:: Constant Field Values
Generated

MULTIPLICITY_ELEMENT__UPPER_GE_LOWER

public static final int MULTIPLICITY_ELEMENT__UPPER_GE_LOWER

The code for constraint 'Validate Upper Ge Lower' of 'Multiplicity Element'.

See Also:: Constant Field Values
Generated

OPAQUE_EXPRESSION__LANGUAGE_BODY_SIZE

public static final int OPAQUE_EXPRESSION__LANGUAGE_BODY_SIZE

The code for constraint 'Validate Language Body Size' of 'Opaque Expression'.

See Also:: Constant Field Values
Generated

TEMPLATE_PARAMETER__MUST_BE_COMPATIBLE

public static final int TEMPLATE_PARAMETER__MUST_BE_COMPATIBLE

The code for constraint 'Validate Must Be Compatible' of 'Template Parameter'.

See Also:: Constant Field Values
Generated

TEMPLATE_SIGNATURE__OWN_ELEMENTS

public static final int TEMPLATE_SIGNATURE__OWN_ELEMENTS

The code for constraint 'Validate Own Elements' of 'Template Signature'.

See Also:: Constant Field Values
Generated

TEMPLATE_BINDING__PARAMETER_SUBSTITUTION_FORMAL

public static final int TEMPLATE_BINDING__PARAMETER_SUBSTITUTION_FORMAL

The code for constraint 'Validate Parameter Substitution Formal' of 'Template Binding'.

See Also:: Constant Field Values
Generated

TEMPLATE_BINDING__ONE_PARAMETER_SUBSTITUTION

public static final int TEMPLATE_BINDING__ONE_PARAMETER_SUBSTITUTION

The code for constraint 'Validate One Parameter Substitution' of 'Template Binding'.

See Also:: Constant Field Values
Generated

TEMPLATE_PARAMETER_SUBSTITUTION__MUST_BE_COMPATIBLE

public static final int TEMPLATE_PARAMETER_SUBSTITUTION__MUST_BE_COMPATIBLE

The code for constraint 'Validate Must Be Compatible' of 'Template Parameter Substitution'.

See Also:: Constant Field Values
Generated

OPERATION__TEST_CONSTRAINT

public static final int OPERATION__TEST_CONSTRAINT

The code for constraint 'Validate Test Constraint' of 'Operation'.

See Also:: Constant Field Values
Generated

TYPE_TEMPLATE_PARAMETER__HAS_CONSTRAINING_TYPE

public static final int TYPE_TEMPLATE_PARAMETER__HAS_CONSTRAINING_TYPE

The code for constraint 'Validate Has Constraining Type' of 'Type Template Parameter'.

See Also:: Constant Field Values
Generated

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

Constructor Detail

PivotValidator

public PivotValidator()

Creates an instance of the switch.

Generated

Method Detail

getEPackage

protected org.eclipse.emf.ecore.EPackage getEPackage()

Returns the package of this validator switch.

Overrides:: getEPackage in class org.eclipse.emf.ecore.util.EObjectValidator

Generated

validate

protected boolean validate(int classifierID,
                           java.lang.Object value,
                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

Calls validateXXX for the corresponding classifier of the model.

Overrides:: validate in class org.eclipse.emf.ecore.util.EObjectValidator

Generated

validateAnnotation

public boolean validateAnnotation(Annotation annotation,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateAnyType

public boolean validateAnyType(AnyType anyType,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateType

public boolean validateType(Type type,
                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNamedElement

public boolean validateNamedElement(NamedElement namedElement,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNamespace

public boolean validateNamespace(Namespace namespace,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateElement

public boolean validateElement(Element element,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateClass

public boolean validateClass(Class class_,
                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateClassifierType

public boolean validateClassifierType(ClassifierType classifierType,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateProperty

public boolean validateProperty(Property property,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateProperty_validateBindingToAttribute

public boolean validateProperty_validateBindingToAttribute(Property property,
                                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateBindingToAttribute constraint of 'Property'.

Generated

validateTypedElement

public boolean validateTypedElement(TypedElement typedElement,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTypedMultiplicityElement

public boolean validateTypedMultiplicityElement(TypedMultiplicityElement typedMultiplicityElement,
                                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnlimitedNaturalLiteralExp

public boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnspecifiedType

public boolean validateUnspecifiedType(UnspecifiedType unspecifiedType,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMultiplicityElement

public boolean validateMultiplicityElement(MultiplicityElement multiplicityElement,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMultiplicityElement_validateLowerGe0

public boolean validateMultiplicityElement_validateLowerGe0(MultiplicityElement multiplicityElement,
                                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                            java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateLowerGe0 constraint of 'Multiplicity Element'.

Generated

validateMultiplicityElement_validateUpperGeLower

public boolean validateMultiplicityElement_validateUpperGeLower(MultiplicityElement multiplicityElement,
                                                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateUpperGeLower constraint of 'Multiplicity Element'.

Generated

validateNameable

public boolean validateNameable(Nameable nameable,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateParameterableElement

public boolean validateParameterableElement(ParameterableElement parameterableElement,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePivotable

public boolean validatePivotable(Pivotable pivotable,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePrecedence

public boolean validatePrecedence(Precedence precedence,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateParameter

public boolean validateTemplateParameter(TemplateParameter templateParameter,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateParameter_validateMustBeCompatible

public boolean validateTemplateParameter_validateMustBeCompatible(TemplateParameter templateParameter,
                                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateMustBeCompatible constraint of 'Template Parameter'.

Generated

validateTemplateSignature

public boolean validateTemplateSignature(TemplateSignature templateSignature,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateSignature_validateOwnElements

public boolean validateTemplateSignature_validateOwnElements(TemplateSignature templateSignature,
                                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                             java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateOwnElements constraint of 'Template Signature'.

Generated

validateTemplateableElement

public boolean validateTemplateableElement(TemplateableElement templateableElement,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateBinding

public boolean validateTemplateBinding(TemplateBinding templateBinding,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateBinding_validateParameterSubstitutionFormal

public boolean validateTemplateBinding_validateParameterSubstitutionFormal(TemplateBinding templateBinding,
                                                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateParameterSubstitutionFormal constraint of 'Template Binding'.

Generated

validateTemplateBinding_validateOneParameterSubstitution

public boolean validateTemplateBinding_validateOneParameterSubstitution(TemplateBinding templateBinding,
                                                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateOneParameterSubstitution constraint of 'Template Binding'.

Generated

validateTemplateParameterSubstitution

public boolean validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution,
                                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateParameterSubstitution_validateMustBeCompatible

public boolean validateTemplateParameterSubstitution_validateMustBeCompatible(TemplateParameterSubstitution templateParameterSubstitution,
                                                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                              java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateMustBeCompatible constraint of 'Template Parameter Substitution'.

Generated

validateAssociationClass

public boolean validateAssociationClass(AssociationClass associationClass,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperation

public boolean validateOperation(Operation operation,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperation_validateTestConstraint

public boolean validateOperation_validateTestConstraint(Operation operation,
                                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateTestConstraint constraint of 'Operation'.

Generated

validateParameter

public boolean validateParameter(Parameter parameter,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperationTemplateParameter

public boolean validateOperationTemplateParameter(OperationTemplateParameter operationTemplateParameter,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateComment

public boolean validateComment(Comment comment,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateConstraint

public boolean validateConstraint(Constraint constraint,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateConstraint_validateNotApplyToSelf

public boolean validateConstraint_validateNotApplyToSelf(Constraint constraint,
                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateNotApplyToSelf constraint of 'Constraint'.

Generated

validateConstraint_validateValueSpecificationBoolean

public boolean validateConstraint_validateValueSpecificationBoolean(Constraint constraint,
                                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateValueSpecificationBoolean constraint of 'Constraint'.

Generated

validatePackage

public boolean validatePackage(Package package_,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTypeTemplateParameter

public boolean validateTypeTemplateParameter(TypeTemplateParameter typeTemplateParameter,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTypeTemplateParameter_validateHasConstrainingType

public boolean validateTypeTemplateParameter_validateHasConstrainingType(TypeTemplateParameter typeTemplateParameter,
                                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateHasConstrainingType constraint of 'Type Template Parameter'.

Generated

validateAssociationClassCallExp

public boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp,
                                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNavigationCallExp

public boolean validateNavigationCallExp(NavigationCallExp navigationCallExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateFeatureCallExp

public boolean validateFeatureCallExp(FeatureCallExp featureCallExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCallExp

public boolean validateCallExp(CallExp callExp,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCallOperationAction

public boolean validateCallOperationAction(CallOperationAction callOperationAction,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCallableImplementation

public boolean validateCallableImplementation(CallableImplementation callableImplementation,
                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOclExpression

public boolean validateOclExpression(OclExpression oclExpression,
                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBagType

public boolean validateBagType(BagType bagType,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionType

public boolean validateCollectionType(CollectionType collectionType,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateDataType

public boolean validateDataType(DataType dataType,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateDetail

public boolean validateDetail(Detail detail,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBooleanLiteralExp

public boolean validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePrimitiveLiteralExp

public boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLiteralExp

public boolean validateLiteralExp(LiteralExp literalExp,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionItem

public boolean validateCollectionItem(CollectionItem collectionItem,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionLiteralPart

public boolean validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionLiteralExp

public boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionRange

public boolean validateCollectionRange(CollectionRange collectionRange,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateEnumLiteralExp

public boolean validateEnumLiteralExp(EnumLiteralExp enumLiteralExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateEnumerationLiteral

public boolean validateEnumerationLiteral(EnumerationLiteral enumerationLiteral,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateEnumeration

public boolean validateEnumeration(Enumeration enumeration,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateExpressionInOcl

public boolean validateExpressionInOcl(ExpressionInOcl expressionInOcl,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateFeature

public boolean validateFeature(Feature feature,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOpaqueExpression

public boolean validateOpaqueExpression(OpaqueExpression opaqueExpression,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOpaqueExpression_validateLanguageBodySize

public boolean validateOpaqueExpression_validateLanguageBodySize(OpaqueExpression opaqueExpression,
                                                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the validateLanguageBodySize constraint of 'Opaque Expression'.

Generated

validateVariable

public boolean validateVariable(Variable variable,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVariableDeclaration

public boolean validateVariableDeclaration(VariableDeclaration variableDeclaration,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIfExp

public boolean validateIfExp(IfExp ifExp,
                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIntegerLiteralExp

public boolean validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNumericLiteralExp

public boolean validateNumericLiteralExp(NumericLiteralExp numericLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateInvalidLiteralExp

public boolean validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateInvalidType

public boolean validateInvalidType(InvalidType invalidType,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIterateExp

public boolean validateIterateExp(IterateExp iterateExp,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIteration

public boolean validateIteration(Iteration iteration,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateIteratorExp

public boolean validateIteratorExp(IteratorExp iteratorExp,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLambdaType

public boolean validateLambdaType(LambdaType lambdaType,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLoopExp

public boolean validateLoopExp(LoopExp loopExp,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLetExp

public boolean validateLetExp(LetExp letExp,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLibrary

public boolean validateLibrary(Library library,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMessageExp

public boolean validateMessageExp(MessageExp messageExp,
                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMessageType

public boolean validateMessageType(MessageType messageType,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateMonikeredElement

public boolean validateMonikeredElement(MonikeredElement monikeredElement,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSignal

public boolean validateSignal(Signal signal,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNullLiteralExp

public boolean validateNullLiteralExp(NullLiteralExp nullLiteralExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOperationCallExp

public boolean validateOperationCallExp(OperationCallExp operationCallExp,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateOrderedSetType

public boolean validateOrderedSetType(OrderedSetType orderedSetType,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePackageableElement

public boolean validatePackageableElement(PackageableElement packageableElement,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePrimitiveType

public boolean validatePrimitiveType(PrimitiveType primitiveType,
                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validatePropertyCallExp

public boolean validatePropertyCallExp(PropertyCallExp propertyCallExp,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateRealLiteralExp

public boolean validateRealLiteralExp(RealLiteralExp realLiteralExp,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSendSignalAction

public boolean validateSendSignalAction(SendSignalAction sendSignalAction,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSequenceType

public boolean validateSequenceType(SequenceType sequenceType,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSetType

public boolean validateSetType(SetType setType,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateState

public boolean validateState(State state,
                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateStateExp

public boolean validateStateExp(StateExp stateExp,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateStringLiteralExp

public boolean validateStringLiteralExp(StringLiteralExp stringLiteralExp,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTemplateParameterType

public boolean validateTemplateParameterType(TemplateParameterType templateParameterType,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTupleLiteralExp

public boolean validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTupleLiteralPart

public boolean validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTupleType

public boolean validateTupleType(TupleType tupleType,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateTypeExp

public boolean validateTypeExp(TypeExp typeExp,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnspecifiedValueExp

public boolean validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateValueSpecification

public boolean validateValueSpecification(ValueSpecification valueSpecification,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVariableExp

public boolean validateVariableExp(VariableExp variableExp,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVisitable

public boolean validateVisitable(Visitable visitable,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVisitor

public boolean validateVisitor(Visitor<?,?> visitor,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateVoidType

public boolean validateVoidType(VoidType voidType,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateAssociativityKind

public boolean validateAssociativityKind(AssociativityKind associativityKind,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCollectionKind

public boolean validateCollectionKind(CollectionKind collectionKind,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateBoolean

public boolean validateBoolean(boolean boolean_,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateInt

public boolean validateInt(int int_,
                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateInteger

public boolean validateInteger(java.math.BigInteger integer,
                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateObject

public boolean validateObject(java.lang.Object object,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateReal

public boolean validateReal(java.math.BigDecimal real,
                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateString

public boolean validateString(java.lang.String string,
                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateThrowable

public boolean validateThrowable(java.lang.Throwable throwable,
                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnlimitedNatural

public boolean validateUnlimitedNatural(java.math.BigInteger unlimitedNatural,
                                        org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

getResourceLocator

public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:: getResourceLocator in class org.eclipse.emf.ecore.util.EObjectValidator

Generated