/* translation of file "../extocc.k" */ /* generated by: * @(#)$Author: Kimwitu version: V4_6 (c) 1990-1996 University of Twente $ */ #define KC_FUNCTIONS_extocc #define KIMW_FUNCTIONS_extocc /* for backwards compatibility */ /* define our own macro if we have a 'standard' (ansi) C(++) compiler */ #ifndef KC_NO_STDC # if defined(__STDC__) || defined(__cplusplus) || defined(_WIN32) # define KC_STDC # endif #endif #include #ifdef KC_STDC # include #endif #include "k.h" /* included stuff */ #line 2 "../extocc.k" /* * The Termprocessor Kimwitu * * Copyright (c) 1991 University of Twente, Dept TIOS. * All rights reserved. * */ #line 29 "extocc.c" #line 14 "../extocc.k" #if ! (defined(lint) || defined(SABER) || defined(CODECENTER)) static char extocc_kAccesSid[] = "@(#)$Id: extocc.k,v 1.13 1997/03/05 15:36:49 belinfan Rel $"; #endif #line 35 "extocc.c" /* end included stuff */ #include "extocc.h" static void do_v_extendoccur KC__P((ID id, IDtype it, boolean warn)); void v_extendoccur #ifdef KC_USE_PROTOTYPES (ID id, IDtype it) #else (id, it) ID id; IDtype it; #endif #line 21 "../extocc.k" { do_v_extendoccur( id, it, True); #line 23 "../extocc.k" } #line 53 "extocc.c" void v_extendoccur_nowarning #ifdef KC_USE_PROTOTYPES (ID id, IDtype it) #else (id, it) ID id; IDtype it; #endif #line 25 "../extocc.k" { do_v_extendoccur( id, it, False); #line 27 "../extocc.k" } #line 68 "extocc.c" static void do_v_extendoccur #ifdef KC_USE_PROTOTYPES (ID id, IDtype it, boolean warn) #else (id, it, warn) ID id; IDtype it; boolean warn; #endif #line 29 "../extocc.k" { id->type = it; { #line 31 "../extocc.k" IDtype kc_selvar_0_1 = it ; #line 31 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_0_1, "with_expression (1)"); #line 90 "extocc.c" if (( kc_selvar_0_1->prod_sel == sel_ITPatternVariable)) { #line 152 "../extocc.k" ID t_id = kc_selvar_0_1->u.ITPatternVariable.ID_1; #line 152 "../extocc.k" int t_scope = kc_selvar_0_1->u.ITPatternVariable.int_1; #line 152 "../extocc.k" { #line 153 "../extocc.k" ID kc_selvar_1_1 = id ; #line 153 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 107 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 154 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 154 "../extocc.k" { #line 155 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 155 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 122 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITPatternVariable)) { #line 157 "../extocc.k" ID id_id = kc_selvar_2_1->u.ITPatternVariable.ID_1; #line 157 "../extocc.k" int id_scope = kc_selvar_2_1->u.ITPatternVariable.int_1; #line 157 "../extocc.k" if (t_scope == id_scope) { if (! eq_ID( t_id, id_id )) { v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID1S1ID1S1ID( "type mismatch in redefinition of pattern variable:", id, "old type", id_id, "new type", t_id ))); } } else { uid->scopeinfo = Consscopetypefilelinestack( ScopeTypeFileLine(t_scope, uid->type, uid->file, uid->line), uid->scopeinfo ); uid->type = it; uid->line = id->line; uid->file = id->file; } #line 140 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 156 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 145 "extocc.c" } else { #line 168 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as pattern variable:", id ))); #line 150 "extocc.c" } } #line 169 "../extocc.k" #line 155 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 169 "../extocc.k" #line 161 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITUserRView)) { #line 139 "../extocc.k" { #line 140 "../extocc.k" ID kc_selvar_1_1 = id ; #line 140 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 175 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 141 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 141 "../extocc.k" { #line 142 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 142 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 190 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserRView)) { #line 147 "../extocc.k" if (warn) v_report(Warning( FileLine( id->file, id->line ), Problem1S1ID( "superflous redeclaration of rewrite view:", id ))); #line 196 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedRView)) { #line 144 "../extocc.k" if (warn) v_report(Warning( FileLine( id->file, id->line ), Problem1S1ID( "superflous redeclaration of predefined rewrite view:", id ))); #line 203 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 143 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 208 "extocc.c" } else { #line 150 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as rewrite view:", id ))); #line 213 "extocc.c" } } #line 151 "../extocc.k" #line 218 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 151 "../extocc.k" #line 224 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITPredefinedRView)) { #line 130 "../extocc.k" { #line 131 "../extocc.k" ID kc_selvar_1_1 = id ; #line 131 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 238 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 132 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 132 "../extocc.k" { #line 133 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 133 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 253 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserRView)) { #line 136 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of rewrite view:", id ))); #line 257 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedRView)) { #line 135 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of predefined rewrite view:", id ))); #line 262 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 134 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 267 "extocc.c" } else { #line 137 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as view:", id ))); #line 272 "extocc.c" } } #line 138 "../extocc.k" #line 277 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 138 "../extocc.k" #line 283 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITUserUView)) { #line 117 "../extocc.k" { #line 118 "../extocc.k" ID kc_selvar_1_1 = id ; #line 118 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 297 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 119 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 119 "../extocc.k" { #line 120 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 120 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 312 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserUView)) { #line 125 "../extocc.k" if (warn) v_report(Warning( FileLine( id->file, id->line ), Problem1S1ID( "superflous redeclaration of unparse view:", id ))); #line 318 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedUView)) { #line 122 "../extocc.k" if (warn) v_report(Warning( FileLine( id->file, id->line ), Problem1S1ID( "superflous redeclaration of predefined unparse view:", id ))); #line 325 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 121 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 330 "extocc.c" } else { #line 128 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as unparse view:", id ))); #line 335 "extocc.c" } } #line 129 "../extocc.k" #line 340 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 129 "../extocc.k" #line 346 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITPredefinedUView)) { #line 108 "../extocc.k" { #line 109 "../extocc.k" ID kc_selvar_1_1 = id ; #line 109 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 360 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 110 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 110 "../extocc.k" { #line 111 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 111 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 375 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserUView)) { #line 114 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of unparse view:", id ))); #line 379 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedUView)) { #line 113 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of predefined unparse view:", id ))); #line 384 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 112 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 389 "extocc.c" } else { #line 115 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as view:", id ))); #line 394 "extocc.c" } } #line 116 "../extocc.k" #line 399 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 116 "../extocc.k" #line 405 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITUserFunction)) { #line 100 "../extocc.k" { #line 101 "../extocc.k" ID kc_selvar_1_1 = id ; #line 101 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 419 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 102 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 102 "../extocc.k" { #line 103 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 103 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 434 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserFunction)) { #line 105 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of function:", id ))); #line 438 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 104 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 443 "extocc.c" } else { #line 106 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as function:", id ))); #line 448 "extocc.c" } } #line 107 "../extocc.k" #line 453 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 107 "../extocc.k" #line 459 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITStorageClass)) { #line 84 "../extocc.k" { #line 85 "../extocc.k" ID kc_selvar_1_1 = id ; #line 85 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 473 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 86 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 86 "../extocc.k" { #line 87 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 87 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 488 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITStorageClass)) { #line 95 "../extocc.k" /*EMPTY*/ #line 492 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedStorageClass)) { #line 89 "../extocc.k" /*EMPTY*/ #line 502 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 88 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 507 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 99 "../extocc.k" #line 513 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 99 "../extocc.k" #line 519 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITPredefinedStorageClass)) { #line 75 "../extocc.k" { #line 76 "../extocc.k" ID kc_selvar_1_1 = id ; #line 76 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 533 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 77 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 77 "../extocc.k" { #line 78 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 78 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 548 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITStorageClass)) { #line 81 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of storage class:", id ))); #line 552 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedStorageClass)) { #line 80 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of predefined storage class:", id ))); #line 557 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 79 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 562 "extocc.c" } else { #line 82 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as storage class:", id ))); #line 567 "extocc.c" } } #line 83 "../extocc.k" #line 572 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 83 "../extocc.k" #line 578 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITUserOperator)) { #line 66 "../extocc.k" { #line 67 "../extocc.k" ID kc_selvar_1_1 = id ; #line 67 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 592 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 68 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 68 "../extocc.k" { #line 69 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 69 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 607 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserOperator)) { #line 72 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal redefinition of operator:", id ))); #line 611 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedOperator)) { #line 71 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of predefined operator:", id ))); #line 616 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 70 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 621 "extocc.c" } else { #line 73 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as operator:", id ))); #line 626 "extocc.c" } } #line 74 "../extocc.k" #line 631 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 74 "../extocc.k" #line 637 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITPredefinedOperator)) { #line 57 "../extocc.k" { #line 58 "../extocc.k" ID kc_selvar_1_1 = id ; #line 58 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 651 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 59 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 59 "../extocc.k" { #line 60 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 60 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 666 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserOperator)) { #line 63 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of operator:", id ))); #line 670 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedOperator)) { #line 62 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of predefined operator:", id ))); #line 675 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 61 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 680 "extocc.c" } else { #line 64 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as operator:", id ))); #line 685 "extocc.c" } } #line 65 "../extocc.k" #line 690 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 65 "../extocc.k" #line 696 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITUserPhylum)) { #line 47 "../extocc.k" { #line 48 "../extocc.k" ID kc_selvar_1_1 = id ; #line 48 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 710 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 49 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 49 "../extocc.k" { #line 50 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 50 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 725 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedPhylum)) { #line 54 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of predefined phylum:", id ))); #line 729 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedBigatomPhylum)) { #line 54 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of predefined phylum:", id ))); #line 734 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUserPhylum)) { #line 52 "../extocc.k" /*EMPTY*/ #line 739 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 51 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 744 "extocc.c" } else { #line 55 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as phylum:", id ))); #line 749 "extocc.c" } } #line 56 "../extocc.k" #line 754 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 56 "../extocc.k" #line 760 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITPredefinedPhylum)) { #line 37 "../extocc.k" { #line 38 "../extocc.k" ID kc_selvar_1_1 = id ; #line 38 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 774 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 39 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 39 "../extocc.k" { #line 40 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 40 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 789 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserPhylum)) { #line 44 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of phylum:", id ))); #line 793 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedPhylum)) { #line 43 "../extocc.k" /*EMPTY*/ #line 798 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedBigatomPhylum)) { #line 43 "../extocc.k" /*EMPTY*/ #line 803 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 41 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 808 "extocc.c" } else { #line 45 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as phylum:", id ))); #line 813 "extocc.c" } } #line 46 "../extocc.k" #line 818 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 46 "../extocc.k" #line 824 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITPredefinedBigatomPhylum)) { #line 37 "../extocc.k" { #line 38 "../extocc.k" ID kc_selvar_1_1 = id ; #line 38 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 838 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 39 "../extocc.k" uniqID uid = kc_selvar_1_1->u.Id.uniqID_1; #line 39 "../extocc.k" { #line 40 "../extocc.k" IDtype kc_selvar_2_1 = uid->type ; #line 40 "../extocc.k" /*SUPPRESS 622*/ assert_IDtype(kc_selvar_2_1, "with_expression (1)"); #line 853 "extocc.c" if (( kc_selvar_2_1->prod_sel == sel_ITUserPhylum)) { #line 44 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1ID( "illegal extension of phylum:", id ))); #line 857 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedPhylum)) { #line 43 "../extocc.k" /*EMPTY*/ #line 862 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITPredefinedBigatomPhylum)) { #line 43 "../extocc.k" /*EMPTY*/ #line 867 "extocc.c" } else if (( kc_selvar_2_1->prod_sel == sel_ITUnknown)) { #line 41 "../extocc.k" uid->type = it; uid->line = id->line; uid->file = id->file; #line 872 "extocc.c" } else { #line 45 "../extocc.k" v_report(NonFatal( FileLine( id->file, id->line ), Problem1S1t1S1ID( "illegal extension of", uid->type, "as phylum:", id ))); #line 877 "extocc.c" } } #line 46 "../extocc.k" #line 882 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 46 "../extocc.k" #line 888 "extocc.c" } else if (( kc_selvar_0_1->prod_sel == sel_ITUnknown)) { #line 32 "../extocc.k" { #line 33 "../extocc.k" ID kc_selvar_1_1 = id ; #line 33 "../extocc.k" /*SUPPRESS 622*/ assert_ID(kc_selvar_1_1, "with_expression (1)"); #line 902 "extocc.c" if (( kc_selvar_1_1->prod_sel == sel_Id)) { #line 34 "../extocc.k" /*EMPTY*/ #line 906 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 35 "../extocc.k" #line 912 "extocc.c" } else kc_no_default_in_with( "do_v_extendoccur", __LINE__, __FILE__ ); } #line 170 "../extocc.k" #line 170 "../extocc.k" } #line 920 "extocc.c"