public class VdmLinkParserWrapper extends ParserWrapper<Links>
{
protected Links internalParse(File source, CharStream data)
throws IOException
{
super.lexer = new VdmLinkLexer(data);
CommonTokenStream tokens = new CommonTokenStream(lexer);
VdmLinkParser thisParser = new VdmLinkParser(tokens);
parser = thisParser;