public class EcoreValidator
extends EObjectValidator
EcorePackage
Modifier and Type | Field and Description |
---|---|
static String |
DIAGNOSTIC_SOURCE
|
static EcoreValidator |
INSTANCE
The cached model package
|
Constructor and Description |
---|
EcoreValidator()
Creates an instance of the switch.
|
Modifier and Type | Method and Description |
---|---|
ResourceLocator |
getResourceLocator()
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
|
boolean |
validateAnyType_WellFormedInstanceTypeName(AnyType anyType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Any Type'.
|
boolean |
validateAnyType_WellFormedName(AnyType anyType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Any Type'.
|
boolean |
validateAnyType(AnyType anyType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBagType(BagType bagType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCallExp(CallExp callExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCallOperationAction(CallOperationAction callOperationAction,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionItem(CollectionItem collectionItem,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionLiteralPart_WellFormedName(CollectionLiteralPart collectionLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Collection Literal Part'.
|
boolean |
validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionRange(CollectionRange collectionRange,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionType_WellFormedInstanceTypeName(CollectionType collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Collection Type'.
|
boolean |
validateCollectionType_WellFormedName(CollectionType collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Collection Type'.
|
boolean |
validateCollectionType(CollectionType collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateConstraint_WellFormedName(Constraint constraint,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Constraint'.
|
boolean |
validateConstraint(Constraint constraint,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateElementType_WellFormedInstanceTypeName(ElementType elementType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Element Type'.
|
boolean |
validateElementType_WellFormedName(ElementType elementType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Element Type'.
|
boolean |
validateElementType(ElementType elementType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateEnumLiteralExp(EnumLiteralExp enumLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateExpressionInOCL(ExpressionInOCL expressionInOCL,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFeatureCallExp(FeatureCallExp featureCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIfExp(IfExp ifExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateInvalidType_WellFormedInstanceTypeName(InvalidType invalidType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Invalid Type'.
|
boolean |
validateInvalidType_WellFormedName(InvalidType invalidType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Invalid Type'.
|
boolean |
validateInvalidType(InvalidType invalidType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIterateExp(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIteratorExp(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLetExp(LetExp letExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLiteralExp(LiteralExp literalExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLoopExp(LoopExp loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMessageExp(MessageExp messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMessageType_WellFormedInstanceTypeName(MessageType messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Message Type'.
|
boolean |
validateMessageType_WellFormedName(MessageType messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Message Type'.
|
boolean |
validateMessageType(MessageType messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNavigationCallExp(NavigationCallExp navigationCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNullLiteralExp(NullLiteralExp nullLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNumericLiteralExp(NumericLiteralExp numericLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOCLExpression_WellFormedName(OCLExpression oclExpression,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'OCL Expression'.
|
boolean |
validateOCLExpression(OCLExpression oclExpression,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOperationCallExp(OperationCallExp operationCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOppositePropertyCallExp(OppositePropertyCallExp oppositePropertyCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOrderedSetType(OrderedSetType orderedSetType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePrimitiveType_WellFormedInstanceTypeName(PrimitiveType primitiveType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Primitive Type'.
|
boolean |
validatePrimitiveType_WellFormedName(PrimitiveType primitiveType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Primitive Type'.
|
boolean |
validatePrimitiveType(PrimitiveType primitiveType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePropertyCallExp(PropertyCallExp propertyCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateRealLiteralExp(RealLiteralExp realLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSendSignalAction(SendSignalAction sendSignalAction,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSequenceType(SequenceType sequenceType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSetType(SetType setType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStateExp(StateExp stateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStringLiteralExp(StringLiteralExp stringLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTemplateParameterType_WellFormedInstanceTypeName(TemplateParameterType templateParameterType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Template Parameter Type'.
|
boolean |
validateTemplateParameterType_WellFormedName(TemplateParameterType templateParameterType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Template Parameter Type'.
|
boolean |
validateTemplateParameterType(TemplateParameterType templateParameterType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTupleLiteralPart_WellFormedName(TupleLiteralPart tupleLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Tuple Literal Part'.
|
boolean |
validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTupleType_WellFormedInstanceTypeName(TupleType tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Tuple Type'.
|
boolean |
validateTupleType_WellFormedName(TupleType tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Tuple Type'.
|
boolean |
validateTupleType(TupleType tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTypeExp(TypeExp typeExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTypeType_WellFormedInstanceTypeName(TypeType typeType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Type Type'.
|
boolean |
validateTypeType_WellFormedName(TypeType typeType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Type Type'.
|
boolean |
validateTypeType(TypeType typeType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVariable_WellFormedName(Variable variable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Variable'.
|
boolean |
validateVariable(Variable variable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVariableExp(VariableExp variableExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVoidType_WellFormedInstanceTypeName(VoidType voidType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedInstanceTypeName constraint of 'Void Type'.
|
boolean |
validateVoidType_WellFormedName(VoidType voidType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the WellFormedName constraint of 'Void Type'.
|
boolean |
validateVoidType(VoidType voidType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
public static final EcoreValidator INSTANCE
public static final String DIAGNOSTIC_SOURCE
Diagnostic
,
Diagnostic
,
Constant Field Valuespublic EcoreValidator()
public boolean validateAnyType(AnyType anyType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAnyType_WellFormedName(AnyType anyType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAnyType_WellFormedInstanceTypeName(AnyType anyType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBagType(BagType bagType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionType(CollectionType collectionType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionType_WellFormedName(CollectionType collectionType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionType_WellFormedInstanceTypeName(CollectionType collectionType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateElementType(ElementType elementType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateElementType_WellFormedName(ElementType elementType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateElementType_WellFormedInstanceTypeName(ElementType elementType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInvalidType(InvalidType invalidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInvalidType_WellFormedName(InvalidType invalidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInvalidType_WellFormedInstanceTypeName(InvalidType invalidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageType(MessageType messageType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageType_WellFormedName(MessageType messageType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageType_WellFormedInstanceTypeName(MessageType messageType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOrderedSetType(OrderedSetType orderedSetType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrimitiveType(PrimitiveType primitiveType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrimitiveType_WellFormedName(PrimitiveType primitiveType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrimitiveType_WellFormedInstanceTypeName(PrimitiveType primitiveType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSequenceType(SequenceType sequenceType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSetType(SetType setType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateParameterType(TemplateParameterType templateParameterType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateParameterType_WellFormedName(TemplateParameterType templateParameterType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateParameterType_WellFormedInstanceTypeName(TemplateParameterType templateParameterType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleType(TupleType tupleType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleType_WellFormedName(TupleType tupleType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleType_WellFormedInstanceTypeName(TupleType tupleType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTypeType(TypeType typeType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTypeType_WellFormedName(TypeType typeType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTypeType_WellFormedInstanceTypeName(TypeType typeType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVoidType(VoidType voidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVoidType_WellFormedName(VoidType voidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVoidType_WellFormedInstanceTypeName(VoidType voidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCallOperationAction(CallOperationAction callOperationAction, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateConstraint(Constraint constraint, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateConstraint_WellFormedName(Constraint constraint, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSendSignalAction(SendSignalAction sendSignalAction, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateExpressionInOCL(ExpressionInOCL expressionInOCL, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCallExp(CallExp callExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionItem(CollectionItem collectionItem, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralPart_WellFormedName(CollectionLiteralPart collectionLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionRange(CollectionRange collectionRange, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateEnumLiteralExp(EnumLiteralExp enumLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFeatureCallExp(FeatureCallExp featureCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIfExp(IfExp ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetExp(LetExp letExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLiteralExp(LiteralExp literalExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLoopExp(LoopExp loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageExp(MessageExp messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNavigationCallExp(NavigationCallExp navigationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNullLiteralExp(NullLiteralExp nullLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNumericLiteralExp(NumericLiteralExp numericLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOCLExpression(OCLExpression oclExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOCLExpression_WellFormedName(OCLExpression oclExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperationCallExp(OperationCallExp operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePropertyCallExp(PropertyCallExp propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateRealLiteralExp(RealLiteralExp realLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStateExp(StateExp stateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStringLiteralExp(StringLiteralExp stringLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleLiteralPart_WellFormedName(TupleLiteralPart tupleLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTypeExp(TypeExp typeExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUnspecifiedValueExp(UnspecifiedValueExp unspecifiedValueExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariable(Variable variable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariable_WellFormedName(Variable variable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableExp(VariableExp variableExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOppositePropertyCallExp(OppositePropertyCallExp oppositePropertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public ResourceLocator getResourceLocator()
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.