Class StateRefinementError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

liquidjava.diagnostics.LJDiagnostic

liquidjava.diagnostics.errors.LJError

liquidjava.diagnostics.errors.StateRefinementError

All Implemented Interfaces:

Serializable

public class StateRefinementError
extends LJError

Error indicating that a state refinement transition was violated

See Also:

• LJError
• Serialized Form

Constructor Summary

Constructors

Constructor	Description
StateRefinementError(spoon.reflect.declaration.CtElement element, String method, Expression[] expected, Expression found, TranslationTable translationTable)

Method Summary

Modifier and Type	Method	Description
String[]	getExpected()
String	getFound()
String	getMethod()

Methods inherited from class liquidjava.diagnostics.errors.LJError

getTranslationTable

Methods inherited from class liquidjava.diagnostics.LJDiagnostic

equals, 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

StateRefinementError

public StateRefinementError(spoon.reflect.declaration.CtElement element,
 String method,
 Expression[] expected,
 Expression found,
 TranslationTable translationTable)

Method Details

getMethod

public String getMethod()

getExpected

public String[] getExpected()

getFound

public String getFound()