jltools.util
Class ErrorInfo

java.lang.Object
  |
  +--jltools.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	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

INTERNAL_ERROR

public static final int INTERNAL_ERROR

IO_ERROR

public static final int IO_ERROR

LEXICAL_ERROR

public static final int LEXICAL_ERROR

SYNTAX_ERROR

public static final int SYNTAX_ERROR

SEMANTIC_ERROR

public static final int SEMANTIC_ERROR

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)