Class RefinementError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

liquidjava.diagnostics.LJDiagnostic

liquidjava.diagnostics.errors.LJError

liquidjava.diagnostics.errors.RefinementError

All Implemented Interfaces:

Serializable

public class RefinementError
extends LJError

Error indicating that a refinement constraint either was violated or cannot be proven

See Also:

• LJError
• Serialized Form

Constructor Summary

Constructors

Constructor	Description
RefinementError(spoon.reflect.cu.SourcePosition position, Expression expected, ValDerivationNode found, TranslationTable translationTable)

Method Summary

Modifier and Type	Method	Description
String	getExpected()
ValDerivationNode	getFound()

Methods inherited from class liquidjava.diagnostics.errors.LJError

getTranslationTable

Methods inherited from class liquidjava.diagnostics.LJDiagnostic

equals, getAccentColor, getDetails, getFile, getMessage, getPosition, getSnippet, getTitle, hashCode, toString

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

RefinementError

public RefinementError(spoon.reflect.cu.SourcePosition position,
 Expression expected,
 ValDerivationNode found,
 TranslationTable translationTable)

Method Details

getExpected

public String getExpected()

getFound

public ValDerivationNode getFound()