|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Pos | |
|---|---|
| jfun.parsec | Provides classes and interfaces for parser combinator logic and basic parsers. |
| Uses of Pos in jfun.parsec |
|---|
| Methods in jfun.parsec that return Pos | |
|---|---|
Pos |
DefaultPositionMap.getPos(int n)
|
Pos |
PositionMap.getPos(int n)
Get the line/column number of a position identified by an offset number. |
Pos |
ParsingFrame.getPosition()
Get the position within the source. |
| Constructors in jfun.parsec with parameters of type Pos | |
|---|---|
ParserException(ParseError err,
java.lang.String mname,
Pos pos)
Create a ParserException object. |
|
ParserException(java.lang.String message,
ParseError err,
java.lang.String mname,
Pos pos)
Create a ParserException object. |
|
ParserException(java.lang.String message,
java.lang.Throwable cause,
ParseError err,
java.lang.String mname,
Pos pos)
|
|
ParserException(java.lang.Throwable cause,
ParseError err,
java.lang.String mname,
Pos pos)
|
|
ParsingFrame(java.lang.String module,
int ind,
Pos pos,
Parser parser)
To create a ParsingFrame object. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||