gnu.lists
public class PairWithPosition extends Pair implements SourceLocator
Pair with the file name and position it was read from.
| Constructor Summary | |
|---|---|
| PairWithPosition() Only for serialization. | |
| PairWithPosition(SourceLocator where, Object car, Object cdr) | |
| PairWithPosition(Object car, Object cdr) | |
| Method Summary | |
|---|---|
| int | getColumnNumber() |
| String | getFileName() |
| int | getLineNumber() Get the line number of (the start of) this Expression.
|
| String | getPublicId() |
| String | getSystemId() |
| boolean | isStableSourceLocation() |
| static PairWithPosition | make(Object car, Object cdr, String filename, int line, int column) |
| static PairWithPosition | make(Object car, Object cdr, String filename, int position) |
| void | readExternal(ObjectInput in) |
| void | setFile(String filename) |
| void | setLine(int lineno, int colno) |
| void | setLine(int lineno) |
| void | writeExternal(ObjectOutput out) |
Serial Data: Write the car followed by the cdr, followed by filename (as an Object, so it can be shared), followed by position (line|(column<<20)).