jml2b.exceptions
Class PogException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          jml2b.exceptions.PogException

All Implemented Interfaces:

java.io.Serializable

public class PogException

extends java.lang.Exception

This kind of exception is thrown when

• a litteral float is found in specification part
• a loop in pure method called is found in specification part
• a memory overflow occurs during the WP calculus
• a class concerning RuntimeException cannot be loaded during the WP calculus.
• a wrong label is detected

Author:

L. Burdy

See Also:

Serialized Form

Constructor Summary

PogException(java.lang.String msg, ParsedItem b)
Constructs an exception and add an error into the error handler.

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

PogException

public PogException(java.lang.String msg,
                    ParsedItem b)

Constructs an exception and add an error into the error handler.

Parameters:

msg - message associated to the exception

b - parsed item associated with the exception where the file, the line and the column are taken.