org.eclipse.uml2.util
Class UML2Validator

java.lang.Object
  extended byorg.eclipse.emf.ecore.util.EObjectValidator
      extended byorg.eclipse.uml2.util.UML2Validator
All Implemented Interfaces:
EValidator

public class UML2Validator
extends EObjectValidator

The Validator for the model.

See Also:
UML2Package

Nested Class Summary
 
Nested classes inherited from class org.eclipse.emf.ecore.util.EObjectValidator
EObjectValidator.DynamicEDataTypeValidator
 
Nested classes inherited from class org.eclipse.emf.ecore.EValidator
EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider
 
Field Summary
static int CLASSIFIER__GENERAL_EQUALS_PARENTS
          The code for constraint 'validate General Equals Parents' of 'Classifier'
static int CLASSIFIER__INHERITED_MEMBER
          The code for constraint 'validate Inherited Member' of 'Classifier'
static int CLASSIFIER__NO_CYCLES_IN_GENERALIZATION
          The code for constraint 'validate No Cycles In Generalization' of 'Classifier'
static int CLASSIFIER__SPECIALIZE_TYPE
          The code for constraint 'validate Specialize Type' of 'Classifier'
static int CONSTRAINT__NOT_APPLY_TO_SELF
          The code for constraint 'validate Not Apply To Self' of 'Constraint'
static String copyright
           
static String DIAGNOSTIC_SOURCE
          A constant for the source of diagnostic codes from this package
static int ELEMENT__HAS_OWNER
          The code for constraint 'validate Has Owner' of 'Element'
static int ELEMENT__NOT_OWN_SELF
          The code for constraint 'validate Not Own Self' of 'Element'
static int ELEMENT_IMPORT__IMPORTED_ELEMENT_IS_PUBLIC
          The code for constraint 'validate Imported Element Is Public' of 'Element Import'
static int ELEMENT_IMPORT__VISIBILITY_PUBLIC_OR_PRIVATE
          The code for constraint 'validate Visibility Public Or Private' of 'Element Import'
static UML2Validator INSTANCE
          The cached model package
static int INSTANCE_SPECIFICATION__NO_DUPLICATE_SLOTS
          The code for constraint 'validate No Duplicate Slots' of 'Instance Specification'
static int INSTANCE_SPECIFICATION__SLOTS_ARE_DEFINED
          The code for constraint 'validate Slots Are Defined' of 'Instance Specification'
static int MULTIPLICITY_ELEMENT__LOWER_EQ_LOWERBOUND
          The code for constraint 'validate Lower Eq Lowerbound' of 'Multiplicity Element'
static int MULTIPLICITY_ELEMENT__LOWER_GE0
          The code for constraint 'validate Lower Ge0' of 'Multiplicity Element'
static int MULTIPLICITY_ELEMENT__UPPER_EQ_UPPERBOUND
          The code for constraint 'validate Upper Eq Upperbound' of 'Multiplicity Element'
static int MULTIPLICITY_ELEMENT__UPPER_GE_LOWER
          The code for constraint 'validate Upper Ge Lower' of 'Multiplicity Element'
static int MULTIPLICITY_ELEMENT__UPPER_GT0
          The code for constraint 'validate Upper Gt0' of 'Multiplicity Element'
static int NAMED_ELEMENT__NO_NAME
          The code for constraint 'validate No Name' of 'Named Element'
static int NAMED_ELEMENT__QUALIFIED_NAME
          The code for constraint 'validate Qualified Name' of 'Named Element'
static int NAMED_ELEMENT__VISIBILITY_NEEDS_OWNERSHIP
          The code for constraint 'validate Visibility Needs Ownership' of 'Named Element'
static int NAMESPACE__IMPORTED_MEMBER_DERIVED
          The code for constraint 'validate Imported Member Derived' of 'Namespace'
static int NAMESPACE__MEMBERS_ARE_DISTINGUISHABLE
          The code for constraint 'validate Members Are Distinguishable' of 'Namespace'
static int OPERATION__ONLY_BODY_FOR_QUERY
          The code for constraint 'validate Only Body For Query' of 'Operation'
static int OPERATION__TYPE_OF_RESULT
          The code for constraint 'validate Type Of Result' of 'Operation'
static int PACKAGE__ELEMENTS_PUBLIC_OR_PRIVATE
          The code for constraint 'validate Elements Public Or Private' of 'Package'
static int PACKAGE_IMPORT__PUBLIC_OR_PRIVATE
          The code for constraint 'validate Public Or Private' of 'Package Import'
static int PROPERTY__DERIVED_UNION_IS_DERIVED
          The code for constraint 'validate Derived Union Is Derived' of 'Property'
static int PROPERTY__MULTIPLICITY_OF_COMPOSITE
          The code for constraint 'validate Multiplicity Of Composite' of 'Property'
static int PROPERTY__NAVIGABLE_PROPERTY_REDEFINITION
          The code for constraint 'validate Navigable Property Redefinition' of 'Property'
static int PROPERTY__NAVIGABLE_READONLY
          The code for constraint 'validate Navigable Readonly' of 'Property'
static int PROPERTY__OPPOSITE_IS_OTHER_END
          The code for constraint 'validate Opposite Is Other End' of 'Property'
static int PROPERTY__SUBSETTING_CONTEXT
          The code for constraint 'validate Subsetting Context' of 'Property'
static int PROPERTY__SUBSETTING_RULES
          The code for constraint 'validate Subsetting Rules' of 'Property'
static int REDEFINABLE_ELEMENT__REDEFINITION_CONSISTENT
          The code for constraint 'validate Redefinition Consistent' of 'Redefinable Element'
static int REDEFINABLE_ELEMENT__REDEFINITION_CONTEXT_VALID
          The code for constraint 'validate Redefinition Context Valid' of 'Redefinable Element'
 
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_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED
 
Fields inherited from interface org.eclipse.emf.ecore.EValidator
MARKER, URI_ATTRIBUTE
 
Constructor Summary
UML2Validator()
          Creates an instance of the switch
 
Method Summary
protected  EPackage getEPackage()
          Returns the package of this validator switch
protected  boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map context)
          Calls validateXXX for the corresonding classifier of the model
 boolean validateAbstraction(Abstraction abstraction, DiagnosticChain diagnostics, Map context)
           
 boolean validateAcceptCallAction(AcceptCallAction acceptCallAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateAcceptEventAction(AcceptEventAction acceptEventAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateAction(Action action, DiagnosticChain diagnostics, Map context)
           
 boolean validateActivity(Activity activity, DiagnosticChain diagnostics, Map context)
           
 boolean validateActivityEdge(ActivityEdge activityEdge, DiagnosticChain diagnostics, Map context)
           
 boolean validateActivityFinalNode(ActivityFinalNode activityFinalNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateActivityGroup(ActivityGroup activityGroup, DiagnosticChain diagnostics, Map context)
           
 boolean validateActivityNode(ActivityNode activityNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateActivityParameterNode(ActivityParameterNode activityParameterNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateActivityPartition(ActivityPartition activityPartition, DiagnosticChain diagnostics, Map context)
           
 boolean validateActor(Actor actor, DiagnosticChain diagnostics, Map context)
           
 boolean validateAddStructuralFeatureValueAction(AddStructuralFeatureValueAction addStructuralFeatureValueAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateAddVariableValueAction(AddVariableValueAction addVariableValueAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateAggregationKind(Object aggregationKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateAnyTrigger(AnyTrigger anyTrigger, DiagnosticChain diagnostics, Map context)
           
 boolean validateApplyFunctionAction(ApplyFunctionAction applyFunctionAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateArtifact(Artifact artifact, DiagnosticChain diagnostics, Map context)
           
 boolean validateAssociation(Association association, DiagnosticChain diagnostics, Map context)
           
 boolean validateAssociationClass(AssociationClass associationClass, DiagnosticChain diagnostics, Map context)
           
 boolean validateBehavior(Behavior behavior, DiagnosticChain diagnostics, Map context)
           
 boolean validateBehavioralFeature(BehavioralFeature behavioralFeature, DiagnosticChain diagnostics, Map context)
           
 boolean validateBehavioredClassifier(BehavioredClassifier behavioredClassifier, DiagnosticChain diagnostics, Map context)
           
 boolean validateBoolean(boolean boolean_, DiagnosticChain diagnostics, Map context)
           
 boolean validateBroadcastSignalAction(BroadcastSignalAction broadcastSignalAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateCallAction(CallAction callAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateCallBehaviorAction(CallBehaviorAction callBehaviorAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateCallConcurrencyKind(Object callConcurrencyKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateCallOperationAction(CallOperationAction callOperationAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateCallTrigger(CallTrigger callTrigger, DiagnosticChain diagnostics, Map context)
           
 boolean validateCentralBufferNode(CentralBufferNode centralBufferNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateChangeTrigger(ChangeTrigger changeTrigger, DiagnosticChain diagnostics, Map context)
           
 boolean validateClass(Class class_, DiagnosticChain diagnostics, Map context)
           
 boolean validateClassifier_validateGeneralEqualsParents(Classifier classifier, DiagnosticChain diagnostics, Map context)
          Validates the validateGeneralEqualsParents constraint of 'Classifier'
 boolean validateClassifier_validateInheritedMember(Classifier classifier, DiagnosticChain diagnostics, Map context)
          Validates the validateInheritedMember constraint of 'Classifier'
 boolean validateClassifier_validateNoCyclesInGeneralization(Classifier classifier, DiagnosticChain diagnostics, Map context)
          Validates the validateNoCyclesInGeneralization constraint of 'Classifier'
 boolean validateClassifier_validateSpecializeType(Classifier classifier, DiagnosticChain diagnostics, Map context)
          Validates the validateSpecializeType constraint of 'Classifier'
 boolean validateClassifier(Classifier classifier, DiagnosticChain diagnostics, Map context)
           
 boolean validateClassifierTemplateParameter(ClassifierTemplateParameter classifierTemplateParameter, DiagnosticChain diagnostics, Map context)
           
 boolean validateClause(Clause clause, DiagnosticChain diagnostics, Map context)
           
 boolean validateClearAssociationAction(ClearAssociationAction clearAssociationAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateClearStructuralFeatureAction(ClearStructuralFeatureAction clearStructuralFeatureAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateClearVariableAction(ClearVariableAction clearVariableAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateCollaboration(Collaboration collaboration, DiagnosticChain diagnostics, Map context)
           
 boolean validateCollaborationOccurrence(CollaborationOccurrence collaborationOccurrence, DiagnosticChain diagnostics, Map context)
           
 boolean validateCombinedFragment(CombinedFragment combinedFragment, DiagnosticChain diagnostics, Map context)
           
 boolean validateComment(Comment comment, DiagnosticChain diagnostics, Map context)
           
 boolean validateCommunicationPath(CommunicationPath communicationPath, DiagnosticChain diagnostics, Map context)
           
 boolean validateComponent(Component component, DiagnosticChain diagnostics, Map context)
           
 boolean validateConditionalNode(ConditionalNode conditionalNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateConnectableElement(ConnectableElement connectableElement, DiagnosticChain diagnostics, Map context)
           
 boolean validateConnectableElementTemplateParameter(ConnectableElementTemplateParameter connectableElementTemplateParameter, DiagnosticChain diagnostics, Map context)
           
 boolean validateConnectionPointReference(ConnectionPointReference connectionPointReference, DiagnosticChain diagnostics, Map context)
           
 boolean validateConnector(Connector connector, DiagnosticChain diagnostics, Map context)
           
 boolean validateConnectorEnd(ConnectorEnd connectorEnd, DiagnosticChain diagnostics, Map context)
           
 boolean validateConnectorKind(Object connectorKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateConstraint_validateNotApplyToSelf(Constraint constraint, DiagnosticChain diagnostics, Map context)
          Validates the validateNotApplyToSelf constraint of 'Constraint'
 boolean validateConstraint(Constraint constraint, DiagnosticChain diagnostics, Map context)
           
 boolean validateContinuation(Continuation continuation, DiagnosticChain diagnostics, Map context)
           
 boolean validateControlFlow(ControlFlow controlFlow, DiagnosticChain diagnostics, Map context)
           
 boolean validateControlNode(ControlNode controlNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateCreateLinkAction(CreateLinkAction createLinkAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateCreateLinkObjectAction(CreateLinkObjectAction createLinkObjectAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateCreateObjectAction(CreateObjectAction createObjectAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateDataStoreNode(DataStoreNode dataStoreNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateDataType(DataType dataType, DiagnosticChain diagnostics, Map context)
           
 boolean validateDecisionNode(DecisionNode decisionNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateDependency(Dependency dependency, DiagnosticChain diagnostics, Map context)
           
 boolean validateDeployedArtifact(DeployedArtifact deployedArtifact, DiagnosticChain diagnostics, Map context)
           
 boolean validateDeployment(Deployment deployment, DiagnosticChain diagnostics, Map context)
           
 boolean validateDeploymentSpecification(DeploymentSpecification deploymentSpecification, DiagnosticChain diagnostics, Map context)
           
 boolean validateDeploymentTarget(DeploymentTarget deploymentTarget, DiagnosticChain diagnostics, Map context)
           
 boolean validateDestroyLinkAction(DestroyLinkAction destroyLinkAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateDestroyObjectAction(DestroyObjectAction destroyObjectAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateDevice(Device device, DiagnosticChain diagnostics, Map context)
           
 boolean validateDirectedRelationship(DirectedRelationship directedRelationship, DiagnosticChain diagnostics, Map context)
           
 boolean validateDuration(Duration duration, DiagnosticChain diagnostics, Map context)
           
 boolean validateDurationConstraint(DurationConstraint durationConstraint, DiagnosticChain diagnostics, Map context)
           
 boolean validateDurationInterval(DurationInterval durationInterval, DiagnosticChain diagnostics, Map context)
           
 boolean validateDurationObservationAction(DurationObservationAction durationObservationAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateElement_validateHasOwner(Element element, DiagnosticChain diagnostics, Map context)
          Validates the validateHasOwner constraint of 'Element'
 boolean validateElement_validateNotOwnSelf(Element element, DiagnosticChain diagnostics, Map context)
          Validates the validateNotOwnSelf constraint of 'Element'
 boolean validateElement(Element element, DiagnosticChain diagnostics, Map context)
           
 boolean validateElementImport_validateImportedElementIsPublic(ElementImport elementImport, DiagnosticChain diagnostics, Map context)
          Validates the validateImportedElementIsPublic constraint of 'Element Import'
 boolean validateElementImport_validateVisibilityPublicOrPrivate(ElementImport elementImport, DiagnosticChain diagnostics, Map context)
          Validates the validateVisibilityPublicOrPrivate constraint of 'Element Import'
 boolean validateElementImport(ElementImport elementImport, DiagnosticChain diagnostics, Map context)
           
 boolean validateEncapsulatedClassifier(EncapsulatedClassifier encapsulatedClassifier, DiagnosticChain diagnostics, Map context)
           
 boolean validateEnumeration(Enumeration enumeration, DiagnosticChain diagnostics, Map context)
           
 boolean validateEnumerationLiteral(EnumerationLiteral enumerationLiteral, DiagnosticChain diagnostics, Map context)
           
 boolean validateEventOccurrence(EventOccurrence eventOccurrence, DiagnosticChain diagnostics, Map context)
           
 boolean validateExceptionHandler(ExceptionHandler exceptionHandler, DiagnosticChain diagnostics, Map context)
           
 boolean validateExecutableNode(ExecutableNode executableNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateExecutionEnvironment(ExecutionEnvironment executionEnvironment, DiagnosticChain diagnostics, Map context)
           
 boolean validateExecutionOccurrence(ExecutionOccurrence executionOccurrence, DiagnosticChain diagnostics, Map context)
           
 boolean validateExpansionKind(Object expansionKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateExpansionNode(ExpansionNode expansionNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateExpansionRegion(ExpansionRegion expansionRegion, DiagnosticChain diagnostics, Map context)
           
 boolean validateExpression(Expression expression, DiagnosticChain diagnostics, Map context)
           
 boolean validateExtend(Extend extend, DiagnosticChain diagnostics, Map context)
           
 boolean validateExtension(Extension extension, DiagnosticChain diagnostics, Map context)
           
 boolean validateExtensionEnd(ExtensionEnd extensionEnd, DiagnosticChain diagnostics, Map context)
           
 boolean validateExtensionPoint(ExtensionPoint extensionPoint, DiagnosticChain diagnostics, Map context)
           
 boolean validateFeature(Feature feature, DiagnosticChain diagnostics, Map context)
           
 boolean validateFinalNode(FinalNode finalNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateFinalState(FinalState finalState, DiagnosticChain diagnostics, Map context)
           
 boolean validateFlowFinalNode(FlowFinalNode flowFinalNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateForkNode(ForkNode forkNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateGate(Gate gate, DiagnosticChain diagnostics, Map context)
           
 boolean validateGeneralization(Generalization generalization, DiagnosticChain diagnostics, Map context)
           
 boolean validateGeneralizationSet(GeneralizationSet generalizationSet, DiagnosticChain diagnostics, Map context)
           
 boolean validateGeneralOrdering(GeneralOrdering generalOrdering, DiagnosticChain diagnostics, Map context)
           
 boolean validateImplementation(Implementation implementation, DiagnosticChain diagnostics, Map context)
           
 boolean validateInclude(Include include, DiagnosticChain diagnostics, Map context)
           
 boolean validateInformationFlow(InformationFlow informationFlow, DiagnosticChain diagnostics, Map context)
           
 boolean validateInformationItem(InformationItem informationItem, DiagnosticChain diagnostics, Map context)
           
 boolean validateInitialNode(InitialNode initialNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateInputPin(InputPin inputPin, DiagnosticChain diagnostics, Map context)
           
 boolean validateInstanceSpecification_validateNoDuplicateSlots(InstanceSpecification instanceSpecification, DiagnosticChain diagnostics, Map context)
          Validates the validateNoDuplicateSlots constraint of 'Instance Specification'
 boolean validateInstanceSpecification_validateSlotsAreDefined(InstanceSpecification instanceSpecification, DiagnosticChain diagnostics, Map context)
          Validates the validateSlotsAreDefined constraint of 'Instance Specification'
 boolean validateInstanceSpecification(InstanceSpecification instanceSpecification, DiagnosticChain diagnostics, Map context)
           
 boolean validateInstanceValue(InstanceValue instanceValue, DiagnosticChain diagnostics, Map context)
           
 boolean validateInteger(int integer, DiagnosticChain diagnostics, Map context)
           
 boolean validateInteraction(Interaction interaction, DiagnosticChain diagnostics, Map context)
           
 boolean validateInteractionConstraint(InteractionConstraint interactionConstraint, DiagnosticChain diagnostics, Map context)
           
 boolean validateInteractionFragment(InteractionFragment interactionFragment, DiagnosticChain diagnostics, Map context)
           
 boolean validateInteractionOccurrence(InteractionOccurrence interactionOccurrence, DiagnosticChain diagnostics, Map context)
           
 boolean validateInteractionOperand(InteractionOperand interactionOperand, DiagnosticChain diagnostics, Map context)
           
 boolean validateInteractionOperator(Object interactionOperator, DiagnosticChain diagnostics, Map context)
           
 boolean validateInterface(Interface interface_, DiagnosticChain diagnostics, Map context)
           
 boolean validateInterruptibleActivityRegion(InterruptibleActivityRegion interruptibleActivityRegion, DiagnosticChain diagnostics, Map context)
           
 boolean validateInterval(Interval interval, DiagnosticChain diagnostics, Map context)
           
 boolean validateIntervalConstraint(IntervalConstraint intervalConstraint, DiagnosticChain diagnostics, Map context)
           
 boolean validateInvocationAction(InvocationAction invocationAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateJoinNode(JoinNode joinNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateLifeline(Lifeline lifeline, DiagnosticChain diagnostics, Map context)
           
 boolean validateLinkAction(LinkAction linkAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateLinkEndCreationData(LinkEndCreationData linkEndCreationData, DiagnosticChain diagnostics, Map context)
           
 boolean validateLinkEndData(LinkEndData linkEndData, DiagnosticChain diagnostics, Map context)
           
 boolean validateLiteralBoolean(LiteralBoolean literalBoolean, DiagnosticChain diagnostics, Map context)
           
 boolean validateLiteralInteger(LiteralInteger literalInteger, DiagnosticChain diagnostics, Map context)
           
 boolean validateLiteralNull(LiteralNull literalNull, DiagnosticChain diagnostics, Map context)
           
 boolean validateLiteralSpecification(LiteralSpecification literalSpecification, DiagnosticChain diagnostics, Map context)
           
 boolean validateLiteralString(LiteralString literalString, DiagnosticChain diagnostics, Map context)
           
 boolean validateLiteralUnlimitedNatural(LiteralUnlimitedNatural literalUnlimitedNatural, DiagnosticChain diagnostics, Map context)
           
 boolean validateLoopNode(LoopNode loopNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateManifestation(Manifestation manifestation, DiagnosticChain diagnostics, Map context)
           
 boolean validateMergeNode(MergeNode mergeNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateMessage(Message message, DiagnosticChain diagnostics, Map context)
           
 boolean validateMessageEnd(MessageEnd messageEnd, DiagnosticChain diagnostics, Map context)
           
 boolean validateMessageKind(Object messageKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateMessageSort(Object messageSort, DiagnosticChain diagnostics, Map context)
           
 boolean validateMessageTrigger(MessageTrigger messageTrigger, DiagnosticChain diagnostics, Map context)
           
 boolean validateModel(Model model, DiagnosticChain diagnostics, Map context)
           
 boolean validateMultiplicityElement_validateLowerEqLowerbound(MultiplicityElement multiplicityElement, DiagnosticChain diagnostics, Map context)
          Validates the validateLowerEqLowerbound constraint of 'Multiplicity Element'
 boolean validateMultiplicityElement_validateLowerGe0(MultiplicityElement multiplicityElement, DiagnosticChain diagnostics, Map context)
          Validates the validateLowerGe0 constraint of 'Multiplicity Element'
 boolean validateMultiplicityElement_validateUpperEqUpperbound(MultiplicityElement multiplicityElement, DiagnosticChain diagnostics, Map context)
          Validates the validateUpperEqUpperbound constraint of 'Multiplicity Element'
 boolean validateMultiplicityElement_validateUpperGeLower(MultiplicityElement multiplicityElement, DiagnosticChain diagnostics, Map context)
          Validates the validateUpperGeLower constraint of 'Multiplicity Element'
 boolean validateMultiplicityElement_validateUpperGt0(MultiplicityElement multiplicityElement, DiagnosticChain diagnostics, Map context)
          Validates the validateUpperGt0 constraint of 'Multiplicity Element'
 boolean validateMultiplicityElement(MultiplicityElement multiplicityElement, DiagnosticChain diagnostics, Map context)
           
 boolean validateNamedElement_validateNoName(NamedElement namedElement, DiagnosticChain diagnostics, Map context)
          Validates the validateNoName constraint of 'Named Element'
 boolean validateNamedElement_validateQualifiedName(NamedElement namedElement, DiagnosticChain diagnostics, Map context)
          Validates the validateQualifiedName constraint of 'Named Element'
 boolean validateNamedElement_validateVisibilityNeedsOwnership(NamedElement namedElement, DiagnosticChain diagnostics, Map context)
          Validates the validateVisibilityNeedsOwnership constraint of 'Named Element'
 boolean validateNamedElement(NamedElement namedElement, DiagnosticChain diagnostics, Map context)
           
 boolean validateNamespace_validateImportedMemberDerived(Namespace namespace, DiagnosticChain diagnostics, Map context)
          Validates the validateImportedMemberDerived constraint of 'Namespace'
 boolean validateNamespace_validateMembersAreDistinguishable(Namespace namespace, DiagnosticChain diagnostics, Map context)
          Validates the validateMembersAreDistinguishable constraint of 'Namespace'
 boolean validateNamespace(Namespace namespace, DiagnosticChain diagnostics, Map context)
           
 boolean validateNode(Node node, DiagnosticChain diagnostics, Map context)
           
 boolean validateObjectFlow(ObjectFlow objectFlow, DiagnosticChain diagnostics, Map context)
           
 boolean validateObjectNode(ObjectNode objectNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateObjectNodeOrderingKind(Object objectNodeOrderingKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateOpaqueExpression(OpaqueExpression opaqueExpression, DiagnosticChain diagnostics, Map context)
           
 boolean validateOperation_validateOnlyBodyForQuery(Operation operation, DiagnosticChain diagnostics, Map context)
          Validates the validateOnlyBodyForQuery constraint of 'Operation'
 boolean validateOperation_validateTypeOfResult(Operation operation, DiagnosticChain diagnostics, Map context)
          Validates the validateTypeOfResult constraint of 'Operation'
 boolean validateOperation(Operation operation, DiagnosticChain diagnostics, Map context)
           
 boolean validateOperationTemplateParameter(OperationTemplateParameter operationTemplateParameter, DiagnosticChain diagnostics, Map context)
           
 boolean validateOutputPin(OutputPin outputPin, DiagnosticChain diagnostics, Map context)
           
 boolean validatePackage_validateElementsPublicOrPrivate(Package package_, DiagnosticChain diagnostics, Map context)
          Validates the validateElementsPublicOrPrivate constraint of 'Package'
 boolean validatePackage(Package package_, DiagnosticChain diagnostics, Map context)
           
 boolean validatePackageableElement(PackageableElement packageableElement, DiagnosticChain diagnostics, Map context)
           
 boolean validatePackageImport_validatePublicOrPrivate(PackageImport packageImport, DiagnosticChain diagnostics, Map context)
          Validates the validatePublicOrPrivate constraint of 'Package Import'
 boolean validatePackageImport(PackageImport packageImport, DiagnosticChain diagnostics, Map context)
           
 boolean validatePackageMerge(PackageMerge packageMerge, DiagnosticChain diagnostics, Map context)
           
 boolean validateParameter(Parameter parameter, DiagnosticChain diagnostics, Map context)
           
 boolean validateParameterableClassifier(ParameterableClassifier parameterableClassifier, DiagnosticChain diagnostics, Map context)
           
 boolean validateParameterableElement(ParameterableElement parameterableElement, DiagnosticChain diagnostics, Map context)
           
 boolean validateParameterDirectionKind(Object parameterDirectionKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateParameterEffectKind(Object parameterEffectKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateParameterSet(ParameterSet parameterSet, DiagnosticChain diagnostics, Map context)
           
 boolean validatePartDecomposition(PartDecomposition partDecomposition, DiagnosticChain diagnostics, Map context)
           
 boolean validatePermission(Permission permission, DiagnosticChain diagnostics, Map context)
           
 boolean validatePin(Pin pin, DiagnosticChain diagnostics, Map context)
           
 boolean validatePort(Port port, DiagnosticChain diagnostics, Map context)
           
 boolean validatePrimitiveFunction(PrimitiveFunction primitiveFunction, DiagnosticChain diagnostics, Map context)
           
 boolean validatePrimitiveType(PrimitiveType primitiveType, DiagnosticChain diagnostics, Map context)
           
 boolean validateProfile(Profile profile, DiagnosticChain diagnostics, Map context)
           
 boolean validateProfileApplication(ProfileApplication profileApplication, DiagnosticChain diagnostics, Map context)
           
 boolean validateProperty_validateDerivedUnionIsDerived(Property property, DiagnosticChain diagnostics, Map context)
          Validates the validateDerivedUnionIsDerived constraint of 'Property'
 boolean validateProperty_validateMultiplicityOfComposite(Property property, DiagnosticChain diagnostics, Map context)
          Validates the validateMultiplicityOfComposite constraint of 'Property'
 boolean validateProperty_validateNavigablePropertyRedefinition(Property property, DiagnosticChain diagnostics, Map context)
          Validates the validateNavigablePropertyRedefinition constraint of 'Property'
 boolean validateProperty_validateNavigableReadonly(Property property, DiagnosticChain diagnostics, Map context)
          Validates the validateNavigableReadonly constraint of 'Property'
 boolean validateProperty_validateOppositeIsOtherEnd(Property property, DiagnosticChain diagnostics, Map context)
          Validates the validateOppositeIsOtherEnd constraint of 'Property'
 boolean validateProperty_validateSubsettingContext(Property property, DiagnosticChain diagnostics, Map context)
          Validates the validateSubsettingContext constraint of 'Property'
 boolean validateProperty_validateSubsettingRules(Property property, DiagnosticChain diagnostics, Map context)
          Validates the validateSubsettingRules constraint of 'Property'
 boolean validateProperty(Property property, DiagnosticChain diagnostics, Map context)
           
 boolean validateProtocolConformance(ProtocolConformance protocolConformance, DiagnosticChain diagnostics, Map context)
           
 boolean validateProtocolStateMachine(ProtocolStateMachine protocolStateMachine, DiagnosticChain diagnostics, Map context)
           
 boolean validateProtocolTransition(ProtocolTransition protocolTransition, DiagnosticChain diagnostics, Map context)
           
 boolean validatePseudostate(Pseudostate pseudostate, DiagnosticChain diagnostics, Map context)
           
 boolean validatePseudostateKind(Object pseudostateKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateQualifierValue(QualifierValue qualifierValue, DiagnosticChain diagnostics, Map context)
           
 boolean validateRaiseExceptionAction(RaiseExceptionAction raiseExceptionAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadExtentAction(ReadExtentAction readExtentAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadIsClassifiedObjectAction(ReadIsClassifiedObjectAction readIsClassifiedObjectAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadLinkAction(ReadLinkAction readLinkAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadLinkObjectEndAction(ReadLinkObjectEndAction readLinkObjectEndAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadLinkObjectEndQualifierAction(ReadLinkObjectEndQualifierAction readLinkObjectEndQualifierAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadSelfAction(ReadSelfAction readSelfAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadStructuralFeatureAction(ReadStructuralFeatureAction readStructuralFeatureAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReadVariableAction(ReadVariableAction readVariableAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateRealization(Realization realization, DiagnosticChain diagnostics, Map context)
           
 boolean validateReception(Reception reception, DiagnosticChain diagnostics, Map context)
           
 boolean validateReclassifyObjectAction(ReclassifyObjectAction reclassifyObjectAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateRedefinableElement_validateRedefinitionConsistent(RedefinableElement redefinableElement, DiagnosticChain diagnostics, Map context)
          Validates the validateRedefinitionConsistent constraint of 'Redefinable Element'
 boolean validateRedefinableElement_validateRedefinitionContextValid(RedefinableElement redefinableElement, DiagnosticChain diagnostics, Map context)
          Validates the validateRedefinitionContextValid constraint of 'Redefinable Element'
 boolean validateRedefinableElement(RedefinableElement redefinableElement, DiagnosticChain diagnostics, Map context)
           
 boolean validateRedefinableTemplateSignature(RedefinableTemplateSignature redefinableTemplateSignature, DiagnosticChain diagnostics, Map context)
           
 boolean validateRegion(Region region, DiagnosticChain diagnostics, Map context)
           
 boolean validateRelationship(Relationship relationship, DiagnosticChain diagnostics, Map context)
           
 boolean validateRemoveStructuralFeatureValueAction(RemoveStructuralFeatureValueAction removeStructuralFeatureValueAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateRemoveVariableValueAction(RemoveVariableValueAction removeVariableValueAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateReplyAction(ReplyAction replyAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateSendObjectAction(SendObjectAction sendObjectAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateSendSignalAction(SendSignalAction sendSignalAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateSequence(List sequence, DiagnosticChain diagnostics, Map context)
           
 boolean validateSet(Set set, DiagnosticChain diagnostics, Map context)
           
 boolean validateSignal(Signal signal, DiagnosticChain diagnostics, Map context)
           
 boolean validateSignalTrigger(SignalTrigger signalTrigger, DiagnosticChain diagnostics, Map context)
           
 boolean validateSlot(Slot slot, DiagnosticChain diagnostics, Map context)
           
 boolean validateStartOwnedBehaviorAction(StartOwnedBehaviorAction startOwnedBehaviorAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateState(State state, DiagnosticChain diagnostics, Map context)
           
 boolean validateStateInvariant(StateInvariant stateInvariant, DiagnosticChain diagnostics, Map context)
           
 boolean validateStateMachine(StateMachine stateMachine, DiagnosticChain diagnostics, Map context)
           
 boolean validateStereotype(Stereotype stereotype, DiagnosticChain diagnostics, Map context)
           
 boolean validateStop(Stop stop, DiagnosticChain diagnostics, Map context)
           
 boolean validateString(String string, DiagnosticChain diagnostics, Map context)
           
 boolean validateStringExpression(StringExpression stringExpression, DiagnosticChain diagnostics, Map context)
           
 boolean validateStructuralFeature(StructuralFeature structuralFeature, DiagnosticChain diagnostics, Map context)
           
 boolean validateStructuralFeatureAction(StructuralFeatureAction structuralFeatureAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateStructuredActivityNode(StructuredActivityNode structuredActivityNode, DiagnosticChain diagnostics, Map context)
           
 boolean validateStructuredClassifier(StructuredClassifier structuredClassifier, DiagnosticChain diagnostics, Map context)
           
 boolean validateSubstitution(Substitution substitution, DiagnosticChain diagnostics, Map context)
           
 boolean validateTemplateableClassifier(TemplateableClassifier templateableClassifier, DiagnosticChain diagnostics, Map context)
           
 boolean validateTemplateableElement(TemplateableElement templateableElement, DiagnosticChain diagnostics, Map context)
           
 boolean validateTemplateBinding(TemplateBinding templateBinding, DiagnosticChain diagnostics, Map context)
           
 boolean validateTemplateParameter(TemplateParameter templateParameter, DiagnosticChain diagnostics, Map context)
           
 boolean validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution, DiagnosticChain diagnostics, Map context)
           
 boolean validateTemplateSignature(TemplateSignature templateSignature, DiagnosticChain diagnostics, Map context)
           
 boolean validateTestIdentityAction(TestIdentityAction testIdentityAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateTimeConstraint(TimeConstraint timeConstraint, DiagnosticChain diagnostics, Map context)
           
 boolean validateTimeExpression(TimeExpression timeExpression, DiagnosticChain diagnostics, Map context)
           
 boolean validateTimeInterval(TimeInterval timeInterval, DiagnosticChain diagnostics, Map context)
           
 boolean validateTimeObservationAction(TimeObservationAction timeObservationAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateTimeTrigger(TimeTrigger timeTrigger, DiagnosticChain diagnostics, Map context)
           
 boolean validateTransition(Transition transition, DiagnosticChain diagnostics, Map context)
           
 boolean validateTransitionKind(Object transitionKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateTrigger(Trigger trigger, DiagnosticChain diagnostics, Map context)
           
 boolean validateType(Type type, DiagnosticChain diagnostics, Map context)
           
 boolean validateTypedElement(TypedElement typedElement, DiagnosticChain diagnostics, Map context)
           
 boolean validateUnlimitedNatural(int unlimitedNatural, DiagnosticChain diagnostics, Map context)
           
 boolean validateUsage(Usage usage, DiagnosticChain diagnostics, Map context)
           
 boolean validateUseCase(UseCase useCase, DiagnosticChain diagnostics, Map context)
           
 boolean validateValuePin(ValuePin valuePin, DiagnosticChain diagnostics, Map context)
           
 boolean validateValueSpecification(ValueSpecification valueSpecification, DiagnosticChain diagnostics, Map context)
           
 boolean validateVariable(Variable variable, DiagnosticChain diagnostics, Map context)
           
 boolean validateVariableAction(VariableAction variableAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateVertex(Vertex vertex, DiagnosticChain diagnostics, Map context)
           
 boolean validateVisibilityKind(Object visibilityKind, DiagnosticChain diagnostics, Map context)
           
 boolean validateWriteLinkAction(WriteLinkAction writeLinkAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateWriteStructuralFeatureAction(WriteStructuralFeatureAction writeStructuralFeatureAction, DiagnosticChain diagnostics, Map context)
           
 boolean validateWriteVariableAction(WriteVariableAction writeVariableAction, DiagnosticChain diagnostics, Map context)
           
 
Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator
createBadDataValueDiagnostic, getFeatureLabel, getObjectLabel, getRootEValidator, getValueLabel, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate_DataValueConforms, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_MultiplicityConforms, 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

copyright

public static final String copyright

See Also:
Constant Field Values

INSTANCE

public static final UML2Validator INSTANCE
The cached model package


DIAGNOSTIC_SOURCE

public static final 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 'validate Not Own Self' of 'Element'.

See Also:
Constant Field Values

ELEMENT__HAS_OWNER

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

See Also:
Constant Field Values

MULTIPLICITY_ELEMENT__UPPER_GT0

public static final int MULTIPLICITY_ELEMENT__UPPER_GT0
The code for constraint 'validate Upper Gt0' of 'Multiplicity Element'.

See Also:
Constant Field Values

MULTIPLICITY_ELEMENT__LOWER_GE0

public static final int MULTIPLICITY_ELEMENT__LOWER_GE0
The code for constraint 'validate Lower Ge0' of 'Multiplicity Element'.

See Also:
Constant Field Values

MULTIPLICITY_ELEMENT__UPPER_GE_LOWER

public static final int MULTIPLICITY_ELEMENT__UPPER_GE_LOWER
The code for constraint 'validate Upper Ge Lower' of 'Multiplicity Element'.

See Also:
Constant Field Values

MULTIPLICITY_ELEMENT__LOWER_EQ_LOWERBOUND

public static final int MULTIPLICITY_ELEMENT__LOWER_EQ_LOWERBOUND
The code for constraint 'validate Lower Eq Lowerbound' of 'Multiplicity Element'.

See Also:
Constant Field Values

MULTIPLICITY_ELEMENT__UPPER_EQ_UPPERBOUND

public static final int MULTIPLICITY_ELEMENT__UPPER_EQ_UPPERBOUND
The code for constraint 'validate Upper Eq Upperbound' of 'Multiplicity Element'.

See Also:
Constant Field Values

PROPERTY__OPPOSITE_IS_OTHER_END

public static final int PROPERTY__OPPOSITE_IS_OTHER_END
The code for constraint 'validate Opposite Is Other End' of 'Property'.

See Also:
Constant Field Values

PROPERTY__MULTIPLICITY_OF_COMPOSITE

public static final int PROPERTY__MULTIPLICITY_OF_COMPOSITE
The code for constraint 'validate Multiplicity Of Composite' of 'Property'.

See Also:
Constant Field Values

PROPERTY__SUBSETTING_CONTEXT

public static final int PROPERTY__SUBSETTING_CONTEXT
The code for constraint 'validate Subsetting Context' of 'Property'.

See Also:
Constant Field Values

PROPERTY__NAVIGABLE_PROPERTY_REDEFINITION

public static final int PROPERTY__NAVIGABLE_PROPERTY_REDEFINITION
The code for constraint 'validate Navigable Property Redefinition' of 'Property'.

See Also:
Constant Field Values

PROPERTY__SUBSETTING_RULES

public static final int PROPERTY__SUBSETTING_RULES
The code for constraint 'validate Subsetting Rules' of 'Property'.

See Also:
Constant Field Values

PROPERTY__NAVIGABLE_READONLY

public static final int PROPERTY__NAVIGABLE_READONLY
The code for constraint 'validate Navigable Readonly' of 'Property'.

See Also:
Constant Field Values

PROPERTY__DERIVED_UNION_IS_DERIVED

public static final int PROPERTY__DERIVED_UNION_IS_DERIVED
The code for constraint 'validate Derived Union Is Derived' of 'Property'.

See Also:
Constant Field Values

OPERATION__TYPE_OF_RESULT

public static final int OPERATION__TYPE_OF_RESULT
The code for constraint 'validate Type Of Result' of 'Operation'.

See Also:
Constant Field Values

OPERATION__ONLY_BODY_FOR_QUERY

public static final int OPERATION__ONLY_BODY_FOR_QUERY
The code for constraint 'validate Only Body For Query' of 'Operation'.

See Also:
Constant Field Values

NAMED_ELEMENT__NO_NAME

public static final int NAMED_ELEMENT__NO_NAME
The code for constraint 'validate No Name' of 'Named Element'.

See Also:
Constant Field Values

NAMED_ELEMENT__QUALIFIED_NAME

public static final int NAMED_ELEMENT__QUALIFIED_NAME
The code for constraint 'validate Qualified Name' of 'Named Element'.

See Also:
Constant Field Values

NAMED_ELEMENT__VISIBILITY_NEEDS_OWNERSHIP

public static final int NAMED_ELEMENT__VISIBILITY_NEEDS_OWNERSHIP
The code for constraint 'validate Visibility Needs Ownership' of 'Named Element'.

See Also:
Constant Field Values

PACKAGE__ELEMENTS_PUBLIC_OR_PRIVATE

public static final int PACKAGE__ELEMENTS_PUBLIC_OR_PRIVATE
The code for constraint 'validate Elements Public Or Private' of 'Package'.

See Also:
Constant Field Values

NAMESPACE__MEMBERS_ARE_DISTINGUISHABLE

public static final int NAMESPACE__MEMBERS_ARE_DISTINGUISHABLE
The code for constraint 'validate Members Are Distinguishable' of 'Namespace'.

See Also:
Constant Field Values

NAMESPACE__IMPORTED_MEMBER_DERIVED

public static final int NAMESPACE__IMPORTED_MEMBER_DERIVED
The code for constraint 'validate Imported Member Derived' 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 'validate 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 'validate Specialize Type' of 'Classifier'.

See Also:
Constant Field Values

CLASSIFIER__INHERITED_MEMBER

public static final int CLASSIFIER__INHERITED_MEMBER
The code for constraint 'validate Inherited Member' of 'Classifier'.

See Also:
Constant Field Values

CLASSIFIER__GENERAL_EQUALS_PARENTS

public static final int CLASSIFIER__GENERAL_EQUALS_PARENTS
The code for constraint 'validate General Equals Parents' of 'Classifier'.

See Also:
Constant Field Values

CONSTRAINT__NOT_APPLY_TO_SELF

public static final int CONSTRAINT__NOT_APPLY_TO_SELF
The code for constraint 'validate Not Apply To Self' of 'Constraint'.

See Also:
Constant Field Values

INSTANCE_SPECIFICATION__SLOTS_ARE_DEFINED

public static final int INSTANCE_SPECIFICATION__SLOTS_ARE_DEFINED
The code for constraint 'validate Slots Are Defined' of 'Instance Specification'.

See Also:
Constant Field Values

INSTANCE_SPECIFICATION__NO_DUPLICATE_SLOTS

public static final int INSTANCE_SPECIFICATION__NO_DUPLICATE_SLOTS
The code for constraint 'validate No Duplicate Slots' of 'Instance Specification'.

See Also:
Constant Field Values

REDEFINABLE_ELEMENT__REDEFINITION_CONTEXT_VALID

public static final int REDEFINABLE_ELEMENT__REDEFINITION_CONTEXT_VALID
The code for constraint 'validate Redefinition Context Valid' of 'Redefinable Element'.

See Also:
Constant Field Values

REDEFINABLE_ELEMENT__REDEFINITION_CONSISTENT

public static final int REDEFINABLE_ELEMENT__REDEFINITION_CONSISTENT
The code for constraint 'validate Redefinition Consistent' of 'Redefinable Element'.

See Also:
Constant Field Values

ELEMENT_IMPORT__VISIBILITY_PUBLIC_OR_PRIVATE

public static final int ELEMENT_IMPORT__VISIBILITY_PUBLIC_OR_PRIVATE
The code for constraint 'validate Visibility Public Or Private' of 'Element Import'.

See Also:
Constant Field Values

ELEMENT_IMPORT__IMPORTED_ELEMENT_IS_PUBLIC

public static final int ELEMENT_IMPORT__IMPORTED_ELEMENT_IS_PUBLIC
The code for constraint 'validate Imported Element Is Public' of 'Element Import'.

See Also:
Constant Field Values

PACKAGE_IMPORT__PUBLIC_OR_PRIVATE

public static final int PACKAGE_IMPORT__PUBLIC_OR_PRIVATE
The code for constraint 'validate Public Or Private' of 'Package Import'.

See Also:
Constant Field Values
Constructor Detail

UML2Validator

public UML2Validator()
Creates an instance of the switch.

Method Detail

getEPackage

protected EPackage getEPackage()
Returns the package of this validator switch.


validate

protected boolean validate(int classifierID,
                           Object value,
                           DiagnosticChain diagnostics,
                           Map context)
Calls validateXXX for the corresonding classifier of the model.


validateElement

public boolean validateElement(Element element,
                               DiagnosticChain diagnostics,
                               Map context)


validateElement_validateNotOwnSelf

public boolean validateElement_validateNotOwnSelf(Element element,
                                                  DiagnosticChain diagnostics,
                                                  Map context)
Validates the validateNotOwnSelf constraint of 'Element'.


validateElement_validateHasOwner

public boolean validateElement_validateHasOwner(Element element,
                                                DiagnosticChain diagnostics,
                                                Map context)
Validates the validateHasOwner constraint of 'Element'.


validateMultiplicityElement

public boolean validateMultiplicityElement(MultiplicityElement multiplicityElement,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateMultiplicityElement_validateUpperGt0

public boolean validateMultiplicityElement_validateUpperGt0(MultiplicityElement multiplicityElement,
                                                            DiagnosticChain diagnostics,
                                                            Map context)
Validates the validateUpperGt0 constraint of 'Multiplicity Element'.


validateMultiplicityElement_validateLowerGe0

public boolean validateMultiplicityElement_validateLowerGe0(MultiplicityElement multiplicityElement,
                                                            DiagnosticChain diagnostics,
                                                            Map context)
Validates the validateLowerGe0 constraint of 'Multiplicity Element'.


validateMultiplicityElement_validateUpperGeLower

public boolean validateMultiplicityElement_validateUpperGeLower(MultiplicityElement multiplicityElement,
                                                                DiagnosticChain diagnostics,
                                                                Map context)
Validates the validateUpperGeLower constraint of 'Multiplicity Element'.


validateMultiplicityElement_validateLowerEqLowerbound

public boolean validateMultiplicityElement_validateLowerEqLowerbound(MultiplicityElement multiplicityElement,
                                                                     DiagnosticChain diagnostics,
                                                                     Map context)
Validates the validateLowerEqLowerbound constraint of 'Multiplicity Element'.


validateMultiplicityElement_validateUpperEqUpperbound

public boolean validateMultiplicityElement_validateUpperEqUpperbound(MultiplicityElement multiplicityElement,
                                                                     DiagnosticChain diagnostics,
                                                                     Map context)
Validates the validateUpperEqUpperbound constraint of 'Multiplicity Element'.


validateClass

public boolean validateClass(Class class_,
                             DiagnosticChain diagnostics,
                             Map context)


validateType

public boolean validateType(Type type,
                            DiagnosticChain diagnostics,
                            Map context)


validateProperty

public boolean validateProperty(Property property,
                                DiagnosticChain diagnostics,
                                Map context)


validateProperty_validateOppositeIsOtherEnd

public boolean validateProperty_validateOppositeIsOtherEnd(Property property,
                                                           DiagnosticChain diagnostics,
                                                           Map context)
Validates the validateOppositeIsOtherEnd constraint of 'Property'.


validateProperty_validateMultiplicityOfComposite

public boolean validateProperty_validateMultiplicityOfComposite(Property property,
                                                                DiagnosticChain diagnostics,
                                                                Map context)
Validates the validateMultiplicityOfComposite constraint of 'Property'.


validateProperty_validateSubsettingContext

public boolean validateProperty_validateSubsettingContext(Property property,
                                                          DiagnosticChain diagnostics,
                                                          Map context)
Validates the validateSubsettingContext constraint of 'Property'.


validateProperty_validateNavigablePropertyRedefinition

public boolean validateProperty_validateNavigablePropertyRedefinition(Property property,
                                                                      DiagnosticChain diagnostics,
                                                                      Map context)
Validates the validateNavigablePropertyRedefinition constraint of 'Property'.


validateProperty_validateSubsettingRules

public boolean validateProperty_validateSubsettingRules(Property property,
                                                        DiagnosticChain diagnostics,
                                                        Map context)
Validates the validateSubsettingRules constraint of 'Property'.


validateProperty_validateNavigableReadonly

public boolean validateProperty_validateNavigableReadonly(Property property,
                                                          DiagnosticChain diagnostics,
                                                          Map context)
Validates the validateNavigableReadonly constraint of 'Property'.


validateProperty_validateDerivedUnionIsDerived

public boolean validateProperty_validateDerivedUnionIsDerived(Property property,
                                                              DiagnosticChain diagnostics,
                                                              Map context)
Validates the validateDerivedUnionIsDerived constraint of 'Property'.


validateOperation

public boolean validateOperation(Operation operation,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateOperation_validateTypeOfResult

public boolean validateOperation_validateTypeOfResult(Operation operation,
                                                      DiagnosticChain diagnostics,
                                                      Map context)
Validates the validateTypeOfResult constraint of 'Operation'.


validateOperation_validateOnlyBodyForQuery

public boolean validateOperation_validateOnlyBodyForQuery(Operation operation,
                                                          DiagnosticChain diagnostics,
                                                          Map context)
Validates the validateOnlyBodyForQuery constraint of 'Operation'.


validateTypedElement

public boolean validateTypedElement(TypedElement typedElement,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateParameter

public boolean validateParameter(Parameter parameter,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateNamedElement

public boolean validateNamedElement(NamedElement namedElement,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateNamedElement_validateNoName

public boolean validateNamedElement_validateNoName(NamedElement namedElement,
                                                   DiagnosticChain diagnostics,
                                                   Map context)
Validates the validateNoName constraint of 'Named Element'.


validateNamedElement_validateQualifiedName

public boolean validateNamedElement_validateQualifiedName(NamedElement namedElement,
                                                          DiagnosticChain diagnostics,
                                                          Map context)
Validates the validateQualifiedName constraint of 'Named Element'.


validateNamedElement_validateVisibilityNeedsOwnership

public boolean validateNamedElement_validateVisibilityNeedsOwnership(NamedElement namedElement,
                                                                     DiagnosticChain diagnostics,
                                                                     Map context)
Validates the validateVisibilityNeedsOwnership constraint of 'Named Element'.


validatePackage

public boolean validatePackage(Package package_,
                               DiagnosticChain diagnostics,
                               Map context)


validatePackage_validateElementsPublicOrPrivate

public boolean validatePackage_validateElementsPublicOrPrivate(Package package_,
                                                               DiagnosticChain diagnostics,
                                                               Map context)
Validates the validateElementsPublicOrPrivate constraint of 'Package'.


validateEnumeration

public boolean validateEnumeration(Enumeration enumeration,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateDataType

public boolean validateDataType(DataType dataType,
                                DiagnosticChain diagnostics,
                                Map context)


validateEnumerationLiteral

public boolean validateEnumerationLiteral(EnumerationLiteral enumerationLiteral,
                                          DiagnosticChain diagnostics,
                                          Map context)


validatePrimitiveType

public boolean validatePrimitiveType(PrimitiveType primitiveType,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateComment

public boolean validateComment(Comment comment,
                               DiagnosticChain diagnostics,
                               Map context)


validateDirectedRelationship

public boolean validateDirectedRelationship(DirectedRelationship directedRelationship,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateRelationship

public boolean validateRelationship(Relationship relationship,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateOpaqueExpression

public boolean validateOpaqueExpression(OpaqueExpression opaqueExpression,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateValueSpecification

public boolean validateValueSpecification(ValueSpecification valueSpecification,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateExpression

public boolean validateExpression(Expression expression,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateNamespace

public boolean validateNamespace(Namespace namespace,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateNamespace_validateMembersAreDistinguishable

public boolean validateNamespace_validateMembersAreDistinguishable(Namespace namespace,
                                                                   DiagnosticChain diagnostics,
                                                                   Map context)
Validates the validateMembersAreDistinguishable constraint of 'Namespace'.


validateNamespace_validateImportedMemberDerived

public boolean validateNamespace_validateImportedMemberDerived(Namespace namespace,
                                                               DiagnosticChain diagnostics,
                                                               Map context)
Validates the validateImportedMemberDerived constraint of 'Namespace'.


validateClassifier

public boolean validateClassifier(Classifier classifier,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateClassifier_validateNoCyclesInGeneralization

public boolean validateClassifier_validateNoCyclesInGeneralization(Classifier classifier,
                                                                   DiagnosticChain diagnostics,
                                                                   Map context)
Validates the validateNoCyclesInGeneralization constraint of 'Classifier'.


validateClassifier_validateSpecializeType

public boolean validateClassifier_validateSpecializeType(Classifier classifier,
                                                         DiagnosticChain diagnostics,
                                                         Map context)
Validates the validateSpecializeType constraint of 'Classifier'.


validateClassifier_validateInheritedMember

public boolean validateClassifier_validateInheritedMember(Classifier classifier,
                                                          DiagnosticChain diagnostics,
                                                          Map context)
Validates the validateInheritedMember constraint of 'Classifier'.


validateClassifier_validateGeneralEqualsParents

public boolean validateClassifier_validateGeneralEqualsParents(Classifier classifier,
                                                               DiagnosticChain diagnostics,
                                                               Map context)
Validates the validateGeneralEqualsParents constraint of 'Classifier'.


validateFeature

public boolean validateFeature(Feature feature,
                               DiagnosticChain diagnostics,
                               Map context)


validateLiteralBoolean

public boolean validateLiteralBoolean(LiteralBoolean literalBoolean,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateLiteralSpecification

public boolean validateLiteralSpecification(LiteralSpecification literalSpecification,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateLiteralString

public boolean validateLiteralString(LiteralString literalString,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateLiteralNull

public boolean validateLiteralNull(LiteralNull literalNull,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateLiteralInteger

public boolean validateLiteralInteger(LiteralInteger literalInteger,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateLiteralUnlimitedNatural

public boolean validateLiteralUnlimitedNatural(LiteralUnlimitedNatural literalUnlimitedNatural,
                                               DiagnosticChain diagnostics,
                                               Map context)


validateConstraint

public boolean validateConstraint(Constraint constraint,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateConstraint_validateNotApplyToSelf

public boolean validateConstraint_validateNotApplyToSelf(Constraint constraint,
                                                         DiagnosticChain diagnostics,
                                                         Map context)
Validates the validateNotApplyToSelf constraint of 'Constraint'.


validateBehavioralFeature

public boolean validateBehavioralFeature(BehavioralFeature behavioralFeature,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateStructuralFeature

public boolean validateStructuralFeature(StructuralFeature structuralFeature,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateGeneralization

public boolean validateGeneralization(Generalization generalization,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateRedefinableElement

public boolean validateRedefinableElement(RedefinableElement redefinableElement,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateRedefinableElement_validateRedefinitionContextValid

public boolean validateRedefinableElement_validateRedefinitionContextValid(RedefinableElement redefinableElement,
                                                                           DiagnosticChain diagnostics,
                                                                           Map context)
Validates the validateRedefinitionContextValid constraint of 'Redefinable Element'.


validateRedefinableElement_validateRedefinitionConsistent

public boolean validateRedefinableElement_validateRedefinitionConsistent(RedefinableElement redefinableElement,
                                                                         DiagnosticChain diagnostics,
                                                                         Map context)
Validates the validateRedefinitionConsistent constraint of 'Redefinable Element'.


validateInstanceSpecification

public boolean validateInstanceSpecification(InstanceSpecification instanceSpecification,
                                             DiagnosticChain diagnostics,
                                             Map context)


validateInstanceSpecification_validateSlotsAreDefined

public boolean validateInstanceSpecification_validateSlotsAreDefined(InstanceSpecification instanceSpecification,
                                                                     DiagnosticChain diagnostics,
                                                                     Map context)
Validates the validateSlotsAreDefined constraint of 'Instance Specification'.


validateInstanceSpecification_validateNoDuplicateSlots

public boolean validateInstanceSpecification_validateNoDuplicateSlots(InstanceSpecification instanceSpecification,
                                                                      DiagnosticChain diagnostics,
                                                                      Map context)
Validates the validateNoDuplicateSlots constraint of 'Instance Specification'.


validateSlot

public boolean validateSlot(Slot slot,
                            DiagnosticChain diagnostics,
                            Map context)


validateInstanceValue

public boolean validateInstanceValue(InstanceValue instanceValue,
                                     DiagnosticChain diagnostics,
                                     Map context)


validatePackageableElement

public boolean validatePackageableElement(PackageableElement packageableElement,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateElementImport

public boolean validateElementImport(ElementImport elementImport,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateElementImport_validateVisibilityPublicOrPrivate

public boolean validateElementImport_validateVisibilityPublicOrPrivate(ElementImport elementImport,
                                                                       DiagnosticChain diagnostics,
                                                                       Map context)
Validates the validateVisibilityPublicOrPrivate constraint of 'Element Import'.


validateElementImport_validateImportedElementIsPublic

public boolean validateElementImport_validateImportedElementIsPublic(ElementImport elementImport,
                                                                     DiagnosticChain diagnostics,
                                                                     Map context)
Validates the validateImportedElementIsPublic constraint of 'Element Import'.


validatePackageImport

public boolean validatePackageImport(PackageImport packageImport,
                                     DiagnosticChain diagnostics,
                                     Map context)


validatePackageImport_validatePublicOrPrivate

public boolean validatePackageImport_validatePublicOrPrivate(PackageImport packageImport,
                                                             DiagnosticChain diagnostics,
                                                             Map context)
Validates the validatePublicOrPrivate constraint of 'Package Import'.


validateAssociation

public boolean validateAssociation(Association association,
                                   DiagnosticChain diagnostics,
                                   Map context)


validatePackageMerge

public boolean validatePackageMerge(PackageMerge packageMerge,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateStereotype

public boolean validateStereotype(Stereotype stereotype,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateProfile

public boolean validateProfile(Profile profile,
                               DiagnosticChain diagnostics,
                               Map context)


validateProfileApplication

public boolean validateProfileApplication(ProfileApplication profileApplication,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateExtension

public boolean validateExtension(Extension extension,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateExtensionEnd

public boolean validateExtensionEnd(ExtensionEnd extensionEnd,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateAssociationClass

public boolean validateAssociationClass(AssociationClass associationClass,
                                        DiagnosticChain diagnostics,
                                        Map context)


validatePermission

public boolean validatePermission(Permission permission,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateDependency

public boolean validateDependency(Dependency dependency,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateUsage

public boolean validateUsage(Usage usage,
                             DiagnosticChain diagnostics,
                             Map context)


validateAbstraction

public boolean validateAbstraction(Abstraction abstraction,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateRealization

public boolean validateRealization(Realization realization,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateSubstitution

public boolean validateSubstitution(Substitution substitution,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateInformationItem

public boolean validateInformationItem(InformationItem informationItem,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateInformationFlow

public boolean validateInformationFlow(InformationFlow informationFlow,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateModel

public boolean validateModel(Model model,
                             DiagnosticChain diagnostics,
                             Map context)


validateGeneralizationSet

public boolean validateGeneralizationSet(GeneralizationSet generalizationSet,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateBehavior

public boolean validateBehavior(Behavior behavior,
                                DiagnosticChain diagnostics,
                                Map context)


validateBehavioredClassifier

public boolean validateBehavioredClassifier(BehavioredClassifier behavioredClassifier,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateActivity

public boolean validateActivity(Activity activity,
                                DiagnosticChain diagnostics,
                                Map context)


validateActor

public boolean validateActor(Actor actor,
                             DiagnosticChain diagnostics,
                             Map context)


validateExtend

public boolean validateExtend(Extend extend,
                              DiagnosticChain diagnostics,
                              Map context)


validateUseCase

public boolean validateUseCase(UseCase useCase,
                               DiagnosticChain diagnostics,
                               Map context)


validateExtensionPoint

public boolean validateExtensionPoint(ExtensionPoint extensionPoint,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateInclude

public boolean validateInclude(Include include,
                               DiagnosticChain diagnostics,
                               Map context)


validateActivityEdge

public boolean validateActivityEdge(ActivityEdge activityEdge,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateActivityGroup

public boolean validateActivityGroup(ActivityGroup activityGroup,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateActivityNode

public boolean validateActivityNode(ActivityNode activityNode,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateAction

public boolean validateAction(Action action,
                              DiagnosticChain diagnostics,
                              Map context)


validateObjectNode

public boolean validateObjectNode(ObjectNode objectNode,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateControlNode

public boolean validateControlNode(ControlNode controlNode,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateControlFlow

public boolean validateControlFlow(ControlFlow controlFlow,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateObjectFlow

public boolean validateObjectFlow(ObjectFlow objectFlow,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateInitialNode

public boolean validateInitialNode(InitialNode initialNode,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateFinalNode

public boolean validateFinalNode(FinalNode finalNode,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateActivityFinalNode

public boolean validateActivityFinalNode(ActivityFinalNode activityFinalNode,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateDecisionNode

public boolean validateDecisionNode(DecisionNode decisionNode,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateMergeNode

public boolean validateMergeNode(MergeNode mergeNode,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateExecutableNode

public boolean validateExecutableNode(ExecutableNode executableNode,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateOutputPin

public boolean validateOutputPin(OutputPin outputPin,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateInputPin

public boolean validateInputPin(InputPin inputPin,
                                DiagnosticChain diagnostics,
                                Map context)


validatePin

public boolean validatePin(Pin pin,
                           DiagnosticChain diagnostics,
                           Map context)


validateActivityParameterNode

public boolean validateActivityParameterNode(ActivityParameterNode activityParameterNode,
                                             DiagnosticChain diagnostics,
                                             Map context)


validateValuePin

public boolean validateValuePin(ValuePin valuePin,
                                DiagnosticChain diagnostics,
                                Map context)


validateArtifact

public boolean validateArtifact(Artifact artifact,
                                DiagnosticChain diagnostics,
                                Map context)


validateManifestation

public boolean validateManifestation(Manifestation manifestation,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateConnectorEnd

public boolean validateConnectorEnd(ConnectorEnd connectorEnd,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateConnectableElement

public boolean validateConnectableElement(ConnectableElement connectableElement,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateConnector

public boolean validateConnector(Connector connector,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateStructuredClassifier

public boolean validateStructuredClassifier(StructuredClassifier structuredClassifier,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateInterface

public boolean validateInterface(Interface interface_,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateImplementation

public boolean validateImplementation(Implementation implementation,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateInteraction

public boolean validateInteraction(Interaction interaction,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateInteractionFragment

public boolean validateInteractionFragment(InteractionFragment interactionFragment,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateLifeline

public boolean validateLifeline(Lifeline lifeline,
                                DiagnosticChain diagnostics,
                                Map context)


validateMessage

public boolean validateMessage(Message message,
                               DiagnosticChain diagnostics,
                               Map context)


validateGeneralOrdering

public boolean validateGeneralOrdering(GeneralOrdering generalOrdering,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateMessageEnd

public boolean validateMessageEnd(MessageEnd messageEnd,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateEventOccurrence

public boolean validateEventOccurrence(EventOccurrence eventOccurrence,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateExecutionOccurrence

public boolean validateExecutionOccurrence(ExecutionOccurrence executionOccurrence,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateStateInvariant

public boolean validateStateInvariant(StateInvariant stateInvariant,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateStop

public boolean validateStop(Stop stop,
                            DiagnosticChain diagnostics,
                            Map context)


validateCollaborationOccurrence

public boolean validateCollaborationOccurrence(CollaborationOccurrence collaborationOccurrence,
                                               DiagnosticChain diagnostics,
                                               Map context)


validateCollaboration

public boolean validateCollaboration(Collaboration collaboration,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateTemplateSignature

public boolean validateTemplateSignature(TemplateSignature templateSignature,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateTemplateParameter

public boolean validateTemplateParameter(TemplateParameter templateParameter,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateTemplateableElement

public boolean validateTemplateableElement(TemplateableElement templateableElement,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateStringExpression

public boolean validateStringExpression(StringExpression stringExpression,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateParameterableElement

public boolean validateParameterableElement(ParameterableElement parameterableElement,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateTemplateBinding

public boolean validateTemplateBinding(TemplateBinding templateBinding,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateTemplateParameterSubstitution

public boolean validateTemplateParameterSubstitution(TemplateParameterSubstitution templateParameterSubstitution,
                                                     DiagnosticChain diagnostics,
                                                     Map context)


validateOperationTemplateParameter

public boolean validateOperationTemplateParameter(OperationTemplateParameter operationTemplateParameter,
                                                  DiagnosticChain diagnostics,
                                                  Map context)


validateClassifierTemplateParameter

public boolean validateClassifierTemplateParameter(ClassifierTemplateParameter classifierTemplateParameter,
                                                   DiagnosticChain diagnostics,
                                                   Map context)


validateParameterableClassifier

public boolean validateParameterableClassifier(ParameterableClassifier parameterableClassifier,
                                               DiagnosticChain diagnostics,
                                               Map context)


validateRedefinableTemplateSignature

public boolean validateRedefinableTemplateSignature(RedefinableTemplateSignature redefinableTemplateSignature,
                                                    DiagnosticChain diagnostics,
                                                    Map context)


validateTemplateableClassifier

public boolean validateTemplateableClassifier(TemplateableClassifier templateableClassifier,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateConnectableElementTemplateParameter

public boolean validateConnectableElementTemplateParameter(ConnectableElementTemplateParameter connectableElementTemplateParameter,
                                                           DiagnosticChain diagnostics,
                                                           Map context)


validatePort

public boolean validatePort(Port port,
                            DiagnosticChain diagnostics,
                            Map context)


validateEncapsulatedClassifier

public boolean validateEncapsulatedClassifier(EncapsulatedClassifier encapsulatedClassifier,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateVariable

public boolean validateVariable(Variable variable,
                                DiagnosticChain diagnostics,
                                Map context)


validateStructuredActivityNode

public boolean validateStructuredActivityNode(StructuredActivityNode structuredActivityNode,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateConditionalNode

public boolean validateConditionalNode(ConditionalNode conditionalNode,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateClause

public boolean validateClause(Clause clause,
                              DiagnosticChain diagnostics,
                              Map context)


validateLoopNode

public boolean validateLoopNode(LoopNode loopNode,
                                DiagnosticChain diagnostics,
                                Map context)


validateCallTrigger

public boolean validateCallTrigger(CallTrigger callTrigger,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateMessageTrigger

public boolean validateMessageTrigger(MessageTrigger messageTrigger,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateChangeTrigger

public boolean validateChangeTrigger(ChangeTrigger changeTrigger,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateTrigger

public boolean validateTrigger(Trigger trigger,
                               DiagnosticChain diagnostics,
                               Map context)


validateReception

public boolean validateReception(Reception reception,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateSignal

public boolean validateSignal(Signal signal,
                              DiagnosticChain diagnostics,
                              Map context)


validateSignalTrigger

public boolean validateSignalTrigger(SignalTrigger signalTrigger,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateTimeTrigger

public boolean validateTimeTrigger(TimeTrigger timeTrigger,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateAnyTrigger

public boolean validateAnyTrigger(AnyTrigger anyTrigger,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateExpansionNode

public boolean validateExpansionNode(ExpansionNode expansionNode,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateExpansionRegion

public boolean validateExpansionRegion(ExpansionRegion expansionRegion,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateExceptionHandler

public boolean validateExceptionHandler(ExceptionHandler exceptionHandler,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateStateMachine

public boolean validateStateMachine(StateMachine stateMachine,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateRegion

public boolean validateRegion(Region region,
                              DiagnosticChain diagnostics,
                              Map context)


validatePseudostate

public boolean validatePseudostate(Pseudostate pseudostate,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateState

public boolean validateState(State state,
                             DiagnosticChain diagnostics,
                             Map context)


validateVertex

public boolean validateVertex(Vertex vertex,
                              DiagnosticChain diagnostics,
                              Map context)


validateConnectionPointReference

public boolean validateConnectionPointReference(ConnectionPointReference connectionPointReference,
                                                DiagnosticChain diagnostics,
                                                Map context)


validateTransition

public boolean validateTransition(Transition transition,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateFinalState

public boolean validateFinalState(FinalState finalState,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateForkNode

public boolean validateForkNode(ForkNode forkNode,
                                DiagnosticChain diagnostics,
                                Map context)


validateJoinNode

public boolean validateJoinNode(JoinNode joinNode,
                                DiagnosticChain diagnostics,
                                Map context)


validateFlowFinalNode

public boolean validateFlowFinalNode(FlowFinalNode flowFinalNode,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateCentralBufferNode

public boolean validateCentralBufferNode(CentralBufferNode centralBufferNode,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateActivityPartition

public boolean validateActivityPartition(ActivityPartition activityPartition,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateInteractionOccurrence

public boolean validateInteractionOccurrence(InteractionOccurrence interactionOccurrence,
                                             DiagnosticChain diagnostics,
                                             Map context)


validateGate

public boolean validateGate(Gate gate,
                            DiagnosticChain diagnostics,
                            Map context)


validatePartDecomposition

public boolean validatePartDecomposition(PartDecomposition partDecomposition,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateInteractionOperand

public boolean validateInteractionOperand(InteractionOperand interactionOperand,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateInteractionConstraint

public boolean validateInteractionConstraint(InteractionConstraint interactionConstraint,
                                             DiagnosticChain diagnostics,
                                             Map context)


validateCombinedFragment

public boolean validateCombinedFragment(CombinedFragment combinedFragment,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateContinuation

public boolean validateContinuation(Continuation continuation,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateCreateObjectAction

public boolean validateCreateObjectAction(CreateObjectAction createObjectAction,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateDestroyObjectAction

public boolean validateDestroyObjectAction(DestroyObjectAction destroyObjectAction,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateTestIdentityAction

public boolean validateTestIdentityAction(TestIdentityAction testIdentityAction,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateReadSelfAction

public boolean validateReadSelfAction(ReadSelfAction readSelfAction,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateStructuralFeatureAction

public boolean validateStructuralFeatureAction(StructuralFeatureAction structuralFeatureAction,
                                               DiagnosticChain diagnostics,
                                               Map context)


validateReadStructuralFeatureAction

public boolean validateReadStructuralFeatureAction(ReadStructuralFeatureAction readStructuralFeatureAction,
                                                   DiagnosticChain diagnostics,
                                                   Map context)


validateWriteStructuralFeatureAction

public boolean validateWriteStructuralFeatureAction(WriteStructuralFeatureAction writeStructuralFeatureAction,
                                                    DiagnosticChain diagnostics,
                                                    Map context)


validateClearStructuralFeatureAction

public boolean validateClearStructuralFeatureAction(ClearStructuralFeatureAction clearStructuralFeatureAction,
                                                    DiagnosticChain diagnostics,
                                                    Map context)


validateRemoveStructuralFeatureValueAction

public boolean validateRemoveStructuralFeatureValueAction(RemoveStructuralFeatureValueAction removeStructuralFeatureValueAction,
                                                          DiagnosticChain diagnostics,
                                                          Map context)


validateAddStructuralFeatureValueAction

public boolean validateAddStructuralFeatureValueAction(AddStructuralFeatureValueAction addStructuralFeatureValueAction,
                                                       DiagnosticChain diagnostics,
                                                       Map context)


validateLinkAction

public boolean validateLinkAction(LinkAction linkAction,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateLinkEndData

public boolean validateLinkEndData(LinkEndData linkEndData,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateReadLinkAction

public boolean validateReadLinkAction(ReadLinkAction readLinkAction,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateLinkEndCreationData

public boolean validateLinkEndCreationData(LinkEndCreationData linkEndCreationData,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateCreateLinkAction

public boolean validateCreateLinkAction(CreateLinkAction createLinkAction,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateWriteLinkAction

public boolean validateWriteLinkAction(WriteLinkAction writeLinkAction,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateDestroyLinkAction

public boolean validateDestroyLinkAction(DestroyLinkAction destroyLinkAction,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateClearAssociationAction

public boolean validateClearAssociationAction(ClearAssociationAction clearAssociationAction,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateVariableAction

public boolean validateVariableAction(VariableAction variableAction,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateReadVariableAction

public boolean validateReadVariableAction(ReadVariableAction readVariableAction,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateWriteVariableAction

public boolean validateWriteVariableAction(WriteVariableAction writeVariableAction,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateClearVariableAction

public boolean validateClearVariableAction(ClearVariableAction clearVariableAction,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateAddVariableValueAction

public boolean validateAddVariableValueAction(AddVariableValueAction addVariableValueAction,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateRemoveVariableValueAction

public boolean validateRemoveVariableValueAction(RemoveVariableValueAction removeVariableValueAction,
                                                 DiagnosticChain diagnostics,
                                                 Map context)


validateApplyFunctionAction

public boolean validateApplyFunctionAction(ApplyFunctionAction applyFunctionAction,
                                           DiagnosticChain diagnostics,
                                           Map context)


validatePrimitiveFunction

public boolean validatePrimitiveFunction(PrimitiveFunction primitiveFunction,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateCallAction

public boolean validateCallAction(CallAction callAction,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateInvocationAction

public boolean validateInvocationAction(InvocationAction invocationAction,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateSendSignalAction

public boolean validateSendSignalAction(SendSignalAction sendSignalAction,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateBroadcastSignalAction

public boolean validateBroadcastSignalAction(BroadcastSignalAction broadcastSignalAction,
                                             DiagnosticChain diagnostics,
                                             Map context)


validateSendObjectAction

public boolean validateSendObjectAction(SendObjectAction sendObjectAction,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateCallOperationAction

public boolean validateCallOperationAction(CallOperationAction callOperationAction,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateCallBehaviorAction

public boolean validateCallBehaviorAction(CallBehaviorAction callBehaviorAction,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateDataStoreNode

public boolean validateDataStoreNode(DataStoreNode dataStoreNode,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateInterruptibleActivityRegion

public boolean validateInterruptibleActivityRegion(InterruptibleActivityRegion interruptibleActivityRegion,
                                                   DiagnosticChain diagnostics,
                                                   Map context)


validateParameterSet

public boolean validateParameterSet(ParameterSet parameterSet,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateDeployment

public boolean validateDeployment(Deployment deployment,
                                  DiagnosticChain diagnostics,
                                  Map context)


validateDeployedArtifact

public boolean validateDeployedArtifact(DeployedArtifact deployedArtifact,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateDeploymentTarget

public boolean validateDeploymentTarget(DeploymentTarget deploymentTarget,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateNode

public boolean validateNode(Node node,
                            DiagnosticChain diagnostics,
                            Map context)


validateDevice

public boolean validateDevice(Device device,
                              DiagnosticChain diagnostics,
                              Map context)


validateExecutionEnvironment

public boolean validateExecutionEnvironment(ExecutionEnvironment executionEnvironment,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateCommunicationPath

public boolean validateCommunicationPath(CommunicationPath communicationPath,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateReadExtentAction

public boolean validateReadExtentAction(ReadExtentAction readExtentAction,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateReclassifyObjectAction

public boolean validateReclassifyObjectAction(ReclassifyObjectAction reclassifyObjectAction,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateReadIsClassifiedObjectAction

public boolean validateReadIsClassifiedObjectAction(ReadIsClassifiedObjectAction readIsClassifiedObjectAction,
                                                    DiagnosticChain diagnostics,
                                                    Map context)


validateStartOwnedBehaviorAction

public boolean validateStartOwnedBehaviorAction(StartOwnedBehaviorAction startOwnedBehaviorAction,
                                                DiagnosticChain diagnostics,
                                                Map context)


validateQualifierValue

public boolean validateQualifierValue(QualifierValue qualifierValue,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateReadLinkObjectEndAction

public boolean validateReadLinkObjectEndAction(ReadLinkObjectEndAction readLinkObjectEndAction,
                                               DiagnosticChain diagnostics,
                                               Map context)


validateReadLinkObjectEndQualifierAction

public boolean validateReadLinkObjectEndQualifierAction(ReadLinkObjectEndQualifierAction readLinkObjectEndQualifierAction,
                                                        DiagnosticChain diagnostics,
                                                        Map context)


validateCreateLinkObjectAction

public boolean validateCreateLinkObjectAction(CreateLinkObjectAction createLinkObjectAction,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateAcceptEventAction

public boolean validateAcceptEventAction(AcceptEventAction acceptEventAction,
                                         DiagnosticChain diagnostics,
                                         Map context)


validateAcceptCallAction

public boolean validateAcceptCallAction(AcceptCallAction acceptCallAction,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateReplyAction

public boolean validateReplyAction(ReplyAction replyAction,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateRaiseExceptionAction

public boolean validateRaiseExceptionAction(RaiseExceptionAction raiseExceptionAction,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateTimeExpression

public boolean validateTimeExpression(TimeExpression timeExpression,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateDuration

public boolean validateDuration(Duration duration,
                                DiagnosticChain diagnostics,
                                Map context)


validateTimeObservationAction

public boolean validateTimeObservationAction(TimeObservationAction timeObservationAction,
                                             DiagnosticChain diagnostics,
                                             Map context)


validateDurationInterval

public boolean validateDurationInterval(DurationInterval durationInterval,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateInterval

public boolean validateInterval(Interval interval,
                                DiagnosticChain diagnostics,
                                Map context)


validateTimeConstraint

public boolean validateTimeConstraint(TimeConstraint timeConstraint,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateIntervalConstraint

public boolean validateIntervalConstraint(IntervalConstraint intervalConstraint,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateTimeInterval

public boolean validateTimeInterval(TimeInterval timeInterval,
                                    DiagnosticChain diagnostics,
                                    Map context)


validateDurationObservationAction

public boolean validateDurationObservationAction(DurationObservationAction durationObservationAction,
                                                 DiagnosticChain diagnostics,
                                                 Map context)


validateDurationConstraint

public boolean validateDurationConstraint(DurationConstraint durationConstraint,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateComponent

public boolean validateComponent(Component component,
                                 DiagnosticChain diagnostics,
                                 Map context)


validateProtocolConformance

public boolean validateProtocolConformance(ProtocolConformance protocolConformance,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateProtocolStateMachine

public boolean validateProtocolStateMachine(ProtocolStateMachine protocolStateMachine,
                                            DiagnosticChain diagnostics,
                                            Map context)


validateProtocolTransition

public boolean validateProtocolTransition(ProtocolTransition protocolTransition,
                                          DiagnosticChain diagnostics,
                                          Map context)


validateDeploymentSpecification

public boolean validateDeploymentSpecification(DeploymentSpecification deploymentSpecification,
                                               DiagnosticChain diagnostics,
                                               Map context)


validateVisibilityKind

public boolean validateVisibilityKind(Object visibilityKind,
                                      DiagnosticChain diagnostics,
                                      Map context)


validateParameterDirectionKind

public boolean validateParameterDirectionKind(Object parameterDirectionKind,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateAggregationKind

public boolean validateAggregationKind(Object aggregationKind,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateMessageKind

public boolean validateMessageKind(Object messageKind,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateMessageSort

public boolean validateMessageSort(Object messageSort,
                                   DiagnosticChain diagnostics,
                                   Map context)


validateCallConcurrencyKind

public boolean validateCallConcurrencyKind(Object callConcurrencyKind,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateExpansionKind

public boolean validateExpansionKind(Object expansionKind,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateTransitionKind

public boolean validateTransitionKind(Object transitionKind,
                                      DiagnosticChain diagnostics,
                                      Map context)


validatePseudostateKind

public boolean validatePseudostateKind(Object pseudostateKind,
                                       DiagnosticChain diagnostics,
                                       Map context)


validateInteractionOperator

public boolean validateInteractionOperator(Object interactionOperator,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateParameterEffectKind

public boolean validateParameterEffectKind(Object parameterEffectKind,
                                           DiagnosticChain diagnostics,
                                           Map context)


validateObjectNodeOrderingKind

public boolean validateObjectNodeOrderingKind(Object objectNodeOrderingKind,
                                              DiagnosticChain diagnostics,
                                              Map context)


validateConnectorKind

public boolean validateConnectorKind(Object connectorKind,
                                     DiagnosticChain diagnostics,
                                     Map context)


validateInteger

public boolean validateInteger(int integer,
                               DiagnosticChain diagnostics,
                               Map context)


validateBoolean

public boolean validateBoolean(boolean boolean_,
                               DiagnosticChain diagnostics,
                               Map context)


validateString

public boolean validateString(String string,
                              DiagnosticChain diagnostics,
                              Map context)


validateUnlimitedNatural

public boolean validateUnlimitedNatural(int unlimitedNatural,
                                        DiagnosticChain diagnostics,
                                        Map context)


validateSequence

public boolean validateSequence(List sequence,
                                DiagnosticChain diagnostics,
                                Map context)


validateSet

public boolean validateSet(Set set,
                           DiagnosticChain diagnostics,
                           Map context)


Copyright 2003, 2004 IBM Corporation and others.
All Rights Reserved.