org.jmlspecs.jmlrac
Class NonExecutableExpressionException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.jmlspecs.jmlrac.PositionnedExpressionException
                  org.jmlspecs.jmlrac.NonExecutableExpressionException

All Implemented Interfaces:

Serializable

public class NonExecutableExpressionException

extends PositionnedExpressionException

This is exception is used to report non-executable expressions when 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.2 $

Author:

Frederic Rioux

Field Summary
private  TokenReference	tok

 

Fields inherited from class java.lang.RuntimeException

 

Fields inherited from class java.lang.Throwable

 

Constructor Summary

NonExecutableExpressionException(TokenReference tok, String msg)

 

Method Summary

 

Methods inherited from class org.jmlspecs.jmlrac.PositionnedExpressionException

getTok

 

Methods inherited from class java.lang.Throwable

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

 

Methods inherited from class java.lang.Object

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

 

Field Detail

tok

private TokenReference tok

NonExecutableExpressionException

public NonExecutableExpressionException(TokenReference tok,
                                        String msg)