JML

org.jmlspecs.util.dis
Interface Constants

All Known Implementing Classes:
JmlDisassembler

public interface Constants

Defines disassembler constants


Field Summary
static int ACC2_RAC_METHOD
           
static int ACC_CODE_BIGINT_MATH
           
static int ACC_CODE_JAVA_MATH
           
static int ACC_CODE_SAFE_MATH
           
static int ACC_GHOST
           
static int ACC_HELPER
           
static int ACC_INSTANCE
           
static int ACC_MODEL
           
static int ACC_MONITORED
           
static int ACC_NON_NULL
           
static int ACC_PURE
           
static int ACC_SPEC_BIGINT_MATH
           
static int ACC_SPEC_JAVA_MATH
           
static int ACC_SPEC_PROTECTED
           
static int ACC_SPEC_PUBLIC
           
static int ACC_SPEC_SAFE_MATH
           
static int ACC_UNINITIALIZED
           
 

Field Detail

ACC_MODEL

public static final int ACC_MODEL

ACC_PURE

public static final int ACC_PURE

ACC_INSTANCE

public static final int ACC_INSTANCE

ACC_SPEC_PUBLIC

public static final int ACC_SPEC_PUBLIC

ACC_SPEC_PROTECTED

public static final int ACC_SPEC_PROTECTED

ACC_GHOST

public static final int ACC_GHOST

ACC_MONITORED

public static final int ACC_MONITORED

ACC_UNINITIALIZED

public static final int ACC_UNINITIALIZED

ACC_NON_NULL

public static final int ACC_NON_NULL

ACC_HELPER

public static final int ACC_HELPER

ACC_CODE_JAVA_MATH

public static final int ACC_CODE_JAVA_MATH

ACC_CODE_SAFE_MATH

public static final int ACC_CODE_SAFE_MATH

ACC_CODE_BIGINT_MATH

public static final int ACC_CODE_BIGINT_MATH

ACC_SPEC_JAVA_MATH

public static final int ACC_SPEC_JAVA_MATH

ACC_SPEC_SAFE_MATH

public static final int ACC_SPEC_SAFE_MATH

ACC_SPEC_BIGINT_MATH

public static final int ACC_SPEC_BIGINT_MATH

ACC2_RAC_METHOD

public static final int ACC2_RAC_METHOD

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.