Class UnusedPrefixException

  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byde.dante.util.exception.GeneralException
              extended byde.dante.extex.interpreter.exception.InterpreterException
                  extended byde.dante.extex.interpreter.exception.helping.HelpingException
                      extended byde.dante.extex.interpreter.exception.helping.UnusedPrefixException
All Implemented Interfaces:

public class UnusedPrefixException
extends HelpingException

This exception is raised when an unused prefix flag has been encountered.

The localization format is taken from the Localizer under the key UnusedPrefix.

$Revision: 1.3 $
Gerd Neugebauer
See Also:
Serialized Form

Field Summary
protected static long serialVersionUID
          The constant serialVersionUID contains the id for serialization.
Constructor Summary
UnusedPrefixException(java.lang.String flag, Token token)
          Creates a new object.
Methods inherited from class de.dante.extex.interpreter.exception.helping.HelpingException
getHelp, getLocalizedMessage
Methods inherited from class de.dante.extex.interpreter.exception.InterpreterException
getLocalizer, isProcessed, setProcessed
Methods inherited from class de.dante.util.exception.GeneralException
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, 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

Field Detail


protected static final long serialVersionUID
The constant serialVersionUID contains the id for serialization.

See Also:
Constant Field Values
Constructor Detail


public UnusedPrefixException(java.lang.String flag,
                             Token token)
Creates a new object.

flag - the name of the flag which has been used
token - the command on which this has happened