|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpolyglot.ext.op.OPParserWrapper
Wrapper for a OP parser.
Field Summary | |
protected Grm |
parser
|
Constructor Summary | |
OPParserWrapper(Grm parser)
|
Method Summary | |
void |
die(Position pos)
|
void |
die(java.lang.String message,
Position pos)
|
NodeFactory |
nodeFactory()
|
TypeSystem |
typeSystem()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected Grm parser
Constructor Detail |
public OPParserWrapper(Grm parser)
Method Detail |
public NodeFactory nodeFactory()
public TypeSystem typeSystem()
public void die(java.lang.String message, Position pos) throws java.lang.Exception
java.lang.Exception
public void die(Position pos) throws java.lang.Exception
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |