+
Point of view
RUN_FEATURE_4
class JVM
Summary
top
Overview
top
creation features
exported features
current_frame: RUN_FEATURE
writable attribute
top
Current method or current field.
argument_offset_of (an: ARGUMENT_NAME1): INTEGER_32
effective function
top
local_offset_of (ln: LOCAL_NAME1): INTEGER_32
effective function
top
std_is_equal (lt: LIVE_TYPE, wa: ARRAY[RUN_FEATURE_2])
effective procedure
top
Produce byte code to compare two operands at top of stack.
std_is_equal_recurse (lt: LIVE_TYPE, wa: ARRAY[RUN_FEATURE_2], calling_branch_index: INTEGER_32)
effective procedure
top
Produce byte code to compare two operands at top of stack.
fields_by_fields_copy (wa: ARRAY[RUN_FEATURE_2])
effective procedure
top
Stack : ..., destination, model => ..., destination Assume the checkcast is already done.
fields_by_fields_expanded_copy (wa: ARRAY[RUN_FEATURE_2])
effective procedure
top
Stack : ..., destination, model => ..., destination Assume the checkcast is already done.
add_field (rf: RUN_FEATURE)
effective procedure
top
add_method (rf: RUN_FEATURE)
effective procedure
top
target_position: POSITION
effective function
top
push_target
effective procedure
top
Produce java byte code in order to push target on the jvm stack.
push_target_as_target
effective procedure
top
Same as push_target but with class invariant check and the checkcast opcode.
drop_target
effective procedure
top
drop_ith_argument (i: INTEGER_32)
effective procedure
top
push_arguments: INTEGER_32
effective function
top
arg_count: INTEGER_32
effective function
top
push_ith_argument (i: INTEGER_32): INTEGER_32
effective function
top
assign_target (type: TYPE)
effective procedure
top
ith_argument_as_manifest_string (i: INTEGER_32): STRING
effective function
top
incr_inlined_function_count
effective procedure
top
incr_real_function_count
effective procedure
top
incr_function_count
effective procedure
top
pop
effective procedure
top