/* ** ** The C code is generated by ATS/Postiats ** The compilation time is: 2014-4-1: 22h: 0m ** */ /* ** include runtime header files */ #ifndef _ATS_CCOMP_HEADER_NONE #include "pats_ccomp_config.h" #include "pats_ccomp_basics.h" #include "pats_ccomp_typedefs.h" #include "pats_ccomp_instrset.h" #include "pats_ccomp_memalloc.h" #ifndef _ATS_EXCEPTION_NONE #include "pats_ccomp_memalloca.h" #include "pats_ccomp_exception.h" #endif // end of [_ATS_EXCEPTION_NONE] #endif /* _ATS_CCOMP_HEADER_NONE */ /* ** include prelude cats files */ #ifndef _ATS_CCOMP_PRELUDE_NONE // #include "prelude/CATS/basics.cats" #include "prelude/CATS/integer.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/memory.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/strptr.cats" // #include "prelude/CATS/filebas.cats" // #include "prelude/CATS/list.cats" #include "prelude/CATS/option.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/arrayptr.cats" #include "prelude/CATS/arrayref.cats" #include "prelude/CATS/matrix.cats" #include "prelude/CATS/matrixptr.cats" // #endif /* _ATS_CCOMP_PRELUDE_NONE */ /* staload-prologues(beg) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/pointer.dats: 1533(line=44, offs=1) -- 1572(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 1636(line=51, offs=1) -- 1675(line=51, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer_fixed.dats: 1641(line=51, offs=1) -- 1680(line=51, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/memory.dats: 1410(line=38, offs=1) -- 1449(line=39, offs=32) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 1609(line=48, offs=1) -- 1648(line=48, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/strptr.dats: 1609(line=48, offs=1) -- 1648(line=48, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/strptr.dats: 1671(line=52, offs=1) -- 1718(line=52, offs=48) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 1636(line=51, offs=1) -- 1675(line=51, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1613(line=48, offs=1) -- 1652(line=48, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1675(line=52, offs=1) -- 1722(line=52, offs=48) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 1636(line=51, offs=1) -- 1675(line=51, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1745(line=56, offs=1) -- 1783(line=56, offs=39) */ /* /home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1380(line=35, offs=1) -- 1418(line=37, offs=3) */ #include "libc/CATS/stdio.cats" /* /home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1855(line=57, offs=1) -- 1897(line=59, offs=27) */ /* /home/hwxi/research/Postiats/git/libc/sys/SATS/types.sats: 1390(line=36, offs=1) -- 1432(line=38, offs=3) */ #include "libc/sys/CATS/types.cats" /* /home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1839(line=58, offs=1) -- 1879(line=58, offs=41) */ /* /home/hwxi/research/Postiats/git/libc/SATS/string.sats: 1380(line=35, offs=1) -- 1419(line=37, offs=3) */ #include "libc/CATS/string.cats" /* /home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 13966(line=737, offs=1) -- 13996(line=737, offs=31) */ /* /home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1380(line=35, offs=1) -- 1418(line=37, offs=3) */ #include "libc/CATS/stdio.cats" /* /home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1855(line=57, offs=1) -- 1897(line=59, offs=27) */ /* /home/hwxi/research/Postiats/git/libc/sys/SATS/types.sats: 1390(line=36, offs=1) -- 1432(line=38, offs=3) */ #include "libc/sys/CATS/types.cats" /* /home/hwxi/research/Postiats/git/prelude/DATS/list.dats: 1527(line=44, offs=1) -- 1566(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/list.dats: 1567(line=45, offs=1) -- 1613(line=45, offs=47) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/list_vt.dats: 1536(line=44, offs=1) -- 1575(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/list_vt_mergesort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/list_vt_quicksort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/array.dats: 1534(line=44, offs=1) -- 1573(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/array.dats: 1574(line=45, offs=1) -- 1616(line=45, offs=43) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/array_bsearch.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/array_quicksort.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/arrayptr.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/arrayref.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/matrix.dats: 1535(line=44, offs=1) -- 1574(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/matrixptr.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/matrixref.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/stream.dats: 1564(line=46, offs=1) -- 1603(line=46, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/stream_vt.dats: 1567(line=46, offs=1) -- 1606(line=46, offs=40) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/research/Postiats/git/prelude/DATS/checkast.dats: 1531(line=44, offs=1) -- 1570(line=45, offs=32) */ /* /home/hwxi/research/Postiats/git/libc/SATS/math.sats: 1380(line=35, offs=1) -- 1417(line=37, offs=3) */ #include "libc/CATS/math.cats" /* /home/hwxi/research/Postiats/git/libc/SATS/time.sats: 1394(line=36, offs=1) -- 1431(line=38, offs=3) */ #include "libc/CATS/time.cats" /* /home/hwxi/research/Postiats/git/libc/SATS/time.sats: 1821(line=54, offs=1) -- 1863(line=55, offs=35) */ /* /home/hwxi/research/Postiats/git/libc/sys/SATS/types.sats: 1390(line=36, offs=1) -- 1432(line=38, offs=3) */ #include "libc/sys/CATS/types.cats" /* /home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3) */ #include "cairo/CATS/cairo.cats" /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/SATS/gtkcairoclock.sats: 1792(line=45, offs=1) -- 1826(line=45, offs=35) */ /* /home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3) */ #include "cairo/CATS/cairo.cats" /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1607(line=36, offs=1) -- 1637(line=36, offs=31) */ /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1178(line=39, offs=1) -- 1213(line=41, offs=3) */ #include "GTK/CATS/gdk.cats" /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1477(line=53, offs=1) -- 1516(line=53, offs=40) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1517(line=54, offs=1) -- 1566(line=54, offs=50) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3) */ #include "glib/CATS/glib-object.cats" /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1638(line=37, offs=1) -- 1668(line=37, offs=31) */ /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 1178(line=39, offs=1) -- 1213(line=41, offs=3) */ #include "GTK/CATS/gtk.cats" /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 1477(line=53, offs=1) -- 1516(line=53, offs=40) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 1517(line=54, offs=1) -- 1566(line=54, offs=50) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3) */ #include "glib/CATS/glib-object.cats" /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 2297(line=92, offs=1) -- 2317(line=92, offs=21) */ /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1178(line=39, offs=1) -- 1213(line=41, offs=3) */ #include "GTK/CATS/gdk.cats" /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1477(line=53, offs=1) -- 1516(line=53, offs=40) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1517(line=54, offs=1) -- 1566(line=54, offs=50) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3) */ #include "glib/CATS/glib-object.cats" /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1669(line=38, offs=1) -- 1701(line=38, offs=33) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1702(line=39, offs=1) -- 1741(line=39, offs=40) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3) */ #include "glib/CATS/glib-object.cats" /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29) */ /* /home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3) */ #include "glib/CATS/glib.cats" /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1764(line=43, offs=1) -- 1798(line=43, offs=35) */ /* /home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3) */ #include "cairo/CATS/cairo.cats" /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1821(line=47, offs=1) -- 1859(line=47, offs=39) */ /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/SATS/gtkcairoclock.sats: 1792(line=45, offs=1) -- 1826(line=45, offs=35) */ /* /home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3) */ #include "cairo/CATS/cairo.cats" /* staload-prologues(end) */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 739(line=53, offs=1) -- 789(line=56, offs=3) */ typedef struct { char buf[32] ; } bytes32 ; /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 864(line=61, offs=1) -- 943(line=63, offs=3) */ #define mystrftime(bufp, m, fmt, ptm) strftime((char*)bufp, m, fmt, ptm) /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6962(line=292, offs=1) -- 6996(line=294, offs=3) */ typedef char **charptrptr ; /* typedefs-for-tyrecs-and-tysums(beg) */ /* typedefs-for-tyrecs-and-tysums(end) */ /* dynconlst-declaration(beg) */ /* dynconlst-declaration(end) */ /* dyncstlst-declaration(beg) */ ATSdyncst_mac(atscntrb_cairo_move_to) ; ATSdyncst_mac(atspre_div_double_int) ; ATSdyncst_mac(atscntrb_cairo_line_to) ; ATSdyncst_mac(atspre_g0float_neg_double) ; ATSdyncst_mac(atscntrb_cairo_close_path) ; ATSdyncst_mac(atscntrb_cairo_fill) ; ATSdyncst_mac(atscntrb_cairo_save) ; ATSdyncst_mac(atspre_g0float_mul_double) ; ATSdyncst_mac(atslib_cos_double) ; ATSdyncst_mac(atspre_mul_int_double) ; ATSdyncst_mac(atspre_g1int_neg_int) ; ATSdyncst_mac(atslib_sin_double) ; ATSdyncst_mac(atscntrb_cairo_text_extents) ; ATSdyncst_mac(atspre_g0float_sub_double) ; ATSdyncst_mac(atscntrb_cairo_show_text) ; ATSdyncst_mac(atscntrb_cairo_restore) ; ATSdyncst_mac(atspre_g1int2int_int_int) ; ATSdyncst_mac(atspre_g1int_gte_int) ; ATSdyncst_mac(atspre_g1int_sub_int) ; ATSdyncst_mac(atspre_g0float_add_double) ; ATSdyncst_mac(atscntrb_cairo_arc) ; ATSdyncst_mac(atscntrb_cairo_set_source_rgb) ; ATSdyncst_mac(atscntrb_cairo_select_font_face) ; ATSdyncst_mac(atscntrb_cairo_set_font_size) ; ATSdyncst_mac(atscntrb_cairo_rotate) ; ATSdyncst_mac(atscntrb_cairo_new_sub_path) ; ATSdyncst_mac(atspre_g0int2float_int_double) ; ATSdyncst_mac(atspre_g0float_min_double) ; ATSdyncst_mac(atscntrb_cairo_translate) ; ATSdyncst_mac(atscntrb_cairo_scale) ; ATSdyncst_mac(atslib_time_getset) ; ATSdyncst_mac(atspre_assert_errmsg_bool1) ; ATSdyncst_mac(atslib_localtime_r) ; ATSdyncst_mac(atspre_gt_ptr1_intz) ; ATSdyncst_mac(atspre_mul_bool1_bool1) ; ATSdyncst_mac(atspre_g1int_lte_int) ; ATSdyncst_mac(atspre_g1int_lt_int) ; ATSdyncst_mac(atspre_g0float_div_double) ; ATSdyncst_mac(atscntrb_cairo_rectangle) ; ATSdyncst_mac(atscntrb_cairo_clip) ; ATSdyncst_mac(atscntrb_cairo_get_matrix) ; ATSdyncst_mac(atscntrb_cairo_matrix_multiply) ; ATSdyncst_mac(atscntrb_cairo_set_matrix) ; ATSdyncst_mac(atscntrb_cairo_set_source_rgba) ; ATSdyncst_extfun(mydraw_clock, (atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)), atsvoid_t0ype) ; ATSdyncst_mac(atscntrb_gtk_window_new) ; ATSdyncst_mac(atscntrb_gtk_window_set_default_size) ; ATSdyncst_mac(atscntrb_gtk_window_set_title) ; ATSdyncst_mac(atscntrb_gtk_drawing_area_new) ; ATSdyncst_mac(atscntrb_gtk_container_add) ; ATSdyncst_mac(atscntrb_g_signal_connect) ; ATSdyncst_mac(atsptr_null) ; ATSdyncst_mac(atscntrb_g_object_unref) ; ATSdyncst_mac(atscntrb_g_timeout_add) ; ATSdyncst_mac(atscntrb_gtk_widget_show_all) ; ATSdyncst_mac(atscntrb_gtk_main) ; ATSdyncst_mac(atspre_ptr0_isnot_null) ; ATSdyncst_mac(atscntrb_gtk_widget_get_window) ; ATSdyncst_mac(atspre_ptr_isnot_null) ; ATSdyncst_mac(atscntrb_gdk_cairo_create) ; ATSdyncst_mac(atscntrb_gtk_widget_get_allocation) ; ATSdyncst_mac(atscntrb_cairo_destroy) ; ATSdyncst_mac(atscntrb_gtk_main_quit) ; ATSdyncst_mac(atscntrb_gtk_widget_queue_draw_area) ; /* dyncstlst-declaration(end) */ /* dynvalist-implementation(beg) */ /* dynvalist-implementation(end) */ /* exnconlst-declaration(beg) */ #ifndef _ATS_EXCEPTION_NONE extern void the_atsexncon_initize (atstype_exncon *d2c, char *exnmsg) ; #endif // end of [_ATS_EXCEPTION_NONE] /* exnconlst-declaration(end) */ /* assumelst-declaration(beg) */ /* assumelst-declaration(end) */ /* extypelst-declaration(beg) */ /* extypelst-declaration(end) */ ATSstaticdec() atsvoid_t0ype draw_hand_0(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_double), atstkind_t0ype(atstype_double), atstkind_t0ype(atstype_double)) ; ATSstaticdec() atsvoid_t0ype draw_number_2(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_double), atstkind_t0ype(atstype_double)) ; ATSstaticdec() atsvoid_t0ype draw_clock_6(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSglobaldec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gte_g1int_int__7(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gte_g1int_int__7__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) ATSglobaldec() atsvoid_t0ype mydraw_clock(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #if(0) #if(0) ATSglobaldec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSglobaldec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15__3(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18__3(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) ATSglobaldec() atsvoid_t0ype mainats_argc_argv_0(atstkind_t0ype(atstype_int), atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #endif // end of [QUALIFIED] #if(0) #if(0) ATSglobaldec() atstkind_type(atstype_ptrk) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__27() ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] #if(0) #if(0) ATSglobaldec() atstkind_t0ype(atstype_uint) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__28() ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] #if(0) #if(0) ATSglobaldec() atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__29(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] #if(0) #if(0) ATSglobaldec() atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__30() ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__30__1() ; ATSstaticdec() atstkind_type(atstype_ptrk) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__27__1() ; #if(0) #if(0) ATSglobaldec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__stropt_is_some__33(atstkind_type(atstype_ptrk)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__stropt_is_some__33__1(atstkind_type(atstype_ptrk)) ; #if(0) #if(0) ATSglobaldec() gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__35(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__35__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #if(0) ATSstaticdec() atsvoid_t0ype draw_drawingarea_37__37(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #endif // end of [TEMPLATE] ATSstaticdec() atsvoid_t0ype draw_drawingarea_37__37__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; ATSstaticdec() atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__29__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSglobaldec() atsvoid_t0ype _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__40(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() atsvoid_t0ype _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__40__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ; #if(0) #if(0) ATSglobaldec() gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__42(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__42__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ; ATSstaticdec() atstkind_t0ype(atstype_uint) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__28__1() ; #if(0) #if(0) ATSglobaldec() gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__45(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__45__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #if(0) #if(0) ATSglobaldec() atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__47() ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstaticdec() atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__47__1() ; /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1129(line=75, offs=1) -- 1435(line=86, offs=4) */ /* local: global: draw_hand_0$0(level=0) local: global: */ ATSstaticdec() atsvoid_t0ype draw_hand_0(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_double) arg1, atstkind_t0ype(atstype_double) arg2, atstkind_t0ype(atstype_double) arg3) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret0, atsvoid_t0ype) ; ATStmpdec_void(tmp1, atsvoid_t0ype) ; ATStmpdec(tmp2, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp3, atsvoid_t0ype) ; ATStmpdec(tmp4, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp5, atsvoid_t0ype) ; ATStmpdec(tmp6, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp7, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp8, atsvoid_t0ype) ; ATStmpdec(tmp9, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp10, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp11, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1129(line=75, offs=1) -- 1435(line=86, offs=4) */ __patsflab_draw_hand_0: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1204(line=78, offs=12) -- 1435(line=86, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1243(line=79, offs=36) -- 1248(line=79, offs=41) */ ATSINSmove(tmp2, atspre_div_double_int(arg1, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1219(line=79, offs=12) -- 1249(line=79, offs=42) */ ATSINSmove_void(tmp1, atscntrb_cairo_move_to(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), tmp2)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1285(line=80, offs=36) -- 1290(line=80, offs=41) */ ATSINSmove(tmp4, atspre_div_double_int(arg2, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1261(line=80, offs=12) -- 1291(line=80, offs=42) */ ATSINSmove_void(tmp3, atscntrb_cairo_line_to(ATSPMVrefarg0(arg0), arg3, tmp4)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1327(line=81, offs=36) -- 1331(line=81, offs=40) */ ATSINSmove(tmp7, atspre_g0float_neg_double(arg2)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1327(line=81, offs=36) -- 1333(line=81, offs=42) */ ATSINSmove(tmp6, atspre_div_double_int(tmp7, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1303(line=81, offs=12) -- 1334(line=81, offs=43) */ ATSINSmove_void(tmp5, atscntrb_cairo_line_to(ATSPMVrefarg0(arg0), arg3, tmp6)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1370(line=82, offs=36) -- 1374(line=82, offs=40) */ ATSINSmove(tmp10, atspre_g0float_neg_double(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1370(line=82, offs=36) -- 1376(line=82, offs=42) */ ATSINSmove(tmp9, atspre_div_double_int(tmp10, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1346(line=82, offs=12) -- 1377(line=82, offs=43) */ ATSINSmove_void(tmp8, atscntrb_cairo_line_to(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), tmp9)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1389(line=83, offs=12) -- 1409(line=83, offs=32) */ ATSINSmove_void(tmp11, atscntrb_cairo_close_path(ATSPMVrefarg0(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1416(line=85, offs=3) -- 1430(line=85, offs=17) */ ATSINSmove_void(tmpret0, atscntrb_cairo_fill(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1204(line=78, offs=12) -- 1435(line=86, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret0) ; } /* end of [draw_hand_0] */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1484(line=91, offs=1) -- 2127(line=115, offs=2) */ /* local: global: draw_number_2$0(level=0) local: global: */ ATSstaticdec() atsvoid_t0ype draw_number_2(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_type(atstype_ptrk) arg1, atstkind_t0ype(atstype_double) arg2, atstkind_t0ype(atstype_double) arg3) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret12, atsvoid_t0ype) ; ATStmpdec_void(tmp13, atsvoid_t0ype) ; ATStmpdec(tmp14, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp15, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp16, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp17, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp18, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp19, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp20, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmpref21, cairo_text_extents_t) ; ATStmpdec_void(tmp22, atsvoid_t0ype) ; ATStmpdec(tmp23, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp24, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp25, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp26, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp27, atsvoid_t0ype) ; ATStmpdec(tmp28, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp29, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp30, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1484(line=91, offs=1) -- 2127(line=115, offs=2) */ __patsflab_draw_number_2: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1574(line=96, offs=12) -- 2127(line=115, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1606(line=99, offs=19) -- 1620(line=99, offs=33) */ ATSINSmove_void(tmp13, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1642(line=101, offs=18) -- 1651(line=101, offs=27) */ ATSINSmove(tmp14, atspre_g0float_mul_double(ATSPMVf0loat(0.8), arg2)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1688(line=103, offs=16) -- 1704(line=103, offs=32) */ ATSINSmove(tmp16, atslib_cos_double(arg3)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1677(line=103, offs=5) -- 1704(line=103, offs=32) */ ATSINSmove(tmp15, atspre_g0float_mul_double(tmp14, tmp16)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1725(line=103, offs=53) -- 1727(line=103, offs=55) */ ATSINSmove(tmp19, atspre_g1int_neg_int(ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1725(line=103, offs=53) -- 1738(line=103, offs=66) */ ATSINSmove(tmp18, atspre_mul_int_double(tmp19, tmp14)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1741(line=103, offs=69) -- 1757(line=103, offs=85) */ ATSINSmove(tmp20, atslib_sin_double(arg3)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1725(line=103, offs=53) -- 1757(line=103, offs=85) */ ATSINSmove(tmp17, atspre_g0float_mul_double(tmp18, tmp20)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1802(line=107, offs=7) -- 1809(line=107, offs=14) */ /* ATSINStmpdec(tmpref21) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1843(line=108, offs=12) -- 1880(line=108, offs=49) */ ATSINSmove_void(tmp22, atscntrb_cairo_text_extents(ATSPMVrefarg0(arg0), arg1, ATSPMVrefarg1(ATSPMVptrof(tmpref21)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1908(line=109, offs=28) -- 1925(line=109, offs=45) */ ATSINSmove(tmp24, atspre_div_double_int(ATSSELfltrec(tmpref21, cairo_text_extents_t, width), ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1892(line=109, offs=12) -- 1925(line=109, offs=45) */ ATSINSmove(tmp23, atspre_g0float_sub_double(tmp15, tmp24)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1951(line=109, offs=71) -- 1968(line=109, offs=88) */ ATSINSmove(tmp26, atspre_div_double_int(ATSSELfltrec(tmpref21, cairo_text_extents_t, height), ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1935(line=109, offs=55) -- 1968(line=109, offs=88) */ ATSINSmove(tmp25, atspre_g0float_sub_double(tmp17, tmp26)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2000(line=110, offs=31) -- 2022(line=110, offs=53) */ ATSINSmove(tmp28, atspre_g0float_sub_double(tmp23, ATSSELfltrec(tmpref21, cairo_text_extents_t, x_bearing))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2024(line=110, offs=55) -- 2046(line=110, offs=77) */ ATSINSmove(tmp29, atspre_g0float_sub_double(tmp25, ATSSELfltrec(tmpref21, cairo_text_extents_t, y_bearing))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1981(line=110, offs=12) -- 2047(line=110, offs=78) */ ATSINSmove_void(tmp27, atscntrb_cairo_move_to(ATSPMVrefarg0(arg0), tmp28, tmp29)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2059(line=111, offs=12) -- 2084(line=111, offs=37) */ ATSINSmove_void(tmp30, atscntrb_cairo_show_text(ATSPMVrefarg0(arg0), arg1)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2099(line=113, offs=12) -- 2122(line=113, offs=35) */ ATSINSmove_void(tmpret12, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 1574(line=96, offs=12) -- 2127(line=115, offs=2) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret12) ; } /* end of [draw_number_2] */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2181(line=120, offs=1) -- 4872(line=208, offs=4) */ /* local: draw_hand_0$0(level=0), draw_number_2$0(level=0) global: draw_hand_0$0(level=0), draw_number_2$0(level=0), draw_clock_6$0(level=0) local: global: */ ATSstaticdec() atsvoid_t0ype draw_clock_6(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1, atstkind_t0ype(atstype_int) arg2, atstkind_t0ype(atstype_int) arg3) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret31, atsvoid_t0ype) ; ATStmpdec(tmp32, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp33, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp34, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp39, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp40, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp41, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp42, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp43, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp44, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp45, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp46, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp47, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp48, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp49, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp50, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp51, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp52, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp53, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp54, atsvoid_t0ype) ; ATStmpdec(tmp55, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp56, atsvoid_t0ype) ; ATStmpdec_void(tmp57, atsvoid_t0ype) ; ATStmpdec_void(tmp58, atsvoid_t0ype) ; ATStmpdec_void(tmp59, atsvoid_t0ype) ; ATStmpdec_void(tmp60, atsvoid_t0ype) ; ATStmpdec_void(tmp61, atsvoid_t0ype) ; ATStmpdec(tmp62, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp63, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp64, atsvoid_t0ype) ; ATStmpdec(tmp65, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp66, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp67, atsvoid_t0ype) ; ATStmpdec(tmp68, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp69, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp70, atsvoid_t0ype) ; ATStmpdec(tmp71, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp72, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp73, atstkind_t0ype(atstype_int)) ; ATStmpdec_void(tmp74, atsvoid_t0ype) ; ATStmpdec(tmp75, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp76, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp77, atstkind_t0ype(atstype_int)) ; ATStmpdec_void(tmp78, atsvoid_t0ype) ; ATStmpdec(tmp79, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp80, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp81, atstkind_t0ype(atstype_int)) ; ATStmpdec_void(tmp82, atsvoid_t0ype) ; ATStmpdec(tmp83, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp84, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp85, atstkind_t0ype(atstype_int)) ; ATStmpdec_void(tmp86, atsvoid_t0ype) ; ATStmpdec(tmp87, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp88, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp89, atstkind_t0ype(atstype_int)) ; ATStmpdec_void(tmp90, atsvoid_t0ype) ; ATStmpdec(tmp91, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp92, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp93, atsvoid_t0ype) ; ATStmpdec(tmp94, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp95, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp96, atsvoid_t0ype) ; ATStmpdec(tmp97, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp98, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp99, atsvoid_t0ype) ; ATStmpdec(tmp100, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp101, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp102, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp103, atsvoid_t0ype) ; ATStmpdec_void(tmp104, atsvoid_t0ype) ; ATStmpdec_void(tmp105, atsvoid_t0ype) ; ATStmpdec_void(tmp106, atsvoid_t0ype) ; ATStmpdec_void(tmp107, atsvoid_t0ype) ; ATStmpdec_void(tmp108, atsvoid_t0ype) ; ATStmpdec_void(tmp109, atsvoid_t0ype) ; ATStmpdec_void(tmp110, atsvoid_t0ype) ; ATStmpdec(tmp111, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp112, atsvoid_t0ype) ; ATStmpdec(tmp113, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp114, atsvoid_t0ype) ; ATStmpdec(tmp115, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp116, atsvoid_t0ype) ; ATStmpdec_void(tmp117, atsvoid_t0ype) ; ATStmpdec_void(tmp118, atsvoid_t0ype) ; ATStmpdec_void(tmp119, atsvoid_t0ype) ; ATStmpdec_void(tmp120, atsvoid_t0ype) ; ATStmpdec_void(tmp121, atsvoid_t0ype) ; ATStmpdec_void(tmp122, atsvoid_t0ype) ; ATStmpdec_void(tmp123, atsvoid_t0ype) ; ATStmpdec(tmp124, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp125, atsvoid_t0ype) ; ATStmpdec(tmp126, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp127, atsvoid_t0ype) ; ATStmpdec(tmp128, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp129, atsvoid_t0ype) ; ATStmpdec_void(tmp130, atsvoid_t0ype) ; ATStmpdec_void(tmp131, atsvoid_t0ype) ; ATStmpdec_void(tmp132, atsvoid_t0ype) ; ATStmpdec_void(tmp133, atsvoid_t0ype) ; ATStmpdec_void(tmp134, atsvoid_t0ype) ; ATStmpdec_void(tmp135, atsvoid_t0ype) ; ATStmpdec_void(tmp136, atsvoid_t0ype) ; ATStmpdec(tmp137, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp138, atsvoid_t0ype) ; ATStmpdec(tmp139, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp140, atsvoid_t0ype) ; ATStmpdec_void(tmp141, atsvoid_t0ype) ; ATStmpdec_void(tmp142, atsvoid_t0ype) ; ATStmpdec_void(tmp143, atsvoid_t0ype) ; ATStmpdec_void(tmp144, atsvoid_t0ype) ; ATStmpdec(tmp145, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp146, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2181(line=120, offs=1) -- 4872(line=208, offs=4) */ __patsflab_draw_clock_6: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2286(line=124, offs=12) -- 4872(line=208, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2342(line=129, offs=11) -- 2351(line=129, offs=20) */ ATSINSmove(tmp32, atspre_g0float_mul_double(ATSPMVf0loat(0.4), ATSPMVf0loat(100.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2370(line=133, offs=6) -- 2377(line=133, offs=13) */ ATSINSmove(tmp34, ATSLIB_056_prelude__gte_g1int_int__7__1(arg1, ATSPMVi0nt(12))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2367(line=133, offs=3) -- 2396(line=133, offs=32) */ ATSif( tmp34 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2383(line=133, offs=19) -- 2389(line=133, offs=25) */ ATSINSmove(tmp33, atspre_g1int_sub_int(arg1, ATSPMVi0nt(12))) ; } ATSelse() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2395(line=133, offs=31) -- 2396(line=133, offs=32) */ ATSINSmove(tmp33, arg1) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2443(line=135, offs=18) -- 2450(line=135, offs=25) */ ATSINSmove(tmp41, atspre_div_double_int(ATSPMVf0loat(3.14159265358979323846), ATSPMVi0nt(30))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2438(line=135, offs=13) -- 2450(line=135, offs=25) */ ATSINSmove(tmp40, atspre_mul_int_double(arg3, tmp41)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2454(line=135, offs=29) -- 2457(line=135, offs=32) */ ATSINSmove(tmp42, atspre_div_double_int(ATSPMVf0loat(3.14159265358979323846), ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2438(line=135, offs=13) -- 2457(line=135, offs=32) */ ATSINSmove(tmp39, atspre_g0float_sub_double(tmp40, tmp42)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2475(line=136, offs=18) -- 2482(line=136, offs=25) */ ATSINSmove(tmp45, atspre_div_double_int(ATSPMVf0loat(3.14159265358979323846), ATSPMVi0nt(30))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2470(line=136, offs=13) -- 2482(line=136, offs=25) */ ATSINSmove(tmp44, atspre_mul_int_double(arg2, tmp45)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2486(line=136, offs=29) -- 2489(line=136, offs=32) */ ATSINSmove(tmp46, atspre_div_double_int(ATSPMVf0loat(3.14159265358979323846), ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2470(line=136, offs=13) -- 2489(line=136, offs=32) */ ATSINSmove(tmp43, atspre_g0float_sub_double(tmp44, tmp46)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2507(line=137, offs=18) -- 2513(line=137, offs=24) */ ATSINSmove(tmp50, atspre_div_double_int(ATSPMVf0loat(3.14159265358979323846), ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2502(line=137, offs=13) -- 2513(line=137, offs=24) */ ATSINSmove(tmp49, atspre_mul_int_double(tmp33, tmp50)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2522(line=137, offs=33) -- 2530(line=137, offs=41) */ ATSINSmove(tmp52, atspre_div_double_int(ATSPMVf0loat(3.14159265358979323846), ATSPMVi0nt(360))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2517(line=137, offs=28) -- 2530(line=137, offs=41) */ ATSINSmove(tmp51, atspre_mul_int_double(arg2, tmp52)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2502(line=137, offs=13) -- 2530(line=137, offs=41) */ ATSINSmove(tmp48, atspre_g0float_add_double(tmp49, tmp51)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2534(line=137, offs=45) -- 2537(line=137, offs=48) */ ATSINSmove(tmp53, atspre_div_double_int(ATSPMVf0loat(3.14159265358979323846), ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2502(line=137, offs=13) -- 2537(line=137, offs=48) */ ATSINSmove(tmp47, atspre_g0float_sub_double(tmp48, tmp53)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2587(line=140, offs=28) -- 2593(line=140, offs=34) */ ATSINSmove(tmp55, atspre_mul_int_double(ATSPMVi0nt(2), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2550(line=139, offs=10) -- 2594(line=140, offs=35) */ ATSINSmove_void(tmp54, atscntrb_cairo_arc(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), tmp32, ATSPMVf0loat(0.0), tmp55)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2604(line=141, offs=10) -- 2644(line=141, offs=50) */ ATSINSmove_void(tmp56, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(1.0), ATSPMVf0loat(1.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2654(line=142, offs=10) -- 2668(line=142, offs=24) */ ATSINSmove_void(tmp57, atscntrb_cairo_fill(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2682(line=144, offs=10) -- 2769(line=145, offs=65) */ ATSINSmove_void(tmp58, atscntrb_cairo_select_font_face(ATSPMVrefarg0(arg0), ATSPMVstring("serif"), ATSextval(CAIRO_FONT_SLANT_NORMAL), ATSextval(CAIRO_FONT_WEIGHT_BOLD))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2779(line=146, offs=10) -- 2808(line=146, offs=39) */ ATSINSmove_void(tmp59, atscntrb_cairo_set_font_size(ATSPMVrefarg0(arg0), ATSPMVf0loat(8.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2821(line=148, offs=10) -- 2861(line=148, offs=50) */ ATSINSmove_void(tmp60, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2902(line=150, offs=38) -- 2906(line=150, offs=42) */ ATSINSmove(tmp63, atspre_mul_int_double(ATSPMVi0nt(2), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2902(line=150, offs=38) -- 2908(line=150, offs=44) */ ATSINSmove(tmp62, atspre_div_double_int(tmp63, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2874(line=150, offs=10) -- 2909(line=150, offs=45) */ ATSINSmove_void(tmp61, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("1"), tmp32, tmp62)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2947(line=151, offs=38) -- 2951(line=151, offs=42) */ ATSINSmove(tmp66, atspre_mul_int_double(ATSPMVi0nt(1), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2947(line=151, offs=38) -- 2953(line=151, offs=44) */ ATSINSmove(tmp65, atspre_div_double_int(tmp66, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2919(line=151, offs=10) -- 2954(line=151, offs=45) */ ATSINSmove_void(tmp64, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("2"), tmp32, tmp65)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2992(line=152, offs=38) -- 2996(line=152, offs=42) */ ATSINSmove(tmp69, atspre_mul_int_double(ATSPMVi0nt(0), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2992(line=152, offs=38) -- 2998(line=152, offs=44) */ ATSINSmove(tmp68, atspre_div_double_int(tmp69, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2964(line=152, offs=10) -- 2999(line=152, offs=45) */ ATSINSmove_void(tmp67, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("3"), tmp32, tmp68)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3036(line=153, offs=37) -- 3038(line=153, offs=39) */ ATSINSmove(tmp73, atspre_g1int_neg_int(ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3036(line=153, offs=37) -- 3041(line=153, offs=42) */ ATSINSmove(tmp72, atspre_mul_int_double(tmp73, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3036(line=153, offs=37) -- 3043(line=153, offs=44) */ ATSINSmove(tmp71, atspre_div_double_int(tmp72, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3009(line=153, offs=10) -- 3044(line=153, offs=45) */ ATSINSmove_void(tmp70, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("4"), tmp32, tmp71)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3081(line=154, offs=37) -- 3083(line=154, offs=39) */ ATSINSmove(tmp77, atspre_g1int_neg_int(ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3081(line=154, offs=37) -- 3086(line=154, offs=42) */ ATSINSmove(tmp76, atspre_mul_int_double(tmp77, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3081(line=154, offs=37) -- 3088(line=154, offs=44) */ ATSINSmove(tmp75, atspre_div_double_int(tmp76, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3054(line=154, offs=10) -- 3089(line=154, offs=45) */ ATSINSmove_void(tmp74, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("5"), tmp32, tmp75)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3126(line=155, offs=37) -- 3128(line=155, offs=39) */ ATSINSmove(tmp81, atspre_g1int_neg_int(ATSPMVi0nt(3))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3126(line=155, offs=37) -- 3131(line=155, offs=42) */ ATSINSmove(tmp80, atspre_mul_int_double(tmp81, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3126(line=155, offs=37) -- 3133(line=155, offs=44) */ ATSINSmove(tmp79, atspre_div_double_int(tmp80, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3099(line=155, offs=10) -- 3134(line=155, offs=45) */ ATSINSmove_void(tmp78, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("6"), tmp32, tmp79)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3171(line=156, offs=37) -- 3173(line=156, offs=39) */ ATSINSmove(tmp85, atspre_g1int_neg_int(ATSPMVi0nt(4))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3171(line=156, offs=37) -- 3176(line=156, offs=42) */ ATSINSmove(tmp84, atspre_mul_int_double(tmp85, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3171(line=156, offs=37) -- 3178(line=156, offs=44) */ ATSINSmove(tmp83, atspre_div_double_int(tmp84, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3144(line=156, offs=10) -- 3179(line=156, offs=45) */ ATSINSmove_void(tmp82, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("7"), tmp32, tmp83)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3216(line=157, offs=37) -- 3218(line=157, offs=39) */ ATSINSmove(tmp89, atspre_g1int_neg_int(ATSPMVi0nt(5))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3216(line=157, offs=37) -- 3221(line=157, offs=42) */ ATSINSmove(tmp88, atspre_mul_int_double(tmp89, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3216(line=157, offs=37) -- 3223(line=157, offs=44) */ ATSINSmove(tmp87, atspre_div_double_int(tmp88, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3189(line=157, offs=10) -- 3224(line=157, offs=45) */ ATSINSmove_void(tmp86, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("8"), tmp32, tmp87)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3262(line=158, offs=38) -- 3266(line=158, offs=42) */ ATSINSmove(tmp92, atspre_mul_int_double(ATSPMVi0nt(6), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3262(line=158, offs=38) -- 3268(line=158, offs=44) */ ATSINSmove(tmp91, atspre_div_double_int(tmp92, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3234(line=158, offs=10) -- 3269(line=158, offs=45) */ ATSINSmove_void(tmp90, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("9"), tmp32, tmp91)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3307(line=159, offs=38) -- 3311(line=159, offs=42) */ ATSINSmove(tmp95, atspre_mul_int_double(ATSPMVi0nt(5), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3307(line=159, offs=38) -- 3313(line=159, offs=44) */ ATSINSmove(tmp94, atspre_div_double_int(tmp95, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3279(line=159, offs=10) -- 3314(line=159, offs=45) */ ATSINSmove_void(tmp93, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("10"), tmp32, tmp94)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3352(line=160, offs=38) -- 3356(line=160, offs=42) */ ATSINSmove(tmp98, atspre_mul_int_double(ATSPMVi0nt(4), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3352(line=160, offs=38) -- 3358(line=160, offs=44) */ ATSINSmove(tmp97, atspre_div_double_int(tmp98, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3324(line=160, offs=10) -- 3359(line=160, offs=45) */ ATSINSmove_void(tmp96, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("11"), tmp32, tmp97)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3397(line=161, offs=38) -- 3401(line=161, offs=42) */ ATSINSmove(tmp101, atspre_mul_int_double(ATSPMVi0nt(3), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3397(line=161, offs=38) -- 3403(line=161, offs=44) */ ATSINSmove(tmp100, atspre_div_double_int(tmp101, ATSPMVi0nt(6))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3369(line=161, offs=10) -- 3404(line=161, offs=45) */ ATSINSmove_void(tmp99, draw_number_2(ATSPMVrefarg0(arg0), ATSPMVstring("12"), tmp32, tmp100)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3418(line=163, offs=11) -- 3428(line=163, offs=21) */ ATSINSmove(tmp102, atspre_g0float_mul_double(ATSPMVf0loat(0.60), tmp32)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3445(line=164, offs=17) -- 3459(line=164, offs=31) */ ATSINSmove_void(tmp103, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3470(line=165, offs=10) -- 3510(line=165, offs=50) */ ATSINSmove_void(tmp104, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3520(line=166, offs=10) -- 3544(line=166, offs=34) */ ATSINSmove_void(tmp105, atscntrb_cairo_rotate(ATSPMVrefarg0(arg0), tmp47)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3554(line=167, offs=10) -- 3583(line=167, offs=39) */ ATSINSmove_void(tmp106, draw_hand_0(ATSPMVrefarg0(arg0), ATSPMVf0loat(3.0), ATSPMVf0loat(1.5), tmp102)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3593(line=168, offs=10) -- 3616(line=168, offs=33) */ ATSINSmove_void(tmp107, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3633(line=169, offs=17) -- 3647(line=169, offs=31) */ ATSINSmove_void(tmp108, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3658(line=170, offs=10) -- 3698(line=170, offs=50) */ ATSINSmove_void(tmp109, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3726(line=171, offs=28) -- 3734(line=171, offs=36) */ ATSINSmove(tmp111, atspre_g0float_add_double(tmp47, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3708(line=171, offs=10) -- 3735(line=171, offs=37) */ ATSINSmove_void(tmp110, atscntrb_cairo_rotate(ATSPMVrefarg0(arg0), tmp111)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3770(line=172, offs=35) -- 3775(line=172, offs=40) */ ATSINSmove(tmp113, atspre_div_double_int(tmp102, ATSPMVi0nt(4))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3745(line=172, offs=10) -- 3776(line=172, offs=41) */ ATSINSmove_void(tmp112, draw_hand_0(ATSPMVrefarg0(arg0), ATSPMVf0loat(3.0), ATSPMVf0loat(1.5), tmp113)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3786(line=173, offs=10) -- 3809(line=173, offs=33) */ ATSINSmove_void(tmp114, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3823(line=175, offs=11) -- 3833(line=175, offs=21) */ ATSINSmove(tmp115, atspre_g0float_mul_double(ATSPMVf0loat(0.85), tmp32)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3850(line=176, offs=17) -- 3864(line=176, offs=31) */ ATSINSmove_void(tmp116, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3875(line=177, offs=10) -- 3915(line=177, offs=50) */ ATSINSmove_void(tmp117, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3925(line=178, offs=10) -- 3949(line=178, offs=34) */ ATSINSmove_void(tmp118, atscntrb_cairo_rotate(ATSPMVrefarg0(arg0), tmp43)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3959(line=179, offs=10) -- 3988(line=179, offs=39) */ ATSINSmove_void(tmp119, draw_hand_0(ATSPMVrefarg0(arg0), ATSPMVf0loat(2.0), ATSPMVf0loat(1.0), tmp115)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 3998(line=180, offs=10) -- 4021(line=180, offs=33) */ ATSINSmove_void(tmp120, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4038(line=181, offs=17) -- 4052(line=181, offs=31) */ ATSINSmove_void(tmp121, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4063(line=182, offs=10) -- 4103(line=182, offs=50) */ ATSINSmove_void(tmp122, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4131(line=183, offs=28) -- 4139(line=183, offs=36) */ ATSINSmove(tmp124, atspre_g0float_add_double(tmp43, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4113(line=183, offs=10) -- 4140(line=183, offs=37) */ ATSINSmove_void(tmp123, atscntrb_cairo_rotate(ATSPMVrefarg0(arg0), tmp124)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4175(line=184, offs=35) -- 4180(line=184, offs=40) */ ATSINSmove(tmp126, atspre_div_double_int(tmp102, ATSPMVi0nt(4))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4150(line=184, offs=10) -- 4181(line=184, offs=41) */ ATSINSmove_void(tmp125, draw_hand_0(ATSPMVrefarg0(arg0), ATSPMVf0loat(2.0), ATSPMVf0loat(1.0), tmp126)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4191(line=185, offs=10) -- 4214(line=185, offs=33) */ ATSINSmove_void(tmp127, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4228(line=187, offs=11) -- 4238(line=187, offs=21) */ ATSINSmove(tmp128, atspre_g0float_mul_double(ATSPMVf0loat(0.85), tmp32)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4255(line=188, offs=17) -- 4269(line=188, offs=31) */ ATSINSmove_void(tmp129, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4280(line=189, offs=10) -- 4320(line=189, offs=50) */ ATSINSmove_void(tmp130, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4330(line=190, offs=10) -- 4354(line=190, offs=34) */ ATSINSmove_void(tmp131, atscntrb_cairo_rotate(ATSPMVrefarg0(arg0), tmp39)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4364(line=191, offs=10) -- 4393(line=191, offs=39) */ ATSINSmove_void(tmp132, draw_hand_0(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.5), tmp115)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4403(line=192, offs=10) -- 4426(line=192, offs=33) */ ATSINSmove_void(tmp133, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4443(line=193, offs=17) -- 4457(line=193, offs=31) */ ATSINSmove_void(tmp134, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4468(line=194, offs=10) -- 4508(line=194, offs=50) */ ATSINSmove_void(tmp135, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4536(line=195, offs=28) -- 4544(line=195, offs=36) */ ATSINSmove(tmp137, atspre_g0float_add_double(tmp39, ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4518(line=195, offs=10) -- 4545(line=195, offs=37) */ ATSINSmove_void(tmp136, atscntrb_cairo_rotate(ATSPMVrefarg0(arg0), tmp137)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4580(line=196, offs=35) -- 4585(line=196, offs=40) */ ATSINSmove(tmp139, atspre_div_double_int(tmp102, ATSPMVi0nt(4))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4555(line=196, offs=10) -- 4586(line=196, offs=41) */ ATSINSmove_void(tmp138, draw_hand_0(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.5), tmp139)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4596(line=197, offs=10) -- 4619(line=197, offs=33) */ ATSINSmove_void(tmp140, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4639(line=199, offs=17) -- 4653(line=199, offs=31) */ ATSINSmove_void(tmp141, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4664(line=200, offs=10) -- 4704(line=200, offs=50) */ ATSINSmove_void(tmp142, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4714(line=201, offs=10) -- 4736(line=201, offs=32) */ ATSINSmove_void(tmp143, atscntrb_cairo_new_sub_path(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4782(line=202, offs=45) -- 4788(line=202, offs=51) */ ATSINSmove(tmp145, atspre_mul_int_double(ATSPMVi0nt(2), ATSPMVf0loat(3.14159265358979323846))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4747(line=202, offs=10) -- 4789(line=202, offs=52) */ ATSINSmove_void(tmp144, atscntrb_cairo_arc(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(2.5), ATSPMVf0loat(0.0), tmp145)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4801(line=203, offs=10) -- 4815(line=203, offs=24) */ ATSINSmove_void(tmp146, atscntrb_cairo_fill(ATSPMVrefarg0(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4826(line=204, offs=10) -- 4849(line=204, offs=33) */ ATSINSmove_void(tmpret31, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 2286(line=124, offs=12) -- 4872(line=208, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret31) ; } /* end of [draw_clock_6] */ #if(0) /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28716(line=778, offs=15) -- 28757(line=778, offs=56) */ /* local: global: gte_g1int_int$7$0(level=0) local: global: */ ATSglobaldec() /* imparg = tk(4341) tmparg = S2Evar(tk(4341)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gte_g1int_int__7(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret35, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp36, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28702(line=778, offs=1) -- 28757(line=778, offs=56) */ __patsflab_gte_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28743(line=778, offs=42) -- 28755(line=778, offs=54) */ ATSINSmove(tmp36, PMVtmpltcst(g1int2int)(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28725(line=778, offs=24) -- 28757(line=778, offs=56) */ ATSINSmove(tmpret35, PMVtmpltcst(g1int_gte)(arg0, tmp36)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret35) ; } /* end of [ATSLIB_056_prelude__gte_g1int_int__7] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28716(line=778, offs=15) -- 28757(line=778, offs=56) */ /* local: global: gte_g1int_int$7$1(level=1) local: global: */ ATSstaticdec() /* imparg = tk(4341) tmparg = S2Evar(tk(4341)) tmpsub = Some(tk(4341) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gte_g1int_int__7__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret35__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp36__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28702(line=778, offs=1) -- 28757(line=778, offs=56) */ __patsflab_gte_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28743(line=778, offs=42) -- 28755(line=778, offs=54) */ ATSINSmove(tmp36__1, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28725(line=778, offs=24) -- 28757(line=778, offs=56) */ ATSINSmove(tmpret35__1, atspre_g1int_gte_int(arg0, tmp36__1)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret35__1) ; } /* end of [ATSLIB_056_prelude__gte_g1int_int__7__1] */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4943(line=214, offs=3) -- 6910(line=287, offs=2) */ /* local: draw_clock_6$0(level=0) global: draw_hand_0$0(level=0), draw_number_2$0(level=0), draw_clock_6$0(level=0), mydraw_clock$13$0(level=0) local: global: */ ATSglobaldec() atsvoid_t0ype mydraw_clock(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1, atstkind_t0ype(atstype_int) arg2) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret147, atsvoid_t0ype) ; ATStmpdec(tmp148, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp149, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp150, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp151, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp152, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp153, atsvoid_t0ype) ; ATStmpdec_void(tmp154, atsvoid_t0ype) ; ATStmpdec(tmp155, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp156, atsvoid_t0ype) ; ATStmpdec(tmpref157, atslib_time_type) ; ATStmpdec(tmp158, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp159, atsvoid_t0ype) ; ATStmpdec(tmpref160, atslib_tm_struct_type) ; ATStmpdec(tmp161, atstkind_type(atstype_ptrk)) ; ATStmpdec_void(tmp162, atsvoid_t0ype) ; ATStmpdec(tmp163, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp164, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp165, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp166, atstkind_t0ype(atstype_int)) ; ATStmpdec_void(tmp167, atsvoid_t0ype) ; ATStmpdec(tmp168, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp169, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp174, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp179, atsvoid_t0ype) ; ATStmpdec(tmp180, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp181, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp184, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp187, atsvoid_t0ype) ; ATStmpdec(tmp188, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp189, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp192, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp195, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp196, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp197, atsvoid_t0ype) ; ATStmpdec_void(tmp198, atsvoid_t0ype) ; ATStmpdec(tmp199, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp200, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp201, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp202, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp203, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp204, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp205, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp206, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp207, atsvoid_t0ype) ; ATStmpdec_void(tmp208, atsvoid_t0ype) ; ATStmpdec_void(tmp209, atsvoid_t0ype) ; ATStmpdec_void(tmp210, atsvoid_t0ype) ; ATStmpdec_void(tmp211, atsvoid_t0ype) ; ATStmpdec(tmp212, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp213, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp214, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp215, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp216, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp217, atsvoid_t0ype) ; ATStmpdec(tmpref218, cairo_matrix_t) ; ATStmpdec_void(tmp219, atsvoid_t0ype) ; ATStmpdec(tmpref220, cairo_matrix_t) ; ATStmpdec(tmp221, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp222, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp223, atsvoid_t0ype) ; ATStmpdec_void(tmp224, atsvoid_t0ype) ; ATStmpdec_void(tmp225, atsvoid_t0ype) ; ATStmpdec_void(tmp226, atsvoid_t0ype) ; ATStmpdec_void(tmp227, atsvoid_t0ype) ; ATStmpdec_void(tmp228, atsvoid_t0ype) ; ATStmpdec(tmp229, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp230, atstkind_t0ype(atstype_double)) ; ATStmpdec(tmp231, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp232, atstkind_t0ype(atstype_double)) ; ATStmpdec_void(tmp233, atsvoid_t0ype) ; ATStmpdec_void(tmp234, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4928(line=213, offs=1) -- 6910(line=287, offs=2) */ __patsflab_mydraw_clock: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4965(line=215, offs=1) -- 6910(line=287, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4978(line=217, offs=9) -- 5006(line=217, offs=37) */ ATSINSmove(tmp148, atspre_g0int2float_int_double(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5016(line=218, offs=9) -- 5045(line=218, offs=38) */ ATSINSmove(tmp149, atspre_g0int2float_int_double(arg2)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5059(line=220, offs=10) -- 5069(line=220, offs=20) */ ATSINSmove(tmp150, atspre_g0float_min_double(tmp148, tmp149)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5079(line=221, offs=10) -- 5084(line=221, offs=15) */ ATSINSmove(tmp151, atspre_div_double_int(tmp148, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5094(line=221, offs=25) -- 5099(line=221, offs=30) */ ATSINSmove(tmp152, atspre_div_double_int(tmp149, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5120(line=223, offs=18) -- 5134(line=223, offs=32) */ ATSINSmove_void(tmp153, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5145(line=224, offs=10) -- 5173(line=224, offs=38) */ ATSINSmove_void(tmp154, atscntrb_cairo_translate(ATSPMVrefarg0(arg0), tmp151, tmp152)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5186(line=225, offs=13) -- 5194(line=225, offs=21) */ ATSINSmove(tmp155, atspre_div_double_int(tmp150, ATSPMVi0nt(100))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5204(line=226, offs=10) -- 5234(line=226, offs=40) */ ATSINSmove_void(tmp156, atscntrb_cairo_scale(ATSPMVrefarg0(arg0), tmp155, tmp155)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5242(line=228, offs=5) -- 5243(line=228, offs=6) */ /* ATSINStmpdec(tmpref157) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5261(line=229, offs=10) -- 5275(line=229, offs=24) */ ATSINSmove(tmp158, atslib_time_getset(ATSPMVrefarg1(ATSPMVptrof(tmpref157)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5286(line=230, offs=10) -- 5317(line=230, offs=41) */ ATSINSmove_void(tmp159, atspre_assert_errmsg_bool1(tmp158, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5305(line=230, offs=29) -- 5316(line=230, offs=40)"))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5358(line=233, offs=5) -- 5360(line=233, offs=7) */ /* ATSINStmpdec(tmpref160) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5399(line=234, offs=12) -- 5418(line=234, offs=31) */ ATSINSmove(tmp161, atslib_localtime_r(ATSPMVrefarg1(ATSPMVptrof(tmpref157)), ATSPMVrefarg1(ATSPMVptrof(tmpref160)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5443(line=235, offs=25) -- 5451(line=235, offs=33) */ ATSINSmove(tmp163, atspre_gt_ptr1_intz(tmp161, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5428(line=235, offs=10) -- 5465(line=235, offs=47) */ ATSINSmove_void(tmp162, atspre_assert_errmsg_bool1(tmp163, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5453(line=235, offs=35) -- 5464(line=235, offs=46)"))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5515(line=238, offs=10) -- 5525(line=238, offs=20) */ ATSINSmove(tmp164, ATSSELfltrec(tmpref160, atslib_tm_struct_type, tm_hour)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5536(line=239, offs=11) -- 5545(line=239, offs=20) */ ATSINSmove(tmp165, ATSSELfltrec(tmpref160, atslib_tm_struct_type, tm_min)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5556(line=240, offs=11) -- 5565(line=240, offs=20) */ ATSINSmove(tmp166, ATSSELfltrec(tmpref160, atslib_tm_struct_type, tm_sec)) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5598(line=243, offs=10) -- 5629(line=243, offs=41) */ ATSINSmove(tmp169, ATSLIB_056_prelude__lte_g1int_int__15__1(ATSPMVi0nt(0), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp164))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5598(line=243, offs=10) -- 5629(line=243, offs=41) */ ATSINSmove(tmp174, ATSLIB_056_prelude__lt_g1int_int__18__1(ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp164), ATSPMVi0nt(24))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5598(line=243, offs=10) -- 5629(line=243, offs=41) */ ATSINSmove(tmp168, atspre_mul_bool1_bool1(tmp169, tmp174)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5598(line=243, offs=10) -- 5629(line=243, offs=41) */ ATSINSmove_void(tmp167, atspre_assert_errmsg_bool1(tmp168, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5598(line=243, offs=10) -- 5629(line=243, offs=41)"))) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5663(line=245, offs=10) -- 5696(line=245, offs=43) */ ATSINSmove(tmp181, ATSLIB_056_prelude__lte_g1int_int__15__2(ATSPMVi0nt(0), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp165))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5663(line=245, offs=10) -- 5696(line=245, offs=43) */ ATSINSmove(tmp184, ATSLIB_056_prelude__lt_g1int_int__18__2(ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp165), ATSPMVi0nt(60))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5663(line=245, offs=10) -- 5696(line=245, offs=43) */ ATSINSmove(tmp180, atspre_mul_bool1_bool1(tmp181, tmp184)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5663(line=245, offs=10) -- 5696(line=245, offs=43) */ ATSINSmove_void(tmp179, atspre_assert_errmsg_bool1(tmp180, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5663(line=245, offs=10) -- 5696(line=245, offs=43)"))) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5730(line=247, offs=10) -- 5763(line=247, offs=43) */ ATSINSmove(tmp189, ATSLIB_056_prelude__lte_g1int_int__15__3(ATSPMVi0nt(0), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp166))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5730(line=247, offs=10) -- 5763(line=247, offs=43) */ ATSINSmove(tmp192, ATSLIB_056_prelude__lt_g1int_int__18__3(ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp166), ATSPMVi0nt(60))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5730(line=247, offs=10) -- 5763(line=247, offs=43) */ ATSINSmove(tmp188, atspre_mul_bool1_bool1(tmp189, tmp192)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5730(line=247, offs=10) -- 5763(line=247, offs=43) */ ATSINSmove_void(tmp187, atspre_assert_errmsg_bool1(tmp188, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5730(line=247, offs=10) -- 5763(line=247, offs=43)"))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5784(line=249, offs=16) -- 5791(line=249, offs=23) */ ATSINSmove(tmp196, atspre_g0float_mul_double(ATSPMVf0loat(0.1), tmp149)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5784(line=249, offs=16) -- 5799(line=249, offs=31) */ ATSINSmove(tmp195, atspre_g0float_div_double(tmp196, tmp155)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5820(line=251, offs=18) -- 5833(line=251, offs=31) */ ATSINSmove_void(tmp197, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5912(line=255, offs=30) -- 5914(line=255, offs=32) */ ATSINSmove(tmp201, atspre_g1int_neg_int(ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5912(line=255, offs=30) -- 5918(line=255, offs=36) */ ATSINSmove(tmp200, atspre_mul_int_double(tmp201, tmp148)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5912(line=255, offs=30) -- 5920(line=255, offs=38) */ ATSINSmove(tmp199, atspre_div_double_int(tmp200, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5922(line=255, offs=40) -- 5924(line=255, offs=42) */ ATSINSmove(tmp204, atspre_g1int_neg_int(ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5922(line=255, offs=40) -- 5928(line=255, offs=46) */ ATSINSmove(tmp203, atspre_mul_int_double(tmp204, tmp149)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5922(line=255, offs=40) -- 5930(line=255, offs=48) */ ATSINSmove(tmp202, atspre_div_double_int(tmp203, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5935(line=255, offs=53) -- 5938(line=255, offs=56) */ ATSINSmove(tmp206, atspre_div_double_int(tmp149, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5935(line=255, offs=53) -- 5949(line=255, offs=67) */ ATSINSmove(tmp205, atspre_g0float_add_double(tmp206, tmp195)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 5892(line=255, offs=10) -- 5950(line=255, offs=68) */ ATSINSmove_void(tmp198, atscntrb_cairo_rectangle(ATSPMVrefarg0(arg0), tmp199, tmp202, tmp148, tmp205)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6039(line=259, offs=10) -- 6053(line=259, offs=24) */ ATSINSmove_void(tmp207, atscntrb_cairo_clip(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6064(line=260, offs=10) -- 6093(line=260, offs=39) */ ATSINSmove_void(tmp208, draw_clock_6(ATSPMVrefarg0(arg0), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp164), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp165), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp166))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6103(line=261, offs=10) -- 6127(line=261, offs=34) */ ATSINSmove_void(tmp209, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6148(line=263, offs=18) -- 6161(line=263, offs=31) */ ATSINSmove_void(tmp210, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6238(line=266, offs=30) -- 6240(line=266, offs=32) */ ATSINSmove(tmp214, atspre_g1int_neg_int(ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6238(line=266, offs=30) -- 6244(line=266, offs=36) */ ATSINSmove(tmp213, atspre_mul_int_double(tmp214, tmp148)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6238(line=266, offs=30) -- 6246(line=266, offs=38) */ ATSINSmove(tmp212, atspre_div_double_int(tmp213, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6261(line=266, offs=53) -- 6264(line=266, offs=56) */ ATSINSmove(tmp216, atspre_div_double_int(tmp149, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6261(line=266, offs=53) -- 6275(line=266, offs=67) */ ATSINSmove(tmp215, atspre_g0float_sub_double(tmp216, tmp195)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6218(line=266, offs=10) -- 6276(line=266, offs=68) */ ATSINSmove_void(tmp211, atscntrb_cairo_rectangle(ATSPMVrefarg0(arg0), tmp212, tmp195, tmp148, tmp215)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6286(line=267, offs=10) -- 6300(line=267, offs=24) */ ATSINSmove_void(tmp217, atscntrb_cairo_clip(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6306(line=268, offs=5) -- 6313(line=268, offs=12) */ /* ATSINStmpdec(tmpref218) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6340(line=269, offs=10) -- 6369(line=269, offs=39) */ ATSINSmove_void(tmp219, atscntrb_cairo_get_matrix(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref218)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6374(line=270, offs=5) -- 6382(line=270, offs=13) */ /* ATSINStmpdec(tmpref220) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6433(line=271, offs=46) -- 6442(line=271, offs=55) */ ATSINSmove(tmp222, atspre_g0float_neg_double(tmp195)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6433(line=271, offs=46) -- 6449(line=271, offs=62) */ ATSINSmove(tmp221, atspre_g0float_mul_double(tmp222, ATSPMVf0loat(0.5))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6385(line=270, offs=16) -- 6460(line=272, offs=2) */ ATSINSstore_fltrec_ofs (tmpref220, cairo_matrix_t, xx, ATSPMVf0loat(1.0)) ; ATSINSstore_fltrec_ofs (tmpref220, cairo_matrix_t, yx, ATSPMVf0loat(0.0)) ; ATSINSstore_fltrec_ofs (tmpref220, cairo_matrix_t, xy, ATSPMVf0loat(0.5)) ; ATSINSstore_fltrec_ofs (tmpref220, cairo_matrix_t, yy, ATSPMVf0loat(1.0)) ; ATSINSstore_fltrec_ofs (tmpref220, cairo_matrix_t, x0, tmp221) ; ATSINSstore_fltrec_ofs (tmpref220, cairo_matrix_t, y0, ATSPMVf0loat(0.0)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6487(line=273, offs=10) -- 6538(line=273, offs=61) */ ATSINSmove_void(tmp223, atscntrb_cairo_matrix_multiply(ATSPMVrefarg1(ATSPMVptrof(tmpref220)), ATSPMVrefarg1(ATSPMVptrof(tmpref220)), ATSPMVrefarg1(ATSPMVptrof(tmpref218)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6548(line=274, offs=10) -- 6579(line=274, offs=41) */ ATSINSmove_void(tmp224, atscntrb_cairo_set_matrix(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref220)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6589(line=275, offs=10) -- 6629(line=275, offs=50) */ ATSINSmove_void(tmp225, atscntrb_cairo_set_source_rgb(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6639(line=276, offs=10) -- 6668(line=276, offs=39) */ ATSINSmove_void(tmp226, draw_clock_6(ATSPMVrefarg0(arg0), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp164), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp165), ATSPMVcastfn(g1ofg0_int, atstkind_t0ype(atstype_int), tmp166))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6678(line=277, offs=10) -- 6703(line=277, offs=35) */ ATSINSmove_void(tmp227, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6760(line=281, offs=30) -- 6762(line=281, offs=32) */ ATSINSmove(tmp231, atspre_g1int_neg_int(ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6760(line=281, offs=30) -- 6766(line=281, offs=36) */ ATSINSmove(tmp230, atspre_mul_int_double(tmp231, tmp148)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6760(line=281, offs=30) -- 6768(line=281, offs=38) */ ATSINSmove(tmp229, atspre_div_double_int(tmp230, ATSPMVi0nt(2))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6783(line=281, offs=53) -- 6788(line=281, offs=58) */ ATSINSmove(tmp232, atspre_mul_int_double(ATSPMVi0nt(1), tmp149)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6740(line=281, offs=10) -- 6789(line=281, offs=59) */ ATSINSmove_void(tmp228, atscntrb_cairo_rectangle(ATSPMVrefarg0(arg0), tmp229, tmp195, tmp148, tmp232)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6799(line=282, offs=10) -- 6844(line=282, offs=55) */ ATSINSmove_void(tmp233, atscntrb_cairo_set_source_rgba(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.5))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6854(line=283, offs=10) -- 6867(line=283, offs=23) */ ATSINSmove_void(tmp234, atscntrb_cairo_fill(ATSPMVrefarg0(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 6881(line=285, offs=10) -- 6905(line=285, offs=34) */ ATSINSmove_void(tmpret147, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 4965(line=215, offs=1) -- 6910(line=287, offs=2) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret147) ; } /* end of [mydraw_clock] */ #if(0) /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28578(line=774, offs=15) -- 28619(line=774, offs=56) */ /* local: global: lte_g1int_int$15$0(level=0) local: global: */ ATSglobaldec() /* imparg = tk(4335) tmparg = S2Evar(tk(4335)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret170, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp171, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28564(line=774, offs=1) -- 28619(line=774, offs=56) */ __patsflab_lte_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28605(line=774, offs=42) -- 28617(line=774, offs=54) */ ATSINSmove(tmp171, PMVtmpltcst(g1int2int)(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28587(line=774, offs=24) -- 28619(line=774, offs=56) */ ATSINSmove(tmpret170, PMVtmpltcst(g1int_lte)(arg0, tmp171)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret170) ; } /* end of [ATSLIB_056_prelude__lte_g1int_int__15] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28578(line=774, offs=15) -- 28619(line=774, offs=56) */ /* local: global: lte_g1int_int$15$1(level=1) local: global: */ ATSstaticdec() /* imparg = tk(4335) tmparg = S2Evar(tk(4335)) tmpsub = Some(tk(4335) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret170__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp171__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28564(line=774, offs=1) -- 28619(line=774, offs=56) */ __patsflab_lte_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28605(line=774, offs=42) -- 28617(line=774, offs=54) */ ATSINSmove(tmp171__1, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28587(line=774, offs=24) -- 28619(line=774, offs=56) */ ATSINSmove(tmpret170__1, atspre_g1int_lte_int(arg0, tmp171__1)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret170__1) ; } /* end of [ATSLIB_056_prelude__lte_g1int_int__15__1] */ #if(0) /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28509(line=772, offs=14) -- 28549(line=772, offs=54) */ /* local: global: lt_g1int_int$18$0(level=0) local: global: */ ATSglobaldec() /* imparg = tk(4332) tmparg = S2Evar(tk(4332)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret175, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp176, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28496(line=772, offs=1) -- 28549(line=772, offs=54) */ __patsflab_lt_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28535(line=772, offs=40) -- 28547(line=772, offs=52) */ ATSINSmove(tmp176, PMVtmpltcst(g1int2int)(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28518(line=772, offs=23) -- 28549(line=772, offs=54) */ ATSINSmove(tmpret175, PMVtmpltcst(g1int_lt)(arg0, tmp176)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret175) ; } /* end of [ATSLIB_056_prelude__lt_g1int_int__18] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28509(line=772, offs=14) -- 28549(line=772, offs=54) */ /* local: global: lt_g1int_int$18$1(level=1) local: global: */ ATSstaticdec() /* imparg = tk(4332) tmparg = S2Evar(tk(4332)) tmpsub = Some(tk(4332) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret175__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp176__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28496(line=772, offs=1) -- 28549(line=772, offs=54) */ __patsflab_lt_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28535(line=772, offs=40) -- 28547(line=772, offs=52) */ ATSINSmove(tmp176__1, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28518(line=772, offs=23) -- 28549(line=772, offs=54) */ ATSINSmove(tmpret175__1, atspre_g1int_lt_int(arg0, tmp176__1)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret175__1) ; } /* end of [ATSLIB_056_prelude__lt_g1int_int__18__1] */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28578(line=774, offs=15) -- 28619(line=774, offs=56) */ /* local: global: lte_g1int_int$15$2(level=1) local: global: */ ATSstaticdec() /* imparg = tk(4335) tmparg = S2Evar(tk(4335)) tmpsub = Some(tk(4335) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret170__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp171__2, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28564(line=774, offs=1) -- 28619(line=774, offs=56) */ __patsflab_lte_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28605(line=774, offs=42) -- 28617(line=774, offs=54) */ ATSINSmove(tmp171__2, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28587(line=774, offs=24) -- 28619(line=774, offs=56) */ ATSINSmove(tmpret170__2, atspre_g1int_lte_int(arg0, tmp171__2)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret170__2) ; } /* end of [ATSLIB_056_prelude__lte_g1int_int__15__2] */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28509(line=772, offs=14) -- 28549(line=772, offs=54) */ /* local: global: lt_g1int_int$18$2(level=1) local: global: */ ATSstaticdec() /* imparg = tk(4332) tmparg = S2Evar(tk(4332)) tmpsub = Some(tk(4332) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret175__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp176__2, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28496(line=772, offs=1) -- 28549(line=772, offs=54) */ __patsflab_lt_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28535(line=772, offs=40) -- 28547(line=772, offs=52) */ ATSINSmove(tmp176__2, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28518(line=772, offs=23) -- 28549(line=772, offs=54) */ ATSINSmove(tmpret175__2, atspre_g1int_lt_int(arg0, tmp176__2)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret175__2) ; } /* end of [ATSLIB_056_prelude__lt_g1int_int__18__2] */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28578(line=774, offs=15) -- 28619(line=774, offs=56) */ /* local: global: lte_g1int_int$15$3(level=1) local: global: */ ATSstaticdec() /* imparg = tk(4335) tmparg = S2Evar(tk(4335)) tmpsub = Some(tk(4335) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lte_g1int_int__15__3(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret170__3, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp171__3, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28564(line=774, offs=1) -- 28619(line=774, offs=56) */ __patsflab_lte_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28605(line=774, offs=42) -- 28617(line=774, offs=54) */ ATSINSmove(tmp171__3, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28587(line=774, offs=24) -- 28619(line=774, offs=56) */ ATSINSmove(tmpret170__3, atspre_g1int_lte_int(arg0, tmp171__3)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret170__3) ; } /* end of [ATSLIB_056_prelude__lte_g1int_int__15__3] */ /* /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28509(line=772, offs=14) -- 28549(line=772, offs=54) */ /* local: global: lt_g1int_int$18$3(level=1) local: global: */ ATSstaticdec() /* imparg = tk(4332) tmparg = S2Evar(tk(4332)) tmpsub = Some(tk(4332) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__18__3(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret175__3, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp176__3, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28496(line=772, offs=1) -- 28549(line=772, offs=54) */ __patsflab_lt_g1int_int: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28535(line=772, offs=40) -- 28547(line=772, offs=52) */ ATSINSmove(tmp176__3, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28518(line=772, offs=23) -- 28549(line=772, offs=54) */ ATSINSmove(tmpret175__3, atspre_g1int_lt_int(arg0, tmp176__3)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret175__3) ; } /* end of [ATSLIB_056_prelude__lt_g1int_int__18__3] */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7230(line=305, offs=7) -- 7668(line=322, offs=2) */ /* local: global: mainats_argc_argv_0$26$0(level=0) local: global: */ ATSglobaldec() atsvoid_t0ype mainats_argc_argv_0(atstkind_t0ype(atstype_int) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret235, atsvoid_t0ype) ; ATStmpdec(tmpref236, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpref237, charptrptr) ; ATStmpdec_void(tmp238, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7224(line=305, offs=1) -- 7668(line=322, offs=2) */ __patsflab_main_argc_argv_0: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7245(line=306, offs=1) -- 7668(line=322, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7254(line=308, offs=5) -- 7258(line=308, offs=9) */ /* ATSINStmpdec(tmpref236) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7266(line=308, offs=17) -- 7270(line=308, offs=21) */ ATSINSmove(tmpref236, arg0) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7275(line=309, offs=5) -- 7279(line=309, offs=9) */ /* ATSINStmpdec(tmpref237) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7294(line=309, offs=24) -- 7324(line=309, offs=54) */ ATSINSmove(tmpref237, ATSPMVcastfn(castvwtp1, charptrptr, ATSPMVrefarg0(arg1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7338(line=311, offs=10) -- 7392(line=311, offs=64) */ ATSINSmove_void(tmp238, gtk_init(ATSPMVptrof(tmpref236), ATSPMVptrof(tmpref237))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7634(line=320, offs=18) -- 7663(line=320, offs=47) */ ATSINSmove_void(tmpret235, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__30__1()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7245(line=306, offs=1) -- 7668(line=322, offs=2) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret235) ; } /* end of [mainats_argc_argv_0] */ #if(0) /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7428(line=314, offs=23) -- 7459(line=314, offs=54) */ /* local: global: gtkcairoclock_title$27$0(level=1) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__27() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret239, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7406(line=314, offs=1) -- 7459(line=314, offs=54) */ __patsflab_gtkcairoclock_title: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7433(line=314, offs=28) -- 7459(line=314, offs=54) */ ATSINSmove(tmpret239, ATSPMVcastfn(stropt1_some, atstkind_type(atstype_ptrk), ATSPMVstring("gtkcairoclock"))) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret239) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__27] */ #endif // end of [TEMPLATE] #if(0) /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7503(line=316, offs=34) -- 7512(line=316, offs=43) */ /* local: global: gtkcairoclock_timeout_interval$28$0(level=1) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ atstkind_t0ype(atstype_uint) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__28() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret240, atstkind_t0ype(atstype_uint)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7470(line=316, offs=1) -- 7512(line=316, offs=43) */ __patsflab_gtkcairoclock_timeout_interval: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7508(line=316, offs=39) -- 7512(line=316, offs=43) */ ATSINSmove(tmpret240, ATSPMVi0nt(500U)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret240) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__28] */ #endif // end of [TEMPLATE] #if(0) /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7559(line=318, offs=24) -- 7613(line=318, offs=78) */ /* local: global: gtkcairoclock_mydraw$29$0(level=1) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__29(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1, atstkind_t0ype(atstype_int) arg2) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret241, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7536(line=318, offs=1) -- 7613(line=318, offs=78) */ __patsflab_gtkcairoclock_mydraw: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7581(line=318, offs=46) -- 7613(line=318, offs=78) */ ATSINSmove_void(tmpret241, mydraw_clock(ATSPMVrefarg0(arg0), arg1, arg2)) ; /* funbodyinstrlst(end) */ ATSreturn_void(tmpret241) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__29] */ #endif // end of [TEMPLATE] #if(0) /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3946(line=158, offs=3) -- 5178(line=209, offs=2) */ /* local: global: gtkcairoclock_main$30$0(level=0) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__30() { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret242, atsvoid_t0ype) ; ATStmpdec(tmp243, atstkind_type(atstype_ptrk)) ; ATStmpdec_void(tmp244, atsvoid_t0ype) ; ATStmpdec(tmp245, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp246, atsvoid_t0ype) ; ATStmpdec(tmp247, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp248, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp249, atsvoid_t0ype) ; ATStmpdec(tmp250, atstkind_type(atstype_ptrk)) ; ATStmpdec_void(tmp251, atsvoid_t0ype) ; ATStmpdec(tmp252, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp253, atsvoid_t0ype) ; ATStmpdec(tmp254, guint) ; ATStmpdec_void(tmp255, atsvoid_t0ype) ; ATStmpdec(tmp256, guint) ; ATStmpdec(tmp257, guint) ; ATStmpdec(tmp258, atstkind_t0ype(atstype_uint)) ; ATStmpdec(tmp259, guint) ; ATStmpdec_void(tmp260, atsvoid_t0ype) ; ATStmpdec_void(tmp261, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3925(line=157, offs=1) -- 5178(line=209, offs=2) */ __patsflab_gtkcairoclock_main: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3986(line=162, offs=3) -- 4021(line=162, offs=38) */ ATSINSmove(tmp243, atscntrb_gtk_window_new(ATSextval(GTK_WINDOW_TOPLEVEL))) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38) */ ATSINSmove(tmp245, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp243)), ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38) */ ATSINSmove_void(tmp244, atspre_assert_errmsg_bool1(tmp245, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4081(line=166, offs=10) -- 4109(line=166, offs=38)"))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4120(line=167, offs=10) -- 4176(line=167, offs=66) */ ATSINSmove_void(tmp246, atscntrb_gtk_window_set_default_size(ATSPMVrefarg0(tmp243), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4190(line=169, offs=11) -- 4212(line=169, offs=33) */ ATSINSmove(tmp247, PMVtmpltcst(gtkcairoclock_title<>)()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4226(line=170, offs=14) -- 4244(line=170, offs=32) */ ATSINSmove(tmp248, PMVtmpltcst(stropt_is_some<>)(tmp247)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4255(line=172, offs=1) -- 4360(line=176, offs=4) */ ATSif( tmp248 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4313(line=175, offs=3) -- 4356(line=175, offs=46) */ ATSINSmove_void(tmp249, atscntrb_gtk_window_set_title(ATSPMVrefarg0(tmp243), ATSPMVcastfn(gstring_of_string, atstkind_type(atstype_ptrk), ATSPMVcastfn(stropt_unsome, atstkind_type(atstype_ptrk), tmp247)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4360(line=176, offs=4) -- 4360(line=176, offs=4) */ ATSINSmove_void(tmp249, ATSempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4409(line=179, offs=3) -- 4432(line=179, offs=26) */ ATSINSmove(tmp250, atscntrb_gtk_drawing_area_new()) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32) */ ATSINSmove(tmp252, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp250)), ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32) */ ATSINSmove_void(tmp251, atspre_assert_errmsg_bool1(tmp252, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4476(line=181, offs=10) -- 4498(line=181, offs=32)"))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4509(line=182, offs=10) -- 4540(line=182, offs=41) */ ATSINSmove_void(tmp253, atscntrb_gtk_container_add(ATSPMVrefarg0(tmp243), ATSPMVrefarg0(tmp250))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4555(line=184, offs=12) -- 4638(line=187, offs=2) */ ATSINSmove(tmp254, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp250), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("draw")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), PMVtmpltcst(fexpose<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4648(line=188, offs=10) -- 4669(line=188, offs=31) */ ATSINSmove_void(tmp255, atscntrb_g_object_unref(tmp250)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4685(line=190, offs=12) -- 4773(line=193, offs=2) */ ATSINSmove(tmp256, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp243), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("destroy")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), PMVtmpltcst(on_destroy<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4785(line=194, offs=12) -- 4883(line=197, offs=2) */ ATSINSmove(tmp257, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp243), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("delete-event")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), PMVtmpltcst(on_delete_event<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4899(line=200, offs=3) -- 4932(line=200, offs=36) */ ATSINSmove(tmp258, PMVtmpltcst(gtkcairoclock_timeout_interval<>)()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4944(line=201, offs=12) -- 5012(line=201, offs=80) */ ATSINSmove(tmp259, atscntrb_g_timeout_add(ATSPMVcastfn(guint_of_uint, guint, tmp258), ATSPMVcastfn(GSourceFunc, atstkind_type(atstype_ptrk), PMVtmpltcst(ftimeout<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp250))))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5025(line=203, offs=10) -- 5050(line=203, offs=35) */ ATSINSmove_void(tmp260, atscntrb_gtk_widget_show_all(ATSPMVrefarg0(tmp243))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5064(line=205, offs=10) -- 5084(line=205, offs=30) */ ATSINSmove_void(tmp261, atscntrb_g_object_unref(tmp243)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5154(line=207, offs=18) -- 5173(line=207, offs=37) */ ATSINSmove_void(tmpret242, atscntrb_gtk_main()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret242) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__30] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3946(line=158, offs=3) -- 5178(line=209, offs=2) */ /* local: global: gtkcairoclock_main$30$1(level=1) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__30__1() { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret242__1, atsvoid_t0ype) ; ATStmpdec(tmp243__1, atstkind_type(atstype_ptrk)) ; ATStmpdec_void(tmp244__1, atsvoid_t0ype) ; ATStmpdec(tmp245__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp246__1, atsvoid_t0ype) ; ATStmpdec(tmp247__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp248__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp249__1, atsvoid_t0ype) ; ATStmpdec(tmp250__1, atstkind_type(atstype_ptrk)) ; ATStmpdec_void(tmp251__1, atsvoid_t0ype) ; ATStmpdec(tmp252__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec_void(tmp253__1, atsvoid_t0ype) ; ATStmpdec(tmp254__1, guint) ; ATStmpdec_void(tmp255__1, atsvoid_t0ype) ; ATStmpdec(tmp256__1, guint) ; ATStmpdec(tmp257__1, guint) ; ATStmpdec(tmp258__1, atstkind_t0ype(atstype_uint)) ; ATStmpdec(tmp259__1, guint) ; ATStmpdec_void(tmp260__1, atsvoid_t0ype) ; ATStmpdec_void(tmp261__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3925(line=157, offs=1) -- 5178(line=209, offs=2) */ __patsflab_gtkcairoclock_main: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3986(line=162, offs=3) -- 4021(line=162, offs=38) */ ATSINSmove(tmp243__1, atscntrb_gtk_window_new(ATSextval(GTK_WINDOW_TOPLEVEL))) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38) */ ATSINSmove(tmp245__1, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp243__1)), ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38) */ ATSINSmove_void(tmp244__1, atspre_assert_errmsg_bool1(tmp245__1, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4081(line=166, offs=10) -- 4109(line=166, offs=38)"))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4120(line=167, offs=10) -- 4176(line=167, offs=66) */ ATSINSmove_void(tmp246__1, atscntrb_gtk_window_set_default_size(ATSPMVrefarg0(tmp243__1), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4190(line=169, offs=11) -- 4212(line=169, offs=33) */ ATSINSmove(tmp247__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__27__1()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4226(line=170, offs=14) -- 4244(line=170, offs=32) */ ATSINSmove(tmp248__1, ATSLIB_056_prelude__stropt_is_some__33__1(tmp247__1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4255(line=172, offs=1) -- 4360(line=176, offs=4) */ ATSif( tmp248__1 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4313(line=175, offs=3) -- 4356(line=175, offs=46) */ ATSINSmove_void(tmp249__1, atscntrb_gtk_window_set_title(ATSPMVrefarg0(tmp243__1), ATSPMVcastfn(gstring_of_string, atstkind_type(atstype_ptrk), ATSPMVcastfn(stropt_unsome, atstkind_type(atstype_ptrk), tmp247__1)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4360(line=176, offs=4) -- 4360(line=176, offs=4) */ ATSINSmove_void(tmp249__1, ATSempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4409(line=179, offs=3) -- 4432(line=179, offs=26) */ ATSINSmove(tmp250__1, atscntrb_gtk_drawing_area_new()) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32) */ ATSINSmove(tmp252__1, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp250__1)), ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32) */ ATSINSmove_void(tmp251__1, atspre_assert_errmsg_bool1(tmp252__1, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4476(line=181, offs=10) -- 4498(line=181, offs=32)"))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4509(line=182, offs=10) -- 4540(line=182, offs=41) */ ATSINSmove_void(tmp253__1, atscntrb_gtk_container_add(ATSPMVrefarg0(tmp243__1), ATSPMVrefarg0(tmp250__1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4555(line=184, offs=12) -- 4638(line=187, offs=2) */ ATSINSmove(tmp254__1, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp250__1), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("draw")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__35__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4648(line=188, offs=10) -- 4669(line=188, offs=31) */ ATSINSmove_void(tmp255__1, atscntrb_g_object_unref(tmp250__1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4685(line=190, offs=12) -- 4773(line=193, offs=2) */ ATSINSmove(tmp256__1, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp243__1), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("destroy")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__40__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4785(line=194, offs=12) -- 4883(line=197, offs=2) */ ATSINSmove(tmp257__1, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp243__1), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("delete-event")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__42__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4899(line=200, offs=3) -- 4932(line=200, offs=36) */ ATSINSmove(tmp258__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__28__1()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4944(line=201, offs=12) -- 5012(line=201, offs=80) */ ATSINSmove(tmp259__1, atscntrb_g_timeout_add(ATSPMVcastfn(guint_of_uint, guint, tmp258__1), ATSPMVcastfn(GSourceFunc, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__45__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp250__1))))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5025(line=203, offs=10) -- 5050(line=203, offs=35) */ ATSINSmove_void(tmp260__1, atscntrb_gtk_widget_show_all(ATSPMVrefarg0(tmp243__1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5064(line=205, offs=10) -- 5084(line=205, offs=30) */ ATSINSmove_void(tmp261__1, atscntrb_g_object_unref(tmp243__1)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5154(line=207, offs=18) -- 5173(line=207, offs=37) */ ATSINSmove_void(tmpret242__1, atscntrb_gtk_main()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret242__1) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__30__1] */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7428(line=314, offs=23) -- 7459(line=314, offs=54) */ /* local: global: gtkcairoclock_title$27$1(level=2) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__27__1() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret239__1, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7406(line=314, offs=1) -- 7459(line=314, offs=54) */ __patsflab_gtkcairoclock_title: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7433(line=314, offs=28) -- 7459(line=314, offs=54) */ ATSINSmove(tmpret239__1, ATSPMVcastfn(stropt1_some, atstkind_type(atstype_ptrk), ATSPMVstring("gtkcairoclock"))) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret239__1) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__27__1] */ #if(0) /* /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15049(line=698, offs=22) -- 15113(line=700, offs=57) */ /* local: global: stropt_is_some$33$0(level=0) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__stropt_is_some__33(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret283, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp284, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15030(line=698, offs=3) -- 15118(line=701, offs=2) */ __patsflab_stropt_is_some: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15081(line=700, offs=25) -- 15113(line=700, offs=57) */ ATSINSmove(tmp284, atspre_ptr0_isnot_null(ATSPMVcastfn(cast2ptr, atstkind_type(atstype_ptrk), arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15059(line=700, offs=3) -- 15113(line=700, offs=57) */ ATSINSmove(tmpret283, ATSPMVcastfn(cast, atstkind_t0ype(atstype_bool), tmp284)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret283) ; } /* end of [ATSLIB_056_prelude__stropt_is_some__33] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15049(line=698, offs=22) -- 15113(line=700, offs=57) */ /* local: global: stropt_is_some$33$1(level=2) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__stropt_is_some__33__1(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret283__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp284__1, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15030(line=698, offs=3) -- 15118(line=701, offs=2) */ __patsflab_stropt_is_some: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15081(line=700, offs=25) -- 15113(line=700, offs=57) */ ATSINSmove(tmp284__1, atspre_ptr0_isnot_null(ATSPMVcastfn(cast2ptr, atstkind_type(atstype_ptrk), arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15059(line=700, offs=3) -- 15113(line=700, offs=57) */ ATSINSmove(tmpret283__1, ATSPMVcastfn(cast, atstkind_t0ype(atstype_bool), tmp284__1)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret283__1) ; } /* end of [ATSLIB_056_prelude__stropt_is_some__33__1] */ #if(0) /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3176(line=118, offs=11) -- 3239(line=120, offs=4) */ /* local: global: fexpose$35$0(level=0) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__35(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret287, gboolean) ; ATStmpdec_void(tmp288, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3168(line=118, offs=3) -- 3239(line=120, offs=4) */ __patsflab_fexpose: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3201(line=119, offs=12) -- 3224(line=119, offs=35) */ ATSINSmove_void(tmp288, PMVtmpltvar(draw_drawingarea$3118(0)<>)(ATSPMVrefarg0(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3229(line=119, offs=40) -- 3235(line=119, offs=46) */ ATSINSmove(tmpret287, ATSextval(FALSE)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn(tmpret287) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__35] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3176(line=118, offs=11) -- 3239(line=120, offs=4) */ /* local: global: fexpose$35$1(level=2) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__35__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret287__1, gboolean) ; ATStmpdec_void(tmp288__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3168(line=118, offs=3) -- 3239(line=120, offs=4) */ __patsflab_fexpose: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3201(line=119, offs=12) -- 3224(line=119, offs=35) */ ATSINSmove_void(tmp288__1, draw_drawingarea_37__37__1(ATSPMVrefarg0(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3229(line=119, offs=40) -- 3235(line=119, offs=46) */ ATSINSmove(tmpret287__1, ATSextval(FALSE)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn(tmpret287__1) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__35__1] */ #if(0) /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2025(line=60, offs=1) -- 2615(line=88, offs=4) */ /* local: global: draw_drawingarea_37$0(level=3) local: global: */ ATSstaticdec() atsvoid_t0ype draw_drawingarea_37__37(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret291, atsvoid_t0ype) ; ATStmpdec(tmp292, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp293, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp294, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref295, GtkAllocation) ; ATStmpdec_void(tmp296, atsvoid_t0ype) ; ATStmpdec_void(tmp297, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2025(line=60, offs=1) -- 2615(line=88, offs=4) */ __patsflab_draw_drawingarea_37: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2114(line=67, offs=5) -- 2142(line=67, offs=33) */ ATSINSmove(tmp292, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2159(line=69, offs=13) -- 2183(line=69, offs=37) */ ATSINSmove(tmp293, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp292))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2194(line=73, offs=1) -- 2590(line=86, offs=4) */ ATSif( tmp293 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2223(line=74, offs=12) -- 2244(line=74, offs=33) */ ATSINSmove(tmp294, atscntrb_gdk_cairo_create(ATSPMVrefarg0(tmp292))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2302(line=76, offs=7) -- 2307(line=76, offs=12) */ /* ATSINStmpdec(tmpref295) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2335(line=77, offs=12) -- 2375(line=77, offs=52) */ ATSINSmove_void(tmp296, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref295)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2387(line=78, offs=12) -- 2461(line=78, offs=86) */ ATSINSmove_void(tmp297, PMVtmpltcst(gtkcairoclock_mydraw<>)(ATSPMVrefarg0(tmp294), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref295, GtkAllocation, width)), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref295, GtkAllocation, height)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2473(line=79, offs=12) -- 2490(line=79, offs=29) */ ATSINSmove_void(tmpret291, atscntrb_cairo_destroy(tmp294)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2571(line=84, offs=1) -- 2590(line=86, offs=4) */ ATSINSmove_void(tmpret291, ATSempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret291) ; } /* end of [draw_drawingarea_37__37] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2025(line=60, offs=1) -- 2615(line=88, offs=4) */ /* local: global: draw_drawingarea_37$1(level=3) local: global: */ ATSstaticdec() atsvoid_t0ype draw_drawingarea_37__37__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret291__1, atsvoid_t0ype) ; ATStmpdec(tmp292__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp293__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp294__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref295__1, GtkAllocation) ; ATStmpdec_void(tmp296__1, atsvoid_t0ype) ; ATStmpdec_void(tmp297__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2025(line=60, offs=1) -- 2615(line=88, offs=4) */ __patsflab_draw_drawingarea_37: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2114(line=67, offs=5) -- 2142(line=67, offs=33) */ ATSINSmove(tmp292__1, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2159(line=69, offs=13) -- 2183(line=69, offs=37) */ ATSINSmove(tmp293__1, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp292__1))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2194(line=73, offs=1) -- 2590(line=86, offs=4) */ ATSif( tmp293__1 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2223(line=74, offs=12) -- 2244(line=74, offs=33) */ ATSINSmove(tmp294__1, atscntrb_gdk_cairo_create(ATSPMVrefarg0(tmp292__1))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2302(line=76, offs=7) -- 2307(line=76, offs=12) */ /* ATSINStmpdec(tmpref295) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2335(line=77, offs=12) -- 2375(line=77, offs=52) */ ATSINSmove_void(tmp296__1, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref295__1)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2387(line=78, offs=12) -- 2461(line=78, offs=86) */ ATSINSmove_void(tmp297__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__29__1(ATSPMVrefarg0(tmp294__1), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref295__1, GtkAllocation, width)), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref295__1, GtkAllocation, height)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2473(line=79, offs=12) -- 2490(line=79, offs=29) */ ATSINSmove_void(tmpret291__1, atscntrb_cairo_destroy(tmp294__1)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2571(line=84, offs=1) -- 2590(line=86, offs=4) */ ATSINSmove_void(tmpret291__1, ATSempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn_void(tmpret291__1) ; } /* end of [draw_drawingarea_37__37__1] */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7559(line=318, offs=24) -- 7613(line=318, offs=78) */ /* local: global: gtkcairoclock_mydraw$29$1(level=4) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__29__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1, atstkind_t0ype(atstype_int) arg2) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret241__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7536(line=318, offs=1) -- 7613(line=318, offs=78) */ __patsflab_gtkcairoclock_mydraw: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7581(line=318, offs=46) -- 7613(line=318, offs=78) */ ATSINSmove_void(tmpret241__1, mydraw_clock(ATSPMVrefarg0(arg0), arg1, arg2)) ; /* funbodyinstrlst(end) */ ATSreturn_void(tmpret241__1) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__29__1] */ #if(0) /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2900(line=104, offs=14) -- 2931(line=104, offs=45) */ /* local: global: on_destroy$40$0(level=0) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ atsvoid_t0ype _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__40(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret306, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2889(line=104, offs=3) -- 2931(line=104, offs=45) */ __patsflab_on_destroy: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2921(line=104, offs=35) -- 2931(line=104, offs=45) */ ATSINSmove_void(tmpret306, ATSempty()) ; /* funbodyinstrlst(end) */ ATSreturn_void(tmpret306) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__40] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2900(line=104, offs=14) -- 2931(line=104, offs=45) */ /* local: global: on_destroy$40$1(level=2) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__40__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2) { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret306__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2889(line=104, offs=3) -- 2931(line=104, offs=45) */ __patsflab_on_destroy: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2921(line=104, offs=35) -- 2931(line=104, offs=45) */ ATSINSmove_void(tmpret306__1, ATSempty()) ; /* funbodyinstrlst(end) */ ATSreturn_void(tmpret306__1) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__40__1] */ #if(0) /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2961(line=106, offs=19) -- 3007(line=106, offs=65) */ /* local: global: on_delete_event$42$0(level=0) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__42(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret308, gboolean) ; ATStmpdec_void(tmp309, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2945(line=106, offs=3) -- 3007(line=106, offs=65) */ __patsflab_on_delete_event: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2983(line=106, offs=41) -- 2999(line=106, offs=57) */ ATSINSmove_void(tmp309, atscntrb_gtk_main_quit()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3001(line=106, offs=59) -- 3006(line=106, offs=64) */ ATSINSmove(tmpret308, ATSextval(TRUE)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret308) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__42] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2961(line=106, offs=19) -- 3007(line=106, offs=65) */ /* local: global: on_delete_event$42$1(level=2) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__42__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret308__1, gboolean) ; ATStmpdec_void(tmp309__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2945(line=106, offs=3) -- 3007(line=106, offs=65) */ __patsflab_on_delete_event: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2983(line=106, offs=41) -- 2999(line=106, offs=57) */ ATSINSmove_void(tmp309__1, atscntrb_gtk_main_quit()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3001(line=106, offs=59) -- 3006(line=106, offs=64) */ ATSINSmove(tmpret308__1, ATSextval(TRUE)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret308__1) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__42__1] */ /* /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7503(line=316, offs=34) -- 7512(line=316, offs=43) */ /* local: global: gtkcairoclock_timeout_interval$28$1(level=2) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ atstkind_t0ype(atstype_uint) ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__28__1() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret240__1, atstkind_t0ype(atstype_uint)) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7470(line=316, offs=1) -- 7512(line=316, offs=43) */ __patsflab_gtkcairoclock_timeout_interval: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock4.dats: 7508(line=316, offs=39) -- 7512(line=316, offs=43) */ ATSINSmove(tmpret240__1, ATSPMVi0nt(500U)) ; /* funbodyinstrlst(end) */ ATSreturn(tmpret240__1) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__28__1] */ #if(0) /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3304(line=125, offs=12) -- 3820(line=148, offs=4) */ /* local: global: ftimeout$45$0(level=0) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__45(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret313, gboolean) ; ATStmpdec_void(tmp314, atsvoid_t0ype) ; ATStmpdec(tmp315, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp316, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmpref317, GtkAllocation) ; ATStmpdec_void(tmp318, atsvoid_t0ype) ; ATStmpdec_void(tmp319, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3295(line=125, offs=3) -- 3820(line=148, offs=4) */ __patsflab_ftimeout: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3331(line=128, offs=5) -- 3362(line=128, offs=36) */ ATSINSmove_void(tmp314, PMVtmpltcst(gtkcairoclock_timeout_update<>)()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3388(line=130, offs=23) -- 3416(line=130, offs=51) */ ATSINSmove(tmp315, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3433(line=132, offs=13) -- 3457(line=132, offs=37) */ ATSINSmove(tmp316, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp315))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3520(line=138, offs=1) -- 3764(line=145, offs=9) */ ATSif( tmp316 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3544(line=139, offs=7) -- 3549(line=139, offs=12) */ /* ATSINStmpdec(tmpref317) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3576(line=140, offs=12) -- 3616(line=140, offs=52) */ ATSINSmove_void(tmp318, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref317)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3628(line=141, offs=12) -- 3707(line=141, offs=91) */ ATSINSmove_void(tmp319, atscntrb_gtk_widget_queue_draw_area(ATSPMVrefarg0(arg0), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSSELfltrec(tmpref317, GtkAllocation, width), ATSSELfltrec(tmpref317, GtkAllocation, height))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3713(line=143, offs=3) -- 3718(line=143, offs=8) */ ATSINSmove(tmpret313, ATSextval(TRUE)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3758(line=145, offs=3) -- 3764(line=145, offs=9) */ ATSINSmove(tmpret313, ATSextval(FALSE)) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn(tmpret313) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__45] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3304(line=125, offs=12) -- 3820(line=148, offs=4) */ /* local: global: ftimeout$45$1(level=2) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ gboolean _057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__45__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret313__1, gboolean) ; ATStmpdec_void(tmp314__1, atsvoid_t0ype) ; ATStmpdec(tmp315__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp316__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmpref317__1, GtkAllocation) ; ATStmpdec_void(tmp318__1, atsvoid_t0ype) ; ATStmpdec_void(tmp319__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3295(line=125, offs=3) -- 3820(line=148, offs=4) */ __patsflab_ftimeout: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3331(line=128, offs=5) -- 3362(line=128, offs=36) */ ATSINSmove_void(tmp314__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__47__1()) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3388(line=130, offs=23) -- 3416(line=130, offs=51) */ ATSINSmove(tmp315__1, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3433(line=132, offs=13) -- 3457(line=132, offs=37) */ ATSINSmove(tmp316__1, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp315__1))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3520(line=138, offs=1) -- 3764(line=145, offs=9) */ ATSif( tmp316__1 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3544(line=139, offs=7) -- 3549(line=139, offs=12) */ /* ATSINStmpdec(tmpref317) ; */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3576(line=140, offs=12) -- 3616(line=140, offs=52) */ ATSINSmove_void(tmp318__1, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref317__1)))) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3628(line=141, offs=12) -- 3707(line=141, offs=91) */ ATSINSmove_void(tmp319__1, atscntrb_gtk_widget_queue_draw_area(ATSPMVrefarg0(arg0), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSSELfltrec(tmpref317__1, GtkAllocation, width), ATSSELfltrec(tmpref317__1, GtkAllocation, height))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3713(line=143, offs=3) -- 3718(line=143, offs=8) */ ATSINSmove(tmpret313__1, ATSextval(TRUE)) ; /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3758(line=145, offs=3) -- 3764(line=145, offs=9) */ ATSINSmove(tmpret313__1, ATSextval(FALSE)) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4) */ /* INSletpop() */ /* funbodyinstrlst(end) */ ATSreturn(tmpret313__1) ; } /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__45__1] */ #if(0) /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1979(line=55, offs=30) -- 1994(line=55, offs=45) */ /* local: global: gtkcairoclock_timeout_update$47$0(level=0) local: global: */ ATSglobaldec() /* imparg = tmparg = tmpsub = None() */ atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__47() { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret327, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1950(line=55, offs=1) -- 1994(line=55, offs=45) */ __patsflab_gtkcairoclock_timeout_update: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1984(line=55, offs=35) -- 1994(line=55, offs=45) */ ATSINSmove_void(tmpret327, ATSempty()) ; /* funbodyinstrlst(end) */ ATSreturn_void(tmpret327) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__47] */ #endif // end of [TEMPLATE] /* /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1979(line=55, offs=30) -- 1994(line=55, offs=45) */ /* local: global: gtkcairoclock_timeout_update$47$1(level=3) local: global: */ ATSstaticdec() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__47__1() { /* tmpvardeclst(beg) */ ATStmpdec_void(tmpret327__1, atsvoid_t0ype) ; /* tmpvardeclst(end) */ /* funbodyinstrlst(beg) */ /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1950(line=55, offs=1) -- 1994(line=55, offs=45) */ __patsflab_gtkcairoclock_timeout_update: /* emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1984(line=55, offs=35) -- 1994(line=55, offs=45) */ ATSINSmove_void(tmpret327__1, ATSempty()) ; /* funbodyinstrlst(end) */ ATSreturn_void(tmpret327__1) ; } /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__47__1] */ /* ** for initialization(dynloading) */ atsvoid_t0ype _057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock4_056_dats__dynload() { ATSdynload0( _057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock4_056_dats__dynloadflag ) ; ATSif( ATSCKiseqz( _057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock4_056_dats__dynloadflag ) ) ATSthen() { ATSdynloadset(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock4_056_dats__dynloadflag) ; /* dynexnlst-initize(beg) */ /* dynexnlst-initize(end) */ } /* ATSendif */ ATSreturn_void() ; } /* end of [*_dynload] */ /* ** the ATS runtime */ #ifndef _ATS_CCOMP_RUNTIME_NONE #include "pats_ccomp_runtime.c" #include "pats_ccomp_runtime_memalloc.c" #ifndef _ATS_EXCEPTION_NONE #include "pats_ccomp_runtime2_dats.c" #ifndef _ATS_CCOMP_RUNTIME_TRYWITH_NONE #include "pats_ccomp_runtime_trywith.c" #endif /* _ATS_CCOMP_RUNTIME_TRYWITH_NONE */ #endif // end of [_ATS_EXCEPTION_NONE] #endif /* _ATS_CCOMP_RUNTIME_NONE */ /* ** the [main] implementation */ int main ( int argc, char **argv, char **envp ) { int err = 0 ; _057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock4_056_dats__dynload() ; ATSmainats_argc_argv_0(argc, argv, err) ; return (err) ; } /* end of [main] */