Class StateConflictError

java.lang.Object

java.lang.Throwable

java.lang.Exception

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.declaration.CtElement element, Predicate predicate, String className)

Method Summary

Modifier and Type	Method	Description
String	getClassName()
Predicate	getPredicate()
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

StateConflictError

public StateConflictError(spoon.reflect.declaration.CtElement element,
 Predicate predicate,
 String className)

Method Details

getPredicate

public Predicate getPredicate()

getClassName

public String getClassName()

toString

public String toString()

Specified by:

toString in class LJError