polyglot.ext.op
Class OPParserWrapper

java.lang.Object
  extended bypolyglot.ext.op.OPParserWrapper

public class OPParserWrapper
extends java.lang.Object

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

parser

protected Grm parser
Constructor Detail

OPParserWrapper

public OPParserWrapper(Grm parser)
Method Detail

nodeFactory

public NodeFactory nodeFactory()

typeSystem

public TypeSystem typeSystem()

die

public void die(java.lang.String message,
                Position pos)
         throws java.lang.Exception
Throws:
java.lang.Exception

die

public void die(Position pos)
         throws java.lang.Exception
Throws:
java.lang.Exception