jltools.parse
Interface ParserWrapper

public interface ParserWrapper

A wrapper for a parser to provide access to certain data and methods needed by the Util class. It would be better just to have the CUP parser implement this interface, rather than requiring separate implementations of it, but CUP doesn't allow us to specify that.

Method Summary

void	die(Position pos) Cause the parser to abort.
void	die(java.lang.String message, Position pos) Cause the parser to abort.
NodeFactory	nodeFactory() Return the NodeFactory associated with the parser.
TypeSystem	typeSystem() Return the TypeSystem associated with the parser.

Method Detail

nodeFactory

public NodeFactory nodeFactory()

Return the NodeFactory associated with the parser.

typeSystem

public TypeSystem typeSystem()

Return the TypeSystem associated with the parser.

die

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

Cause the parser to abort.

die

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

Cause the parser to abort.