edu.utep.cs.utjml.compiler
Class UtTokenStreamSelector

java.lang.Object
  antlr.TokenStreamSelector
      org.jmlspecs.checker.TokenStreamSelector
          edu.utep.cs.utjml.compiler.UtTokenStreamSelector

All Implemented Interfaces:

antlr.TokenStream

public class UtTokenStreamSelector
extends TokenStreamSelector

Provides for switching between various lexical analyzers for lexing UTJML. Extends org.jmlspecs.checker.TokenStreamSelector by recognizing UTJML specific tokens such as call_sequence.

Version:

$Revision: 1.1 $

Author:

Yoonsik Cheon

Field Summary

Fields inherited from class org.jmlspecs.checker.TokenStreamSelector

inJMLExpression

Fields inherited from class antlr.TokenStreamSelector

input, inputStreamNames, streamStack

Constructor Summary

UtTokenStreamSelector()

Method Summary

protected CToken

lookupKeyword(char[] charCache, int start, int tokenLen) Looks up keywords.

Methods inherited from class org.jmlspecs.checker.TokenStreamSelector

lexedLCurly, lexedLeftParen, lexedRCurly, lexedRightParen, lexedSemicolon, lookupJMLToken, setAllowUniverseKeywords

Methods inherited from class antlr.TokenStreamSelector

addInputStream, getCurrentStream, getStream, nextToken, pop, push, push, retry, select, select

Methods inherited from class java.lang.Object

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

Constructor Detail

UtTokenStreamSelector

public UtTokenStreamSelector()

Method Detail

lookupKeyword

protected CToken lookupKeyword(char[] charCache,
                               int start,
                               int tokenLen)

Looks up keywords. If the current token is not a keyword, null is returned. This method is overridden here to look up UTJML keywords.

Overrides:

lookupKeyword in class TokenStreamSelector