Class InvalidRefinementError

java.lang.Object

java.lang.Throwable

java.lang.Exception

liquidjava.diagnostics.errors.LJError

liquidjava.diagnostics.errors.InvalidRefinementError

All Implemented Interfaces:

Serializable

public class InvalidRefinementError
extends LJError

Error indicating that a refinement is invalid (e.g., not a boolean expression)

See Also:

• LJError
• Serialized Form

Constructor Summary

Constructors

Constructor	Description
InvalidRefinementError(String message, spoon.reflect.declaration.CtElement element, String refinement)

Method Summary

Modifier and Type	Method	Description
String	getRefinement()
String	toString()

Methods inherited from class liquidjava.diagnostics.errors.LJError

getElement, getLocation, getMessage, getPosition, getTitle, 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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

InvalidRefinementError

public InvalidRefinementError(String message,
 spoon.reflect.declaration.CtElement element,
 String refinement)

Method Details

getRefinement

public String getRefinement()

toString

public String toString()

Specified by:

toString in class LJError