org.eclipse.uml2.uml.profile.standard.util
Class StandardValidator

java.lang.Object
  org.eclipse.emf.ecore.util.EObjectValidator
      org.eclipse.uml2.uml.profile.standard.util.StandardValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator

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

The Validator for the model.

See Also:

StandardPackage

Nested Class Summary

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

org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator

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

org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate

Field Summary

static int	CALL__CLIENT_AND_SUPPLIER_ARE_OPERATIONS The code for constraint 'Validate Client And Supplier Are Operations' of 'Call'
static int	CREATE__CLIENT_AND_SUPPLIER_ARE_CLASSIFIERS The code for constraint 'Validate Client And Supplier Are Classifiers' of 'Create'
protected static int	DIAGNOSTIC_CODE_COUNT A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class
static java.lang.String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package
static int	IMPLEMENT__IMPLEMENTS_SPECIFICATION The code for constraint 'Validate Implements Specification' of 'Implement'
static int	IMPLEMENTATION_CLASS__CANNOT_BE_REALIZATION The code for constraint 'Validate Cannot Be Realization' of 'Implementation Class'
static StandardValidator	INSTANCE The cached model package
static int	INSTANTIATE__CLIENT_AND_SUPPLIER_ARE_CLASSIFIERS The code for constraint 'Validate Client And Supplier Are Classifiers' of 'Instantiate'
static int	REALIZATION__CANNOT_BE_IMPLEMENTATION_CLASS The code for constraint 'Validate Cannot Be Implementation Class' of 'Realization'
static int	SEND__CLIENT_OPERATION_SENDS_SUPPLIER_SIGNAL The code for constraint 'Validate Client Operation Sends Supplier Signal' of 'Send'
static int	SPECIFICATION__CANNOT_BE_TYPE The code for constraint 'Validate Cannot Be Type' of 'Specification'
static int	TYPE__CANNOT_BE_SPECIFICATION The code for constraint 'Validate Cannot Be Specification' of 'Type'
static int	UTILITY__IS_UTILITY The code for constraint 'Validate Is Utility' of 'Utility'

Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator

DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

StandardValidator()
Creates an instance of the switch

Method Summary

protected org.eclipse.emf.ecore.EPackage	getEPackage() Returns the package of this validator switch
org.eclipse.emf.common.util.ResourceLocator	getResourceLocator() Returns the resource locator that will be used to fetch messages for this validator's diagnostics
protected boolean	validate(int classifierID, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Calls validateXXX for the corresponding classifier of the model
boolean	validateAuxiliary(Auxiliary auxiliary, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateBuildComponent(BuildComponent buildComponent, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCall_validateClientAndSupplierAreOperations(Call call, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateClientAndSupplierAreOperations constraint of 'Call'
boolean	validateCall(Call call, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCreate_validateClientAndSupplierAreClassifiers(Create create, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateClientAndSupplierAreClassifiers constraint of 'Create'
boolean	validateCreate(Create create, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateDerive(Derive derive, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateDestroy(Destroy destroy, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateDocument(Document document, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateEntity(Entity entity, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateExecutable(Executable executable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateFile(File file, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateFocus(Focus focus, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateFramework(Framework framework, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateImplement_validateImplementsSpecification(Implement implement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateImplementsSpecification constraint of 'Implement'
boolean	validateImplement(Implement implement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateImplementationClass_validateCannotBeRealization(ImplementationClass implementationClass, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateCannotBeRealization constraint of 'Implementation Class'
boolean	validateImplementationClass(ImplementationClass implementationClass, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateInstantiate_validateClientAndSupplierAreClassifiers(Instantiate instantiate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateClientAndSupplierAreClassifiers constraint of 'Instantiate'
boolean	validateInstantiate(Instantiate instantiate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateLibrary(Library library, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateMetaclass(Metaclass metaclass, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateMetamodel(Metamodel metamodel, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateModelLibrary(ModelLibrary modelLibrary, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateProcess(Process process, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateRealization_validateCannotBeImplementationClass(Realization realization, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateCannotBeImplementationClass constraint of 'Realization'
boolean	validateRealization(Realization realization, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateRefine(Refine refine, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateResponsibility(Responsibility responsibility, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateScript(Script script, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSend_validateClientOperationSendsSupplierSignal(Send send, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateClientOperationSendsSupplierSignal constraint of 'Send'
boolean	validateSend(Send send, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateService(Service service, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSource(Source source, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSpecification_validateCannotBeType(Specification specification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateCannotBeType constraint of 'Specification'
boolean	validateSpecification(Specification specification, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSubsystem(Subsystem subsystem, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSystemModel(SystemModel systemModel, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateTrace(Trace trace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateType_validateCannotBeSpecification(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateCannotBeSpecification constraint of 'Type'
boolean	validateType(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateUtility_validateIsUtility(Utility utility, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateIsUtility constraint of 'Utility'
boolean	validateUtility(Utility utility, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

createBadDataValueDiagnostic, createDiagnostic, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validate, validate, validate, validatePattern, wrapEnumerationValues

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final StandardValidator INSTANCE

The cached model package

DIAGNOSTIC_SOURCE

public static final java.lang.String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

Diagnostic.getSource(), Diagnostic.getCode(), Constant Field Values

CALL__CLIENT_AND_SUPPLIER_ARE_OPERATIONS

public static final int CALL__CLIENT_AND_SUPPLIER_ARE_OPERATIONS

The code for constraint 'Validate Client And Supplier Are Operations' of 'Call'.

See Also:

Constant Field Values

CREATE__CLIENT_AND_SUPPLIER_ARE_CLASSIFIERS

public static final int CREATE__CLIENT_AND_SUPPLIER_ARE_CLASSIFIERS

The code for constraint 'Validate Client And Supplier Are Classifiers' of 'Create'.

See Also:

Constant Field Values

IMPLEMENT__IMPLEMENTS_SPECIFICATION

public static final int IMPLEMENT__IMPLEMENTS_SPECIFICATION

The code for constraint 'Validate Implements Specification' of 'Implement'.

See Also:

Constant Field Values

IMPLEMENTATION_CLASS__CANNOT_BE_REALIZATION

public static final int IMPLEMENTATION_CLASS__CANNOT_BE_REALIZATION

The code for constraint 'Validate Cannot Be Realization' of 'Implementation Class'.

See Also:

Constant Field Values

INSTANTIATE__CLIENT_AND_SUPPLIER_ARE_CLASSIFIERS

public static final int INSTANTIATE__CLIENT_AND_SUPPLIER_ARE_CLASSIFIERS

The code for constraint 'Validate Client And Supplier Are Classifiers' of 'Instantiate'.

See Also:

Constant Field Values

REALIZATION__CANNOT_BE_IMPLEMENTATION_CLASS

public static final int REALIZATION__CANNOT_BE_IMPLEMENTATION_CLASS

The code for constraint 'Validate Cannot Be Implementation Class' of 'Realization'.

See Also:

Constant Field Values

SEND__CLIENT_OPERATION_SENDS_SUPPLIER_SIGNAL

public static final int SEND__CLIENT_OPERATION_SENDS_SUPPLIER_SIGNAL

The code for constraint 'Validate Client Operation Sends Supplier Signal' of 'Send'.

See Also:

Constant Field Values

SPECIFICATION__CANNOT_BE_TYPE

public static final int SPECIFICATION__CANNOT_BE_TYPE

The code for constraint 'Validate Cannot Be Type' of 'Specification'.

See Also:

Constant Field Values

TYPE__CANNOT_BE_SPECIFICATION

public static final int TYPE__CANNOT_BE_SPECIFICATION

The code for constraint 'Validate Cannot Be Specification' of 'Type'.

See Also:

Constant Field Values

UTILITY__IS_UTILITY

public static final int UTILITY__IS_UTILITY

The code for constraint 'Validate Is Utility' of 'Utility'.

See Also:

Constant Field Values

DIAGNOSTIC_CODE_COUNT

protected static final int DIAGNOSTIC_CODE_COUNT

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

See Also:

Constant Field Values

Constructor Detail

StandardValidator

public StandardValidator()

Creates an instance of the switch.

Method Detail

getEPackage

protected org.eclipse.emf.ecore.EPackage getEPackage()

Returns the package of this validator switch.

Overrides:

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

validate

protected boolean validate(int classifierID,
                           java.lang.Object value,
                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

Calls validateXXX for the corresponding classifier of the model.

Overrides:

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

validateAuxiliary

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

validateCall

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

validateCall_validateClientAndSupplierAreOperations

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

Validates the validateClientAndSupplierAreOperations constraint of 'Call'.

validateCreate

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

validateCreate_validateClientAndSupplierAreClassifiers

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

Validates the validateClientAndSupplierAreClassifiers constraint of 'Create'.

validateDerive

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

validateDestroy

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

validateDocument

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

validateFile

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

validateEntity

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

validateExecutable

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

validateFocus

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

validateFramework

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

validateImplement

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

validateImplement_validateImplementsSpecification

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

Validates the validateImplementsSpecification constraint of 'Implement'.

validateImplementationClass

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

validateImplementationClass_validateCannotBeRealization

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

Validates the validateCannotBeRealization constraint of 'Implementation Class'.

validateInstantiate

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

validateInstantiate_validateClientAndSupplierAreClassifiers

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

Validates the validateClientAndSupplierAreClassifiers constraint of 'Instantiate'.

validateLibrary

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

validateMetaclass

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

validateModelLibrary

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

validateProcess

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

validateRealization

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

validateRealization_validateCannotBeImplementationClass

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

Validates the validateCannotBeImplementationClass constraint of 'Realization'.

validateRefine

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

validateResponsibility

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

validateScript

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

validateSend

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

validateSend_validateClientOperationSendsSupplierSignal

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

Validates the validateClientOperationSendsSupplierSignal constraint of 'Send'.

validateService

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

validateSource

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

validateSpecification

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

validateSpecification_validateCannotBeType

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

Validates the validateCannotBeType constraint of 'Specification'.

validateSubsystem

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

validateTrace

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

validateType

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

validateType_validateCannotBeSpecification

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

Validates the validateCannotBeSpecification constraint of 'Type'.

validateUtility

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

validateUtility_validateIsUtility

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

Validates the validateIsUtility constraint of 'Utility'.

validateBuildComponent

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

validateMetamodel

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

validateSystemModel

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

getResourceLocator

public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:

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