uk.ac.ucl.cs.emofocl.jmigen.extended
Class RenamesParser

java.lang.Object
  uk.ac.ucl.cs.emofocl.jmigen.extended.RenamesParser

All Implemented Interfaces:

RenamesParserConstants

public class RenamesParser
extends Object
implements RenamesParserConstants

Field Summary

Token	jj_nt
Token	token
RenamesParserTokenManager	token_source

Fields inherited from interface uk.ac.ucl.cs.emofocl.jmigen.extended.RenamesParserConstants

DEFAULT, EOF, LINE_COMMENT, NAME, PARA_COMMENT, tokenImage, WS

Constructor Summary

RenamesParser(InputStream stream)

RenamesParser(Reader stream)

RenamesParser(RenamesParserTokenManager tm)

Method Summary

void	disable_tracing()
void	enable_tracing()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
void	ReInit(InputStream stream)
void	ReInit(Reader stream)
void	ReInit(RenamesParserTokenManager tm)
void	renames(Map map)
String	safeToUnsafe(String safe)
String	unescape(String escaped)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

token_source

public RenamesParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

Constructor Detail

RenamesParser

public RenamesParser(InputStream stream)

RenamesParser

public RenamesParser(Reader stream)

RenamesParser

public RenamesParser(RenamesParserTokenManager tm)

Method Detail

safeToUnsafe

public String safeToUnsafe(String safe)

unescape

public String unescape(String escaped)

renames

public final void renames(Map map)
                   throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

ReInit

public void ReInit(Reader stream)

ReInit

public void ReInit(RenamesParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public final ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()