org.eclipse.ocl.examples.pivot.validation

Class PivotEObjectValidator.ValidationAdapter

java.lang.Object

org.eclipse.emf.common.notify.impl.AdapterImpl

org.eclipse.ocl.examples.pivot.validation.PivotEObjectValidator.ValidationAdapter

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter, org.eclipse.emf.common.notify.Adapter.Internal

Enclosing class:

PivotEObjectValidator

public static class PivotEObjectValidator.ValidationAdapter
extends org.eclipse.emf.common.notify.impl.AdapterImpl

A ValidationAdapter is installed in the ResourceSet of applications that register for additional PIvot-defined constraints. The standard validation is performed by PivotEObjectValidator.INSTANCE before additional functionality is provided by the ValidationAdapter. For non-Pivot applications the ValidationAdapter adapts the ResourceSet containing the validatable (Ecore) instances. Validation is invoked for validatable (Ecore) instances. For Pivot applications the ValidationAdapter adapts the ResourceSet containing the validatable metamodel elements. Validation is invoked for validatable (Pivot) elements so a redirection via the MetaModelManager is needed to find the ValidationAdapter on the externalResourceSet.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

org.eclipse.emf.common.notify.Adapter.Internal

Field Summary

Fields

Modifier and Type	Field and Description
protected EnvironmentFactory	environmentFactory
protected MetaModelManager	metaModelManager
protected Environment	rootEnvironment

Fields inherited from class org.eclipse.emf.common.notify.impl.AdapterImpl

target

Constructor Summary

Constructors

Constructor and Description
PivotEObjectValidator.ValidationAdapter(MetaModelManager metaModelManager)

Method Summary

Methods

Modifier and Type	Method and Description
static PivotEObjectValidator.ValidationAdapter	findAdapter(org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
MetaModelManager	getMetaModelManager()
boolean	validate(org.eclipse.emf.ecore.EClassifier eClassifier, java.lang.Object object, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from class org.eclipse.emf.common.notify.impl.AdapterImpl

getTarget, isAdapterForType, notifyChanged, setTarget, unsetTarget

Methods inherited from class java.lang.Object

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

Field Detail

metaModelManager

@NonNull
protected final MetaModelManager metaModelManager

environmentFactory

@NonNull
protected final EnvironmentFactory environmentFactory

rootEnvironment

@NonNull
protected final Environment rootEnvironment

Constructor Detail

PivotEObjectValidator.ValidationAdapter

public PivotEObjectValidator.ValidationAdapter(@NonNull
                                       MetaModelManager metaModelManager)

Method Detail

findAdapter

public static PivotEObjectValidator.ValidationAdapter findAdapter(@NonNull
                                                  org.eclipse.emf.ecore.resource.ResourceSet resourceSet)

getMetaModelManager

@NonNull
public MetaModelManager getMetaModelManager()

validate

public boolean validate(@NonNull
               org.eclipse.emf.ecore.EClassifier eClassifier,
               @NonNull
               java.lang.Object object,
               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
               java.util.Map<java.lang.Object,java.lang.Object> context)