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