polyglot.ext.pragma.parse
Class PragmaParserWrapper

java.lang.Object
  extended bypolyglot.ext.pragma.parse.PragmaParserWrapper

public class PragmaParserWrapper
extends java.lang.Object

Wrapper for a pragma parser. This class should not need modified.


Field Summary
protected  Grm parser
           
 
Constructor Summary
PragmaParserWrapper(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

PragmaParserWrapper

public PragmaParserWrapper(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