Hilbert II - Version 0.03.04

org.qedeq.kernel.parser
Class EndSymbolNotFoundException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byorg.qedeq.kernel.parser.ParserException
              extended byorg.qedeq.kernel.parser.EndSymbolNotFoundException
All Implemented Interfaces:
Serializable

public class EndSymbolNotFoundException
extends ParserException

Expected end symbol of expression not found.

Version:
$Revision: 1.2 $
See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.lang.Exception
 
Constructor Summary
EndSymbolNotFoundException(long position, String message)
          Constructor.
 
Methods inherited from class org.qedeq.kernel.parser.ParserException
getPosition
 
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
 

Constructor Detail

EndSymbolNotFoundException

public EndSymbolNotFoundException(long position,
                                  String message)
Constructor.

Parameters:
position - Error position.
message - Message.

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.