public class PivotValidator
extends EObjectValidator
PivotPackage
Modifier and Type | Field and Description |
---|---|
static int |
BOOLEAN_LITERAL_EXP__VALIDATE_TYPE_IS_BOOLEAN
The
code for constraint 'Validate Type Is Boolean' of 'Boolean Literal Exp'. |
static int |
CALL_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Call Exp'. |
static int |
CLASS__VALIDATE_NAME_IS_NOT_NULL
The
code for constraint 'Validate Name Is Not Null' of 'Class'. |
static int |
CLASS__VALIDATE_UNIQUE_INVARIANT_NAME
The
code for constraint 'Validate Unique Invariant Name' of 'Class'. |
static int |
COLLECTION_ITEM__VALIDATE_TYPE_IS_ITEM_TYPE
The
code for constraint 'Validate Type Is Item Type' of 'Collection Item'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_BAG_KIND_IS_BAG
The
code for constraint 'Validate Bag Kind Is Bag' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_COLLECTION_KIND_IS_CONCRETE
The
code for constraint 'Validate Collection Kind Is Concrete' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_ORDERED_SET_KIND_IS_ORDERED_SET
The
code for constraint 'Validate Ordered Set Kind Is Ordered Set' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_SEQUENCE_KIND_IS_SEQUENCE
The
code for constraint 'Validate Sequence Kind Is Sequence' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_EXP__VALIDATE_SET_KIND_IS_SET
The
code for constraint 'Validate Set Kind Is Set' of 'Collection Literal Exp'. |
static int |
COLLECTION_LITERAL_PART__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Collection Literal Part'. |
static int |
CONSTRAINT__VALIDATE_UNIQUE_NAME
The
code for constraint 'Validate Unique Name' of 'Constraint'. |
static String |
DIAGNOSTIC_SOURCE
|
static int |
ENUM_LITERAL_EXP__VALIDATE_TYPE_IS_ENUMERATION_TYPE
The
code for constraint 'Validate Type Is Enumeration Type' of 'Enum Literal Exp'. |
static int |
FEATURE__VALIDATE_NAME_IS_NOT_NULL
The
code for constraint 'Validate Name Is Not Null' of 'Feature'. |
static int |
FEATURE__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Feature'. |
static int |
FEATURE__VALIDATE_TYPE_IS_NOT_NULL
The
code for constraint 'Validate Type Is Not Null' of 'Feature'. |
static int |
IF_EXP__VALIDATE_CONDITION_TYPE_IS_BOOLEAN
The
code for constraint 'Validate Condition Type Is Boolean' of 'If Exp'. |
static int |
IF_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'If Exp'. |
static PivotValidator |
INSTANCE
The cached model package
|
static int |
INTEGER_LITERAL_EXP__VALIDATE_TYPE_IS_INTEGER
The
code for constraint 'Validate Type Is Integer' of 'Integer Literal Exp'. |
static int |
ITERATE_EXP__VALIDATE_BODY_TYPE_CONFORMS_TO_RESULT_TYPE
The
code for constraint 'Validate Body Type Conforms To Result Type' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_ONE_INITIALIZER
The
code for constraint 'Validate One Initializer' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
The
code for constraint 'Validate Safe Iterator Is Required' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_TYPE_IS_RESULT_TYPE
The
code for constraint 'Validate Type Is Result Type' of 'Iterate Exp'. |
static int |
ITERATE_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
The
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterate Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ANY_BODY_TYPE_IS_BOOLEAN
The
code for constraint 'Validate Any Body Type Is Boolean' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ANY_HAS_ONE_ITERATOR
The
code for constraint 'Validate Any Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ANY_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Any Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_BODY_ELEMENT_TYPE_IS_ITERATOR_TYPE
The
code for constraint 'Validate Closure Body Element Type Is Iterator Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_BODY_TYPE_IS_CONFORMANTTO_ITERATOR_TYPE
The
code for constraint 'Validate Closure Body Type Is Conformantto Iterator Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Closure Element Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_HAS_ONE_ITERATOR
The
code for constraint 'Validate Closure Has One Iterator' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_RESULT_ELEMENT_TYPE_IS_ITERATOR_TYPE
The
code for constraint 'Validate Closure Result Element Type Is Iterator Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_SOURCE_ELEMENT_TYPE_IS_BODY_ELEMENT_TYPE
The
code for constraint 'Validate Closure Source Element Type Is Body Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_CLOSURE_TYPE_IS_UNIQUE_COLLECTION
The
code for constraint 'Validate Closure Type Is Unique Collection' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_COLLECT_ELEMENT_TYPE_IS_FLATTENED_BODY_TYPE
The
code for constraint 'Validate Collect Element Type Is Flattened Body Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_COLLECT_TYPE_IS_UNORDERED
The
code for constraint 'Validate Collect Type Is Unordered' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_ITERATOR_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Iterator Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
The
code for constraint 'Validate Safe Iterator Is Required' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SORTED_BY_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
The
code for constraint 'Validate Sorted By Element Type Is Source Element Type' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SORTED_BY_IS_ORDERED_IF_SOURCE_IS_ORDERED
The
code for constraint 'Validate Sorted By Is Ordered If Source Is Ordered' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE
The
code for constraint 'Validate Sorted By Iterator Type Is Comparable' of 'Iterator Exp'. |
static int |
ITERATOR_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
The
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterator Exp'. |
static int |
ITERATOR_VARIABLE__VALIDATE_HAS_NO_INITIALIZER
The
code for constraint 'Validate Has No Initializer' of 'Iterator Variable'. |
static int |
LET_EXP__VALIDATE_COMPATIBLE_NULLITY_FOR_IN
The
code for constraint 'Validate Compatible Nullity For In' of 'Let Exp'. |
static int |
LET_EXP__VALIDATE_TYPE_IS_IN_TYPE
The
code for constraint 'Validate Type Is In Type' of 'Let Exp'. |
static int |
LET_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Let Exp'. |
static int |
LET_VARIABLE__VALIDATE_COMPATIBLE_NULLITY_FOR_INITIALIZER
The
code for constraint 'Validate Compatible Nullity For Initializer' of 'Let Variable'. |
static int |
LET_VARIABLE__VALIDATE_COMPATIBLE_TYPE_FOR_INITIALIZER
The
code for constraint 'Validate Compatible Type For Initializer' of 'Let Variable'. |
static int |
LET_VARIABLE__VALIDATE_HAS_INITIALIZER
The
code for constraint 'Validate Has Initializer' of 'Let Variable'. |
static int |
LOOP_EXP__VALIDATE_NO_INITIALIZERS
The
code for constraint 'Validate No Initializers' of 'Loop Exp'. |
static int |
LOOP_EXP__VALIDATE_SOURCE_IS_COLLECTION
The
code for constraint 'Validate Source Is Collection' of 'Loop Exp'. |
static int |
MESSAGE_EXP__VALIDATE_ONE_CALL_OR_ONE_SEND
The
code for constraint 'Validate One Call Or One Send' of 'Message Exp'. |
static int |
MESSAGE_EXP__VALIDATE_TARGET_IS_NOT_ACOLLECTION
The
code for constraint 'Validate Target Is Not ACollection' of 'Message Exp'. |
static int |
OCL_EXPRESSION__VALIDATE_TYPE_IS_NOT_NULL
The
code for constraint 'Validate Type Is Not Null' of 'OCL Expression'. |
static int |
OPERATION__VALIDATE_COMPATIBLE_RETURN
The
code for constraint 'Validate Compatible Return' of 'Operation'. |
static int |
OPERATION__VALIDATE_LOADABLE_IMPLEMENTATION
The
code for constraint 'Validate Loadable Implementation' of 'Operation'. |
static int |
OPERATION__VALIDATE_UNIQUE_POSTCONDITION_NAME
The
code for constraint 'Validate Unique Postcondition Name' of 'Operation'. |
static int |
OPERATION__VALIDATE_UNIQUE_PRECONDITION_NAME
The
code for constraint 'Validate Unique Precondition Name' of 'Operation'. |
static int |
OPERATION_CALL_EXP__VALIDATE_ARGUMENT_COUNT
The
code for constraint 'Validate Argument Count' of 'Operation Call Exp'. |
static int |
OPERATION_CALL_EXP__VALIDATE_ARGUMENT_TYPE_IS_CONFORMANT
The
code for constraint 'Validate Argument Type Is Conformant' of 'Operation Call Exp'. |
static int |
OPERATION_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Operation Call Exp'. |
static int |
PARAMETER_VARIABLE__VALIDATE_HAS_NO_INITIALIZER
The
code for constraint 'Validate Has No Initializer' of 'Parameter Variable'. |
static int |
PROPERTY__VALIDATE_COMPATIBLE_DEFAULT_EXPRESSION
The
code for constraint 'Validate Compatible Default Expression' of 'Property'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_COMPATIBLE_RESULT_TYPE
The
code for constraint 'Validate Compatible Result Type' of 'Property Call Exp'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_NON_STATIC_SOURCE_TYPE_IS_CONFORMANT
The
code for constraint 'Validate Non Static Source Type Is Conformant' of 'Property Call Exp'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
The
code for constraint 'Validate Safe Source Can Be Null' of 'Property Call Exp'. |
static int |
PROPERTY_CALL_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
The
code for constraint 'Validate Unsafe Source Can Not Be Null' of 'Property Call Exp'. |
static int |
RESULT_VARIABLE__VALIDATE_COMPATIBLE_NULLITY_FOR_INITIALIZER
The
code for constraint 'Validate Compatible Nullity For Initializer' of 'Result Variable'. |
static int |
RESULT_VARIABLE__VALIDATE_COMPATIBLE_TYPE_FOR_INITIALIZER
The
code for constraint 'Validate Compatible Type For Initializer' of 'Result Variable'. |
static int |
RESULT_VARIABLE__VALIDATE_HAS_INITIALIZER
The
code for constraint 'Validate Has Initializer' of 'Result Variable'. |
static int |
SHADOW_EXP__VALIDATE_CLASS_HAS_NO_STRING_VALUE_INITIALIZER
The
code for constraint 'Validate Class Has No String Value Initializer' of 'Shadow Exp'. |
static int |
SHADOW_EXP__VALIDATE_DATA_TYPE_HAS_NO_PART_INITIALIZERS
The
code for constraint 'Validate Data Type Has No Part Initializers' of 'Shadow Exp'. |
static int |
SHADOW_EXP__VALIDATE_DATA_TYPE_HAS_ONE_PART_INITIALIZER
The
code for constraint 'Validate Data Type Has One Part Initializer' of 'Shadow Exp'. |
static int |
SHADOW_EXP__VALIDATE_DATA_TYPE_HAS_STRING_VALUE_INITIALIZER
The
code for constraint 'Validate Data Type Has String Value Initializer' of 'Shadow Exp'. |
static int |
SHADOW_EXP__VALIDATE_INITIALIZES_ALL_CLASS_PROPERTIES
The
code for constraint 'Validate Initializes All Class Properties' of 'Shadow Exp'. |
static int |
SHADOW_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Shadow Exp'. |
static int |
SHADOW_PART__VALIDATE_COMPATIBLE_INITIALISER_TYPE
The
code for constraint 'Validate Compatible Initialiser Type' of 'Shadow Part'. |
static int |
SHADOW_PART__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Shadow Part'. |
static int |
SHADOW_PART__VALIDATE_TYPE_IS_NOT_NULL
The
code for constraint 'Validate Type Is Not Null' of 'Shadow Part'. |
static int |
STATE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'State Exp'. |
static int |
TUPLE_LITERAL_PART__VALIDATE_COMPATIBLE_INITIALISER_TYPE
The
code for constraint 'Validate Compatible Initialiser Type' of 'Tuple Literal Part'. |
static int |
TUPLE_LITERAL_PART__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Tuple Literal Part'. |
static int |
VARIABLE__VALIDATE_COMPATIBLE_INITIALISER_TYPE
The
code for constraint 'Validate Compatible Initialiser Type' of 'Variable'. |
static int |
VARIABLE_DECLARATION__VALIDATE_NAME_IS_NOT_NULL
The
code for constraint 'Validate Name Is Not Null' of 'Variable Declaration'. |
static int |
VARIABLE_DECLARATION__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Variable Declaration'. |
static int |
VARIABLE_DECLARATION__VALIDATE_TYPE_IS_NOT_NULL
The
code for constraint 'Validate Type Is Not Null' of 'Variable Declaration'. |
static int |
VARIABLE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
The
code for constraint 'Validate Type Is Not Invalid' of 'Variable Exp'. |
Constructor and Description |
---|
PivotValidator()
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 |
validateAnnotation(Annotation annotation,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAnyType(AnyType anyType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAssociationClass(AssociationClass associationClass,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAssociativityKind(AssociativityKind associativityKind,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBagType(BagType bagType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBehavior(Behavior behavior,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBoolean(boolean boolean_,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBooleanLiteralExp_validateTypeIsBoolean(BooleanLiteralExp booleanLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsBoolean constraint of 'Boolean Literal Exp'.
|
boolean |
validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCallExp_validateTypeIsNotInvalid(CallExp callExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Call Exp'.
|
boolean |
validateCallExp(CallExp callExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCallOperationAction(CallOperationAction callOperationAction,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateClass_validateNameIsNotNull(Class class_,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateNameIsNotNull constraint of 'Class'.
|
boolean |
validateClass_validateUniqueInvariantName(Class class_,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateUniqueInvariantName constraint of 'Class'.
|
boolean |
validateClass(Class class_,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionItem_validateTypeIsItemType(CollectionItem collectionItem,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsItemType constraint of 'Collection Item'.
|
boolean |
validateCollectionItem(CollectionItem collectionItem,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionKind(CollectionKind collectionKind,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionLiteralExp_validateBagKindIsBag(CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateBagKindIsBag constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateCollectionKindIsConcrete(CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCollectionKindIsConcrete constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateOrderedSetKindIsOrderedSet(CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateOrderedSetKindIsOrderedSet constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateSequenceKindIsSequence(CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSequenceKindIsSequence constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp_validateSetKindIsSet(CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSetKindIsSet constraint of 'Collection Literal Exp'.
|
boolean |
validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCollectionLiteralPart_validateTypeIsNotInvalid(CollectionLiteralPart collectionLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid 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(CollectionType collectionType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateComment(Comment comment,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCompleteClass(CompleteClass completeClass,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCompleteEnvironment(CompleteEnvironment completeEnvironment,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCompleteModel(CompleteModel completeModel,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCompletePackage(CompletePackage completePackage,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateConnectionPointReference(ConnectionPointReference connectionPointReference,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateConstraint_validateUniqueName(Constraint constraint,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateUniqueName constraint of 'Constraint'.
|
boolean |
validateConstraint(Constraint constraint,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDataType(DataType dataType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDetail(Detail detail,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDynamicBehavior(DynamicBehavior dynamicBehavior,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDynamicElement(DynamicElement dynamicElement,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDynamicProperty(DynamicProperty dynamicProperty,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDynamicType(DynamicType dynamicType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDynamicValueSpecification(DynamicValueSpecification dynamicValueSpecification,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateElement(Element element,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateElementExtension(ElementExtension elementExtension,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateEnumeration(Enumeration enumeration,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateEnumerationLiteral(EnumerationLiteral enumerationLiteral,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateEnumLiteralExp_validateTypeIsEnumerationType(EnumLiteralExp enumLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsEnumerationType constraint of 'Enum Literal Exp'.
|
boolean |
validateEnumLiteralExp(EnumLiteralExp enumLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateExpressionInOCL(ExpressionInOCL expressionInOCL,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFeature_validateNameIsNotNull(Feature feature,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateNameIsNotNull constraint of 'Feature'.
|
boolean |
validateFeature_validateTypeIsNotInvalid(Feature feature,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Feature'.
|
boolean |
validateFeature_validateTypeIsNotNull(Feature feature,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotNull constraint of 'Feature'.
|
boolean |
validateFeature(Feature feature,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFeatureCallExp(FeatureCallExp featureCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFinalState(FinalState finalState,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIfExp_validateConditionTypeIsBoolean(IfExp ifExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateConditionTypeIsBoolean constraint of 'If Exp'.
|
boolean |
validateIfExp_validateTypeIsNotInvalid(IfExp ifExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'If Exp'.
|
boolean |
validateIfExp(IfExp ifExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateImport(Import import_,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateInstanceSpecification(InstanceSpecification instanceSpecification,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateInteger(Number integer,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIntegerLiteralExp_validateTypeIsInteger(IntegerLiteralExp integerLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsInteger constraint of 'Integer Literal Exp'.
|
boolean |
validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateInvalidType(InvalidType invalidType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIterateExp_validateBodyTypeConformsToResultType(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateBodyTypeConformsToResultType constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateOneInitializer(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateOneInitializer constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateSafeIteratorIsRequired(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSafeIteratorIsRequired constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateSafeSourceCanBeNull(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateTypeIsResultType(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsResultType constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp_validateUnsafeSourceCanNotBeNull(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateUnsafeSourceCanNotBeNull constraint of 'Iterate Exp'.
|
boolean |
validateIterateExp(IterateExp iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIteration(Iteration iteration,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIteratorExp_validateAnyBodyTypeIsBoolean(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateAnyBodyTypeIsBoolean constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateAnyHasOneIterator(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateAnyHasOneIterator constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateAnyTypeIsSourceElementType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateAnyTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureBodyElementTypeIsIteratorType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClosureBodyElementTypeIsIteratorType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureBodyTypeIsConformanttoIteratorType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClosureBodyTypeIsConformanttoIteratorType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureElementTypeIsSourceElementType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClosureElementTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureHasOneIterator(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClosureHasOneIterator constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureResultElementTypeIsIteratorType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClosureResultElementTypeIsIteratorType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureSourceElementTypeIsBodyElementType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClosureSourceElementTypeIsBodyElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateClosureTypeIsUniqueCollection(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClosureTypeIsUniqueCollection constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateCollectElementTypeIsFlattenedBodyType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCollectElementTypeIsFlattenedBodyType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateCollectTypeIsUnordered(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCollectTypeIsUnordered constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateIteratorTypeIsSourceElementType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateIteratorTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSafeIteratorIsRequired(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSafeIteratorIsRequired constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSafeSourceCanBeNull(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSortedByElementTypeIsSourceElementType(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSortedByElementTypeIsSourceElementType constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSortedByIsOrderedIfSourceIsOrdered(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSortedByIsOrderedIfSourceIsOrdered constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateSortedByIteratorTypeIsComparable(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSortedByIteratorTypeIsComparable constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp_validateUnsafeSourceCanNotBeNull(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateUnsafeSourceCanNotBeNull constraint of 'Iterator Exp'.
|
boolean |
validateIteratorExp(IteratorExp iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIteratorVariable_validateHasNoInitializer(IteratorVariable iteratorVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateHasNoInitializer constraint of 'Iterator Variable'.
|
boolean |
validateIteratorVariable(IteratorVariable iteratorVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLambdaType(LambdaType lambdaType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLanguageExpression(LanguageExpression languageExpression,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLetExp_validateCompatibleNullityForIn(LetExp letExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleNullityForIn constraint of 'Let Exp'.
|
boolean |
validateLetExp_validateTypeIsInType(LetExp letExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsInType constraint of 'Let Exp'.
|
boolean |
validateLetExp_validateTypeIsNotInvalid(LetExp letExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Let Exp'.
|
boolean |
validateLetExp(LetExp letExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLetVariable_validateCompatibleNullityForInitializer(LetVariable letVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleNullityForInitializer constraint of 'Let Variable'.
|
boolean |
validateLetVariable_validateCompatibleTypeForInitializer(LetVariable letVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleTypeForInitializer constraint of 'Let Variable'.
|
boolean |
validateLetVariable_validateHasInitializer(LetVariable letVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateHasInitializer constraint of 'Let Variable'.
|
boolean |
validateLetVariable(LetVariable letVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLibrary(Library library,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLibraryFeature(LibraryFeature libraryFeature,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLiteralExp(LiteralExp literalExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLoopExp_validateNoInitializers(LoopExp loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateNoInitializers constraint of 'Loop Exp'.
|
boolean |
validateLoopExp_validateSourceIsCollection(LoopExp loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSourceIsCollection constraint of 'Loop Exp'.
|
boolean |
validateLoopExp(LoopExp loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMapLiteralExp(MapLiteralExp mapLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMapLiteralPart(MapLiteralPart mapLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMapType(MapType mapType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMessageExp_validateOneCallOrOneSend(MessageExp messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateOneCallOrOneSend constraint of 'Message Exp'.
|
boolean |
validateMessageExp_validateTargetIsNotACollection(MessageExp messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTargetIsNotACollection constraint of 'Message Exp'.
|
boolean |
validateMessageExp(MessageExp messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMessageType(MessageType messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateModel(Model model,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMorePivotable(MorePivotable morePivotable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNameable(Nameable nameable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNamedElement(NamedElement namedElement,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNamespace(Namespace namespace,
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 |
validateObject(Object object,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOCLExpression_validateTypeIsNotNull(OCLExpression oclExpression,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotNull constraint of 'OCL Expression'.
|
boolean |
validateOCLExpression(OCLExpression oclExpression,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOperation_validateCompatibleReturn(Operation operation,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleReturn constraint of 'Operation'.
|
boolean |
validateOperation_validateLoadableImplementation(Operation operation,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateLoadableImplementation constraint of 'Operation'.
|
boolean |
validateOperation_validateUniquePostconditionName(Operation operation,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateUniquePostconditionName constraint of 'Operation'.
|
boolean |
validateOperation_validateUniquePreconditionName(Operation operation,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateUniquePreconditionName constraint of 'Operation'.
|
boolean |
validateOperation(Operation operation,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOperationCallExp_validateArgumentCount(OperationCallExp operationCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateArgumentCount constraint of 'Operation Call Exp'.
|
boolean |
validateOperationCallExp_validateArgumentTypeIsConformant(OperationCallExp operationCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateArgumentTypeIsConformant constraint of 'Operation Call Exp'.
|
boolean |
validateOperationCallExp_validateSafeSourceCanBeNull(OperationCallExp operationCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Operation Call Exp'.
|
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 |
validateOrphanCompletePackage(OrphanCompletePackage orphanCompletePackage,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePackage(Package package_,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateParameter(Parameter parameter,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateParameterVariable_validateHasNoInitializer(ParameterVariable parameterVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateHasNoInitializer constraint of 'Parameter Variable'.
|
boolean |
validateParameterVariable(ParameterVariable parameterVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePivotable(Pivotable pivotable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePrecedence(Precedence precedence,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePrimitiveCompletePackage(PrimitiveCompletePackage primitiveCompletePackage,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePrimitiveType(PrimitiveType primitiveType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateProfile(Profile profile,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateProfileApplication(ProfileApplication profileApplication,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateProperty_validateCompatibleDefaultExpression(Property property,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleDefaultExpression constraint of 'Property'.
|
boolean |
validateProperty(Property property,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePropertyCallExp_validateCompatibleResultType(PropertyCallExp propertyCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleResultType constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp_validateNonStaticSourceTypeIsConformant(PropertyCallExp propertyCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateNonStaticSourceTypeIsConformant constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp_validateSafeSourceCanBeNull(PropertyCallExp propertyCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateSafeSourceCanBeNull constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp_validateUnsafeSourceCanNotBeNull(PropertyCallExp propertyCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateUnsafeSourceCanNotBeNull constraint of 'Property Call Exp'.
|
boolean |
validatePropertyCallExp(PropertyCallExp propertyCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePseudostate(Pseudostate pseudostate,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePseudostateKind(PseudostateKind pseudostateKind,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateReal(Number real,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateRealLiteralExp(RealLiteralExp realLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateReferringElement(ReferringElement referringElement,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateRegion(Region region,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateResultVariable_validateCompatibleNullityForInitializer(ResultVariable resultVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleNullityForInitializer constraint of 'Result Variable'.
|
boolean |
validateResultVariable_validateCompatibleTypeForInitializer(ResultVariable resultVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleTypeForInitializer constraint of 'Result Variable'.
|
boolean |
validateResultVariable_validateHasInitializer(ResultVariable resultVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateHasInitializer constraint of 'Result Variable'.
|
boolean |
validateResultVariable(ResultVariable resultVariable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSelfType(SelfType selfType,
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 |
validateShadowExp_validateClassHasNoStringValueInitializer(ShadowExp shadowExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateClassHasNoStringValueInitializer constraint of 'Shadow Exp'.
|
boolean |
validateShadowExp_validateDataTypeHasNoPartInitializers(ShadowExp shadowExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateDataTypeHasNoPartInitializers constraint of 'Shadow Exp'.
|
boolean |
validateShadowExp_validateDataTypeHasOnePartInitializer(ShadowExp shadowExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateDataTypeHasOnePartInitializer constraint of 'Shadow Exp'.
|
boolean |
validateShadowExp_validateDataTypeHasStringValueInitializer(ShadowExp shadowExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateDataTypeHasStringValueInitializer constraint of 'Shadow Exp'.
|
boolean |
validateShadowExp_validateInitializesAllClassProperties(ShadowExp shadowExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateInitializesAllClassProperties constraint of 'Shadow Exp'.
|
boolean |
validateShadowExp_validateTypeIsNotInvalid(ShadowExp shadowExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Shadow Exp'.
|
boolean |
validateShadowExp(ShadowExp shadowExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateShadowPart_validateCompatibleInitialiserType(ShadowPart shadowPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleInitialiserType constraint of 'Shadow Part'.
|
boolean |
validateShadowPart_validateTypeIsNotInvalid(ShadowPart shadowPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Shadow Part'.
|
boolean |
validateShadowPart_validateTypeIsNotNull(ShadowPart shadowPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotNull constraint of 'Shadow Part'.
|
boolean |
validateShadowPart(ShadowPart shadowPart,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSignal(Signal signal,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSlot(Slot slot,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStandardLibrary(StandardLibrary standardLibrary,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateState(State state,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStateExp_validateTypeIsNotInvalid(StateExp stateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'State Exp'.
|
boolean |
validateStateExp(StateExp stateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStateMachine(StateMachine stateMachine,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStereotype(Stereotype stereotype,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStereotypeExtender(StereotypeExtender stereotypeExtender,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateString(String string,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateStringLiteralExp(StringLiteralExp stringLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTemplateableElement(TemplateableElement templateableElement,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTemplateBinding(TemplateBinding templateBinding,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTemplateParameter(TemplateParameter templateParameter,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTemplateSignature(TemplateSignature templateSignature,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateThrowable(Throwable throwable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTransition(Transition transition,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTransitionKind(TransitionKind transitionKind,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTrigger(Trigger trigger,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTupleLiteralExp(TupleLiteralExp tupleLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTupleLiteralPart_validateCompatibleInitialiserType(TupleLiteralPart tupleLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleInitialiserType constraint of 'Tuple Literal Part'.
|
boolean |
validateTupleLiteralPart_validateTypeIsNotInvalid(TupleLiteralPart tupleLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Tuple Literal Part'.
|
boolean |
validateTupleLiteralPart(TupleLiteralPart tupleLiteralPart,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTupleType(TupleType tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateType(Type type,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTypedElement(TypedElement typedElement,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTypeExp(TypeExp typeExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateUnlimitedNatural(Number unlimitedNatural,
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 |
validateValueSpecification(ValueSpecification valueSpecification,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVariable_validateCompatibleInitialiserType(Variable variable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateCompatibleInitialiserType constraint of 'Variable'.
|
boolean |
validateVariable(Variable variable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVariableDeclaration_validateNameIsNotNull(VariableDeclaration variableDeclaration,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateNameIsNotNull constraint of 'Variable Declaration'.
|
boolean |
validateVariableDeclaration_validateTypeIsNotInvalid(VariableDeclaration variableDeclaration,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Variable Declaration'.
|
boolean |
validateVariableDeclaration_validateTypeIsNotNull(VariableDeclaration variableDeclaration,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotNull constraint of 'Variable Declaration'.
|
boolean |
validateVariableDeclaration(VariableDeclaration variableDeclaration,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVariableExp_validateTypeIsNotInvalid(VariableExp variableExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Variable Exp'.
|
boolean |
validateVariableExp(VariableExp variableExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVertex(Vertex vertex,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVisitable(Visitable visitable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVoidType(VoidType voidType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateWildcardType(WildcardType wildcardType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
public static final PivotValidator INSTANCE
public static final String DIAGNOSTIC_SOURCE
Diagnostic
,
Diagnostic
,
Constant Field Valuespublic static final int BOOLEAN_LITERAL_EXP__VALIDATE_TYPE_IS_BOOLEAN
code
for constraint 'Validate Type Is Boolean' of 'Boolean Literal Exp'.
public static final int CALL_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Call Exp'.
public static final int CLASS__VALIDATE_NAME_IS_NOT_NULL
code
for constraint 'Validate Name Is Not Null' of 'Class'.
public static final int CLASS__VALIDATE_UNIQUE_INVARIANT_NAME
code
for constraint 'Validate Unique Invariant Name' of 'Class'.
public static final int COLLECTION_ITEM__VALIDATE_TYPE_IS_ITEM_TYPE
code
for constraint 'Validate Type Is Item Type' of 'Collection Item'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_BAG_KIND_IS_BAG
code
for constraint 'Validate Bag Kind Is Bag' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_COLLECTION_KIND_IS_CONCRETE
code
for constraint 'Validate Collection Kind Is Concrete' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_ORDERED_SET_KIND_IS_ORDERED_SET
code
for constraint 'Validate Ordered Set Kind Is Ordered Set' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_SEQUENCE_KIND_IS_SEQUENCE
code
for constraint 'Validate Sequence Kind Is Sequence' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_EXP__VALIDATE_SET_KIND_IS_SET
code
for constraint 'Validate Set Kind Is Set' of 'Collection Literal Exp'.
public static final int COLLECTION_LITERAL_PART__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Collection Literal Part'.
public static final int CONSTRAINT__VALIDATE_UNIQUE_NAME
code
for constraint 'Validate Unique Name' of 'Constraint'.
public static final int ENUM_LITERAL_EXP__VALIDATE_TYPE_IS_ENUMERATION_TYPE
code
for constraint 'Validate Type Is Enumeration Type' of 'Enum Literal Exp'.
public static final int FEATURE__VALIDATE_NAME_IS_NOT_NULL
code
for constraint 'Validate Name Is Not Null' of 'Feature'.
public static final int FEATURE__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Feature'.
public static final int FEATURE__VALIDATE_TYPE_IS_NOT_NULL
code
for constraint 'Validate Type Is Not Null' of 'Feature'.
public static final int IF_EXP__VALIDATE_CONDITION_TYPE_IS_BOOLEAN
code
for constraint 'Validate Condition Type Is Boolean' of 'If Exp'.
public static final int IF_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'If Exp'.
public static final int INTEGER_LITERAL_EXP__VALIDATE_TYPE_IS_INTEGER
code
for constraint 'Validate Type Is Integer' of 'Integer Literal Exp'.
public static final int ITERATE_EXP__VALIDATE_BODY_TYPE_CONFORMS_TO_RESULT_TYPE
code
for constraint 'Validate Body Type Conforms To Result Type' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_ONE_INITIALIZER
code
for constraint 'Validate One Initializer' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
code
for constraint 'Validate Safe Iterator Is Required' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code
for constraint 'Validate Safe Source Can Be Null' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_TYPE_IS_RESULT_TYPE
code
for constraint 'Validate Type Is Result Type' of 'Iterate Exp'.
public static final int ITERATE_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
code
for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterate Exp'.
public static final int ITERATOR_EXP__VALIDATE_ANY_BODY_TYPE_IS_BOOLEAN
code
for constraint 'Validate Any Body Type Is Boolean' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_ANY_HAS_ONE_ITERATOR
code
for constraint 'Validate Any Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_ANY_TYPE_IS_SOURCE_ELEMENT_TYPE
code
for constraint 'Validate Any Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_BODY_ELEMENT_TYPE_IS_ITERATOR_TYPE
code
for constraint 'Validate Closure Body Element Type Is Iterator Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_BODY_TYPE_IS_CONFORMANTTO_ITERATOR_TYPE
code
for constraint 'Validate Closure Body Type Is Conformantto Iterator Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
code
for constraint 'Validate Closure Element Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_HAS_ONE_ITERATOR
code
for constraint 'Validate Closure Has One Iterator' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_RESULT_ELEMENT_TYPE_IS_ITERATOR_TYPE
code
for constraint 'Validate Closure Result Element Type Is Iterator Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_SOURCE_ELEMENT_TYPE_IS_BODY_ELEMENT_TYPE
code
for constraint 'Validate Closure Source Element Type Is Body Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_CLOSURE_TYPE_IS_UNIQUE_COLLECTION
code
for constraint 'Validate Closure Type Is Unique Collection' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_COLLECT_ELEMENT_TYPE_IS_FLATTENED_BODY_TYPE
code
for constraint 'Validate Collect Element Type Is Flattened Body Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_COLLECT_TYPE_IS_UNORDERED
code
for constraint 'Validate Collect Type Is Unordered' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_ITERATOR_TYPE_IS_SOURCE_ELEMENT_TYPE
code
for constraint 'Validate Iterator Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SAFE_ITERATOR_IS_REQUIRED
code
for constraint 'Validate Safe Iterator Is Required' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code
for constraint 'Validate Safe Source Can Be Null' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SORTED_BY_ELEMENT_TYPE_IS_SOURCE_ELEMENT_TYPE
code
for constraint 'Validate Sorted By Element Type Is Source Element Type' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SORTED_BY_IS_ORDERED_IF_SOURCE_IS_ORDERED
code
for constraint 'Validate Sorted By Is Ordered If Source Is Ordered' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_SORTED_BY_ITERATOR_TYPE_IS_COMPARABLE
code
for constraint 'Validate Sorted By Iterator Type Is Comparable' of 'Iterator Exp'.
public static final int ITERATOR_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
code
for constraint 'Validate Unsafe Source Can Not Be Null' of 'Iterator Exp'.
public static final int ITERATOR_VARIABLE__VALIDATE_HAS_NO_INITIALIZER
code
for constraint 'Validate Has No Initializer' of 'Iterator Variable'.
public static final int LET_EXP__VALIDATE_COMPATIBLE_NULLITY_FOR_IN
code
for constraint 'Validate Compatible Nullity For In' of 'Let Exp'.
public static final int LET_EXP__VALIDATE_TYPE_IS_IN_TYPE
code
for constraint 'Validate Type Is In Type' of 'Let Exp'.
public static final int LET_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Let Exp'.
public static final int LET_VARIABLE__VALIDATE_COMPATIBLE_NULLITY_FOR_INITIALIZER
code
for constraint 'Validate Compatible Nullity For Initializer' of 'Let Variable'.
public static final int LET_VARIABLE__VALIDATE_COMPATIBLE_TYPE_FOR_INITIALIZER
code
for constraint 'Validate Compatible Type For Initializer' of 'Let Variable'.
public static final int LET_VARIABLE__VALIDATE_HAS_INITIALIZER
code
for constraint 'Validate Has Initializer' of 'Let Variable'.
public static final int LOOP_EXP__VALIDATE_NO_INITIALIZERS
code
for constraint 'Validate No Initializers' of 'Loop Exp'.
public static final int LOOP_EXP__VALIDATE_SOURCE_IS_COLLECTION
code
for constraint 'Validate Source Is Collection' of 'Loop Exp'.
public static final int MESSAGE_EXP__VALIDATE_ONE_CALL_OR_ONE_SEND
code
for constraint 'Validate One Call Or One Send' of 'Message Exp'.
public static final int MESSAGE_EXP__VALIDATE_TARGET_IS_NOT_ACOLLECTION
code
for constraint 'Validate Target Is Not ACollection' of 'Message Exp'.
public static final int OCL_EXPRESSION__VALIDATE_TYPE_IS_NOT_NULL
code
for constraint 'Validate Type Is Not Null' of 'OCL Expression'.
public static final int OPERATION__VALIDATE_COMPATIBLE_RETURN
code
for constraint 'Validate Compatible Return' of 'Operation'.
public static final int OPERATION__VALIDATE_LOADABLE_IMPLEMENTATION
code
for constraint 'Validate Loadable Implementation' of 'Operation'.
public static final int OPERATION__VALIDATE_UNIQUE_POSTCONDITION_NAME
code
for constraint 'Validate Unique Postcondition Name' of 'Operation'.
public static final int OPERATION__VALIDATE_UNIQUE_PRECONDITION_NAME
code
for constraint 'Validate Unique Precondition Name' of 'Operation'.
public static final int OPERATION_CALL_EXP__VALIDATE_ARGUMENT_COUNT
code
for constraint 'Validate Argument Count' of 'Operation Call Exp'.
public static final int OPERATION_CALL_EXP__VALIDATE_ARGUMENT_TYPE_IS_CONFORMANT
code
for constraint 'Validate Argument Type Is Conformant' of 'Operation Call Exp'.
public static final int OPERATION_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code
for constraint 'Validate Safe Source Can Be Null' of 'Operation Call Exp'.
public static final int PARAMETER_VARIABLE__VALIDATE_HAS_NO_INITIALIZER
code
for constraint 'Validate Has No Initializer' of 'Parameter Variable'.
public static final int PROPERTY__VALIDATE_COMPATIBLE_DEFAULT_EXPRESSION
code
for constraint 'Validate Compatible Default Expression' of 'Property'.
public static final int PROPERTY_CALL_EXP__VALIDATE_COMPATIBLE_RESULT_TYPE
code
for constraint 'Validate Compatible Result Type' of 'Property Call Exp'.
public static final int PROPERTY_CALL_EXP__VALIDATE_NON_STATIC_SOURCE_TYPE_IS_CONFORMANT
code
for constraint 'Validate Non Static Source Type Is Conformant' of 'Property Call Exp'.
public static final int PROPERTY_CALL_EXP__VALIDATE_SAFE_SOURCE_CAN_BE_NULL
code
for constraint 'Validate Safe Source Can Be Null' of 'Property Call Exp'.
public static final int PROPERTY_CALL_EXP__VALIDATE_UNSAFE_SOURCE_CAN_NOT_BE_NULL
code
for constraint 'Validate Unsafe Source Can Not Be Null' of 'Property Call Exp'.
public static final int RESULT_VARIABLE__VALIDATE_COMPATIBLE_NULLITY_FOR_INITIALIZER
code
for constraint 'Validate Compatible Nullity For Initializer' of 'Result Variable'.
public static final int RESULT_VARIABLE__VALIDATE_COMPATIBLE_TYPE_FOR_INITIALIZER
code
for constraint 'Validate Compatible Type For Initializer' of 'Result Variable'.
public static final int RESULT_VARIABLE__VALIDATE_HAS_INITIALIZER
code
for constraint 'Validate Has Initializer' of 'Result Variable'.
public static final int SHADOW_EXP__VALIDATE_CLASS_HAS_NO_STRING_VALUE_INITIALIZER
code
for constraint 'Validate Class Has No String Value Initializer' of 'Shadow Exp'.
public static final int SHADOW_EXP__VALIDATE_DATA_TYPE_HAS_NO_PART_INITIALIZERS
code
for constraint 'Validate Data Type Has No Part Initializers' of 'Shadow Exp'.
public static final int SHADOW_EXP__VALIDATE_DATA_TYPE_HAS_ONE_PART_INITIALIZER
code
for constraint 'Validate Data Type Has One Part Initializer' of 'Shadow Exp'.
public static final int SHADOW_EXP__VALIDATE_DATA_TYPE_HAS_STRING_VALUE_INITIALIZER
code
for constraint 'Validate Data Type Has String Value Initializer' of 'Shadow Exp'.
public static final int SHADOW_EXP__VALIDATE_INITIALIZES_ALL_CLASS_PROPERTIES
code
for constraint 'Validate Initializes All Class Properties' of 'Shadow Exp'.
public static final int SHADOW_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Shadow Exp'.
public static final int SHADOW_PART__VALIDATE_COMPATIBLE_INITIALISER_TYPE
code
for constraint 'Validate Compatible Initialiser Type' of 'Shadow Part'.
public static final int SHADOW_PART__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Shadow Part'.
public static final int SHADOW_PART__VALIDATE_TYPE_IS_NOT_NULL
code
for constraint 'Validate Type Is Not Null' of 'Shadow Part'.
public static final int STATE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'State Exp'.
public static final int TUPLE_LITERAL_PART__VALIDATE_COMPATIBLE_INITIALISER_TYPE
code
for constraint 'Validate Compatible Initialiser Type' of 'Tuple Literal Part'.
public static final int TUPLE_LITERAL_PART__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Tuple Literal Part'.
public static final int VARIABLE__VALIDATE_COMPATIBLE_INITIALISER_TYPE
code
for constraint 'Validate Compatible Initialiser Type' of 'Variable'.
public static final int VARIABLE_DECLARATION__VALIDATE_NAME_IS_NOT_NULL
code
for constraint 'Validate Name Is Not Null' of 'Variable Declaration'.
public static final int VARIABLE_DECLARATION__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Variable Declaration'.
public static final int VARIABLE_DECLARATION__VALIDATE_TYPE_IS_NOT_NULL
code
for constraint 'Validate Type Is Not Null' of 'Variable Declaration'.
public static final int VARIABLE_EXP__VALIDATE_TYPE_IS_NOT_INVALID
code
for constraint 'Validate Type Is Not Invalid' of 'Variable Exp'.
public PivotValidator()
public boolean validateAnnotation(Annotation annotation, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAnyType(AnyType anyType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateType(Type type, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNamedElement(NamedElement namedElement, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNamespace(Namespace namespace, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateElement(Element element, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateElementExtension(ElementExtension elementExtension, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateClass(Class class_, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateClass_validateNameIsNotNull(Class class_, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateClass_validateUniqueInvariantName(Class class_, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateProperty(Property property, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateProperty_validateCompatibleDefaultExpression(Property property, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTypedElement(TypedElement typedElement, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrecedence(Precedence precedence, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrimitiveCompletePackage(PrimitiveCompletePackage primitiveCompletePackage, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateParameter(TemplateParameter templateParameter, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateSignature(TemplateSignature templateSignature, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateableElement(TemplateableElement templateableElement, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTransition(Transition transition, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTrigger(Trigger trigger, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateBinding(TemplateBinding templateBinding, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssociationClass(AssociationClass associationClass, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperation(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperation_validateCompatibleReturn(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperation_validateLoadableImplementation(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperation_validateUniquePreconditionName(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperation_validateUniquePostconditionName(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateParameter(Parameter parameter, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateParameterVariable(ParameterVariable parameterVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateParameterVariable_validateHasNoInitializer(ParameterVariable parameterVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePivotable(Pivotable pivotable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOppositePropertyCallExp(OppositePropertyCallExp oppositePropertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateComment(Comment comment, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCompleteClass(CompleteClass completeClass, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCompleteEnvironment(CompleteEnvironment completeEnvironment, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCompleteModel(CompleteModel completeModel, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCompletePackage(CompletePackage completePackage, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateConnectionPointReference(ConnectionPointReference connectionPointReference, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateConstraint(Constraint constraint, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateConstraint_validateUniqueName(Constraint constraint, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePackage(Package package_, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssociationClassCallExp(AssociationClassCallExp associationClassCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNavigationCallExp(NavigationCallExp navigationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFeatureCallExp(FeatureCallExp featureCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFinalState(FinalState finalState, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCallExp(CallExp callExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCallExp_validateTypeIsNotInvalid(CallExp callExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCallOperationAction(CallOperationAction callOperationAction, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBagType(BagType bagType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBehavior(Behavior behavior, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionType(CollectionType collectionType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDataType(DataType dataType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDetail(Detail detail, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDynamicBehavior(DynamicBehavior dynamicBehavior, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDynamicElement(DynamicElement dynamicElement, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDynamicProperty(DynamicProperty dynamicProperty, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDynamicType(DynamicType dynamicType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDynamicValueSpecification(DynamicValueSpecification dynamicValueSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBooleanLiteralExp_validateTypeIsBoolean(BooleanLiteralExp booleanLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrimitiveLiteralExp(PrimitiveLiteralExp primitiveLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLiteralExp(LiteralExp literalExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionItem(CollectionItem collectionItem, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionItem_validateTypeIsItemType(CollectionItem collectionItem, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralPart(CollectionLiteralPart collectionLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralPart_validateTypeIsNotInvalid(CollectionLiteralPart collectionLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralExp(CollectionLiteralExp collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralExp_validateBagKindIsBag(CollectionLiteralExp collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralExp_validateSequenceKindIsSequence(CollectionLiteralExp collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralExp_validateOrderedSetKindIsOrderedSet(CollectionLiteralExp collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralExp_validateSetKindIsSet(CollectionLiteralExp collectionLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionLiteralExp_validateCollectionKindIsConcrete(CollectionLiteralExp collectionLiteralExp, 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 validateEnumLiteralExp_validateTypeIsEnumerationType(EnumLiteralExp enumLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateEnumerationLiteral(EnumerationLiteral enumerationLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateExpressionInOCL(ExpressionInOCL expressionInOCL, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateEnumeration(Enumeration enumeration, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFeature(Feature feature, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFeature_validateNameIsNotNull(Feature feature, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFeature_validateTypeIsNotInvalid(Feature feature, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFeature_validateTypeIsNotNull(Feature feature, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariable(Variable variable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariable_validateCompatibleInitialiserType(Variable variable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableDeclaration(VariableDeclaration variableDeclaration, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableDeclaration_validateNameIsNotNull(VariableDeclaration variableDeclaration, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableDeclaration_validateTypeIsNotInvalid(VariableDeclaration variableDeclaration, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableDeclaration_validateTypeIsNotNull(VariableDeclaration variableDeclaration, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIfExp(IfExp ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIfExp_validateConditionTypeIsBoolean(IfExp ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIfExp_validateTypeIsNotInvalid(IfExp ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImport(Import import_, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInstanceSpecification(InstanceSpecification instanceSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIntegerLiteralExp(IntegerLiteralExp integerLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIntegerLiteralExp_validateTypeIsInteger(IntegerLiteralExp integerLiteralExp, 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_validateTypeIsNotNull(OCLExpression oclExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInvalidType(InvalidType invalidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp_validateOneInitializer(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp_validateSafeIteratorIsRequired(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp_validateSafeSourceCanBeNull(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp_validateBodyTypeConformsToResultType(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp_validateTypeIsResultType(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIterateExp_validateUnsafeSourceCanNotBeNull(IterateExp iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteration(Iteration iteration, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateClosureBodyTypeIsConformanttoIteratorType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateSortedByIteratorTypeIsComparable(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateUnsafeSourceCanNotBeNull(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorVariable(IteratorVariable iteratorVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorVariable_validateHasNoInitializer(IteratorVariable iteratorVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateIteratorTypeIsSourceElementType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateSafeIteratorIsRequired(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateSafeSourceCanBeNull(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateSortedByElementTypeIsSourceElementType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateSortedByIsOrderedIfSourceIsOrdered(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateCollectTypeIsUnordered(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateClosureElementTypeIsSourceElementType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateClosureSourceElementTypeIsBodyElementType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateClosureTypeIsUniqueCollection(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateCollectElementTypeIsFlattenedBodyType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateClosureHasOneIterator(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateClosureResultElementTypeIsIteratorType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateAnyBodyTypeIsBoolean(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateAnyTypeIsSourceElementType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateClosureBodyElementTypeIsIteratorType(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIteratorExp_validateAnyHasOneIterator(IteratorExp iteratorExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLambdaType(LambdaType lambdaType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLanguageExpression(LanguageExpression languageExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLoopExp(LoopExp loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLoopExp_validateNoInitializers(LoopExp loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLoopExp_validateSourceIsCollection(LoopExp loopExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMapLiteralExp(MapLiteralExp mapLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMapLiteralPart(MapLiteralPart mapLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMapType(MapType mapType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetExp(LetExp letExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetExp_validateCompatibleNullityForIn(LetExp letExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetExp_validateTypeIsInType(LetExp letExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetExp_validateTypeIsNotInvalid(LetExp letExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetVariable(LetVariable letVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetVariable_validateCompatibleNullityForInitializer(LetVariable letVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetVariable_validateCompatibleTypeForInitializer(LetVariable letVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLetVariable_validateHasInitializer(LetVariable letVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLibrary(Library library, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageExp(MessageExp messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageExp_validateTargetIsNotACollection(MessageExp messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageExp_validateOneCallOrOneSend(MessageExp messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMessageType(MessageType messageType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateModel(Model model, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMorePivotable(MorePivotable morePivotable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNameable(Nameable nameable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSignal(Signal signal, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSlot(Slot slot, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStandardLibrary(StandardLibrary standardLibrary, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNullLiteralExp(NullLiteralExp nullLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperationCallExp(OperationCallExp operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperationCallExp_validateArgumentTypeIsConformant(OperationCallExp operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperationCallExp_validateSafeSourceCanBeNull(OperationCallExp operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperationCallExp_validateArgumentCount(OperationCallExp operationCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOrderedSetType(OrderedSetType orderedSetType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOrphanCompletePackage(OrphanCompletePackage orphanCompletePackage, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePrimitiveType(PrimitiveType primitiveType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateProfile(Profile profile, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateProfileApplication(ProfileApplication profileApplication, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePropertyCallExp(PropertyCallExp propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePropertyCallExp_validateNonStaticSourceTypeIsConformant(PropertyCallExp propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePropertyCallExp_validateSafeSourceCanBeNull(PropertyCallExp propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePropertyCallExp_validateUnsafeSourceCanNotBeNull(PropertyCallExp propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePropertyCallExp_validateCompatibleResultType(PropertyCallExp propertyCallExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePseudostate(Pseudostate pseudostate, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateRealLiteralExp(RealLiteralExp realLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateReferringElement(ReferringElement referringElement, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateRegion(Region region, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateResultVariable(ResultVariable resultVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateResultVariable_validateCompatibleNullityForInitializer(ResultVariable resultVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateResultVariable_validateCompatibleTypeForInitializer(ResultVariable resultVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateResultVariable_validateHasInitializer(ResultVariable resultVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSelfType(SelfType selfType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSendSignalAction(SendSignalAction sendSignalAction, 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 validateShadowExp(ShadowExp shadowExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowExp_validateClassHasNoStringValueInitializer(ShadowExp shadowExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowExp_validateDataTypeHasNoPartInitializers(ShadowExp shadowExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowExp_validateDataTypeHasOnePartInitializer(ShadowExp shadowExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowExp_validateDataTypeHasStringValueInitializer(ShadowExp shadowExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowExp_validateInitializesAllClassProperties(ShadowExp shadowExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowExp_validateTypeIsNotInvalid(ShadowExp shadowExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowPart(ShadowPart shadowPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowPart_validateCompatibleInitialiserType(ShadowPart shadowPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowPart_validateTypeIsNotInvalid(ShadowPart shadowPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateShadowPart_validateTypeIsNotNull(ShadowPart shadowPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateState(State state, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStateExp(StateExp stateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStateExp_validateTypeIsNotInvalid(StateExp stateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStateMachine(StateMachine stateMachine, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStereotype(Stereotype stereotype, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStereotypeExtender(StereotypeExtender stereotypeExtender, 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_validateCompatibleInitialiserType(TupleLiteralPart tupleLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleLiteralPart_validateTypeIsNotInvalid(TupleLiteralPart tupleLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTupleType(TupleType tupleType, 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 validateValueSpecification(ValueSpecification valueSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableExp(VariableExp variableExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableExp_validateTypeIsNotInvalid(VariableExp variableExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVertex(Vertex vertex, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVisitable(Visitable visitable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVoidType(VoidType voidType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateWildcardType(WildcardType wildcardType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssociativityKind(AssociativityKind associativityKind, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCollectionKind(CollectionKind collectionKind, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePseudostateKind(PseudostateKind pseudostateKind, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTransitionKind(TransitionKind transitionKind, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBoolean(boolean boolean_, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInteger(Number integer, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLibraryFeature(LibraryFeature libraryFeature, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateObject(Object object, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateReal(Number real, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateString(String string, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateThrowable(Throwable throwable, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUnlimitedNatural(Number unlimitedNatural, DiagnosticChain diagnostics, Map<Object,Object> context)
public ResourceLocator getResourceLocator()
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.