Uses of Interface
org.eclipse.ocl.examples.pivot.ProblemHandler

Packages that use ProblemHandler

org.eclipse.ocl.examples.pivot

Uses of ProblemHandler in org.eclipse.ocl.examples.pivot

Methods in org.eclipse.ocl.examples.pivot with parameters of type ProblemHandler

static org.eclipse.emf.common.util.Diagnostic	OCLUtil.checkForErrors(ProblemHandler problemHandler) Checks whether the specified problem handler has any diagnostics of error severity or worse and, if so, throws a semantic exception encapsulating these diagnostics.
static org.eclipse.emf.common.util.Diagnostic	OCLUtil.checkForErrorsOrWarnings(ProblemHandler problemHandler) Checks whether the specified problem handler has any diagnostics of warning severity or worse and, if so, throws a semantic exception encapsulating these diagnostics.