org.jmlspecs.jml4.rac.runtime
Class JMLEvaluationError

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          org.jmlspecs.jml4.rac.runtime.JMLAssertionError
              org.jmlspecs.jml4.rac.runtime.JMLEvaluationError

All Implemented Interfaces:

java.io.Serializable

public class JMLEvaluationError
extends JMLAssertionError

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.jmlspecs.jml4.rac.runtime.JMLAssertionError

JMLAssertionError.Location

Constructor Summary

JMLEvaluationError(JMLAssertionError cause)

Method Summary

java.lang.String

getMessage() Returns the associated message along with optional location and state information.

Methods inherited from class org.jmlspecs.jml4.rac.runtime.JMLAssertionError

className, locations, message, methodName, values

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JMLEvaluationError

public JMLEvaluationError(JMLAssertionError cause)

Method Detail

getMessage

public java.lang.String getMessage()

Description copied from class: JMLAssertionError

Returns the associated message along with optional location and state information.

Overrides:

getMessage in class JMLAssertionError