edu.utep.cs.utjml.compiler.rt
Class JMLCallSequenceError

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          org.jmlspecs.jmlrac.runtime.JMLAssertionError
              edu.utep.cs.utjml.compiler.rt.JMLCallSequenceError

All Implemented Interfaces:

Serializable

public class JMLCallSequenceError
extends JMLAssertionError

A JML error class to notify call sequence violations.

Version:

$Revision: 1.1 $

Author:

Yoonsik Cheon

See Also:

Serialized Form

Field Summary

Fields inherited from class org.jmlspecs.jmlrac.runtime.JMLAssertionError

className, locations, methodName

Constructor Summary

JMLCallSequenceError(String className, String methodName, Set locations)
Creates a new JMLCallSequenceError instance.

JMLCallSequenceError(String message, String className, String methodName, Set locations)
Creates a new JMLCallSequenceError instance.

Method Summary

Methods inherited from class org.jmlspecs.jmlrac.runtime.JMLAssertionError

className, getMessage, locations, message, methodName

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JMLCallSequenceError

public JMLCallSequenceError(String className,
                            String methodName,
                            Set locations)

Creates a new JMLCallSequenceError instance.

JMLCallSequenceError

public JMLCallSequenceError(String message,
                            String className,
                            String methodName,
                            Set locations)

Creates a new JMLCallSequenceError instance.