Class StateConflictError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

liquidjava.diagnostics.LJDiagnostic

liquidjava.diagnostics.errors.LJError

liquidjava.diagnostics.errors.StateConflictError

All Implemented Interfaces:

Serializable

public class StateConflictError
extends LJError

Error indicating that two disjoint states were found in a state refinement

See Also:

• LJError
• Serialized Form

Constructor Summary

Constructors

Constructor	Description
StateConflictError(spoon.reflect.cu.SourcePosition position, Expression state, TranslationTable translationTable)

Method Summary

Modifier and Type	Method	Description
String	getState()

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

StateConflictError

public StateConflictError(spoon.reflect.cu.SourcePosition position,
 Expression state,
 TranslationTable translationTable)

Method Details

getState

public String getState()