org.jmlspecs.jmlrac
Class NotImplementedExpressionException

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

All Implemented Interfaces:

Serializable

public class NotImplementedExpressionException

extends PositionnedExpressionException

This is exception is used to report not implemented 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

NotImplementedExpressionException(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

NotImplementedExpressionException

public NotImplementedExpressionException(TokenReference tok,
                                         String msg)