|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjfun.parsec.ParsingFrame
public class ParsingFrame
This class represents an error frame during parsing.
Constructor Summary | |
---|---|
ParsingFrame(java.lang.String module,
int ind,
Pos pos,
Parser parser)
To create a ParsingFrame object. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
|
int |
getIndex()
Get the index of the character within the source. |
java.lang.String |
getModule()
Get the module name. |
Parser |
getParser()
Get the Parser object executed. |
Pos |
getPosition()
Get the position within the source. |
int |
hashCode()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ParsingFrame(java.lang.String module, int ind, Pos pos, Parser parser)
module
- the module name.ind
- the index of the character within the source.pos
- the position of the character.parser
- the parser executed.Method Detail |
---|
public int getIndex()
public java.lang.String getModule()
public Parser getParser()
public Pos getPosition()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |