Package de.saar.chorus.domgraph.chart.lethal

Class RewritingSystemParser

java.lang.Object

de.saar.chorus.domgraph.chart.lethal.RewritingSystemParser

All Implemented Interfaces:

RewritingSystemParserConstants

public class RewritingSystemParser
extends Object
implements RewritingSystemParserConstants

Field Summary

Fields

Modifier and Type	Field	Description
Token	jj_nt	Next token.
Token	token	Current token.
RewritingSystemParserTokenManager	token_source	Generated Token Manager.

Fields inherited from interface de.saar.chorus.domgraph.chart.lethal.RewritingSystemParserConstants

ARROW, DEFAULT, EOF, ID, LINE_END_COMMENT, NEUTRALANN, NUMBER, STARTANN, tokenImage, VARIABLE, WILDCARD

Constructor Summary

Constructors

Constructor	Description
RewritingSystemParser()
RewritingSystemParser(RewritingSystemParserTokenManager tm)	Constructor with generated Token Manager.
RewritingSystemParser(InputStream stream)	Constructor with InputStream.
RewritingSystemParser(InputStream stream, String encoding)	Constructor with InputStream and supplied encoding
RewritingSystemParser(Reader stream)	Constructor.

Method Summary

Modifier and Type	Method	Description
final String	Annotation()
final void	AnnotatorComponent()
final void	disable_tracing()	Disable tracing.
final void	enable_tracing()	Enable tracing.
final void	EquivalenceRule()
ParseException	generateParseException()	Generate ParseException.
final Token	getNextToken()	Get the next Token.
final Token	getToken(int index)	Get the specific Token.
final Token	idOrNumber()
final void	Input()
static de.saar.chorus.term.Term	parseTerm(String s)
void	read(Reader reader, RewriteSystem weakening, RewriteSystem equivalence, Annotator annotator)
void	ReInit(RewritingSystemParserTokenManager tm)	Reinitialise.
void	ReInit(InputStream stream)	Reinitialise.
void	ReInit(InputStream stream, String encoding)	Reinitialise.
void	ReInit(Reader stream)	Reinitialise.
final de.saar.chorus.term.Term	term()
final void	WeakeningRule()

Methods inherited from class java.lang.Object

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

Field Details

token_source

public RewritingSystemParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Details

RewritingSystemParser

public RewritingSystemParser()

RewritingSystemParser

public RewritingSystemParser(InputStream stream)

Constructor with InputStream.

RewritingSystemParser

public RewritingSystemParser(InputStream stream,
 String encoding)

Constructor with InputStream and supplied encoding

RewritingSystemParser

public RewritingSystemParser(Reader stream)

Constructor.

RewritingSystemParser

public RewritingSystemParser(RewritingSystemParserTokenManager tm)

Constructor with generated Token Manager.

Method Details

read

public void read(Reader reader,
 RewriteSystem weakening,
 RewriteSystem equivalence,
 Annotator annotator)
          throws Exception

Throws:

Exception

parseTerm

public static de.saar.chorus.term.Term parseTerm(String s)
                                          throws Exception

Throws:

Exception

Input

public final void Input()
                 throws ParseException

Throws:

ParseException

WeakeningRule

public final void WeakeningRule()
                         throws ParseException

Throws:

ParseException

EquivalenceRule

public final void EquivalenceRule()
                           throws ParseException

Throws:

ParseException

AnnotatorComponent

public final void AnnotatorComponent()
                              throws ParseException

Throws:

ParseException

Annotation

public final String Annotation()
                        throws ParseException

Throws:

ParseException

term

public final de.saar.chorus.term.Term term()
                                    throws ParseException

Throws:

ParseException

idOrNumber

public final Token idOrNumber()
                       throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
 String encoding)

Reinitialise.

ReInit

public void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(RewritingSystemParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.