csheets.ext.assertion
Class AssertionParser

java.lang.Object
  antlr.Parser
      antlr.LLkParser
          csheets.ext.assertion.AssertionParser

All Implemented Interfaces:

AssertionParserTokenTypes

public class AssertionParser
extends antlr.LLkParser
implements AssertionParserTokenTypes

Field Summary

static String[]

_tokenNames

Fields inherited from class antlr.Parser

astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth

Fields inherited from interface csheets.ext.assertion.AssertionParserTokenTypes

COMMA, DIGIT, EOF, EOL, EXCEPT, EXPONENT, GT, GTEQ, INTEGER, LBRACK, LT, LTEQ, MINUS, NULL_TREE_LOOKAHEAD, NUMBER, OR, PLUS, RBRACK, TO, WS

Constructor Summary

	AssertionParser(antlr.ParserSharedInputState state)
	AssertionParser(antlr.TokenBuffer tokenBuf)
protected	AssertionParser(antlr.TokenBuffer tokenBuf, int k)
	AssertionParser(antlr.TokenStream lexer)
protected	AssertionParser(antlr.TokenStream lexer, int k)

Method Summary

void	assertion(USAssertion ass, List<Interval> orIntervals, List<Interval> exceptIntervals)
double	constant()
void	except_clause(List<Interval> lst)
void	interval(List<Interval> lst)
void	is_integer(USAssertion ass)
void	or_expr(List<Interval> lst)
void	os_interval(List<Interval> lst)
void	term(List<Interval> lst)

Methods inherited from class antlr.LLkParser

consume, LA, LT, traceIn, traceOut

Methods inherited from class antlr.Parser

addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, recover, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent

Methods inherited from class java.lang.Object

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

Field Detail

_tokenNames

public static final String[] _tokenNames

Constructor Detail

AssertionParser

protected AssertionParser(antlr.TokenBuffer tokenBuf,
                          int k)

AssertionParser

public AssertionParser(antlr.TokenBuffer tokenBuf)

AssertionParser

protected AssertionParser(antlr.TokenStream lexer,
                          int k)

AssertionParser

public AssertionParser(antlr.TokenStream lexer)

AssertionParser

public AssertionParser(antlr.ParserSharedInputState state)

Method Detail

assertion

public final void assertion(USAssertion ass,
                            List<Interval> orIntervals,
                            List<Interval> exceptIntervals)
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException,
                            AssertionException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

AssertionException

or_expr

public final void or_expr(List<Interval> lst)
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException,
                          AssertionException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

AssertionException

except_clause

public final void except_clause(List<Interval> lst)
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException,
                                AssertionException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

AssertionException

is_integer

public final void is_integer(USAssertion ass)
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

term

public final void term(List<Interval> lst)
                throws antlr.RecognitionException,
                       antlr.TokenStreamException,
                       AssertionException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

AssertionException

interval

public final void interval(List<Interval> lst)
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException,
                           AssertionException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

AssertionException

constant

public final double constant()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

os_interval

public final void os_interval(List<Interval> lst)
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException,
                              AssertionException

Throws:

antlr.RecognitionException

antlr.TokenStreamException

AssertionException