Uses of Class
org.eclipse.ocl.examples.xtext.base.utilities.PivotResourceValidator.ValidationDiagnostic

Packages that use PivotResourceValidator.ValidationDiagnostic

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

Uses of PivotResourceValidator.ValidationDiagnostic in org.eclipse.ocl.examples.xtext.base.utilities

Methods in org.eclipse.ocl.examples.xtext.base.utilities that return PivotResourceValidator.ValidationDiagnostic

protected PivotResourceValidator.ValidationDiagnostic

PivotResourceValidator.createDefaultDiagnostic(org.eclipse.emf.ecore.util.Diagnostician diagnostician, org.eclipse.emf.ecore.EObject pivotObject)

Methods in org.eclipse.ocl.examples.xtext.base.utilities with parameters of type PivotResourceValidator.ValidationDiagnostic

protected void

PivotResourceValidator.issueFromDiagnostics(org.eclipse.xtext.util.IAcceptor<org.eclipse.xtext.validation.Issue> acceptor, PivotResourceValidator.ValidationDiagnostic diagnostic)