polyglot.ext.pragma.parse
Class PragmaParserWrapper
java.lang.Object
polyglot.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
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
parser
protected Grm parser
PragmaParserWrapper
public PragmaParserWrapper(Grm parser)
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