polyglot.util
Class ErrorInfo

java.lang.Object
  extended by polyglot.util.ErrorInfo

public class ErrorInfo
extends java.lang.Object

Information about an error message.


Field Summary
static int INTERNAL_ERROR
           
static int IO_ERROR
           
protected  int kind
           
static int LEXICAL_ERROR
           
protected  java.lang.String message
           
protected  Position position
           
static int POST_COMPILER_ERROR
           
static int SEMANTIC_ERROR
           
static int SYNTAX_ERROR
           
static int WARNING
           
 
Constructor Summary
ErrorInfo(int kind, java.lang.String message, Position position)
           
 
Method Summary
 int getErrorKind()
           
 java.lang.String getErrorString()
           
static java.lang.String getErrorString(int kind)
           
 java.lang.String getMessage()
           
 Position getPosition()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

WARNING

public static final int WARNING
See Also:
Constant Field Values

INTERNAL_ERROR

public static final int INTERNAL_ERROR
See Also:
Constant Field Values

IO_ERROR

public static final int IO_ERROR
See Also:
Constant Field Values

LEXICAL_ERROR

public static final int LEXICAL_ERROR
See Also:
Constant Field Values

SYNTAX_ERROR

public static final int SYNTAX_ERROR
See Also:
Constant Field Values

SEMANTIC_ERROR

public static final int SEMANTIC_ERROR
See Also:
Constant Field Values

POST_COMPILER_ERROR

public static final int POST_COMPILER_ERROR
See Also:
Constant Field Values

kind

protected int kind

message

protected java.lang.String message

position

protected Position position
Constructor Detail

ErrorInfo

public ErrorInfo(int kind,
                 java.lang.String message,
                 Position position)
Method Detail

getErrorKind

public int getErrorKind()

getMessage

public java.lang.String getMessage()

getPosition

public Position getPosition()

getErrorString

public java.lang.String getErrorString()

getErrorString

public static java.lang.String getErrorString(int kind)