JML

org.multijava.mjc
Interface Constants

All Superinterfaces:
Constants
All Known Subinterfaces:
Constants, Constants, RacConstants, RacVisitor
All Known Implementing Classes:
AbstractFileFinder, CContext, CMember, CMethodSet, CModifier, CStdType, CTopLevel, CType, CTypeType, JAddExpression, JCompilationUnit, JConstructorDeclarationWrapper, JDivideExpression, JFieldDeclarationWrapper, JInterfaceDeclarationWrapper, JMethodDeclarationWrapper, JMinusExpression, JmlAbstractVisitor, JmlAccumSubclassingInfo, JmlBinaryArithmeticExpressionHelper, JmlCompilationUnitContext, JmlContext, JmlExpression, JmlFormalParameter, JmlMemberAccess, JmlNode, JmlNumericType, JmlRelationalExpression, JmlSigBinaryMethod, JmlSourceClass, JmlSourceField, JmlSourceMethod, JmlStdType, JmlStoreRefKeyword, JmlUnaryExpression, JmlVariableDefinition, JMultExpression, JOrdinalLiteral, JPhylum, JStatementWrapper, JUnaryExpression, Main, Main, Main.JmlGenerateAssertionTask, MemberAccess, MjcPrettyPrinter, MJGenericFunctionDecl, MJMathMode, MJMathModeExpression, MJWarnExpression, NonNullStatistics, PreValueVars, QInterval, QSet, RacAbstractVisitor, RacPrettyPrinter, RMJClassLoader, SpecWriter, TestClassGenerator, TestDataClassGenerator, TestJmlParser, Translator, TransUtils, VarGenerator

public interface Constants
extends Constants

Defines all constants shared by compiler


Field Summary
static long ACC_MODIFIER_FLAGS_MASK
           
static long ACC_NON_NULL
           
static long ACC_NON_NULL_BY_DEFAULT
           
static long ACC_NULLABLE
           
static long ACC_NULLABLE_BY_DEFAULT
           
static long ACC_PURE
           
static long[] ACCESS_FLAG_ARRAY
          These arrays are used to map flags to names for pretty printing and error messages and to issue style warnings for modifiers out of order.
static String[] ACCESS_FLAG_NAMES
          These arrays are used to map flags to names for pretty printing and error messages and to issue style warnings for modifiers out of order.
static byte AMID_JAVA_MATH
           
static byte AMID_MAX
           
static byte AMID_SAFE_MATH
           
static int CMP_VERSION
           
static long IMPLICITLY_NON_NULL
           
static String JAV_ASSERTION_ERROR
           
static String JAV_CLASS
           
static String JAV_CLASSLOADER
           
static String JAV_CLASSNOTFOUND_EXCEPTION
           
static String JAV_CLONE
           
static String JAV_CLONEABLE
           
static String JAV_CONSTRUCTOR
           
static String JAV_ERROR
           
static String JAV_EXCEPTION
           
static String JAV_INIT
           
static String JAV_LENGTH
           
static String JAV_NAME_SEPARATOR
           
static String JAV_NOCLASSDEFFOUND_ERROR
           
static String JAV_OBJECT
           
static String JAV_OUTER_THIS
           
static String JAV_RMJ_RUNTIME_EXCEPTION
           
static String JAV_RUNTIME
           
static String JAV_RUNTIME_EXCEPTION
           
static String JAV_SERIALIZABLE
           
static String JAV_STATIC_INIT
           
static String JAV_STRING
           
static String JAV_STRINGBUFFER
           
static String JAV_SUPER
           
static String JAV_THIS
           
static String JAV_THROWABLE
           
static String MJ_ANCHOR
           
static long NULLITY_MODS
           
static int OPE_BAND
           
static int OPE_BNOT
           
static int OPE_BOR
           
static int OPE_BSR
           
static int OPE_BXOR
           
static int OPE_EQ
           
static int OPE_GE
           
static int OPE_GT
           
static int OPE_LAND
           
static int OPE_LE
           
static int OPE_LNOT
           
static int OPE_LOR
           
static int OPE_LT
           
static int OPE_MINUS
           
static int OPE_NE
           
static int OPE_PERCENT
           
static int OPE_PLUS
           
static int OPE_POSTDEC
           
static int OPE_POSTINC
           
static int OPE_PREDEC
           
static int OPE_PREINC
           
static int OPE_SIMPLE
           
static int OPE_SL
           
static int OPE_SLASH
           
static int OPE_SR
           
static int OPE_STAR
           
static int TID_ARRAY
           
static int TID_BOOLEAN
           
static int TID_BYTE
           
static int TID_CHAR
           
static int TID_CLASS
           
static int TID_DOUBLE
           
static int TID_FLOAT
           
static int TID_INT
           
static int TID_LONG
           
static int TID_MAX
           
static int TID_SHORT
           
static int TID_VOID
           
static String UNIV_ARRAY_TMP
           
static String UNIV_TMP
           
 
Fields inherited from interface org.multijava.util.classfile.Constants
ACC_ABSTRACT, ACC_FINAL, ACC_INTERFACE, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_VOLATILE, ATT_ANCHOR, ATT_BRIDGE, ATT_CODE, ATT_CONSTANTVALUE, ATT_DEPRECATED, ATT_DISPATCHER, ATT_EXCEPTIONS, ATT_GENERIC, ATT_GENERIC_FUNCTIONS, ATT_INNERCLASSES, ATT_LINENUMBERTABLE, ATT_LOCALVARIABLETABLE, ATT_MM_BODY, ATT_REDIRECTOR, ATT_RMJ_GLUE, ATT_RMJ_SIGNATURE, ATT_RUNTIME_VISIBLE_ANNOTATIONS, ATT_RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS, ATT_SIGNATURE, ATT_SOURCEFILE, ATT_SYNTHETIC, ATT_UNIVERSE_FIELD, ATT_UNIVERSE_METHOD, ATT_UNIVERSE_VERSION, CST_CLASS, CST_DOUBLE, CST_FIELD, CST_FLOAT, CST_INTEGER, CST_INTERFACEMETHOD, CST_LONG, CST_METHOD, CST_NAMEANDTYPE, CST_STRING, CST_UTF8, ENV_DEBUG_MODE, ENV_USE_CACHE, JAVA_MAGIC, JAVA_MAJOR, JAVA_MINOR, MAX_CODE_PER_METHOD, opc_aaload, opc_aastore, opc_aconst_null, opc_aload, opc_aload_0, opc_aload_1, opc_aload_2, opc_aload_3, opc_anewarray, opc_areturn, opc_arraylength, opc_astore, opc_astore_0, opc_astore_1, opc_astore_2, opc_astore_3, opc_athrow, opc_baload, opc_bastore, opc_bipush, opc_caload, opc_castore, opc_checkcast, opc_d2f, opc_d2i, opc_d2l, opc_dadd, opc_daload, opc_dastore, opc_dcmpg, opc_dcmpl, opc_dconst_0, opc_dconst_1, opc_ddiv, opc_dload, opc_dload_0, opc_dload_1, opc_dload_2, opc_dload_3, opc_dmul, opc_dneg, opc_drem, opc_dreturn, opc_dstore, opc_dstore_0, opc_dstore_1, opc_dstore_2, opc_dstore_3, opc_dsub, opc_dup, opc_dup2, opc_dup2_x1, opc_dup2_x2, opc_dup_x1, opc_dup_x2, opc_f2d, opc_f2i, opc_f2l, opc_fadd, opc_faload, opc_fastore, opc_fcmpg, opc_fcmpl, opc_fconst_0, opc_fconst_1, opc_fconst_2, opc_fdiv, opc_fload, opc_fload_0, opc_fload_1, opc_fload_2, opc_fload_3, opc_fmul, opc_fneg, opc_frem, opc_freturn, opc_fstore, opc_fstore_0, opc_fstore_1, opc_fstore_2, opc_fstore_3, opc_fsub, opc_getfield, opc_getstatic, opc_goto, opc_goto_w, opc_i2b, opc_i2c, opc_i2d, opc_i2f, opc_i2l, opc_i2s, opc_iadd, opc_iaload, opc_iand, opc_iastore, opc_iconst_0, opc_iconst_1, opc_iconst_2, opc_iconst_3, opc_iconst_4, opc_iconst_5, opc_iconst_m1, opc_idiv, opc_if_acmpeq, opc_if_acmpne, opc_if_icmpeq, opc_if_icmpge, opc_if_icmpgt, opc_if_icmple, opc_if_icmplt, opc_if_icmpne, opc_ifeq, opc_ifge, opc_ifgt, opc_ifle, opc_iflt, opc_ifne, opc_ifnonnull, opc_ifnull, opc_iinc, opc_iload, opc_iload_0, opc_iload_1, opc_iload_2, opc_iload_3, opc_imul, opc_ineg, opc_instanceof, opc_invokeinterface, opc_invokespecial, opc_invokestatic, opc_invokevirtual, opc_ior, opc_irem, opc_ireturn, opc_ishl, opc_ishr, opc_istore, opc_istore_0, opc_istore_1, opc_istore_2, opc_istore_3, opc_isub, opc_iushr, opc_ixor, opc_jsr, opc_jsr_w, opc_l2d, opc_l2f, opc_l2i, opc_ladd, opc_laload, opc_land, opc_lastore, opc_lcmp, opc_lconst_0, opc_lconst_1, opc_ldc, opc_ldc2_w, opc_ldc_w, opc_ldiv, opc_lload, opc_lload_0, opc_lload_1, opc_lload_2, opc_lload_3, opc_lmul, opc_lneg, opc_lookupswitch, opc_lor, opc_lrem, opc_lreturn, opc_lshl, opc_lshr, opc_lstore, opc_lstore_0, opc_lstore_1, opc_lstore_2, opc_lstore_3, opc_lsub, opc_lushr, opc_lxor, opc_monitorenter, opc_monitorexit, opc_multianewarray, opc_new, opc_newarray, opc_nop, opc_pop, opc_pop2, opc_putfield, opc_putstatic, opc_ret, opc_return, opc_saload, opc_sastore, opc_sipush, opc_swap, opc_tableswitch, opc_wide, opc_xxxunusedxxx, POO_ASCII_CONSTANT, POO_CLASS_CONSTANT, POO_DOUBLE_CONSTANT, POO_FLOAT_CONSTANT, POO_INTEGER_CONSTANT, POO_LONG_CONSTANT, POO_NAT_CONSTANT, POO_REF_CONSTANT, POO_STRING_CONSTANT, TYP_ADDRESS, TYP_DOUBLE, TYP_FLOAT, TYP_INT, TYP_LONG, TYP_REFERENCE, TYP_VOID
 

Field Detail

TID_VOID

public static final int TID_VOID

TID_BYTE

public static final int TID_BYTE

TID_SHORT

public static final int TID_SHORT

TID_CHAR

public static final int TID_CHAR

TID_INT

public static final int TID_INT

TID_LONG

public static final int TID_LONG

TID_FLOAT

public static final int TID_FLOAT

TID_DOUBLE

public static final int TID_DOUBLE

TID_CLASS

public static final int TID_CLASS

TID_ARRAY

public static final int TID_ARRAY

TID_BOOLEAN

public static final int TID_BOOLEAN

TID_MAX

public static final int TID_MAX

AMID_JAVA_MATH

public static final byte AMID_JAVA_MATH

AMID_SAFE_MATH

public static final byte AMID_SAFE_MATH

AMID_MAX

public static final byte AMID_MAX

ACC_MODIFIER_FLAGS_MASK

public static final long ACC_MODIFIER_FLAGS_MASK

IMPLICITLY_NON_NULL

public static final long IMPLICITLY_NON_NULL

ACC_PURE

public static final long ACC_PURE

ACC_NON_NULL_BY_DEFAULT

public static final long ACC_NON_NULL_BY_DEFAULT

ACC_NULLABLE_BY_DEFAULT

public static final long ACC_NULLABLE_BY_DEFAULT

ACC_NON_NULL

public static final long ACC_NON_NULL

ACC_NULLABLE

public static final long ACC_NULLABLE

NULLITY_MODS

public static final long NULLITY_MODS

ACCESS_FLAG_ARRAY

public static final long[] ACCESS_FLAG_ARRAY
These arrays are used to map flags to names for pretty printing and error messages and to issue style warnings for modifiers out of order.

See Also:
ACCESS_FLAG_ARRAY, ACCESS_FLAG_NAMES

ACCESS_FLAG_NAMES

public static final String[] ACCESS_FLAG_NAMES
These arrays are used to map flags to names for pretty printing and error messages and to issue style warnings for modifiers out of order.

See Also:
ACCESS_FLAG_ARRAY, ACCESS_FLAG_NAMES

CMP_VERSION

public static final int CMP_VERSION

JAV_ASSERTION_ERROR

public static final String JAV_ASSERTION_ERROR

JAV_CLASS

public static final String JAV_CLASS

JAV_CLONEABLE

public static final String JAV_CLONEABLE

JAV_ERROR

public static final String JAV_ERROR

JAV_EXCEPTION

public static final String JAV_EXCEPTION

JAV_OBJECT

public static final String JAV_OBJECT

JAV_RUNTIME_EXCEPTION

public static final String JAV_RUNTIME_EXCEPTION

JAV_RMJ_RUNTIME_EXCEPTION

public static final String JAV_RMJ_RUNTIME_EXCEPTION

JAV_STRING

public static final String JAV_STRING

JAV_STRINGBUFFER

public static final String JAV_STRINGBUFFER

JAV_THROWABLE

public static final String JAV_THROWABLE

JAV_CLASSLOADER

public static final String JAV_CLASSLOADER

JAV_SERIALIZABLE

public static final String JAV_SERIALIZABLE

JAV_CLASSNOTFOUND_EXCEPTION

public static final String JAV_CLASSNOTFOUND_EXCEPTION

JAV_NOCLASSDEFFOUND_ERROR

public static final String JAV_NOCLASSDEFFOUND_ERROR

JAV_CONSTRUCTOR

public static final String JAV_CONSTRUCTOR

JAV_INIT

public static final String JAV_INIT

JAV_STATIC_INIT

public static final String JAV_STATIC_INIT

JAV_THIS

public static final String JAV_THIS

JAV_OUTER_THIS

public static final String JAV_OUTER_THIS

JAV_SUPER

public static final String JAV_SUPER

JAV_NAME_SEPARATOR

public static final String JAV_NAME_SEPARATOR

JAV_RUNTIME

public static final String JAV_RUNTIME

JAV_CLONE

public static final String JAV_CLONE

JAV_LENGTH

public static final String JAV_LENGTH

MJ_ANCHOR

public static final String MJ_ANCHOR

UNIV_TMP

public static final String UNIV_TMP

UNIV_ARRAY_TMP

public static final String UNIV_ARRAY_TMP

OPE_SIMPLE

public static final int OPE_SIMPLE

OPE_PLUS

public static final int OPE_PLUS

OPE_MINUS

public static final int OPE_MINUS

OPE_STAR

public static final int OPE_STAR

OPE_SLASH

public static final int OPE_SLASH

OPE_PERCENT

public static final int OPE_PERCENT

OPE_SR

public static final int OPE_SR

OPE_BSR

public static final int OPE_BSR

OPE_SL

public static final int OPE_SL

OPE_BAND

public static final int OPE_BAND

OPE_BXOR

public static final int OPE_BXOR

OPE_BOR

public static final int OPE_BOR

OPE_BNOT

public static final int OPE_BNOT

OPE_LNOT

public static final int OPE_LNOT

OPE_LT

public static final int OPE_LT

OPE_LE

public static final int OPE_LE

OPE_GT

public static final int OPE_GT

OPE_GE

public static final int OPE_GE

OPE_EQ

public static final int OPE_EQ

OPE_NE

public static final int OPE_NE

OPE_LAND

public static final int OPE_LAND

OPE_LOR

public static final int OPE_LOR

OPE_PREINC

public static final int OPE_PREINC

OPE_PREDEC

public static final int OPE_PREDEC

OPE_POSTINC

public static final int OPE_POSTINC

OPE_POSTDEC

public static final int OPE_POSTDEC

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.