Uses of Class
org.multijava.util.compiler.CToken

Packages that use CToken

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.

Uses of CToken in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as CToken

private static CToken[]	JmlExprIDKeywords.tokens
private static CToken[]	JmlIDKeywords.tokens
private CToken	TokenStreamSelector.HACKED_AFFIRM_LITERAL_TOKEN This token is returned whenever an assert token is lexed inside a JML annotation.
private static CToken[]	JmlTopIDKeywords.tokens

Methods in org.jmlspecs.checker that return CToken

static CToken	JmlExprIDKeywords.lookup(char[] data, int offset, int length)
static CToken	JmlIDKeywords.lookup(char[] data, int offset, int length)
CToken	TokenStreamSelector.lookupJMLToken(char[] charCache, int start, int tokenLen) Returns the appropriate token for the JML ident contained in charCache[start]..charCache[start+length], or null if no JML ident is appropriate.
protected CToken	TokenStreamSelector.lookupKeyword(char[] charCache, int start, int tokenLen) Looks up keywords.
static CToken	JmlTopIDKeywords.lookup(char[] data, int offset, int length)

Uses of CToken in org.multijava.mjc

Fields in org.multijava.mjc declared as CToken

private static CToken[]

MjcIDKeywords.tokens

Methods in org.multijava.mjc that return CToken

static CToken

MjcIDKeywords.lookup(char[] data, int offset, int length)

Uses of CToken in org.multijava.util.compiler

Methods in org.multijava.util.compiler that return CToken

static CToken

CToken.lookupToken(int type, char[] data, int start, int length)