JML

org.multijava.util.compiler
Class PositionedError

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byorg.multijava.util.FormattedException
              extended byorg.multijava.util.compiler.PositionedError
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
CBlockError, CMethodNotFoundError, CWarning

public class PositionedError
extends FormattedException

This class is the root class for all compiler errors with a reference to the source text.


Field Summary
private  TokenReference where
           
 
Fields inherited from class org.multijava.util.FormattedException
 
Fields inherited from class java.lang.Exception
 
Fields inherited from class java.lang.Throwable
 
Constructor Summary
PositionedError(TokenReference where, Message message)
          An error with a formatted message as argument
PositionedError(TokenReference where, MessageDescription description)
          An error without parameters
PositionedError(TokenReference where, MessageDescription description, Object parameter)
          An error with one parameter
PositionedError(TokenReference where, MessageDescription description, Object parameter1, Object parameter2)
          An error with two parameters
PositionedError(TokenReference where, MessageDescription description, Object[] parameters)
          An error with an arbitrary number of parameters
 
Method Summary
 String getMessage()
          Returns the string explaining the error.
 TokenReference getTokenReference()
          Returns the position in the source code.
 
Methods inherited from class org.multijava.util.FormattedException
getErrorMessage, getFormattedMessage, hasDescription
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, 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

where

private final TokenReference where
Constructor Detail

PositionedError

public PositionedError(TokenReference where,
                       Message message)
An error with a formatted message as argument

Parameters:
where - the position in the source code
message - the formatted message

PositionedError

public PositionedError(TokenReference where,
                       MessageDescription description,
                       Object[] parameters)
An error with an arbitrary number of parameters

Parameters:
where - the position in the source code
description - the message description
parameters - the array of parameters

PositionedError

public PositionedError(TokenReference where,
                       MessageDescription description,
                       Object parameter1,
                       Object parameter2)
An error with two parameters

Parameters:
where - the position in the source code
description - the message description
parameter1 - the first parameter
parameter2 - the second parameter

PositionedError

public PositionedError(TokenReference where,
                       MessageDescription description,
                       Object parameter)
An error with one parameter

Parameters:
where - the position in the source code
description - the message description
parameter - the parameter

PositionedError

public PositionedError(TokenReference where,
                       MessageDescription description)
An error without parameters

Parameters:
where - the position in the source code
description - the message description
Method Detail

getTokenReference

public TokenReference getTokenReference()
Returns the position in the source code.


getMessage

public String getMessage()
Returns the string explaining the error.

Overrides:
getMessage in class FormattedException

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.