jml2b.exceptions
Class LoadException

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

All Implemented Interfaces:

java.io.Serializable

public class LoadException

extends java.lang.Exception

This class provides an exception that can be threw during the load of a JPO file. The reasons can be:

• the token of a formula is not valid
• the token of a substitution is not valid
• the index of an hypothesis is not valid
• the version of the file is not valid

Author:

L. Burdy

See Also:

jml2b.formula.Formula#create(IJml2bConfiguration, DataInputStream), jpov.formula.Formula#create(DataInputStream), jml2b.pog.Theorem#findVf(Vector, int), jpov.structure.Lemma#findVf(VirtualFormula[], int), jml2b.structure.java.JmlFile#loadJmlFile(IJml2bConfiguration, DataInputStream), jpov.structure.JmlFile#loadJmlFile(DataInputStream), jml2b.structure.java.JmlFile#loadSubstitution(IJml2bConfiguration, DataInputStream), jpov.structure.Goal#loadSubstitution(DataInputStream), Serialized Form

Constructor Summary

LoadException(java.lang.String msg)
Constructs an exception when a given message.

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

LoadException

public LoadException(java.lang.String msg)

Constructs an exception when a given message.

Parameters:

msg - The message