UTJML

edu.utep.cs.utjml.compiler
Class UtTokenStreamSelector

java.lang.Object
  extended by antlr.TokenStreamSelector
      extended by org.jmlspecs.checker.TokenStreamSelector
          extended by 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

UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.