org.eclipse.ocl.pivot.internal.utilities

Class PivotDiagnostician.Diagnostician_2_9

java.lang.Object

org.eclipse.emf.ecore.util.Diagnostician

org.eclipse.ocl.pivot.internal.utilities.PivotDiagnostician

org.eclipse.ocl.pivot.internal.utilities.PivotDiagnostician.Diagnostician_2_9

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider

Enclosing class:

PivotDiagnostician

protected static final class PivotDiagnostician.Diagnostician_2_9
extends PivotDiagnostician

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotDiagnostician

PivotDiagnostician.Diagnostician_2_8, PivotDiagnostician.Diagnostician_2_9, PivotDiagnostician.WeakOCLReference

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

Fields inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotDiagnostician

adapterFactory, technology

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

eValidatorRegistry, INSTANCE

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

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Diagnostician_2_9(org.eclipse.emf.ecore.EValidator.Registry eValidatorRegistry, org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.emf.common.notify.AdapterFactory adapterFactory, org.eclipse.core.runtime.IProgressMonitor progressMonitor)

Method Summary

Modifier and Type	Method and Description
protected boolean	doValidate(org.eclipse.emf.ecore.EValidator eValidator, org.eclipse.emf.ecore.EClass eClass, org.eclipse.emf.ecore.EObject eObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
java.lang.String	getObjectLabel(org.eclipse.emf.ecore.EObject eObject)

Methods inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotDiagnostician

createDefaultContext, createDiagnostician, getOCL, setOCL, validate

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

createDefaultDiagnostic, createDefaultDiagnostic, doValidate, doValidateContents, getFeatureLabel, getValueLabel, validate, validate, validate, validate, validate, validate

Methods inherited from class java.lang.Object

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

Constructor Detail

Diagnostician_2_9

protected Diagnostician_2_9(org.eclipse.emf.ecore.EValidator.Registry eValidatorRegistry,
                            @NonNull
                            org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
                            org.eclipse.emf.common.notify.AdapterFactory adapterFactory,
                            @NonNull
                            org.eclipse.core.runtime.IProgressMonitor progressMonitor)

Method Detail

doValidate

protected boolean doValidate(org.eclipse.emf.ecore.EValidator eValidator,
                             org.eclipse.emf.ecore.EClass eClass,
                             org.eclipse.emf.ecore.EObject eObject,
                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

Overrides:

doValidate in class org.eclipse.emf.ecore.util.Diagnostician

getObjectLabel

public java.lang.String getObjectLabel(org.eclipse.emf.ecore.EObject eObject)

Specified by:

getObjectLabel in interface org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider

Overrides:

getObjectLabel in class org.eclipse.emf.ecore.util.Diagnostician