org.jmlspecs.checker
Class JmlTopIDKeywords

java.lang.Object
  org.jmlspecs.checker.JmlTopIDKeywords

All Implemented Interfaces:

JmlTopIDTokenTypes, MjcIDTokenTypes

final class JmlTopIDKeywords

extends Object

implements JmlTopIDTokenTypes

Field Summary
static int	INSIDE_ANNOTATION
private static char[][]	keywords
private static int	MAX_CHAR_VAL
private static int	MAX_GRAPH_NODE_VAL
private static int	MAX_NODE_NUM
private static int	MAX_WORD_LENG
private static int	MIN_CHAR_VAL
private static int	MIN_WORD_LENG
private static int[][]	T1
private static int[][]	T2
private static CToken[]	tokens
private static int	TOTAL_KEYWORDS

 

Fields inherited from interface org.jmlspecs.checker.JmlTopIDTokenTypes

DOT_DOT

 

Fields inherited from interface org.multijava.mjc.MjcIDTokenTypes

ASSIGN, AT, BAND, BAND_ASSIGN, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CHARACTER_LITERAL, COLON, COMMA, DEC, DOT, EOF, EQUAL, GE, GT, IDENT, INC, INTEGER_LITERAL, JAVADOC_OPEN, LAND, LBRACK, LCURLY, LE, LITERAL__nowarn, LITERAL__nowarn_op, LITERAL__warn, LITERAL__warn_op, LITERAL_abstract, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_const, LITERAL_continue, LITERAL_default, LITERAL_do, LITERAL_double, LITERAL_else, LITERAL_extends, LITERAL_false, LITERAL_final, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_goto, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_peer, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_pure, LITERAL_readonly, LITERAL_rep, LITERAL_resend, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_strictfp, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOR, LPAREN, LT, MINUS, MINUS_ASSIGN, NOT_EQUAL, NULL_TREE_LOOKAHEAD, PERCENT, PERCENT_ASSIGN, PLUS, PLUS_ASSIGN, QUESTION, RBRACK, RCURLY, REAL_LITERAL, RPAREN, SEMI, SL, SL_ASSIGN, SLASH, SLASH_ASSIGN, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STRING_LITERAL

 

Constructor Summary
(package private)	JmlTopIDKeywords()

 

Method Summary
private static boolean	equals(char[] key, int offset, int length, char[] word)
private static int	find(char[] key, int offset, int length)
private static int	gIndex(int n)
private static int	hash(char[] key, int offset, int length)
static CToken	lookup(char[] data, int offset, int length)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

tokens

private static final CToken[] tokens

INSIDE_ANNOTATION

public static final int INSIDE_ANNOTATION

MAX_GRAPH_NODE_VAL

private static final int MAX_GRAPH_NODE_VAL

MIN_CHAR_VAL

private static final int MIN_CHAR_VAL

MAX_CHAR_VAL

private static final int MAX_CHAR_VAL

MIN_WORD_LENG

private static final int MIN_WORD_LENG

MAX_WORD_LENG

private static final int MAX_WORD_LENG

TOTAL_KEYWORDS

private static final int TOTAL_KEYWORDS

keywords

private static final char[][] keywords

T1

private static final int[][] T1

T2

private static final int[][] T2

MAX_NODE_NUM

private static final int MAX_NODE_NUM

JmlTopIDKeywords

JmlTopIDKeywords()

lookup

public static CToken lookup(char[] data,
                            int offset,
                            int length)

gIndex

private static final int gIndex(int n)

equals

private static final boolean equals(char[] key,
                                    int offset,
                                    int length,
                                    char[] word)

hash

private static final int hash(char[] key,
                              int offset,
                              int length)

find

private static final int find(char[] key,
                              int offset,
                              int length)