NIL_type Environment_Global_Set(EXP_type Value_expression, NBR_type Scope_number, NBR_type Offset_number) { UNS_type offset, scope; FRM_type frame; scope = get_NBR(Scope_number); offset = get_NBR(Offset_number); frame = get_frame(Current_environment, scope); frame_set(frame, offset, Value_expression); }
EXP_type Environment_Global_Get(NBR_type Scope_number, NBR_type Offset_number) { EXP_type value_expression; FRM_type frame; UNS_type offset, scope; scope = get_NBR(Scope_number); offset = get_NBR(Offset_number); frame = get_frame(Current_environment, scope); value_expression = frame_get(frame, offset); return value_expression; }
EXP_type Environment_Local_Get(NBR_type Offset_number) { EXP_type value_expression; UNS_type offset; offset = get_NBR(Offset_number); value_expression = frame_get(Current_frame, offset); return value_expression; }
NIL_type Environment_Local_Set(EXP_type Value_expression, NBR_type Offset_number) { UNS_type offset; offset = get_NBR(Offset_number); frame_set(Current_frame, offset, Value_expression); }
CCC_type Thread_Retrieve(NBR_type Thread_id) { UNS_type raw_thread_id; raw_thread_id = get_NBR(Thread_id); return Thread_Table[raw_thread_id]; }