jml2b.exceptions
Class ParseException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          jml2b.exceptions.Jml2bException
              jml2b.exceptions.ParseException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

TokenException

public class ParseException

extends Jml2bException

Exception class used to indicate error during the parsing phase.

Author:

A. Requet

See Also:

Serialized Form

Constructor Summary

ParseException(JmlFile f, jml.LineAST tree, java.lang.String description)
Creates a new ParseException instance.

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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ParseException

public ParseException(JmlFile f,
                      jml.LineAST tree,
                      java.lang.String description)

Creates a new ParseException instance.

Parameters:

f - the file that was parsed when the error occured.

tree - the AST corresponding to the position where the error occured.

description - the description of the error.