|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectantlr.FileLineFormatter
public abstract class FileLineFormatter
| Constructor Summary | |
|---|---|
FileLineFormatter()
|
|
| Method Summary | |
|---|---|
abstract java.lang.String |
getFormatString(java.lang.String fileName,
int line,
int column)
|
static FileLineFormatter |
getFormatter()
|
static void |
setFormatter(FileLineFormatter f)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public FileLineFormatter()
| Method Detail |
|---|
public static FileLineFormatter getFormatter()
public static void setFormatter(FileLineFormatter f)
public abstract java.lang.String getFormatString(java.lang.String fileName,
int line,
int column)
fileName - the file that should appear in the prefix. (or null)line - the line (or -1)column - the column (or -1)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||