JML

org.jmlspecs.checker
Class JmlExprIDKeywords

java.lang.Object
  extended byorg.jmlspecs.checker.JmlExprIDKeywords
All Implemented Interfaces:
JmlExprIDTokenTypes, JmlTopIDTokenTypes, MjcIDTokenTypes

final class JmlExprIDKeywords
extends Object
implements JmlExprIDTokenTypes


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
           
static int QUANTIFIER
           
private static int[][] T1
           
private static int[][] T2
           
private static CToken[] tokens
           
private static int TOTAL_KEYWORDS
           
 
Fields inherited from interface org.jmlspecs.checker.JmlExprIDTokenTypes
LITERAL_BS_bigint, LITERAL_BS_bigint_math, LITERAL_BS_duration, LITERAL_BS_elemtype, LITERAL_BS_everything, LITERAL_BS_exists, LITERAL_BS_forall, LITERAL_BS_fresh, LITERAL_BS_into, LITERAL_BS_invariant_for, LITERAL_BS_is_initialized, LITERAL_BS_java_math, LITERAL_BS_lblneg, LITERAL_BS_lblpos, LITERAL_BS_lockset, LITERAL_BS_max, LITERAL_BS_min, LITERAL_BS_nonnullelements, LITERAL_BS_not_assigned, LITERAL_BS_not_modified, LITERAL_BS_not_specified, LITERAL_BS_nothing, LITERAL_BS_nowarn, LITERAL_BS_nowarn_op, LITERAL_BS_num_of, LITERAL_BS_old, LITERAL_BS_only_accessed, LITERAL_BS_only_assigned, LITERAL_BS_only_called, LITERAL_BS_only_captured, LITERAL_BS_other, LITERAL_BS_pre, LITERAL_BS_product, LITERAL_BS_reach, LITERAL_BS_real, LITERAL_BS_result, LITERAL_BS_safe_math, LITERAL_BS_same, LITERAL_BS_space, LITERAL_BS_such_that, LITERAL_BS_sum, LITERAL_BS_TYPE, LITERAL_BS_type, LITERAL_BS_typeof, LITERAL_BS_warn, LITERAL_BS_warn_op, LITERAL_BS_working_space, LITERAL_U_peer, LITERAL_U_readonly, LITERAL_U_rep
 
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) JmlExprIDKeywords()
           
 
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

QUANTIFIER

public static final int QUANTIFIER

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
Constructor Detail

JmlExprIDKeywords

JmlExprIDKeywords()
Method Detail

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)

JML

JML is Copyright (C) 1998-2002 by Iowa State University 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 MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.