org.eclipse.ocl.examples.xtext.base.ui.commands
Class ValidateCommand.PivotDiagnostician

java.lang.Object
  extended by org.eclipse.emf.ecore.util.Diagnostician
      extended by org.eclipse.ocl.examples.xtext.base.ui.commands.ValidateCommand.PivotDiagnostician
All Implemented Interfaces:
org.eclipse.emf.ecore.EValidator, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider
Direct Known Subclasses:
ValidateCommand.Diagnostician_2_8, ValidateCommand.Diagnostician_2_9
Enclosing class:
ValidateCommand

protected abstract static class ValidateCommand.PivotDiagnostician
extends org.eclipse.emf.ecore.util.Diagnostician


Nested Class Summary
 
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
protected  org.eclipse.emf.common.notify.AdapterFactory adapterFactory
           
 
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
protected ValidateCommand.PivotDiagnostician(org.eclipse.emf.ecore.EValidator.Registry eValidatorRegistry, org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.emf.common.notify.AdapterFactory adapterFactory)
           
 
Method Summary
 java.util.Map<java.lang.Object,java.lang.Object> createDefaultContext()
           
 boolean validate(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)
           
 
Methods inherited from class org.eclipse.emf.ecore.util.Diagnostician
createDefaultDiagnostic, createDefaultDiagnostic, doValidate, doValidate, doValidateContents, getFeatureLabel, getObjectLabel, 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
 

Field Detail

adapterFactory

protected final org.eclipse.emf.common.notify.AdapterFactory adapterFactory
Constructor Detail

ValidateCommand.PivotDiagnostician

protected ValidateCommand.PivotDiagnostician(@NonNull
                                             org.eclipse.emf.ecore.EValidator.Registry eValidatorRegistry,
                                             org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
                                             org.eclipse.emf.common.notify.AdapterFactory adapterFactory)
Method Detail

createDefaultContext

public java.util.Map<java.lang.Object,java.lang.Object> createDefaultContext()
Overrides:
createDefaultContext in class org.eclipse.emf.ecore.util.Diagnostician

validate

public boolean validate(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)
Specified by:
validate in interface org.eclipse.emf.ecore.EValidator
Overrides:
validate in class org.eclipse.emf.ecore.util.Diagnostician