class CODE_ATTRIBUTE
Summary
Class invariant
Overview
exported features
opcode feature list :
High level opcode calls:
Easy access to some Java basics:
Calls to SmartEiffelRuntime.java :
stack_level: INTEGER_32
writable attribute
Used to compute max_stack
item (index: INTEGER_32): INTEGER_32
effective function
Mostly to write assertion (equivalent to code.item(index)).
program_counter: INTEGER_32
effective function
extra_local (local_type: TYPE_MARK): INTEGER_32
effective function
extra_local_size1: INTEGER_32
effective function
opcode_nop
effective procedure
opcode_aconst_null
effective procedure
opcode_iconst_m1
effective procedure
opcode_iconst_0
effective procedure
opcode_iconst_1
effective procedure
opcode_iconst_i (n: INTEGER_32)
effective procedure
opcode_lconst_0
effective procedure
opcode_lconst_1
effective procedure
opcode_lconst_i (n: INTEGER_32)
effective procedure
opcode_fconst_0
effective procedure
opcode_dconst_0
effective procedure
opcode_bipush (byte: INTEGER_32)
effective procedure
Sign-extended value.
opcode_sipush (u2: INTEGER_32)
effective procedure
opcode_ldc (idx: INTEGER_32)
effective procedure
For both ldc and ldc_w.
opcode_fload (index: INTEGER_32)
effective procedure
opcode_dload_0
effective procedure
opcode_dload (index: INTEGER_32)
effective procedure
opcode_aload (index: INTEGER_32)
effective procedure
opcode_iload_0
effective procedure
opcode_iload_1
effective procedure
opcode_iload_2
effective procedure
opcode_iload_3
effective procedure
opcode_iload (index: INTEGER_32)
effective procedure
opcode_lload_0
effective procedure
opcode_lload_1
effective procedure
opcode_lload_2
effective procedure
opcode_lload_3
effective procedure
opcode_lload (index: INTEGER_32)
effective procedure
opcode_aload_0
effective procedure
opcode_aload_1
effective procedure
opcode_aload_2
effective procedure
opcode_aload_3
effective procedure
opcode_iaload
effective procedure
opcode_laload
effective procedure
opcode_faload
effective procedure
opcode_daload
effective procedure
opcode_aaload
effective procedure
opcode_baload
effective procedure
opcode_caload
effective procedure
opcode_saload
effective procedure
opcode_istore_3
effective procedure
opcode_istore (offset: INTEGER_32)
effective procedure
opcode_lstore (offset: INTEGER_32)
effective procedure
opcode_fstore (offset: INTEGER_32)
effective procedure
opcode_dstore (offset: INTEGER_32)
effective procedure
opcode_astore_0
effective procedure
opcode_astore_1
effective procedure
opcode_astore_2
effective procedure
opcode_astore_3
effective procedure
opcode_astore (offset: INTEGER_32)
effective procedure
opcode_iastore
effective procedure
opcode_lastore
effective procedure
opcode_fastore
effective procedure
opcode_dastore
effective procedure
opcode_aastore
effective procedure
opcode_bastore
effective procedure
opcode_castore
effective procedure
opcode_sastore
effective procedure
opcode_pop
effective procedure
opcode_pop2
effective procedure
opcode_dup
effective procedure
opcode_dup_x1
effective procedure
opcode_dup_x2
effective procedure
opcode_dup2
effective procedure
opcode_dup2_x1
effective procedure
opcode_swap
effective procedure
opcode_iadd
effective procedure
opcode_ladd
effective procedure
opcode_fadd
effective procedure
opcode_dadd
effective procedure
opcode_isub
effective procedure
opcode_lsub
effective procedure
opcode_fsub
effective procedure
opcode_dsub
effective procedure
opcode_imul
effective procedure
opcode_lmul
effective procedure
opcode_fmul
effective procedure
opcode_dmul
effective procedure
opcode_idiv
effective procedure
opcode_ldiv
effective procedure
opcode_fdiv
effective procedure
opcode_ddiv
effective procedure
opcode_irem
effective procedure
opcode_lrem
effective procedure
opcode_ineg
effective procedure
opcode_lneg
effective procedure
opcode_fneg
effective procedure
opcode_dneg
effective procedure
opcode_ishl
effective procedure
opcode_lshl
effective procedure
opcode_ishr
effective procedure
opcode_lshr
effective procedure
opcode_iushr
effective procedure
opcode_lushr
effective procedure
opcode_iand
effective procedure
opcode_land
effective procedure
opcode_ior
effective procedure
opcode_lor
effective procedure
opcode_ixor
effective procedure
opcode_lxor
effective procedure
opcode_iinc (loc_idx: INTEGER_32, u1_increment: INTEGER_32)
effective procedure
opcode_i2l
effective procedure
opcode_i2f
effective procedure
opcode_i2d
effective procedure
opcode_l2i
effective procedure
opcode_l2f
effective procedure
opcode_l2d
effective procedure
opcode_f2i
effective procedure
opcode_f2l
effective procedure
opcode_f2d
effective procedure
opcode_d2i
effective procedure
opcode_d2l
effective procedure
opcode_d2f
effective procedure
opcode_i2b
effective procedure
opcode_i2c
effective procedure
opcode_i2s
effective procedure
opcode_lcmp
effective procedure
opcode_fcmpg
effective procedure
opcode_fcmpl
effective procedure
opcode_dcmpl
effective procedure
opcode_dcmpg
effective procedure
opcode_ifeq: INTEGER_32
effective function
opcode_ifne: INTEGER_32
effective function
opcode_iflt: INTEGER_32
effective function
opcode_ifge: INTEGER_32
effective function
opcode_ifgt: INTEGER_32
effective function
opcode_ifle: INTEGER_32
effective function
opcode_if_icmpeq: INTEGER_32
effective function
opcode_if_icmpne: INTEGER_32
effective function
opcode_if_icmplt: INTEGER_32
effective function
opcode_if_icmpge: INTEGER_32
effective function
opcode_if_icmpgt: INTEGER_32
effective function
opcode_if_icmple: INTEGER_32
effective function
opcode_if_acmpeq: INTEGER_32
effective function
opcode_if_acmpne: INTEGER_32
effective function
opcode_goto: INTEGER_32
effective function
opcode_goto_backward (back_point: INTEGER_32)
effective procedure
Produce a goto opcode to go back at back_point.
opcode_ireturn
effective procedure
opcode_lreturn
effective procedure
opcode_freturn
effective procedure
opcode_dreturn
effective procedure
opcode_areturn
effective procedure
opcode_return
effective procedure
opcode_getstatic (fieldref_idx: INTEGER_32, stack_inc: INTEGER_32)
effective procedure
opcode_putstatic (fieldref_idx: INTEGER_32, stack_inc: INTEGER_32)
effective procedure
opcode_getfield (fieldref_idx: INTEGER_32, stack_inc: INTEGER_32)
effective procedure
opcode_putfield (fieldref_idx: INTEGER_32, stack_inc: INTEGER_32)
effective procedure
opcode_invokevirtual (methodref_idx: INTEGER_32, stack_inc: INTEGER_32)
effective procedure
opcode_invokespecial (methodref_idx: INTEGER_32, stack_inc: INTEGER_32)
effective procedure
opcode_invokestatic (methodref_idx: INTEGER_32, stack_inc: INTEGER_32)
effective procedure
opcode_invokeinterface (methodref_idx: INTEGER_32, stack_inc: INTEGER_32, stack_words: INTEGER_32)
effective procedure
opcode_new (class_idx: INTEGER_32)
effective procedure
opcode_newarray (u1: INTEGER_32)
effective procedure
opcode_anewarray (idx: INTEGER_32)
effective procedure
opcode_arraylength
effective procedure
opcode_athrow
effective procedure
opcode_checkcast (class_idx: INTEGER_32)
effective procedure
opcode_multianewarray (idx: INTEGER_32, dims: INTEGER_32)
effective procedure
opcode_ifnull: INTEGER_32
effective function
opcode_ifnonnull: INTEGER_32
effective function
opcode_push_integer (i: INTEGER_32)
effective procedure
Push i on the stack by using one word on the Java Virtual Machine stack.
opcode_push_integer_value (i: INTEGER_64, dest_bit_count: INTEGER_32)
effective procedure
Push i on the stack by respecting the given needed space.
opcode_push_long (i: INTEGER_64)
effective procedure
opcode_push_as_float (str: STRING)
effective procedure
opcode_push_as_double (str: STRING)
effective procedure
opcode_push_manifest_string (ms: STRING)
effective procedure
Produces code to push the corresponding Eiffel STRING.
opcode_java_string2bytes_array
effective procedure
Used the pushed Java String to create the bytes array.
opcode_java_string2eiffel_string
effective procedure
Used the pushed Java String to create a new Eiffel STRING.
opcode_bytes_array2eiffel_string
effective procedure
Used the pushed Bytes array to create a new Eiffel STRING.
opcode_println (string_idx: INTEGER_32)
effective procedure
resolve_u2_branch (start_point: INTEGER_32)
effective procedure
next_branch_array_index: INTEGER_32
writable attribute
get_branch_array_index: INTEGER_32
effective function
release_branch_array_index
effective procedure
add_branch (point: INTEGER_32, index: INTEGER_32)
effective procedure
once function
resolve_branches (index: INTEGER_32)
effective procedure
resolve_with (points: FAST_ARRAY[INTEGER_32])
effective procedure
add_exception (f: INTEGER_32, t: INTEGER_32, h: INTEGER_32, idx: INTEGER_32)
effective procedure
runtime_die_with_code
effective procedure
Assume the status code is already pushed.
runtime_internal_exception_number
effective procedure
runtime_error (p: POSITION, t: TYPE_MARK, message: STRING)
effective procedure
runtime_error_bad_target (p: POSITION, t: TYPE, message: STRING)
effective procedure
Assume the bad target is pushed.