/* handler for function 6 */ static Obj HdlrFunc6 ( Obj self, Obj a_filter ) { Obj l_hash = 0; Obj l_flags = 0; Obj t_1 = 0; Obj t_2 = 0; Obj t_3 = 0; Obj t_4 = 0; Bag oldFrame; OLD_BRK_CURR_STAT /* allocate new stack frame */ SWITCH_TO_NEW_FRAME(self,0,0,oldFrame); REM_BRK_CURR_STAT(); SET_BRK_CURR_STAT(0); /* if IS_FUNCTION( filter ) then */ t_3 = GF_IS__FUNCTION; t_2 = CALL_1ARGS( t_3, a_filter ); CHECK_FUNC_RESULT( t_2 ) CHECK_BOOL( t_2 ) t_1 = (Obj)(UInt)(t_2 != False); if ( t_1 ) { /* flags := FLAGS_FILTER( filter ); */ t_2 = GF_FLAGS__FILTER; t_1 = CALL_1ARGS( t_2, a_filter ); CHECK_FUNC_RESULT( t_1 ) l_flags = t_1; } /* else */ else { /* flags := filter; */ l_flags = a_filter; } /* fi */ /* hash := HASH_FLAGS( flags ); */ t_2 = GF_HASH__FLAGS; t_1 = CALL_1ARGS( t_2, l_flags ); CHECK_FUNC_RESULT( t_1 ) l_hash = t_1; /* if hash <> RANK_FILTER_LIST[RANK_FILTER_COUNT] then */ t_3 = GC_RANK__FILTER__LIST; CHECK_BOUND( t_3, "RANK_FILTER_LIST" ) t_4 = GC_RANK__FILTER__COUNT; CHECK_BOUND( t_4, "RANK_FILTER_COUNT" ) CHECK_INT_POS( t_4 ) C_ELM_LIST_FPL( t_2, t_3, t_4 ) t_1 = (Obj)(UInt)( ! EQ( l_hash, t_2 )); if ( t_1 ) { /* Error( "corrupted completion file" ); */ t_1 = GF_Error; C_NEW_STRING( t_2, 25, "corrupted completion file" ); CALL_1ARGS( t_1, t_2 ); } /* fi */ /* RANK_FILTER_COUNT := RANK_FILTER_COUNT + 2; */ t_2 = GC_RANK__FILTER__COUNT; CHECK_BOUND( t_2, "RANK_FILTER_COUNT" ) C_SUM_FIA( t_1, t_2, INTOBJ_INT(2) ) AssGVar( G_RANK__FILTER__COUNT, t_1 ); /* return RANK_FILTER_LIST[RANK_FILTER_COUNT - 1]; */ t_2 = GC_RANK__FILTER__LIST; CHECK_BOUND( t_2, "RANK_FILTER_LIST" ) t_4 = GC_RANK__FILTER__COUNT; CHECK_BOUND( t_4, "RANK_FILTER_COUNT" ) C_DIFF_FIA( t_3, t_4, INTOBJ_INT(1) ) CHECK_INT_POS( t_3 ) C_ELM_LIST_FPL( t_1, t_2, t_3 ) RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return t_1; /* return; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return 0; }
/* handler for function 3 */ static Obj HdlrFunc3 ( Obj self, Obj a_flags ) { Obj l_with = 0; Obj l_changed = 0; Obj l_imp = 0; Obj l_hash = 0; Obj l_hash2 = 0; Obj l_i = 0; Obj t_1 = 0; Obj t_2 = 0; Obj t_3 = 0; Obj t_4 = 0; Obj t_5 = 0; Obj t_6 = 0; Obj t_7 = 0; Obj t_8 = 0; Obj t_9 = 0; Obj t_10 = 0; Obj t_11 = 0; Bag oldFrame; OLD_BRK_CURR_STAT /* allocate new stack frame */ SWITCH_TO_NEW_FRAME(self,0,0,oldFrame); REM_BRK_CURR_STAT(); SET_BRK_CURR_STAT(0); /* hash := HASH_FLAGS( flags ) mod 11001; */ t_3 = GF_HASH__FLAGS; t_2 = CALL_1ARGS( t_3, a_flags ); CHECK_FUNC_RESULT( t_2 ) t_1 = MOD( t_2, INTOBJ_INT(11001) ); l_hash = t_1; /* for i in [ 0 .. 3 ] do */ for ( t_1 = INTOBJ_INT(0); ((Int)t_1) <= ((Int)INTOBJ_INT(3)); t_1 = (Obj)(((UInt)t_1)+4) ) { l_i = t_1; /* hash2 := 2 * ((hash + 31 * i) mod 11001) + 1; */ C_PROD_INTOBJS( t_6, INTOBJ_INT(31), l_i ) C_SUM_FIA( t_5, l_hash, t_6 ) t_4 = MOD( t_5, INTOBJ_INT(11001) ); C_PROD_FIA( t_3, INTOBJ_INT(2), t_4 ) C_SUM_FIA( t_2, t_3, INTOBJ_INT(1) ) l_hash2 = t_2; /* if IsBound( WITH_IMPS_FLAGS_CACHE[hash2] ) then */ t_4 = GC_WITH__IMPS__FLAGS__CACHE; CHECK_BOUND( t_4, "WITH_IMPS_FLAGS_CACHE" ) CHECK_INT_POS( l_hash2 ) t_3 = C_ISB_LIST( t_4, l_hash2 ); t_2 = (Obj)(UInt)(t_3 != False); if ( t_2 ) { /* if IS_IDENTICAL_OBJ( WITH_IMPS_FLAGS_CACHE[hash2], flags ) then */ t_4 = GF_IS__IDENTICAL__OBJ; t_6 = GC_WITH__IMPS__FLAGS__CACHE; CHECK_BOUND( t_6, "WITH_IMPS_FLAGS_CACHE" ) C_ELM_LIST_FPL( t_5, t_6, l_hash2 ) t_3 = CALL_2ARGS( t_4, t_5, a_flags ); CHECK_FUNC_RESULT( t_3 ) CHECK_BOOL( t_3 ) t_2 = (Obj)(UInt)(t_3 != False); if ( t_2 ) { /* WITH_IMPS_FLAGS_CACHE_HIT := WITH_IMPS_FLAGS_CACHE_HIT + 1; */ t_3 = GC_WITH__IMPS__FLAGS__CACHE__HIT; CHECK_BOUND( t_3, "WITH_IMPS_FLAGS_CACHE_HIT" ) C_SUM_FIA( t_2, t_3, INTOBJ_INT(1) ) AssGVar( G_WITH__IMPS__FLAGS__CACHE__HIT, t_2 ); /* return WITH_IMPS_FLAGS_CACHE[hash2 + 1]; */ t_3 = GC_WITH__IMPS__FLAGS__CACHE; CHECK_BOUND( t_3, "WITH_IMPS_FLAGS_CACHE" ) C_SUM_FIA( t_4, l_hash2, INTOBJ_INT(1) ) CHECK_INT_POS( t_4 ) C_ELM_LIST_FPL( t_2, t_3, t_4 ) RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return t_2; } /* fi */ } /* else */ else { /* break; */ break; } /* fi */ } /* od */ /* if i = 3 then */ t_1 = (Obj)(UInt)(((Int)l_i) == ((Int)INTOBJ_INT(3))); if ( t_1 ) { /* WITH_IMPS_FLAGS_COUNT := (WITH_IMPS_FLAGS_COUNT + 1) mod 4; */ t_3 = GC_WITH__IMPS__FLAGS__COUNT; CHECK_BOUND( t_3, "WITH_IMPS_FLAGS_COUNT" ) C_SUM_FIA( t_2, t_3, INTOBJ_INT(1) ) t_1 = MOD( t_2, INTOBJ_INT(4) ); AssGVar( G_WITH__IMPS__FLAGS__COUNT, t_1 ); /* i := WITH_IMPS_FLAGS_COUNT; */ t_1 = GC_WITH__IMPS__FLAGS__COUNT; CHECK_BOUND( t_1, "WITH_IMPS_FLAGS_COUNT" ) l_i = t_1; /* hash2 := 2 * ((hash + 31 * i) mod 11001) + 1; */ C_PROD_FIA( t_5, INTOBJ_INT(31), l_i ) C_SUM_FIA( t_4, l_hash, t_5 ) t_3 = MOD( t_4, INTOBJ_INT(11001) ); C_PROD_FIA( t_2, INTOBJ_INT(2), t_3 ) C_SUM_FIA( t_1, t_2, INTOBJ_INT(1) ) l_hash2 = t_1; } /* fi */ /* WITH_IMPS_FLAGS_CACHE_MISS := WITH_IMPS_FLAGS_CACHE_MISS + 1; */ t_2 = GC_WITH__IMPS__FLAGS__CACHE__MISS; CHECK_BOUND( t_2, "WITH_IMPS_FLAGS_CACHE_MISS" ) C_SUM_FIA( t_1, t_2, INTOBJ_INT(1) ) AssGVar( G_WITH__IMPS__FLAGS__CACHE__MISS, t_1 ); /* with := flags; */ l_with = a_flags; /* changed := true; */ t_1 = True; l_changed = t_1; /* while changed od */ while ( 1 ) { t_1 = (Obj)(UInt)(l_changed != False); if ( ! t_1 ) break; /* changed := false; */ t_1 = False; l_changed = t_1; /* for imp in IMPLICATIONS do */ t_4 = GC_IMPLICATIONS; CHECK_BOUND( t_4, "IMPLICATIONS" ) if ( IS_SMALL_LIST(t_4) ) { t_3 = (Obj)(UInt)1; t_1 = INTOBJ_INT(1); } else { t_3 = (Obj)(UInt)0; t_1 = CALL_1ARGS( GF_ITERATOR, t_4 ); } while ( 1 ) { if ( t_3 ) { if ( LEN_LIST(t_4) < INT_INTOBJ(t_1) ) break; t_2 = ELMV0_LIST( t_4, INT_INTOBJ(t_1) ); t_1 = (Obj)(((UInt)t_1)+4); if ( t_2 == 0 ) continue; } else { if ( CALL_1ARGS( GF_IS_DONE_ITER, t_1 ) != False ) break; t_2 = CALL_1ARGS( GF_NEXT_ITER, t_1 ); } l_imp = t_2; /* if IS_SUBSET_FLAGS( with, imp[2] ) and not IS_SUBSET_FLAGS( with, imp[1] ) then */ t_8 = GF_IS__SUBSET__FLAGS; C_ELM_LIST_FPL( t_9, l_imp, INTOBJ_INT(2) ) t_7 = CALL_2ARGS( t_8, l_with, t_9 ); CHECK_FUNC_RESULT( t_7 ) CHECK_BOOL( t_7 ) t_6 = (Obj)(UInt)(t_7 != False); t_5 = t_6; if ( t_5 ) { t_10 = GF_IS__SUBSET__FLAGS; C_ELM_LIST_FPL( t_11, l_imp, INTOBJ_INT(1) ) t_9 = CALL_2ARGS( t_10, l_with, t_11 ); CHECK_FUNC_RESULT( t_9 ) CHECK_BOOL( t_9 ) t_8 = (Obj)(UInt)(t_9 != False); t_7 = (Obj)(UInt)( ! ((Int)t_8) ); t_5 = t_7; } if ( t_5 ) { /* with := AND_FLAGS( with, imp[1] ); */ t_6 = GF_AND__FLAGS; C_ELM_LIST_FPL( t_7, l_imp, INTOBJ_INT(1) ) t_5 = CALL_2ARGS( t_6, l_with, t_7 ); CHECK_FUNC_RESULT( t_5 ) l_with = t_5; /* changed := true; */ t_5 = True; l_changed = t_5; } /* fi */ } /* od */ } /* od */ /* WITH_IMPS_FLAGS_CACHE[hash2] := flags; */ t_1 = GC_WITH__IMPS__FLAGS__CACHE; CHECK_BOUND( t_1, "WITH_IMPS_FLAGS_CACHE" ) CHECK_INT_POS( l_hash2 ) C_ASS_LIST_FPL( t_1, l_hash2, a_flags ) /* WITH_IMPS_FLAGS_CACHE[hash2 + 1] := with; */ t_1 = GC_WITH__IMPS__FLAGS__CACHE; CHECK_BOUND( t_1, "WITH_IMPS_FLAGS_CACHE" ) C_SUM_FIA( t_2, l_hash2, INTOBJ_INT(1) ) CHECK_INT_POS( t_2 ) C_ASS_LIST_FPL( t_1, t_2, l_with ) /* return with; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return l_with; /* return; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return 0; }
/* handler for function 5 */ static Obj HdlrFunc5 ( Obj self, Obj a_filter ) { Obj l_hash = 0; Obj l_rank = 0; Obj l_flags = 0; Obj t_1 = 0; Obj t_2 = 0; Obj t_3 = 0; Bag oldFrame; OLD_BRK_CURR_STAT /* allocate new stack frame */ SWITCH_TO_NEW_FRAME(self,0,0,oldFrame); REM_BRK_CURR_STAT(); SET_BRK_CURR_STAT(0); /* if IS_FUNCTION( filter ) then */ t_3 = GF_IS__FUNCTION; t_2 = CALL_1ARGS( t_3, a_filter ); CHECK_FUNC_RESULT( t_2 ) CHECK_BOOL( t_2 ) t_1 = (Obj)(UInt)(t_2 != False); if ( t_1 ) { /* flags := FLAGS_FILTER( filter ); */ t_2 = GF_FLAGS__FILTER; t_1 = CALL_1ARGS( t_2, a_filter ); CHECK_FUNC_RESULT( t_1 ) l_flags = t_1; } /* else */ else { /* flags := filter; */ l_flags = a_filter; } /* fi */ /* hash := HASH_FLAGS( flags ); */ t_2 = GF_HASH__FLAGS; t_1 = CALL_1ARGS( t_2, l_flags ); CHECK_FUNC_RESULT( t_1 ) l_hash = t_1; /* rank := RANK_FILTER( flags ); */ t_2 = GF_RANK__FILTER; t_1 = CALL_1ARGS( t_2, l_flags ); CHECK_FUNC_RESULT( t_1 ) l_rank = t_1; /* ADD_LIST( RANK_FILTER_LIST_CURRENT, hash ); */ t_1 = GF_ADD__LIST; t_2 = GC_RANK__FILTER__LIST__CURRENT; CHECK_BOUND( t_2, "RANK_FILTER_LIST_CURRENT" ) CALL_2ARGS( t_1, t_2, l_hash ); /* ADD_LIST( RANK_FILTER_LIST_CURRENT, rank ); */ t_1 = GF_ADD__LIST; t_2 = GC_RANK__FILTER__LIST__CURRENT; CHECK_BOUND( t_2, "RANK_FILTER_LIST_CURRENT" ) CALL_2ARGS( t_1, t_2, l_rank ); /* return rank; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return l_rank; /* return; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return 0; }
/* handler for function 4 */ static Obj HdlrFunc4 ( Obj self, Obj a_filter ) { Obj l_rank = 0; Obj l_flags = 0; Obj l_i = 0; Obj t_1 = 0; Obj t_2 = 0; Obj t_3 = 0; Obj t_4 = 0; Obj t_5 = 0; Obj t_6 = 0; Obj t_7 = 0; Bag oldFrame; OLD_BRK_CURR_STAT /* allocate new stack frame */ SWITCH_TO_NEW_FRAME(self,0,0,oldFrame); REM_BRK_CURR_STAT(); SET_BRK_CURR_STAT(0); /* rank := 0; */ l_rank = INTOBJ_INT(0); /* if IS_FUNCTION( filter ) then */ t_3 = GF_IS__FUNCTION; t_2 = CALL_1ARGS( t_3, a_filter ); CHECK_FUNC_RESULT( t_2 ) CHECK_BOOL( t_2 ) t_1 = (Obj)(UInt)(t_2 != False); if ( t_1 ) { /* flags := FLAGS_FILTER( filter ); */ t_2 = GF_FLAGS__FILTER; t_1 = CALL_1ARGS( t_2, a_filter ); CHECK_FUNC_RESULT( t_1 ) l_flags = t_1; } /* else */ else { /* flags := filter; */ l_flags = a_filter; } /* fi */ /* for i in TRUES_FLAGS( WITH_HIDDEN_IMPS_FLAGS( flags ) ) do */ t_5 = GF_TRUES__FLAGS; t_7 = GF_WITH__HIDDEN__IMPS__FLAGS; t_6 = CALL_1ARGS( t_7, l_flags ); CHECK_FUNC_RESULT( t_6 ) t_4 = CALL_1ARGS( t_5, t_6 ); CHECK_FUNC_RESULT( t_4 ) if ( IS_SMALL_LIST(t_4) ) { t_3 = (Obj)(UInt)1; t_1 = INTOBJ_INT(1); } else { t_3 = (Obj)(UInt)0; t_1 = CALL_1ARGS( GF_ITERATOR, t_4 ); } while ( 1 ) { if ( t_3 ) { if ( LEN_LIST(t_4) < INT_INTOBJ(t_1) ) break; t_2 = ELMV0_LIST( t_4, INT_INTOBJ(t_1) ); t_1 = (Obj)(((UInt)t_1)+4); if ( t_2 == 0 ) continue; } else { if ( CALL_1ARGS( GF_IS_DONE_ITER, t_1 ) != False ) break; t_2 = CALL_1ARGS( GF_NEXT_ITER, t_1 ); } l_i = t_2; /* if IsBound( RANK_FILTERS[i] ) then */ t_7 = GC_RANK__FILTERS; CHECK_BOUND( t_7, "RANK_FILTERS" ) CHECK_INT_POS( l_i ) t_6 = C_ISB_LIST( t_7, l_i ); t_5 = (Obj)(UInt)(t_6 != False); if ( t_5 ) { /* rank := rank + RANK_FILTERS[i]; */ t_7 = GC_RANK__FILTERS; CHECK_BOUND( t_7, "RANK_FILTERS" ) C_ELM_LIST_FPL( t_6, t_7, l_i ) C_SUM_FIA( t_5, l_rank, t_6 ) l_rank = t_5; } /* else */ else { /* rank := rank + 1; */ C_SUM_FIA( t_5, l_rank, INTOBJ_INT(1) ) l_rank = t_5; } /* fi */ } /* od */ /* return rank; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return l_rank; /* return; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return 0; }
/* handler for function 2 */ static Obj HdlrFunc2 ( Obj self ) { Obj t_1 = 0; Obj t_2 = 0; Obj t_3 = 0; Bag oldFrame; /* allocate new stack frame */ SWITCH_TO_NEW_FRAME(self,0,0,oldFrame); /* Print( AssertionLevel( ), "\n" ); */ t_1 = GF_Print; t_3 = GF_AssertionLevel; t_2 = CALL_0ARGS( t_3 ); CHECK_FUNC_RESULT( t_2 ) t_3 = MakeString( "\n" ); CALL_2ARGS( t_1, t_2, t_3 ); /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(1)) ) { t_2 = False; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { t_2 = MakeString( "fail-A" ); if ( t_2 != (Obj)(UInt)0 ){ if ( IS_STRING_REP ( t_2 ) ) PrintString1( t_2); else PrintObj(t_2); } } } /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(1)) ) { t_2 = False; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'"); } } /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(0)) ) { t_2 = True; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { t_2 = MakeString( "fail-B" ); if ( t_2 != (Obj)(UInt)0 ){ if ( IS_STRING_REP ( t_2 ) ) PrintString1( t_2); else PrintObj(t_2); } } } /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(0)) ) { t_2 = True; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'"); } } /* SetAssertionLevel( 2 ); */ t_1 = GF_SetAssertionLevel; CALL_1ARGS( t_1, INTOBJ_INT(2) ); /* Print( AssertionLevel( ), "\n" ); */ t_1 = GF_Print; t_3 = GF_AssertionLevel; t_2 = CALL_0ARGS( t_3 ); CHECK_FUNC_RESULT( t_2 ) t_3 = MakeString( "\n" ); CALL_2ARGS( t_1, t_2, t_3 ); /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(3)) ) { t_2 = False; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { t_2 = MakeString( "fail-C" ); if ( t_2 != (Obj)(UInt)0 ){ if ( IS_STRING_REP ( t_2 ) ) PrintString1( t_2); else PrintObj(t_2); } } } /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(3)) ) { t_2 = False; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'"); } } /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(2)) ) { t_2 = True; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { t_2 = MakeString( "fail-D" ); if ( t_2 != (Obj)(UInt)0 ){ if ( IS_STRING_REP ( t_2 ) ) PrintString1( t_2); else PrintObj(t_2); } } } /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(2)) ) { t_2 = True; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'"); } } /* Assert( ... ); */ if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(2)) ) { t_2 = False; t_1 = (Obj)(UInt)(t_2 != False); if ( ! t_1 ) { t_2 = MakeString( "pass!\n" ); if ( t_2 != (Obj)(UInt)0 ){ if ( IS_STRING_REP ( t_2 ) ) PrintString1( t_2); else PrintObj(t_2); } } } /* Print( "end of function\n" ); */ t_1 = GF_Print; t_2 = MakeString( "end of function\n" ); CALL_1ARGS( t_1, t_2 ); /* return; */ SWITCH_TO_OLD_FRAME(oldFrame); return 0; /* return; */ SWITCH_TO_OLD_FRAME(oldFrame); return 0; }
/* handler for function 2 */ static Obj HdlrFunc2 ( Obj self, Obj a_filter ) { Obj l_i = 0; Obj l_flags = 0; Obj t_1 = 0; Obj t_2 = 0; Obj t_3 = 0; Obj t_4 = 0; Obj t_5 = 0; Obj t_6 = 0; Obj t_7 = 0; Obj t_8 = 0; Obj t_9 = 0; Obj t_10 = 0; Bag oldFrame; OLD_BRK_CURR_STAT /* allocate new stack frame */ SWITCH_TO_NEW_FRAME(self,0,0,oldFrame); REM_BRK_CURR_STAT(); SET_BRK_CURR_STAT(0); /* flags := FLAGS_FILTER( filter ); */ t_2 = GF_FLAGS__FILTER; t_1 = CALL_1ARGS( t_2, a_filter ); CHECK_FUNC_RESULT( t_1 ) l_flags = t_1; /* for i in [ 1, 3 .. LEN_LIST( WITH_HIDDEN_IMPS_FLAGS_CACHE ) - 1 ] do */ t_7 = GF_LEN__LIST; t_8 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE; CHECK_BOUND( t_8, "WITH_HIDDEN_IMPS_FLAGS_CACHE" ) t_6 = CALL_1ARGS( t_7, t_8 ); CHECK_FUNC_RESULT( t_6 ) C_DIFF_FIA( t_5, t_6, INTOBJ_INT(1) ) t_4 = Range3Check( INTOBJ_INT(1), INTOBJ_INT(3), t_5 ); if ( IS_SMALL_LIST(t_4) ) { t_3 = (Obj)(UInt)1; t_1 = INTOBJ_INT(1); } else { t_3 = (Obj)(UInt)0; t_1 = CALL_1ARGS( GF_ITERATOR, t_4 ); } while ( 1 ) { if ( t_3 ) { if ( LEN_LIST(t_4) < INT_INTOBJ(t_1) ) break; t_2 = ELMV0_LIST( t_4, INT_INTOBJ(t_1) ); t_1 = (Obj)(((UInt)t_1)+4); if ( t_2 == 0 ) continue; } else { if ( CALL_1ARGS( GF_IS_DONE_ITER, t_1 ) != False ) break; t_2 = CALL_1ARGS( GF_NEXT_ITER, t_1 ); } l_i = t_2; /* if IsBound( WITH_HIDDEN_IMPS_FLAGS_CACHE[i] ) then */ t_7 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE; CHECK_BOUND( t_7, "WITH_HIDDEN_IMPS_FLAGS_CACHE" ) CHECK_INT_POS( l_i ) t_6 = C_ISB_LIST( t_7, l_i ); t_5 = (Obj)(UInt)(t_6 != False); if ( t_5 ) { /* if IS_SUBSET_FLAGS( WITH_HIDDEN_IMPS_FLAGS_CACHE[i + 1], flags ) then */ t_7 = GF_IS__SUBSET__FLAGS; t_9 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE; CHECK_BOUND( t_9, "WITH_HIDDEN_IMPS_FLAGS_CACHE" ) C_SUM_FIA( t_10, l_i, INTOBJ_INT(1) ) CHECK_INT_POS( t_10 ) C_ELM_LIST_FPL( t_8, t_9, t_10 ) t_6 = CALL_2ARGS( t_7, t_8, l_flags ); CHECK_FUNC_RESULT( t_6 ) CHECK_BOOL( t_6 ) t_5 = (Obj)(UInt)(t_6 != False); if ( t_5 ) { /* Unbind( WITH_HIDDEN_IMPS_FLAGS_CACHE[i] ); */ t_5 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE; CHECK_BOUND( t_5, "WITH_HIDDEN_IMPS_FLAGS_CACHE" ) C_UNB_LIST( t_5, l_i ); /* Unbind( WITH_HIDDEN_IMPS_FLAGS_CACHE[i + 1] ); */ t_5 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE; CHECK_BOUND( t_5, "WITH_HIDDEN_IMPS_FLAGS_CACHE" ) C_SUM_FIA( t_6, l_i, INTOBJ_INT(1) ) CHECK_INT_POS( t_6 ) C_UNB_LIST( t_5, t_6 ); } /* fi */ } /* fi */ } /* od */ /* return; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return 0; /* return; */ RES_BRK_CURR_STAT(); SWITCH_TO_OLD_FRAME(oldFrame); return 0; }
/* handler for function 2 */ static Obj HdlrFunc2 ( Obj self ) { Obj t_1 = 0; Obj t_2 = 0; Obj t_3 = 0; Obj t_4 = 0; Obj t_5 = 0; Obj t_6 = 0; Bag oldFrame; /* allocate new stack frame */ SWITCH_TO_NEW_FRAME(self,0,0,oldFrame); /* Print( 1, "\n" ); */ t_1 = GF_Print; t_2 = MakeString( "\n" ); CALL_2ARGS( t_1, INTOBJ_INT(1), t_2 ); /* Print( "abc", "\n" ); */ t_1 = GF_Print; t_2 = MakeString( "abc" ); t_3 = MakeString( "\n" ); CALL_2ARGS( t_1, t_2, t_3 ); /* Print( (1,2)(5,6), "\n" ); */ t_1 = GF_Print; t_2 = IdentityPerm; t_4 = NEW_PLIST( T_PLIST, 2 ); SET_LEN_PLIST( t_4, 2 ); t_3 = NEW_PLIST( T_PLIST, 2 ); SET_LEN_PLIST( t_3, 2 ); SET_ELM_PLIST( t_4, 1, t_3 ); CHANGED_BAG( t_4 ); SET_ELM_PLIST( t_3, 1, INTOBJ_INT(1) ); CHANGED_BAG( t_3 ); SET_ELM_PLIST( t_3, 2, INTOBJ_INT(2) ); CHANGED_BAG( t_3 ); t_3 = NEW_PLIST( T_PLIST, 2 ); SET_LEN_PLIST( t_3, 2 ); SET_ELM_PLIST( t_4, 2, t_3 ); CHANGED_BAG( t_4 ); SET_ELM_PLIST( t_3, 1, INTOBJ_INT(5) ); CHANGED_BAG( t_3 ); SET_ELM_PLIST( t_3, 2, INTOBJ_INT(6) ); CHANGED_BAG( t_3 ); t_2 = Array2Perm( t_4 ); t_3 = MakeString( "\n" ); CALL_2ARGS( t_1, t_2, t_3 ); /* Print( [ 1, "abc" ], "\n" ); */ t_1 = GF_Print; t_2 = NEW_PLIST( T_PLIST, 2 ); SET_LEN_PLIST( t_2, 2 ); SET_ELM_PLIST( t_2, 1, INTOBJ_INT(1) ); t_3 = MakeString( "abc" ); SET_ELM_PLIST( t_2, 2, t_3 ); CHANGED_BAG( t_2 ); t_3 = MakeString( "\n" ); CALL_2ARGS( t_1, t_2, t_3 ); /* Print( Group( (1,2,3) ), "\n" ); */ t_1 = GF_Print; t_3 = GF_Group; t_4 = IdentityPerm; t_6 = NEW_PLIST( T_PLIST, 1 ); SET_LEN_PLIST( t_6, 1 ); t_5 = NEW_PLIST( T_PLIST, 3 ); SET_LEN_PLIST( t_5, 3 ); SET_ELM_PLIST( t_6, 1, t_5 ); CHANGED_BAG( t_6 ); SET_ELM_PLIST( t_5, 1, INTOBJ_INT(1) ); CHANGED_BAG( t_5 ); SET_ELM_PLIST( t_5, 2, INTOBJ_INT(2) ); CHANGED_BAG( t_5 ); SET_ELM_PLIST( t_5, 3, INTOBJ_INT(3) ); CHANGED_BAG( t_5 ); t_4 = Array2Perm( t_6 ); t_2 = CALL_1ARGS( t_3, t_4 ); CHECK_FUNC_RESULT( t_2 ) t_3 = MakeString( "\n" ); CALL_2ARGS( t_1, t_2, t_3 ); /* return; */ SWITCH_TO_OLD_FRAME(oldFrame); return 0; /* return; */ SWITCH_TO_OLD_FRAME(oldFrame); return 0; }