org.eclipse.ocl.examples.xtext.base.utilities
Class PivotDiagnostician

java.lang.Object
  org.eclipse.emf.ecore.util.Diagnostician
      org.eclipse.xtext.validation.CancelableDiagnostician
          org.eclipse.ocl.examples.xtext.base.utilities.PivotDiagnostician

All Implemented Interfaces:

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

public class PivotDiagnostician
extends org.eclipse.xtext.validation.CancelableDiagnostician

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

Fields inherited from class org.eclipse.xtext.validation.CancelableDiagnostician

CANCEL_INDICATOR

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

PivotDiagnostician(org.eclipse.emf.ecore.EValidator.Registry registry)

Method Summary

Methods inherited from class org.eclipse.xtext.validation.CancelableDiagnostician

doValidateContents, isCanceled, validate

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

createDefaultContext, createDefaultDiagnostic, createDefaultDiagnostic, 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

Constructor Detail

PivotDiagnostician

@Inject
public PivotDiagnostician(org.eclipse.emf.ecore.EValidator.Registry registry)