void c_ev_any_imp_c_object_dispose (GtkWidget* c_object, int eif_oid)
// "destroy" signal handler.
// Pass call to Eiffel feature if Eiffel object exists.
{
EIF_REFERENCE eif_reference;
eif_reference = eif_id_object (eif_oid);
if (eif_reference) {
ev_any_imp_c_object_dispose (eif_reference);
}
}
/* {IDENTIFIED_ROUTINES}.eif_id_object */
EIF_REFERENCE F68_2452 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1)
{
GTCX
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTLD;
RTLI(1);
RTLR(0,Result);
Result = (EIF_REFERENCE) eif_id_object(arg1);
RTLE;
return Result;
}
EIF_REFERENCE c_ev_any_imp_get_eif_reference_from_object_id (GtkWidget* c_object)
// Retrieve EIF_REFERENCE from object_id in `c_object'.
// Returns NULL if Eiffel object has been reaped by the GC.
{
int eif_oid;
EIF_REFERENCE eif_reference = NULL;
if ((eif_oid = (int) (rt_int_ptr) g_object_get_data (
G_OBJECT (c_object),
"eif_oid"
))) {
eif_reference = eif_id_object (eif_oid);
}
return (eif_reference);
}
/* {EV_INTERMEDIARY_ROUTINES}.on_timeout_intermediary */
void F790_8071 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
RTLD;
RTLI(1);
RTLR(0,loc1);
RTGC;
loc1 = (EIF_REFERENCE) eif_id_object(arg1);
loc1 = RTRV(eif_non_attached_type(1041), loc1);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
F1041_13307(RTCV(loc1));
}
RTLE;
}
rt_public void eif_object_id_free(EIF_INTEGER id)
{
#ifdef EIF_ASSERTIONS
EIF_REFERENCE ref = eif_id_object (id);
REQUIRE ("Not null", ref);
#endif
#ifdef ISE_GC
EIF_OBJECT_ID_LOCK;
private_object_id_free(id, &object_id_stack, max_object_id);
ENSURE ("Object of id must be free", private_id_object(id, &object_id_stack, max_object_id) == NULL);
#ifdef EIF_EXPENSIVE_ASSERTIONS
ENSURE ("Object of id is not in Object ID stack", !st_has(&object_id_stack, ref));
#endif
EIF_OBJECT_ID_UNLOCK;
#endif
}
/* {EV_INTERMEDIARY_ROUTINES}.on_size_allocate_intermediate */
void F790_8075 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1, EIF_INTEGER_32 arg2, EIF_INTEGER_32 arg3, EIF_INTEGER_32 arg4, EIF_INTEGER_32 arg5)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTLD;
RTLI(1);
RTLR(0,loc1);
RTGC;
loc1 = (EIF_REFERENCE) eif_id_object(arg1);
loc1 = RTRV(eif_non_attached_type(1095), loc1);
tb1 = '\0';
if ((EIF_BOOLEAN)(loc1 != NULL)) {
tb2 = F1029_13065(RTCV(loc1));
tb1 = (EIF_BOOLEAN) !tb2;
}
if (tb1) {
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_INTEGER_32, EIF_INTEGER_32, EIF_INTEGER_32, EIF_INTEGER_32)) R11263[Dtype(loc1)-1095])(RTCV(loc1), arg2, arg3, arg4, arg5);
}
RTLE;
}
/* {EV_INTERMEDIARY_ROUTINES}.on_set_focus_event_intermediary */
void F790_8076 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1, EIF_POINTER arg2)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTLD;
RTLI(1);
RTLR(0,loc1);
RTGC;
loc1 = (EIF_REFERENCE) eif_id_object(arg1);
loc1 = RTRV(eif_non_attached_type(1122), loc1);
tb1 = '\0';
if ((EIF_BOOLEAN)(loc1 != NULL)) {
tb2 = F1029_13065(RTCV(loc1));
tb1 = (EIF_BOOLEAN) !tb2;
}
if (tb1) {
F1123_15447(RTCV(loc1), arg2);
}
RTLE;
}
