aterm

Class ParseError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

aterm.ParseError

All Implemented Interfaces:

Serializable

public class ParseError
extends RuntimeException

A ParseError is thrown when an error occurs during the parsing of a term. Note that ParseError is a RuntimeException, so it can be ignored if a parse error can only occur by a bug in your program.

Author:

Hayco de Jong (jong@cwi.nl), Pieter Olivier (olivierp@cwi.nl)

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ParseError(String msg) Constructs a ParseError given a description of the error

Method Summary

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ParseError

public ParseError(String msg)

Constructs a ParseError given a description of the error

Parameters:

msg - the error message describing the parse error.