EcoreValidator (MDT-OCL Documentation)

java.lang.Object
- org.eclipse.emf.ecore.util.EObjectValidator
- - org.eclipse.ocl.ecore.util.EcoreValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator
```
public class EcoreValidator
extends org.eclipse.emf.ecore.util.EObjectValidator
```
The Validator for the model.

See Also:

EcorePackage

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

Fields
Modifier and Type	Field and Description
`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.
`protected org.eclipse.emf.ecore.util.EcoreValidator`	`ecoreValidator` The cached base package validator.
`protected ExpressionsValidator`	`expressionsValidator` The cached base package validator.
`static EcoreValidator`	`INSTANCE` The cached model package
`protected TypesValidator`	`typesValidator` The cached base package validator.

Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator
DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT

Fields inherited from interface org.eclipse.emf.ecore.EValidator
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors
Constructor and Description

EcoreValidator()
Creates an instance of the switch.

Constructors
Constructor and Description
`EcoreValidator()` Creates an instance of the switch.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`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`	`validateAnyType_WellFormedInstanceTypeName(AnyType anyType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Any Type'.
`boolean`	`validateAnyType_WellFormedName(AnyType anyType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Any Type'.
`boolean`	`validateAnyType(AnyType anyType, 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`	`validateBagType(BagType bagType, 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`	`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`	`validateCollectionItem(CollectionItem collectionItem, 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_WellFormedName(CollectionLiteralPart collectionLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Collection Literal Part'.
`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_WellFormedInstanceTypeName(CollectionType collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Collection Type'.
`boolean`	`validateCollectionType_WellFormedName(CollectionType collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Collection Type'.
`boolean`	`validateCollectionType(CollectionType collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateConstraint_WellFormedName(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName 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`	`validateElementType_WellFormedInstanceTypeName(ElementType elementType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Element Type'.
`boolean`	`validateElementType_WellFormedName(ElementType elementType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Element Type'.
`boolean`	`validateElementType(ElementType elementType, 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`	`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`	`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_WellFormedInstanceTypeName(InvalidType invalidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Invalid Type'.
`boolean`	`validateInvalidType_WellFormedName(InvalidType invalidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Invalid Type'.
`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`	`validateIteratorExp(IteratorExp iteratorExp, 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`	`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_WellFormedInstanceTypeName(MessageType messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Message Type'.
`boolean`	`validateMessageType_WellFormedName(MessageType messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Message Type'.
`boolean`	`validateMessageType(MessageType messageType, 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`	`validateOCLExpression_WellFormedName(OCLExpression oclExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'OCL Expression'.
`boolean`	`validateOCLExpression(OCLExpression oclExpression, 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`	`validateOppositePropertyCallExp(OppositePropertyCallExp oppositePropertyCallExp, 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`	`validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validatePrimitiveType_WellFormedInstanceTypeName(PrimitiveType primitiveType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Primitive Type'.
`boolean`	`validatePrimitiveType_WellFormedName(PrimitiveType primitiveType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Primitive Type'.
`boolean`	`validatePrimitiveType(PrimitiveType primitiveType, 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`	`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`	`validateStateExp(StateExp stateExp, 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`	`validateTemplateParameterType_WellFormedInstanceTypeName(TemplateParameterType templateParameterType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Template Parameter Type'.
`boolean`	`validateTemplateParameterType_WellFormedName(TemplateParameterType templateParameterType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Template Parameter Type'.
`boolean`	`validateTemplateParameterType(TemplateParameterType templateParameterType, 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_WellFormedName(TupleLiteralPart tupleLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Tuple Literal Part'.
`boolean`	`validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateTupleType_WellFormedInstanceTypeName(TupleType tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Tuple Type'.
`boolean`	`validateTupleType_WellFormedName(TupleType tupleType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Tuple Type'.
`boolean`	`validateTupleType(TupleType tupleType, 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`	`validateTypeType_WellFormedInstanceTypeName(TypeType typeType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Type Type'.
`boolean`	`validateTypeType_WellFormedName(TypeType typeType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Type Type'.
`boolean`	`validateTypeType(TypeType typeType, 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`	`validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)`
`boolean`	`validateVariable_WellFormedName(Variable variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Variable'.
`boolean`	`validateVariable(Variable variable, 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`	`validateVoidType_WellFormedInstanceTypeName(VoidType voidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedInstanceTypeName constraint of 'Void Type'.
`boolean`	`validateVoidType_WellFormedName(VoidType voidType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)` Validates the WellFormedName constraint of 'Void Type'.
`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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail
- INSTANCE
```
public static final EcoreValidator 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
- 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
- ecoreValidator
```
protected org.eclipse.emf.ecore.util.EcoreValidator ecoreValidator
```
  The cached base package validator.
  
  Generated
- typesValidator
```
protected TypesValidator typesValidator
```
  The cached base package validator.
  
  Generated
- expressionsValidator
```
protected ExpressionsValidator expressionsValidator
```
  The cached base package validator.
  
  Generated

Constructor Detail
- EcoreValidator
```
public EcoreValidator()
```
  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

validateAnyType

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

Generated

validateAnyType_WellFormedName

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

Validates the WellFormedName constraint of 'Any Type'.

Generated: NOT

validateAnyType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Any Type'.

Since:: 1.3
Generated: NOT

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

validateCollectionType_WellFormedName

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

Validates the WellFormedName constraint of 'Collection Type'.

Generated: NOT

validateCollectionType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Collection Type'.

Since:: 1.3
Generated: NOT

validateElementType

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

Generated

validateElementType_WellFormedName

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

Validates the WellFormedName constraint of 'Element Type'.

Generated: NOT

validateElementType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Element Type'.

Since:: 1.3
Generated: NOT

validateInvalidType

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

Generated

validateInvalidType_WellFormedName

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

Validates the WellFormedName constraint of 'Invalid Type'.

Generated: NOT

validateInvalidType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Invalid Type'.

Since:: 1.3
Generated: NOT

validateMessageType

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

Generated

validateMessageType_WellFormedName

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

Validates the WellFormedName constraint of 'Message Type'.

Generated: NOT

validateMessageType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Message Type'.

Since:: 1.3
Generated: NOT

validateOrderedSetType

public boolean validateOrderedSetType(OrderedSetType orderedSetType,
                                      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

validatePrimitiveType_WellFormedName

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

Validates the WellFormedName constraint of 'Primitive Type'.

Generated: NOT

validatePrimitiveType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Primitive Type'.

Since:: 1.3
Generated: NOT

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

validateTemplateParameterType

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

Since:: 3.0
Generated

validateTemplateParameterType_WellFormedName

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

Validates the WellFormedName constraint of 'Template Parameter Type'.

Since:: 3.0
Generated: NOT

validateTemplateParameterType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Template Parameter Type'.

Since:: 3.0
Generated: NOT

validateTupleType

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

Generated

validateTupleType_WellFormedName

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

Validates the WellFormedName constraint of 'Tuple Type'.

Generated: NOT

validateTupleType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Tuple Type'.

Since:: 1.3
Generated: NOT

validateTypeType

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

Generated

validateTypeType_WellFormedName

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

Validates the WellFormedName constraint of 'Type Type'.

Generated: NOT

validateTypeType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Type Type'.

Since:: 1.3
Generated: NOT

validateVoidType

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

Generated

validateVoidType_WellFormedName

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

Validates the WellFormedName constraint of 'Void Type'.

Generated: NOT

validateVoidType_WellFormedInstanceTypeName

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

Validates the WellFormedInstanceTypeName constraint of 'Void Type'.

Since:: 1.3
Generated: NOT

validateCallOperationAction

public boolean validateCallOperationAction(CallOperationAction callOperationAction,
                                           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_WellFormedName

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

Validates the WellFormedName constraint of 'Constraint'.

Generated: NOT

validateSendSignalAction

public boolean validateSendSignalAction(SendSignalAction sendSignalAction,
                                        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

validateAssociationClassCallExp

public boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp,
                                               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

validateCallExp

public boolean validateCallExp(CallExp callExp,
                               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

validateCollectionLiteralExp

public boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp,
                                            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

validateCollectionLiteralPart_WellFormedName

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

Validates the WellFormedName constraint of 'Collection Literal Part'.

Generated: NOT

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

validateFeatureCallExp

public boolean validateFeatureCallExp(FeatureCallExp featureCallExp,
                                      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

validateUnlimitedNaturalLiteralExp

public boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp,
                                                  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

validateIterateExp

public boolean validateIterateExp(IterateExp iterateExp,
                                  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

validateLetExp

public boolean validateLetExp(LetExp letExp,
                              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

validateLoopExp

public boolean validateLoopExp(LoopExp loopExp,
                               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

validateNavigationCallExp

public boolean validateNavigationCallExp(NavigationCallExp navigationCallExp,
                                         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

validateNumericLiteralExp

public boolean validateNumericLiteralExp(NumericLiteralExp numericLiteralExp,
                                         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

validateOCLExpression_WellFormedName

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

Validates the WellFormedName constraint of 'OCL Expression'.

Generated: NOT

validateOperationCallExp

public boolean validateOperationCallExp(OperationCallExp operationCallExp,
                                        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

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

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

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

validateTupleLiteralPart_WellFormedName

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

Validates the WellFormedName constraint of 'Tuple Literal Part'.

Generated: NOT

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

validateVariable

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

Generated

validateVariable_WellFormedName

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

Validates the WellFormedName constraint of 'Variable'.

Generated: NOT

validateVariableExp

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

Generated

validateOppositePropertyCallExp

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

Since:: 3.1
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

Class EcoreValidator

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator