org.jmlspecs.jmlrac
Class PositionnedExpressionException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
org.jmlspecs.jmlrac.PositionnedExpressionException
- All Implemented Interfaces:
- Serializable
- Direct Known Subclasses:
- NonExecutableExpressionException, NotImplementedExpressionException, NotSupportedExpressionException
- public class PositionnedExpressionException
- extends RuntimeException
This is exception is used to report expressions evaluation issues
encountered during the visit of the tree. Since method signature are
inherited from the default RAC visitor, the exception has to be runtime.
- Version:
- $Revision: 1.1 $
- Author:
- Frederic Rioux
| Fields inherited from class java.lang.Throwable |
|
| Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
tok
private TokenReference tok
PositionnedExpressionException
public PositionnedExpressionException(TokenReference tok,
String msg)
getTok
public TokenReference getTok()
JML is Copyright (C) 1998-2002 by Iowa State University 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 MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.