edu.cmu.sei.aadl.aadl2.util
Class Aadl2Validator

java.lang.Object
  extended by org.eclipse.emf.ecore.util.EObjectValidator
      extended by edu.cmu.sei.aadl.aadl2.util.Aadl2Validator
All Implemented Interfaces:
org.eclipse.emf.ecore.EValidator

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

The Validator for the model.

See Also:
Aadl2Package

Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator
org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator
 
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator
org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider
 
Field Summary
static int CLASSIFIER__NO_CYCLES_IN_GENERALIZATION
          The code for constraint 'No cycles in generalization' of 'Classifier'
static int CLASSIFIER__SPECIALIZE_TYPE
          The code for constraint 'Specialize type' of 'Classifier'
protected static int DIAGNOSTIC_CODE_COUNT
          A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class
static java.lang.String DIAGNOSTIC_SOURCE
          A constant for the source of diagnostic codes from this package
static int ELEMENT__HAS_OWNER
          The code for constraint 'Has owner' of 'Element'
static int ELEMENT__NOT_OWN_SELF
          The code for constraint 'Not own self' of 'Element'
static Aadl2Validator INSTANCE
          The cached model package
static int NAMED_ELEMENT__HAS_NO_QUALIFIED_NAME
          The code for constraint 'Has no qualified name' of 'Named Element'
static int NAMED_ELEMENT__HAS_QUALIFIED_NAME
          The code for constraint 'Has qualified name' of 'Named Element'
static int NAMESPACE__MEMBERS_DISTINGUISHABLE
          The code for constraint 'Members distinguishable' of 'Namespace'
static int PROTOTYPE__CATEGORY_CONSTRAINT
          The code for constraint 'Category Constraint' of 'Prototype'
 
Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator
DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT
 
Fields inherited from interface org.eclipse.emf.ecore.EValidator
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE
 
Constructor Summary
Aadl2Validator()
          Creates an instance of the switch
 
Method Summary
protected  org.eclipse.emf.ecore.EPackage getEPackage()
          Returns the package of this validator switch
 org.eclipse.emf.common.util.ResourceLocator getResourceLocator()
          Returns the resource locator that will be used to fetch messages for this validator's diagnostics
protected  boolean validate(int classifierID, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Calls validateXXX for the corresponding classifier of the model
 boolean validateAadlBoolean(AadlBoolean aadlBoolean, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAadlInteger(AadlInteger aadlInteger, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAadlPackage(AadlPackage aadlPackage, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAadlReal(AadlReal aadlReal, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAadlString(AadlString aadlString, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAbstract(Abstract abstract_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAbstractClassifier(AbstractClassifier abstractClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAbstractFeature(AbstractFeature abstractFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAbstractImplementation(AbstractImplementation abstractImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAbstractSubcomponent(AbstractSubcomponent abstractSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAbstractType(AbstractType abstractType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAccess(Access access, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAccessCategory(AccessCategory accessCategory, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAccessConnection(AccessConnection accessConnection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAccessConnectionEnd(AccessConnectionEnd accessConnectionEnd, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAccessSpecification(AccessSpecification accessSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAccessType(AccessType accessType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAnnexLibrary(AnnexLibrary annexLibrary, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateAnnexSubclause(AnnexSubclause annexSubclause, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateArrayableElement(ArrayableElement arrayableElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateArrayRange(ArrayRange arrayRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateArraySize(ArraySize arraySize, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateArraySpecification(ArraySpecification arraySpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBasicProperty(BasicProperty basicProperty, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBasicPropertyAssociation(BasicPropertyAssociation basicPropertyAssociation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBehavioralFeature(BehavioralFeature behavioralFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBehavioredImplementation(BehavioredImplementation behavioredImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBoolean(boolean boolean_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBooleanLiteral(BooleanLiteral booleanLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBus(Bus bus, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBusAccess(BusAccess busAccess, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBusClassifier(BusClassifier busClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBusImplementation(BusImplementation busImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBusSubcomponent(BusSubcomponent busSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateBusType(BusType busType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCallContext(CallContext callContext, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCalledSubprogram(CalledSubprogram calledSubprogram, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateCallSpecification(CallSpecification callSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateClassifier_no_cycles_in_generalization(Classifier classifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the no_cycles_in_generalization constraint of 'Classifier'
 boolean validateClassifier_specialize_type(Classifier classifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the specialize_type constraint of 'Classifier'
 boolean validateClassifier(Classifier classifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateClassifierFeature(ClassifierFeature classifierFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateClassifierType(ClassifierType classifierType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateClassifierValue(ClassifierValue classifierValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComment(Comment comment, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentCategory(ComponentCategory componentCategory, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentClassifier(ComponentClassifier componentClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentImplementation(ComponentImplementation componentImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentImplementationReference(ComponentImplementationReference componentImplementationReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentPrototype(ComponentPrototype componentPrototype, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentPrototypeActual(ComponentPrototypeActual componentPrototypeActual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentPrototypeBinding(ComponentPrototypeBinding componentPrototypeBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentPrototypeReference(ComponentPrototypeReference componentPrototypeReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentReference(ComponentReference componentReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentType(ComponentType componentType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComponentTypeRename(ComponentTypeRename componentTypeRename, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateComputedValue(ComputedValue computedValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateConnection(Connection connection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateConnectionEnd(ConnectionEnd connectionEnd, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateConnectionKind(ConnectionKind connectionKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateConstantValue(ConstantValue constantValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateContainedNamedElement(ContainedNamedElement containedNamedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateContainmentPathElement(ContainmentPathElement containmentPathElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateContext(Context context, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> theContext)
           
 boolean validateData(Data data, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDataAccess(DataAccess dataAccess, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDataClassifier(DataClassifier dataClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDataImplementation(DataImplementation dataImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDataPort(DataPort dataPort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDataSubcomponent(DataSubcomponent dataSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDataType(DataType dataType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDefaultAnnexLibrary(DefaultAnnexLibrary defaultAnnexLibrary, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDefaultAnnexSubclause(DefaultAnnexSubclause defaultAnnexSubclause, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDevice(Device device, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDeviceClassifier(DeviceClassifier deviceClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDeviceImplementation(DeviceImplementation deviceImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDeviceSubcomponent(DeviceSubcomponent deviceSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDeviceType(DeviceType deviceType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDirectedFeature(DirectedFeature directedFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDirectedRelationship(DirectedRelationship directedRelationship, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateDirectionType(DirectionType directionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateElement_has_owner(Element element, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the has_owner constraint of 'Element'
 boolean validateElement_not_own_self(Element element, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the not_own_self constraint of 'Element'
 boolean validateElement(Element element, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEndToEndFlow(EndToEndFlow endToEndFlow, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEndToEndFlowElement(EndToEndFlowElement endToEndFlowElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEnumerationLiteral(EnumerationLiteral enumerationLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEnumerationType(EnumerationType enumerationType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEnumerationValue(EnumerationValue enumerationValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEventDataPort(EventDataPort eventDataPort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateEventPort(EventPort eventPort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeature(Feature feature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureConnection(FeatureConnection featureConnection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureConnectionEnd(FeatureConnectionEnd featureConnectionEnd, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroup(FeatureGroup featureGroup, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupConnection(FeatureGroupConnection featureGroupConnection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupConnectionEnd(FeatureGroupConnectionEnd featureGroupConnectionEnd, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupPrototype(FeatureGroupPrototype featureGroupPrototype, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupPrototypeActual(FeatureGroupPrototypeActual featureGroupPrototypeActual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupPrototypeBinding(FeatureGroupPrototypeBinding featureGroupPrototypeBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupPrototypeReference(FeatureGroupPrototypeReference featureGroupPrototypeReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupReference(FeatureGroupReference featureGroupReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupType(FeatureGroupType featureGroupType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeatureGroupTypeRename(FeatureGroupTypeRename featureGroupTypeRename, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeaturePrototype(FeaturePrototype featurePrototype, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeaturePrototypeActual(FeaturePrototypeActual featurePrototypeActual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeaturePrototypeBinding(FeaturePrototypeBinding featurePrototypeBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFeaturePrototypeReference(FeaturePrototypeReference featurePrototypeReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFlow(Flow flow, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFlowElement(FlowElement flowElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFlowImplementation(FlowImplementation flowImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFlowKind(FlowKind flowKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateFlowSpecification(FlowSpecification flowSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateGeneralization(Generalization generalization, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateGlobalNamespace(GlobalNamespace globalNamespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateGroupExtension(GroupExtension groupExtension, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateImplementationExtension(ImplementationExtension implementationExtension, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateInteger(long integer, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateIntegerLiteral(IntegerLiteral integerLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateInternalEvent(InternalEvent internalEvent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateListValue(ListValue listValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMemory(Memory memory, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMemoryClassifier(MemoryClassifier memoryClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMemoryImplementation(MemoryImplementation memoryImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMemorySubcomponent(MemorySubcomponent memorySubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMemoryType(MemoryType memoryType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMetaclassReference(MetaclassReference metaclassReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateModalElement(ModalElement modalElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateModalPath(ModalPath modalPath, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateModalPropertyValue(ModalPropertyValue modalPropertyValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateMode(Mode mode, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateModeBinding(ModeBinding modeBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateModeFeature(ModeFeature modeFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateModeTransition(ModeTransition modeTransition, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateModeTransitionTrigger(ModeTransitionTrigger modeTransitionTrigger, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNamedElement_has_no_qualified_name(NamedElement namedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the has_no_qualified_name constraint of 'Named Element'
 boolean validateNamedElement_has_qualified_name(NamedElement namedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the has_qualified_name constraint of 'Named Element'
 boolean validateNamedElement(NamedElement namedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNamespace_members_distinguishable(Namespace namespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the members_distinguishable constraint of 'Namespace'
 boolean validateNamespace(Namespace namespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNumberType(NumberType numberType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNumberValue(NumberValue numberValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNumeral(Numeral numeral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateNumericRange(NumericRange numericRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOperation(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOperationKind(OperationKind operationKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePackageRename(PackageRename packageRename, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePackageSection(PackageSection packageSection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateParameter(Parameter parameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateParameterConnection(ParameterConnection parameterConnection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateParameterConnectionEnd(ParameterConnectionEnd parameterConnectionEnd, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePort(Port port, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePortCategory(PortCategory portCategory, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePortConnection(PortConnection portConnection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePortConnectionEnd(PortConnectionEnd portConnectionEnd, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePortSpecification(PortSpecification portSpecification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePrivatePackageSection(PrivatePackageSection privatePackageSection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcess(Process process, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessClassifier(ProcessClassifier processClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessImplementation(ProcessImplementation processImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessor(Processor processor, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessorCall(ProcessorCall processorCall, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessorClassifier(ProcessorClassifier processorClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessorImplementation(ProcessorImplementation processorImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessorPort(ProcessorPort processorPort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessorSubcomponent(ProcessorSubcomponent processorSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessorSubprogram(ProcessorSubprogram processorSubprogram, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessorType(ProcessorType processorType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessSubcomponent(ProcessSubcomponent processSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProcessType(ProcessType processType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateProperty(Property property, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyAssociation(PropertyAssociation propertyAssociation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyConstant(PropertyConstant propertyConstant, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyExpression(PropertyExpression propertyExpression, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyOwner(PropertyOwner propertyOwner, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyReference(PropertyReference propertyReference, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertySet(PropertySet propertySet, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyType(PropertyType propertyType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePropertyValue(PropertyValue propertyValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePrototype_categoryConstraint(Prototype prototype, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          Validates the categoryConstraint constraint of 'Prototype'
 boolean validatePrototype(Prototype prototype, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePrototypeBinding(PrototypeBinding prototypeBinding, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validatePublicPackageSection(PublicPackageSection publicPackageSection, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRangeType(RangeType rangeType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRangeValue(RangeValue rangeValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateReal(double real, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRealization(Realization realization, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRealLiteral(RealLiteral realLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRecordField(RecordField recordField, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRecordType(RecordType recordType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRecordValue(RecordValue recordValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateReferenceType(ReferenceType referenceType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateReferenceValue(ReferenceValue referenceValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRefinableElement(RefinableElement refinableElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateRelationship(Relationship relationship, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateString(java.lang.String string, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateStringLiteral(StringLiteral stringLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateStructuralFeature(StructuralFeature structuralFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubcomponent(Subcomponent subcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubcomponentFlow(SubcomponentFlow subcomponentFlow, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogram(Subprogram subprogram, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramAccess(SubprogramAccess subprogramAccess, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramCall(SubprogramCall subprogramCall, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramCallSequence(SubprogramCallSequence subprogramCallSequence, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramClassifier(SubprogramClassifier subprogramClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramGroup(SubprogramGroup subprogramGroup, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramGroupAccess(SubprogramGroupAccess subprogramGroupAccess, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramGroupClassifier(SubprogramGroupClassifier subprogramGroupClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramGroupImplementation(SubprogramGroupImplementation subprogramGroupImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramGroupSubcomponent(SubprogramGroupSubcomponent subprogramGroupSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramGroupType(SubprogramGroupType subprogramGroupType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramImplementation(SubprogramImplementation subprogramImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramSubcomponent(SubprogramSubcomponent subprogramSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSubprogramType(SubprogramType subprogramType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSystem(System system, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSystemClassifier(SystemClassifier systemClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSystemImplementation(SystemImplementation systemImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSystemSubcomponent(SystemSubcomponent systemSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateSystemType(SystemType systemType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThread(Thread thread, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadClassifier(ThreadClassifier threadClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadGroup(ThreadGroup threadGroup, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadGroupClassifier(ThreadGroupClassifier threadGroupClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadGroupImplementation(ThreadGroupImplementation threadGroupImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadGroupSubcomponent(ThreadGroupSubcomponent threadGroupSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadGroupType(ThreadGroupType threadGroupType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadImplementation(ThreadImplementation threadImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadSubcomponent(ThreadSubcomponent threadSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateThreadType(ThreadType threadType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTriggerPort(TriggerPort triggerPort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateType(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypedElement(TypedElement typedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypeExtension(TypeExtension typeExtension, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnitLiteral(UnitLiteral unitLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnitsType(UnitsType unitsType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateUnitValue(UnitValue unitValue, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualBus(VirtualBus virtualBus, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualBusClassifier(VirtualBusClassifier virtualBusClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualBusImplementation(VirtualBusImplementation virtualBusImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualBusSubcomponent(VirtualBusSubcomponent virtualBusSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualBusType(VirtualBusType virtualBusType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualProcessor(VirtualProcessor virtualProcessor, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualProcessorClassifier(VirtualProcessorClassifier virtualProcessorClassifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualProcessorImplementation(VirtualProcessorImplementation virtualProcessorImplementation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualProcessorSubcomponent(VirtualProcessorSubcomponent virtualProcessorSubcomponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateVirtualProcessorType(VirtualProcessorType virtualProcessorType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 
Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator
createBadDataValueDiagnostic, createDiagnostic, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValueLabel, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate_DataValueConforms, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validatePattern, wrapEnumerationValues
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

public static final Aadl2Validator INSTANCE
The cached model package


DIAGNOSTIC_SOURCE

public static final java.lang.String DIAGNOSTIC_SOURCE
A constant for the source of diagnostic codes from this package.

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

ELEMENT__NOT_OWN_SELF

public static final int ELEMENT__NOT_OWN_SELF
The code for constraint 'Not own self' of 'Element'.

See Also:
Constant Field Values

ELEMENT__HAS_OWNER

public static final int ELEMENT__HAS_OWNER
The code for constraint 'Has owner' of 'Element'.

See Also:
Constant Field Values

NAMED_ELEMENT__HAS_NO_QUALIFIED_NAME

public static final int NAMED_ELEMENT__HAS_NO_QUALIFIED_NAME
The code for constraint 'Has no qualified name' of 'Named Element'.

See Also:
Constant Field Values

NAMED_ELEMENT__HAS_QUALIFIED_NAME

public static final int NAMED_ELEMENT__HAS_QUALIFIED_NAME
The code for constraint 'Has qualified name' of 'Named Element'.

See Also:
Constant Field Values

NAMESPACE__MEMBERS_DISTINGUISHABLE

public static final int NAMESPACE__MEMBERS_DISTINGUISHABLE
The code for constraint 'Members distinguishable' of 'Namespace'.

See Also:
Constant Field Values

CLASSIFIER__NO_CYCLES_IN_GENERALIZATION

public static final int CLASSIFIER__NO_CYCLES_IN_GENERALIZATION
The code for constraint 'No cycles in generalization' of 'Classifier'.

See Also:
Constant Field Values

CLASSIFIER__SPECIALIZE_TYPE

public static final int CLASSIFIER__SPECIALIZE_TYPE
The code for constraint 'Specialize type' of 'Classifier'.

See Also:
Constant Field Values

PROTOTYPE__CATEGORY_CONSTRAINT

public static final int PROTOTYPE__CATEGORY_CONSTRAINT
The code for constraint 'Category Constraint' of 'Prototype'.

See Also:
Constant Field Values

DIAGNOSTIC_CODE_COUNT

protected static final int DIAGNOSTIC_CODE_COUNT
A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.

See Also:
Constant Field Values
Constructor Detail

Aadl2Validator

public Aadl2Validator()
Creates an instance of the switch.

Method Detail

getEPackage

protected org.eclipse.emf.ecore.EPackage getEPackage()
Returns the package of this validator switch.

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

validate

protected boolean validate(int classifierID,
                           java.lang.Object value,
                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)
Calls validateXXX for the corresponding classifier of the model.

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

validateElement

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


validateElement_not_own_self

public boolean validateElement_not_own_self(Element element,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the not_own_self constraint of 'Element'.


validateElement_has_owner

public boolean validateElement_has_owner(Element element,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the has_owner constraint of 'Element'.


validateComment

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


validateNamedElement

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


validateNamedElement_has_no_qualified_name

public boolean validateNamedElement_has_no_qualified_name(NamedElement namedElement,
                                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                          java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the has_no_qualified_name constraint of 'Named Element'.


validateNamedElement_has_qualified_name

public boolean validateNamedElement_has_qualified_name(NamedElement namedElement,
                                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the has_qualified_name constraint of 'Named Element'.


validateNamespace

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


validateNamespace_members_distinguishable

public boolean validateNamespace_members_distinguishable(Namespace namespace,
                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                         java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the members_distinguishable constraint of 'Namespace'.


validatePropertyAssociation

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


validateBasicPropertyAssociation

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


validateType

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


validateTypedElement

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


validateClassifierFeature

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


validateRefinableElement

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


validateBehavioralFeature

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


validateClassifier

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


validateClassifier_no_cycles_in_generalization

public boolean validateClassifier_no_cycles_in_generalization(Classifier classifier,
                                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                              java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the no_cycles_in_generalization constraint of 'Classifier'.


validateClassifier_specialize_type

public boolean validateClassifier_specialize_type(Classifier classifier,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the specialize_type constraint of 'Classifier'.


validateGeneralization

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


validateDirectedRelationship

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


validateRelationship

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


validatePrototype

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


validatePrototype_categoryConstraint

public boolean validatePrototype_categoryConstraint(Prototype prototype,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the categoryConstraint constraint of 'Prototype'.


validateComponentClassifier

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


validateMode

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


validateModeFeature

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


validateModeTransition

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


validateModeTransitionTrigger

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


validateTriggerPort

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


validateContext

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


validatePort

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


validateDirectedFeature

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


validatePrototypeBinding

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


validateArrayableElement

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


validateArraySpecification

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


validateArraySize

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


validateAnnexSubclause

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


validateStructuralFeature

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


validateModalElement

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


validateModeBinding

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


validateComponentImplementationReference

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


validateFeatureConnectionEnd

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


validateSubcomponent

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


validateTypeExtension

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


validateComponentType

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


validateFeature

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


validateFlowSpecification

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


validateFlow

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


validateEndToEndFlowElement

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


validateFeatureGroup

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


validateFeatureGroupConnectionEnd

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


validateCallContext

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


validateConnectionEnd

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


validateFeatureGroupType

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


validateGroupExtension

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


validateComponentImplementation

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


validateFlowImplementation

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


validateConnection

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


validateFlowElement

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


validateRealization

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


validateAbstractSubcomponent

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


validateComponentPrototype

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


validateComponentPrototypeBinding

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


validateComponentPrototypeActual

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


validateFeatureGroupPrototype

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


validateFeatureGroupPrototypeBinding

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


validateFeatureGroupPrototypeActual

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


validateFeaturePrototype

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


validateFeaturePrototypeBinding

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


validateFeaturePrototypeActual

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


validateAccessSpecification

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


validatePortSpecification

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


validateFeaturePrototypeReference

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


validateComponentPrototypeReference

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


validateComponentReference

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


validateFeatureGroupPrototypeReference

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


validateFeatureGroupReference

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


validateNumeral

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


validateAbstract

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


validateAbstractClassifier

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


validateEndToEndFlow

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


validateFeatureConnection

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


validatePublicPackageSection

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


validatePackageSection

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


validatePackageRename

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


validateAadlPackage

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


validatePrivatePackageSection

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


validateComponentTypeRename

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


validateFeatureGroupTypeRename

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


validateAnnexLibrary

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


validateGlobalNamespace

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


validatePropertySet

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


validatePropertyType

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


validateProperty

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


validateContainedNamedElement

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


validateArrayRange

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


validateModalPropertyValue

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


validateContainmentPathElement

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


validatePropertyExpression

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


validateBasicProperty

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


validatePropertyConstant

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


validateDefaultAnnexLibrary

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


validateDefaultAnnexSubclause

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


validateAbstractFeature

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


validateModalPath

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


validateAccessConnection

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


validateParameterConnection

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


validateParameterConnectionEnd

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


validatePortConnection

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


validatePortConnectionEnd

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


validateAccessConnectionEnd

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


validateFeatureGroupConnection

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


validateProcessorSubprogram

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


validateSubcomponentFlow

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


validateDataAccess

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


validateDataClassifier

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


validateData

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


validateBusAccess

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


validateAccess

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


validateBusClassifier

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


validateBus

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


validateSubprogramAccess

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


validateCalledSubprogram

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


validateSubprogramClassifier

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


validateSubprogram

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


validateDataPort

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


validateEventPort

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


validateEventDataPort

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


validateParameter

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


validateSubprogramGroupAccess

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


validateSubprogramGroupClassifier

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


validateSubprogramGroup

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


validateImplementationExtension

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


validateDevice

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


validateDeviceClassifier

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


validateDeviceSubcomponent

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


validateDeviceType

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


validateDeviceImplementation

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


validateBusSubcomponent

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


validateAbstractType

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


validateAbstractImplementation

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


validateBehavioredImplementation

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


validateCallSpecification

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


validateDataSubcomponent

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


validateMemorySubcomponent

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


validateMemory

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


validateMemoryClassifier

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


validateProcessSubcomponent

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


validateProcess

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


validateProcessClassifier

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


validateProcessorSubcomponent

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


validateProcessor

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


validateProcessorClassifier

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


validateSystemSubcomponent

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


validateSystem

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


validateSystemClassifier

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


validateSubprogramSubcomponent

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


validateSubprogramGroupSubcomponent

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


validateThreadSubcomponent

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


validateThread

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


validateThreadClassifier

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


validateThreadGroupSubcomponent

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


validateThreadGroup

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


validateThreadGroupClassifier

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


validateVirtualBusSubcomponent

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


validateVirtualBus

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


validateVirtualBusClassifier

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


validateVirtualProcessorSubcomponent

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


validateVirtualProcessor

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


validateVirtualProcessorClassifier

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


validateSubprogramCallSequence

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


validateSubprogramCall

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


validateProcessorPort

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


validateInternalEvent

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


validateBusType

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


validateBusImplementation

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


validateDataType

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


validateDataImplementation

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


validateMemoryType

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


validateMemoryImplementation

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


validateSystemType

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


validateSystemImplementation

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


validateThreadType

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


validateThreadImplementation

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


validateThreadGroupType

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


validateThreadGroupImplementation

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


validateVirtualBusType

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


validateVirtualBusImplementation

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


validateVirtualProcessorType

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


validateVirtualProcessorImplementation

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


validateSubprogramGroupType

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


validateSubprogramGroupImplementation

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


validateProcessorType

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


validateProcessorImplementation

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


validateProcessType

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


validateProcessImplementation

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


validateSubprogramType

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


validateSubprogramImplementation

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


validateProcessorCall

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


validateEnumerationValue

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


validatePropertyValue

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


validateNumberType

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


validateUnitsType

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


validateAadlInteger

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


validateAadlReal

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


validateAadlBoolean

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


validateAadlString

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


validateEnumerationType

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


validateNumericRange

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


validateEnumerationLiteral

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


validateUnitValue

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


validateUnitLiteral

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


validateStringLiteral

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


validateNumberValue

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


validateClassifierValue

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


validateReferenceValue

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


validateBooleanLiteral

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


validateRangeValue

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


validateIntegerLiteral

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


validateRealLiteral

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


validateConstantValue

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


validatePropertyReference

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


validateOperation

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


validateRecordValue

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


validateComputedValue

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


validateListValue

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


validateClassifierType

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


validateMetaclassReference

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


validatePropertyOwner

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


validateReferenceType

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


validateRangeType

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


validateRecordType

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


validateRecordField

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


validateComponentCategory

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


validateFlowKind

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


validateConnectionKind

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


validateAccessCategory

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


validateAccessType

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


validateDirectionType

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


validatePortCategory

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


validateOperationKind

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


validateString

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


validateBoolean

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


validateInteger

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


validateReal

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


getResourceLocator

public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

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