UTJML

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

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Error
          extended by org.jmlspecs.jmlrac.runtime.JMLAssertionError
              extended by 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.


UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.