Hilbert II - Version 0.03.01

org.qedeq.kernel.parser
Class UnexpectedOperatorException

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

public class UnexpectedOperatorException
extends ParserException

Operator occurred unexpected.

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

Field Summary
 
Fields inherited from class java.lang.Exception
 
Constructor Summary
UnexpectedOperatorException(long position, Operator operator)
          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

UnexpectedOperatorException

public UnexpectedOperatorException(long position,
                                   Operator operator)
Constructor.

Parameters:
position - Error position.
operator - Operator unexpectedly found.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.