Package tools.refinery.generator

Class RefineryDiagnostics

java.lang.Object

tools.refinery.generator.RefineryDiagnostics

public class RefineryDiagnostics
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final String	CONCRETIZATION_ERROR
static final String	PROPAGATION_ERROR
static final String	TRANSLATION_ERROR

Constructor Summary

Constructors

Constructor	Description
RefineryDiagnostics()

Method Summary

Modifier and Type	Method	Description
List<org.eclipse.xtext.validation.Issue>	convertIssues(ModelFacadeResult.Rejected result, ProblemTrace trace)
InvalidProblemException	createModelFacadeResultException(ModelFacadeResult.Rejected result, ProblemTrace trace)
InvalidProblemException	wrapPropagationRejectedException(PropagationRejectedException e, ProblemTrace trace)
InvalidProblemException	wrapTracedException(TracedException e, Problem problem)
InvalidProblemException	wrapTracedException(TracedException e, ProblemTrace trace)
InvalidProblemException	wrapTranslationException(TranslationException e, ProblemTrace trace)

Methods inherited from class java.lang.Object

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

Field Details

TRANSLATION_ERROR

public static final String TRANSLATION_ERROR

See Also:

• Constant Field Values

PROPAGATION_ERROR

public static final String PROPAGATION_ERROR

See Also:

• Constant Field Values

CONCRETIZATION_ERROR

public static final String CONCRETIZATION_ERROR

See Also:

• Constant Field Values

Constructor Details

RefineryDiagnostics

public RefineryDiagnostics()

Method Details

wrapTranslationException

public InvalidProblemException wrapTranslationException(TranslationException e,
 ProblemTrace trace)

wrapTracedException

public InvalidProblemException wrapTracedException(TracedException e,
 ProblemTrace trace)

wrapTracedException

public InvalidProblemException wrapTracedException(TracedException e,
 Problem problem)

createModelFacadeResultException

public InvalidProblemException createModelFacadeResultException(ModelFacadeResult.Rejected result,
 ProblemTrace trace)

convertIssues

public List<org.eclipse.xtext.validation.Issue> convertIssues(ModelFacadeResult.Rejected result,
 ProblemTrace trace)

wrapPropagationRejectedException

public InvalidProblemException wrapPropagationRejectedException(PropagationRejectedException e,
 ProblemTrace trace)