jltools.util
Class Position

java.lang.Object
  |
  +--jltools.util.Position

All Implemented Interfaces:

java.io.Serializable

public class Position

extends java.lang.Object

implements java.io.Serializable

This class represents a posiiton within a file.

See Also:

Serialized Form

Field Summary

static Position	COMPILER_GENERATED
static int	UNKNOWN

Constructor Summary

protected	Position() For deserialization.
	Position(java.lang.String file)
	Position(java.lang.String file, int line)
	Position(java.lang.String file, int line, int column)

Method Summary

int	column()
java.lang.String	file()
int	line()
java.lang.String	nameAndLineString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

UNKNOWN

public static final int UNKNOWN

COMPILER_GENERATED

public static final Position COMPILER_GENERATED

Constructor Detail

Position

protected Position()

For deserialization.

Position

public Position(java.lang.String file)

Position

public Position(java.lang.String file,
                int line)

Position

public Position(java.lang.String file,
                int line,
                int column)

Method Detail

line

public int line()

column

public int column()

file

public java.lang.String file()

nameAndLineString

public java.lang.String nameAndLineString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object