| /* translation of file "gutil.k" */ |
| /* generated by: |
| * @(#)$Author$ |
| */ |
| #define KC_FUNCTIONS_gutil_ |
| |
| #include <stdlib.h> |
| #include "k.h" |
| #include "gutil.h" |
| namespace kc { } |
| using namespace kc; |
| /* included stuff */ |
| // |
| // The Termprocessor Kimwitu++ |
| // |
| // Copyright (C) 1991 University of Twente, Dept TIOS. |
| // Copyright (C) 1998-2003 Humboldt-University of Berlin, Institute of Informatics |
| // All rights reserved. |
| // |
| // Kimwitu++ is free software; you can redistribute it and/or modify |
| // it under the terms of the GNU General Public License as published by |
| // the Free Software Foundation; either version 2 of the License, or |
| // (at your option) any later version. |
| // |
| // Kimwitu++ is distributed in the hope that it will be useful, |
| // but WITHOUT ANY WARRANTY; without even the implied warranty of |
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| // GNU General Public License for more details. |
| // |
| // You should have received a copy of the GNU General Public License |
| // along with Kimwitu++; if not, write to the Free Software |
| // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| // |
| |
| static char gutil_kAccesSid[] = "@(#)$Id$"; |
| |
| /* string(s) stuff */ |
| #include <string.h> |
| #include <ctype.h> |
| |
| phylumdeclaration The_abstract_phylum_decl; |
| phylumdeclaration The_abstract_phylum_ref_decl; |
| phylumdeclaration The_abstract_list_decl; |
| |
| #include "util.h" |
| |
| #include "parse.h" |
| |
| #include "unpk.h" |
| |
| #define MKSELVARMAXINTREPR 30 |
| |
| #include <ctype.h> |
| |
| static ID global_filterview; /* to be used by filteronview */ |
| |
| #include "rk.h" /* for the rewrite_withcasesinfo call below */ |
| |
| /* end included stuff */ |
| |
| |
| namespace kc { |
| |
| #ifndef KC_TRACE_PROVIDED |
| #define KC_TRACE_PROVIDED(COND,FILE,LINE,NODE) COND |
| #endif |
| |
| static bool f_attributes_to_initialize (attributes attr); |
| static bool f_constructors_in_members (fndeclarations dcl); |
| static bool f_destructors_in_members (fndeclarations dcl); |
| static bool f_post_create_in_members (fndeclarations dcl); |
| static bool f_rewrite_in_members (fndeclarations dcl); |
| static ac_parameter_declaration lookup_and_create_ac_parameter_declaration (ID a_fnarg, ac_declaration_list C_vardecls); |
| static bool filterrewriteruleinfoonview (rewriteruleinfo a_rewriteruleinfo); |
| static bool filterunparsedeclinfoonview (unparsedeclinfo a_unparsedeclinfo); |
| static bool is_viewname_in_rewriteruleinfo (ID a_view, rewriteruleinfo a_rewriteruleinfo); |
| static bool is_viewname_in_unparsedeclinfo (ID a_view, unparsedeclinfo a_unparsedeclinfo); |
| static bool is_viewname_in_viewnames (ID a_view, viewnames a_viewnames); |
| static ID f_operatorofelem_patternrepresentation (elem_patternrepresentation a_elem_patternrepresentation); |
| static ID f_operatorofpaths (paths a_paths); |
| static ID f_operatorofpath (path a_path); |
| static elem_patternrepresentation f_outmost_nl_preds_in_patternrepresentation (patternrepresentation p); |
| static bool f_outmost_nl_preds_in_elem_patternrepresentation (elem_patternrepresentation e_p); |
| static bool f_outmost_nl_preds_in_paths (paths p); |
| bool f_something_to_initialize(Ccode_option cco) |
| { |
| { |
| Ccode_option kc_selvar_0_1 = phylum_cast<Ccode_option>( cco ); |
| if ((kc_selvar_0_1->prod_sel() == sel_CcodeOption)) { |
| const attributes attr = phylum_cast<const impl_Ccode_option_CcodeOption*>(kc_selvar_0_1)->attributes_1; |
| const Ctexts ct = phylum_cast<const impl_Ccode_option_CcodeOption*>(kc_selvar_0_1)->Ctexts_1; |
| |
| return (f_attributes_to_initialize( attr ) || (! f_NilCtexts( ct ))); |
| |
| } else |
| { kc_no_default_in_with( "f_something_to_initialize", __LINE__, __FILE__ ); |
| return static_cast<bool>(0); } |
| } |
| |
| } |
| |
| bool f_something_to_initialize(alternative a) |
| { |
| return false; |
| |
| } |
| |
| bool f_NilCtexts(Ctexts c) |
| { |
| { |
| Ctexts kc_selvar_0_1 = phylum_cast<Ctexts>( c ); |
| if ((kc_selvar_0_1->prod_sel() == sel_ConsCtexts)) { |
| return false; |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_NilCtexts)) { |
| return true; |
| } else |
| { kc_no_default_in_with( "f_NilCtexts", __LINE__, __FILE__ ); |
| return static_cast<bool>(0); } |
| } |
| |
| } |
| |
| static bool f_attributes_to_initialize(attributes attr) |
| { |
| { |
| attributes kc_fe_selvar_1 = attr ; |
| |
| while( |
| kc_fe_selvar_1->prod_sel() == sel_Consattributes |
| ) { |
| attribute kc_selvar_0_1 = kc_fe_selvar_1->attribute_1; |
| { |
| { |
| { |
| const attribute a = kc_selvar_0_1; |
| |
| { |
| attribute kc_selvar_1_1 = phylum_cast<attribute>( a ); |
| if ((kc_selvar_1_1->prod_sel() == sel_Attribute) && (phylum_cast<const impl_attribute_Attribute*>(kc_selvar_1_1)->attribute_initialisation_option_1->prod_sel() == sel_Yesattribute_initialisation)) { |
| |
| return true; |
| |
| } else |
| if ((kc_selvar_1_1->prod_sel() == sel_Attribute) && (phylum_cast<const impl_attribute_Attribute*>(kc_selvar_1_1)->attribute_initialisation_option_1->prod_sel() == sel_Noattribute_initialisation)) { |
| /*EMPTY*/ |
| } else |
| { kc_no_default_in_with( "f_attributes_to_initialize", __LINE__, __FILE__ ); |
| return static_cast<bool>(0); } |
| } |
| |
| } |
| } |
| |
| } |
| kc_fe_selvar_1 = kc_fe_selvar_1->attributes_1; |
| |
| } |
| } |
| return false; |
| |
| } |
| |
| static bool f_constructors_in_members(fndeclarations dcl) |
| {{ |
| fndeclarations kc_selvar_0_1 = phylum_cast<fndeclarations>(dcl); |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations) && ((kc_selvar_0_1)->fndeclaration_1->prod_sel() == sel_FnAcDeclaration) && (phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->fnclass_1->prod_sel() == sel_ConstructorFn)) { |
| return true; |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations)) { |
| const fndeclarations tail = (kc_selvar_0_1)->fndeclarations_1; |
| return f_constructors_in_members(tail); |
| } else |
| { |
| return false; |
| } |
| } |
| |
| } |
| |
| bool f_constructors_in_operatordecl(alternative op) |
| { |
| return f_constructors_in_members(op->additional_members); |
| |
| } |
| |
| bool f_constructors_in_phylumdecl(phylumdeclaration ph) |
| { |
| return f_constructors_in_members(ph->additional_members); |
| |
| } |
| |
| static bool f_destructors_in_members(fndeclarations dcl) |
| {{ |
| fndeclarations kc_selvar_0_1 = phylum_cast<fndeclarations>(dcl); |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations) && ((kc_selvar_0_1)->fndeclaration_1->prod_sel() == sel_FnAcDeclaration) && (phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->fnclass_1->prod_sel() == sel_DestructorFn)) { |
| return true; |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations)) { |
| const fndeclarations tail = (kc_selvar_0_1)->fndeclarations_1; |
| return f_destructors_in_members(tail); |
| } else |
| { |
| return false; |
| } |
| } |
| |
| } |
| |
| bool f_destructors_in_operatordecl(alternative op) |
| { |
| return f_destructors_in_members(op->additional_members); |
| |
| } |
| |
| bool f_destructors_in_phylumdecl(phylumdeclaration ph) |
| { |
| return f_destructors_in_members(ph->additional_members); |
| |
| } |
| |
| bool f_no_params(ac_parameter_type_list p) |
| {{ |
| ac_parameter_type_list kc_selvar_0_1 = phylum_cast<ac_parameter_type_list>(p); |
| if ((kc_selvar_0_1->prod_sel() == sel_AcParList) && (phylum_cast<const impl_ac_parameter_type_list_AcParList*>(kc_selvar_0_1)->ac_parameter_list_1->prod_sel() == sel_Nilac_parameter_list)) { |
| return true; |
| } else |
| { |
| return false; |
| } |
| } |
| |
| } |
| |
| static bool f_post_create_in_members(fndeclarations dcl) |
| {{ |
| fndeclarations kc_selvar_0_1 = phylum_cast<fndeclarations>(dcl); |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations) && ((kc_selvar_0_1)->fndeclaration_1->prod_sel() == sel_FnAcDeclaration) && (phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1->prod_sel() == sel_AcDeclarator) && (phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1->prod_sel() == sel_AcQualifiedDeclProto) && (phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1->prod_sel() == sel_AcDirectDeclId) && (phylum_cast<const impl_ac_direct_declarator_AcDirectDeclId*>(phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1)->ID_1->prod_sel() == sel_Id) && (phylum_cast<const impl_ID_Id*>(phylum_cast<const impl_ac_direct_declarator_AcDirectDeclId*>(phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1)->ID_1)->uniqID_1->prod_sel() == sel_Str) && (kc_strcmp(phylum_cast<const impl_uniqID_Str*>(phylum_cast<const impl_ID_Id*>(phylum_cast<const impl_ac_direct_declarator_AcDirectDeclId*>(phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1)->ID_1)->uniqID_1)->casestring_1->name, kc_t("post_create"))==0) && (phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->fnclass_1->prod_sel() == sel_MemberFn)) { |
| return true; |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations)) { |
| const fndeclarations tail = (kc_selvar_0_1)->fndeclarations_1; |
| return f_post_create_in_members(tail); |
| } else |
| { |
| return false; |
| } |
| } |
| |
| } |
| |
| bool f_post_create_in_operatordecl(alternative op) |
| { |
| return f_post_create_in_members(op->additional_members); |
| |
| } |
| |
| bool f_post_create_in_phylumdecl(phylumdeclaration ph) |
| { |
| return f_post_create_in_members(ph->additional_members); |
| |
| } |
| |
| static bool f_rewrite_in_members(fndeclarations dcl) |
| {{ |
| fndeclarations kc_selvar_0_1 = phylum_cast<fndeclarations>(dcl); |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations) && ((kc_selvar_0_1)->fndeclaration_1->prod_sel() == sel_FnAcDeclaration) && (phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1->prod_sel() == sel_AcDeclarator) && (phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1->prod_sel() == sel_AcQualifiedDeclProto) && (phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1->prod_sel() == sel_AcDirectDeclId) && (phylum_cast<const impl_ac_direct_declarator_AcDirectDeclId*>(phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1)->ID_1->prod_sel() == sel_Id) && (phylum_cast<const impl_ID_Id*>(phylum_cast<const impl_ac_direct_declarator_AcDirectDeclId*>(phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1)->ID_1)->uniqID_1->prod_sel() == sel_Str) && (kc_strcmp(phylum_cast<const impl_uniqID_Str*>(phylum_cast<const impl_ID_Id*>(phylum_cast<const impl_ac_direct_declarator_AcDirectDeclId*>(phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(phylum_cast<const impl_ac_declarator_AcDeclarator*>(phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->ac_declarator_1)->ac_direct_declarator_1)->ac_direct_declarator_1)->ID_1)->uniqID_1)->casestring_1->name, kc_t("rewrite"))==0) && (phylum_cast<const impl_fndeclaration_FnAcDeclaration*>((kc_selvar_0_1)->fndeclaration_1)->fnclass_1->prod_sel() == sel_MemberFn)) { |
| return true; |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Consfndeclarations)) { |
| const fndeclarations tail = (kc_selvar_0_1)->fndeclarations_1; |
| return f_rewrite_in_members(tail); |
| } else |
| { |
| return false; |
| } |
| } |
| |
| } |
| |
| bool f_rewrite_in_phylumdecl(phylumdeclaration ph) |
| { |
| return f_rewrite_in_members(ph->additional_members); |
| |
| } |
| |
| bool f_rewrite_in_operatordecl(alternative op) |
| {{ |
| alternative kc_selvar_0_1 = phylum_cast<alternative>(op); |
| if ((kc_selvar_0_1->prod_sel() == sel_Alternative)) { |
| const ID oid = phylum_cast<const impl_alternative_Alternative*>(kc_selvar_0_1)->ID_1; |
| |
| if(f_rewrite_in_members(op->additional_members)) |
| return true; |
| return f_rewrite_in_phylumdecl(f_phylumdeclofid(f_phylumofoperator(oid))); |
| |
| } else |
| { |
| return false; |
| } |
| } |
| |
| } |
| |
| ID f_phylumofwithcasesinfo(withcasesinfo wcso) |
| { |
| ID id; |
| { |
| withcasesinfo kc_selvar_0_1 = phylum_cast<withcasesinfo>( wcso ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conswithcasesinfo)) { |
| const withcaseinfo wco = (kc_selvar_0_1)->withcaseinfo_1; |
| const withcasesinfo r_wcso = (kc_selvar_0_1)->withcasesinfo_1; |
| |
| { |
| withcaseinfo kc_selvar_1_1 = phylum_cast<withcaseinfo>( wco ); |
| if ((kc_selvar_1_1->prod_sel() == sel_Withcaseinfo)) { |
| const patternrepresentation patrep = phylum_cast<const impl_withcaseinfo_Withcaseinfo*>(kc_selvar_1_1)->patternrepresentation_1; |
| |
| if ( (id = f_phylumofpatternrepresentation( patrep ))->eq( f_emptyId() )) { |
| return f_phylumofwithcasesinfo( r_wcso ); |
| } else { |
| return id; |
| } |
| } else |
| { kc_no_default_in_with( "f_phylumofwithcasesinfo", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilwithcasesinfo)) { |
| |
| v_report(NonFatal( NoFileLine(), Problem1S( "Error: can not find type of with expression" ))); |
| return Id( Str( mkcasestring( "KC_ERRORunknownTYPE" ))); |
| |
| } else |
| { kc_no_default_in_with( "f_phylumofwithcasesinfo", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } |
| |
| ID f_phylumofpatternrepresentation(patternrepresentation a_patrep) |
| { |
| { |
| patternrepresentation kc_selvar_0_1 = phylum_cast<patternrepresentation>( a_patrep ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspatternrepresentation)) { |
| const elem_patternrepresentation a_patrep_elem = (kc_selvar_0_1)->elem_patternrepresentation_1; |
| const patternrepresentation r_patrep = (kc_selvar_0_1)->patternrepresentation_1; |
| |
| { |
| elem_patternrepresentation kc_selvar_1_1 = phylum_cast<elem_patternrepresentation>( a_patrep_elem ); |
| if ((kc_selvar_1_1->prod_sel() == sel_PROperPredicate)) { |
| const ID id = phylum_cast<const impl_elem_patternrepresentation_PROperPredicate*>(kc_selvar_1_1)->ID_1; |
| |
| return f_phylumofoperator( id ); |
| |
| } else |
| { |
| |
| return f_phylumofpatternrepresentation( r_patrep ); |
| |
| } |
| } |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilpatternrepresentation)) { |
| |
| return f_emptyId(); |
| |
| } else |
| { kc_no_default_in_with( "f_phylumofpatternrepresentation", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } |
| |
| ac_parameter_type_list sort_extend_parameter_type_list(ac_declaration_list C_vardecls, ac_declarator decl) |
| {{ |
| ac_declarator kc_selvar_0_1 = phylum_cast<ac_declarator>(decl); |
| if ((kc_selvar_0_1->prod_sel() == sel_AcDeclarator)) { |
| const ac_direct_declarator add = phylum_cast<const impl_ac_declarator_AcDeclarator*>(kc_selvar_0_1)->ac_direct_declarator_1; |
| |
| { |
| ac_direct_declarator kc_selvar_1_1 = phylum_cast<ac_direct_declarator>( add ); |
| if ((kc_selvar_1_1->prod_sel() == sel_AcQualifiedDeclProto)) { |
| const ac_parameter_type_list fn_proto = phylum_cast<const impl_ac_direct_declarator_AcQualifiedDeclProto*>(kc_selvar_1_1)->ac_parameter_type_list_1; |
| return fn_proto; |
| } else |
| if ((kc_selvar_1_1->prod_sel() == sel_AcDirectDeclProto)) { |
| const ac_parameter_type_list fn_proto = phylum_cast<const impl_ac_direct_declarator_AcDirectDeclProto*>(kc_selvar_1_1)->ac_parameter_type_list_1; |
| return fn_proto; |
| } else |
| if ((kc_selvar_1_1->prod_sel() == sel_AcDirectDeclArray)) { |
| return AcParList( Nilac_parameter_list() ); |
| } else |
| if ((kc_selvar_1_1->prod_sel() == sel_AcDirectDeclPack)) { |
| return AcParList( Nilac_parameter_list() ); |
| } else |
| if ((kc_selvar_1_1->prod_sel() == sel_AcDirectDeclId)) { |
| return AcParList( Nilac_parameter_list() ); |
| } else |
| { kc_no_default_in_with( "sort_extend_parameter_type_list", __LINE__, __FILE__ ); |
| return static_cast<ac_parameter_type_list>(0); } |
| } |
| |
| } else |
| { kc_no_default_in_with( "sort_extend_parameter_type_list", __LINE__, __FILE__ ); |
| return static_cast<ac_parameter_type_list>(0); } |
| } |
| |
| } |
| |
| ac_parameter_list t_sort_extend_parameter_list(ac_declaration_list C_vardecls, ac_identifier_list fn_args, ac_parameter_list temp) |
| { |
| { |
| ac_identifier_list kc_selvar_0_1 = phylum_cast<ac_identifier_list>( fn_args ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Consac_identifier_list)) { |
| const ID a_fnarg = (kc_selvar_0_1)->ID_1; |
| const ac_identifier_list r_fnargs = (kc_selvar_0_1)->ac_identifier_list_1; |
| |
| temp = t_sort_extend_parameter_list( C_vardecls, r_fnargs, temp ); |
| return Consac_parameter_list( lookup_and_create_ac_parameter_declaration( a_fnarg, C_vardecls ), temp ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilac_identifier_list)) { |
| return temp; |
| } else |
| { kc_no_default_in_with( "t_sort_extend_parameter_list", __LINE__, __FILE__ ); |
| return static_cast<ac_parameter_list>(0); } |
| } |
| |
| } |
| |
| static ac_parameter_declaration lookup_and_create_ac_parameter_declaration(ID a_fnarg, ac_declaration_list C_vardecls) |
| { |
| ac_parameter_declaration result = 0; |
| int number_of_results = 0; |
| { |
| ac_declaration_list kc_fe_selvar_1 = C_vardecls ; |
| |
| while( |
| kc_fe_selvar_1->prod_sel() == sel_Consac_declaration_list |
| ) { |
| ac_declaration kc_selvar_0_1 = kc_fe_selvar_1->ac_declaration_1; |
| { |
| { |
| if ((kc_selvar_0_1->prod_sel() == sel_AcDeclaration)) { |
| const ac_declaration_specifiers type = phylum_cast<const impl_ac_declaration_AcDeclaration*>(kc_selvar_0_1)->ac_declaration_specifiers_1; |
| const ac_init_declarator_list cvars = phylum_cast<const impl_ac_declaration_AcDeclaration*>(kc_selvar_0_1)->ac_init_declarator_list_1; |
| |
| { |
| ac_init_declarator_list kc_fe_selvar_1 = cvars ; |
| |
| while( |
| kc_fe_selvar_1->prod_sel() == sel_Consac_init_declarator_list |
| ) { |
| ac_init_declarator kc_selvar_1_1 = kc_fe_selvar_1->ac_init_declarator_1; |
| { |
| { |
| if ((kc_selvar_1_1->prod_sel() == sel_AcInitDecl)) { |
| const ac_declarator decl = phylum_cast<const impl_ac_init_declarator_AcInitDecl*>(kc_selvar_1_1)->ac_declarator_1; |
| |
| ID name = f_ID_of_declarator( decl ); |
| if (name->eq( a_fnarg ) ) { |
| result = AcParDeclDecl( type, decl, Noac_constant_expression()); |
| number_of_results++; |
| } |
| } else |
| {/* EMPTY */ /*skip: no matching pattern in foreach patterns*/} |
| } |
| |
| } |
| kc_fe_selvar_1 = kc_fe_selvar_1->ac_init_declarator_list_1; |
| |
| } |
| } |
| |
| } else |
| {/* EMPTY */ /*skip: no matching pattern in foreach patterns*/} |
| } |
| |
| } |
| kc_fe_selvar_1 = kc_fe_selvar_1->ac_declaration_list_1; |
| |
| } |
| } |
| if (number_of_results == 1) { |
| return result; |
| } else { |
| |
| if (number_of_results > 1) { |
| v_report(Warning( FileLine( a_fnarg->file, a_fnarg->line ), Problem1S1ID( "more than one type defined for function argument:", a_fnarg ))); |
| } else { |
| v_report(Warning( FileLine( a_fnarg->file, a_fnarg->line ), Problem1S1ID( "can not find type of function argument:", a_fnarg ))); |
| } |
| |
| return AcParDeclDecl( |
| Consac_declaration_specifiers( |
| AcDeclSpecTypeSpec( |
| AcTypeSpec( Id( Str( mkcasestring( "KC_ERRORunknownTYPE" ))))), |
| Nilac_declaration_specifiers()), |
| AcDeclarator( |
| Nopointer(), |
| AcNoRef(), |
| AcDirectDeclId( a_fnarg )), |
| Noac_constant_expression()); |
| } |
| |
| } |
| |
| void unparse(const char *s, printer_functor printer_fn, uview v) |
| { |
| printer_fn( s, v ); |
| |
| } |
| |
| charruns impl_charruns::set(int _n) |
| { number=_n; return this; |
| } |
| |
| ID f_mkselvar(const char *prefix, int level) |
| { |
| |
| |
| |
| char fixbuf[BUFSIZ] ; |
| char *dynbuf = 0; |
| char *buf = 0; |
| ID id; |
| if (strlen(prefix) + MKSELVARMAXINTREPR + 1 > BUFSIZ) { |
| dynbuf = new char[strlen(prefix) + MKSELVARMAXINTREPR + 1]; |
| buf = dynbuf; |
| } else { |
| buf = fixbuf; |
| } |
| strcpy( buf, prefix ); |
| sprintf( &buf[strlen(prefix)], "%d", level ); |
| id = Id( Str( mkcasestring( buf ))); |
| if (dynbuf != 0) { |
| delete[] dynbuf; |
| } |
| return id; |
| |
| } |
| |
| ID f_mkselvar2(const char *prefix, int level, int branch) |
| { |
| |
| |
| |
| |
| char fixbuf[BUFSIZ] ; |
| char *dynbuf = 0; |
| char *buf = 0; |
| ID id; |
| int constant_factor = MKSELVARMAXINTREPR + 1 + MKSELVARMAXINTREPR + 1; |
| if (strlen(prefix) + constant_factor > BUFSIZ) { |
| dynbuf = new char[strlen(prefix) + constant_factor]; |
| buf = dynbuf; |
| } else { |
| buf = fixbuf; |
| } |
| strcpy( buf, prefix ); |
| sprintf( &buf[strlen(prefix)], "%d_%d", level, branch ); |
| id = Id( Str( mkcasestring( buf ))); |
| if (dynbuf != 0) { |
| delete[] dynbuf; |
| } |
| return id; |
| |
| } |
| |
| char *f_mk_filename(casestring a_casestring, const char *suffix) |
| { |
| char const *basename; |
| |
| if ((basename = strrchr( a_casestring->name, '/' )) == 0) |
| basename = a_casestring->name; |
| if (*basename == '/') |
| basename++; |
| else if (*basename == '"') |
| basename++; |
| size_t baselen = strlen(basename); |
| |
| char *filename = new char[baselen+strlen(suffix)+1]; |
| strcpy( filename, basename ); |
| if (baselen > 0 && filename[baselen-1] == '"' ) { |
| filename[baselen-1] = '\0'; |
| baselen--; |
| } |
| if ( baselen > 1 && (filename[baselen-1] == 'k' && filename[baselen-2] == '.' )) |
| baselen-=2; |
| if (strlen(suffix)==0) { |
| filename[baselen]='\0'; |
| return filename; |
| } |
| filename[baselen] = '.'; |
| |
| char *eofn=filename+baselen+1; |
| while ((*eofn++=*suffix++)) ; |
| return filename; |
| |
| } |
| |
| char *f_mk_filename(casestring a_casestring, const string &suffix) |
| { |
| return f_mk_filename(a_casestring, suffix.c_str()); |
| |
| } |
| |
| char *f_make_identifier_basename(const char *fn) |
| { |
| char *nn; |
| |
| size_t len = strlen(fn); |
| assertCond(len >2); |
| nn = new char[len-2+1]; |
| strncpy(nn, fn, len-2); |
| nn[len-2] = '\0'; |
| for (unsigned i=0; i < len-2; i++) { |
| if (! isalnum(nn[i])) { |
| nn[i] = '_'; |
| } } |
| return nn; |
| |
| } |
| |
| rewriterulesinfo f_rewriterulesinfoofalternativeinview(alternative a_alternative, ID a_view) |
| { |
| global_filterview = a_view; |
| return a_alternative->rewriteinfo->filter( filterrewriteruleinfoonview ); |
| |
| } |
| |
| rewriteviewsinfo f_rewriteviewsinfo_of_alternative(alternative a_alternative, viewnames a_views) |
| { |
| rewriterulesinfo tmp_rulesinfo = a_alternative->rewriteinfo; |
| rewriteviewsinfo tmp_viewsinfo = Nilrewriteviewsinfo(); |
| { |
| viewnames kc_fe_selvar_1 = a_views ; |
| |
| while( |
| kc_fe_selvar_1->prod_sel() == sel_Consviewnames |
| ) { |
| ID kc_selvar_0_1 = kc_fe_selvar_1->ID_1; |
| { |
| { |
| { |
| const ID a_view = kc_selvar_0_1; |
| |
| global_filterview = a_view; |
| tmp_viewsinfo = Consrewriteviewsinfo( Rewriteviewinfo( a_view, tmp_rulesinfo->filter( filterrewriteruleinfoonview )), tmp_viewsinfo ); |
| |
| } |
| } |
| |
| } |
| kc_fe_selvar_1 = kc_fe_selvar_1->viewnames_1; |
| |
| } |
| } |
| return tmp_viewsinfo; |
| |
| } |
| |
| unparseviewsinfo f_unparseviewsinfo_of_alternative(alternative a_alternative, viewnames a_views) |
| { |
| unparsedeclsinfo tmp_declsinfo = a_alternative->unparseinfo; |
| unparseviewsinfo tmp_viewsinfo = Nilunparseviewsinfo(); |
| { |
| viewnames kc_fe_selvar_1 = a_views ; |
| |
| while( |
| kc_fe_selvar_1->prod_sel() == sel_Consviewnames |
| ) { |
| ID kc_selvar_0_1 = kc_fe_selvar_1->ID_1; |
| { |
| { |
| { |
| const ID a_view = kc_selvar_0_1; |
| |
| global_filterview = a_view; |
| tmp_viewsinfo = Consunparseviewsinfo( Unparseviewinfo( a_view, tmp_declsinfo->filter( filterunparsedeclinfoonview )), tmp_viewsinfo ); |
| |
| } |
| } |
| |
| } |
| kc_fe_selvar_1 = kc_fe_selvar_1->viewnames_1; |
| |
| } |
| } |
| return tmp_viewsinfo; |
| |
| } |
| |
| static bool filterrewriteruleinfoonview(rewriteruleinfo a_rewriteruleinfo) |
| { |
| return is_viewname_in_rewriteruleinfo( global_filterview, a_rewriteruleinfo ); |
| |
| } |
| |
| static bool filterunparsedeclinfoonview(unparsedeclinfo a_unparsedeclinfo) |
| { |
| return is_viewname_in_unparsedeclinfo( global_filterview, a_unparsedeclinfo ); |
| |
| } |
| |
| static bool is_viewname_in_rewriteruleinfo(ID a_view, rewriteruleinfo a_rewriteruleinfo) |
| { |
| { |
| rewriteruleinfo kc_selvar_0_1 = phylum_cast<rewriteruleinfo>( a_rewriteruleinfo ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Rewriteruleinfo) && (phylum_cast<const impl_rewriteruleinfo_Rewriteruleinfo*>(kc_selvar_0_1)->rewriteclause_1->prod_sel() == sel_RewriteClause)) { |
| const viewnames a_viewnames = phylum_cast<const impl_rewriteclause_RewriteClause*>(phylum_cast<const impl_rewriteruleinfo_Rewriteruleinfo*>(kc_selvar_0_1)->rewriteclause_1)->viewnames_1; |
| |
| return is_viewname_in_viewnames( a_view, a_viewnames ); |
| |
| } else |
| { kc_no_default_in_with( "is_viewname_in_rewriteruleinfo", __LINE__, __FILE__ ); |
| return static_cast<bool>(0); } |
| } |
| |
| } |
| |
| static bool is_viewname_in_unparsedeclinfo(ID a_view, unparsedeclinfo a_unparsedeclinfo) |
| { |
| { |
| unparsedeclinfo kc_selvar_0_1 = phylum_cast<unparsedeclinfo>( a_unparsedeclinfo ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Unparsedeclinfo) && (phylum_cast<const impl_unparsedeclinfo_Unparsedeclinfo*>(kc_selvar_0_1)->unparseclause_1->prod_sel() == sel_UnparseClause)) { |
| const viewnames a_viewnames = phylum_cast<const impl_unparseclause_UnparseClause*>(phylum_cast<const impl_unparsedeclinfo_Unparsedeclinfo*>(kc_selvar_0_1)->unparseclause_1)->viewnames_1; |
| |
| return is_viewname_in_viewnames( a_view, a_viewnames ); |
| |
| } else |
| { kc_no_default_in_with( "is_viewname_in_unparsedeclinfo", __LINE__, __FILE__ ); |
| return static_cast<bool>(0); } |
| } |
| |
| } |
| |
| static bool is_viewname_in_viewnames(ID a_view, viewnames a_viewnames) |
| { |
| { |
| viewnames kc_fe_selvar_1 = a_viewnames ; |
| |
| while( |
| kc_fe_selvar_1->prod_sel() == sel_Consviewnames |
| ) { |
| ID kc_selvar_0_1 = kc_fe_selvar_1->ID_1; |
| { |
| { |
| { |
| const ID a_viewname = kc_selvar_0_1; |
| |
| if ( a_view->eq( a_viewname ) ) { |
| return true; |
| } |
| } |
| } |
| |
| } |
| kc_fe_selvar_1 = kc_fe_selvar_1->viewnames_1; |
| |
| } |
| } |
| return false; |
| |
| } |
| |
| ID f_typeof(path a_path) |
| { |
| if (a_path->id->eq(f_emptyId())) { |
| { |
| path kc_selvar_0_1 = phylum_cast<path>( a_path ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspath)) { |
| const integer i = (kc_selvar_0_1)->integer_1; |
| const path r_path = (kc_selvar_0_1)->path_1; |
| |
| return f_subphylumofoperator( r_path->op, Int( i ) ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilpath)) { |
| |
| return f_phylumofoperator( a_path->op ); |
| |
| } else |
| { kc_no_default_in_with( "f_typeof", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| } else { |
| return a_path->id; |
| } |
| |
| } |
| |
| ID f_operatorofpatternrepresentation(patternrepresentation a_patternrepresentation) |
| { |
| { |
| patternrepresentation kc_selvar_0_1 = phylum_cast<patternrepresentation>( a_patternrepresentation ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspatternrepresentation)) { |
| const elem_patternrepresentation e = (kc_selvar_0_1)->elem_patternrepresentation_1; |
| |
| return f_operatorofelem_patternrepresentation( e ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilpatternrepresentation)) { |
| |
| return f_emptyId(); |
| |
| } else |
| { kc_no_default_in_with( "f_operatorofpatternrepresentation", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } |
| |
| static ID f_operatorofelem_patternrepresentation(elem_patternrepresentation a_elem_patternrepresentation) |
| { |
| { |
| elem_patternrepresentation kc_selvar_0_1 = phylum_cast<elem_patternrepresentation>( a_elem_patternrepresentation ); |
| if ((kc_selvar_0_1->prod_sel() == sel_PRDefault)) { |
| return f_emptyId(); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PRUserPredicate)) { |
| return f_emptyId(); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PRIntLiteral)) { |
| const path p = phylum_cast<const impl_elem_patternrepresentation_PRIntLiteral*>(kc_selvar_0_1)->path_1; |
| return f_operatorofpath( p ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PRStringLiteral)) { |
| const path p = phylum_cast<const impl_elem_patternrepresentation_PRStringLiteral*>(kc_selvar_0_1)->path_1; |
| return f_operatorofpath( p ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PRWildcard)) { |
| const path p = phylum_cast<const impl_elem_patternrepresentation_PRWildcard*>(kc_selvar_0_1)->path_1; |
| return f_operatorofpath( p ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PRNonLeafBinding)) { |
| const path p = phylum_cast<const impl_elem_patternrepresentation_PRNonLeafBinding*>(kc_selvar_0_1)->path_1; |
| return f_operatorofpath( p ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PROperPredicate)) { |
| const path p = phylum_cast<const impl_elem_patternrepresentation_PROperPredicate*>(kc_selvar_0_1)->path_1; |
| return f_operatorofpath( p ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PRBinding)) { |
| const path p = phylum_cast<const impl_elem_patternrepresentation_PRBinding*>(kc_selvar_0_1)->path_1; |
| return f_operatorofpath( p ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_PRVarPredicate)) { |
| const paths ps = phylum_cast<const impl_elem_patternrepresentation_PRVarPredicate*>(kc_selvar_0_1)->paths_1; |
| return f_operatorofpaths( ps ); |
| } else |
| { kc_no_default_in_with( "f_operatorofelem_patternrepresentation", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } |
| |
| static ID f_operatorofpaths(paths a_paths) |
| { |
| { |
| paths kc_selvar_0_1 = phylum_cast<paths>( a_paths ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspaths)) { |
| const path p = (kc_selvar_0_1)->path_1; |
| |
| return f_operatorofpath( p ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilpaths)) { |
| |
| return f_emptyId(); |
| |
| } else |
| { kc_no_default_in_with( "f_operatorofpaths", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } |
| |
| static ID f_operatorofpath(path a_path) |
| { |
| { |
| path kc_selvar_0_1 = phylum_cast<path>( a_path ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspath)) { |
| const path r_path = (kc_selvar_0_1)->path_1; |
| |
| return r_path->op; |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilpath)) { |
| |
| return a_path->op; |
| |
| } else |
| { kc_no_default_in_with( "f_operatorofpath", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } |
| |
| ID f_typeofunpsubterm(unpsubterm a_unpsubterm, ID a_operator) |
| { |
| { |
| unpsubterm kc_selvar_0_1 = phylum_cast<unpsubterm>( a_unpsubterm ); |
| if ((kc_selvar_0_1->prod_sel() == sel_UnpCastedVariable)) { |
| const ID a_cast = phylum_cast<const impl_unpsubterm_UnpCastedVariable*>(kc_selvar_0_1)->ID_1; |
| return a_cast; |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_UnpDollarvarAttr)) { |
| const INT i = phylum_cast<const impl_unpsubterm_UnpDollarvarAttr*>(kc_selvar_0_1)->INT_1; |
| const unpattributes a_unpattributes = phylum_cast<const impl_unpsubterm_UnpDollarvarAttr*>(kc_selvar_0_1)->unpattributes_1; |
| return f_check_unpattributes_in_phylum( a_unpattributes, f_subphylumofoperator( a_operator, i ) ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_UnpSubAttr)) { |
| const ID an_id = phylum_cast<const impl_unpsubterm_UnpSubAttr*>(kc_selvar_0_1)->ID_1; |
| const unpattributes an_unpattributes = phylum_cast<const impl_unpsubterm_UnpSubAttr*>(kc_selvar_0_1)->unpattributes_1; |
| return f_check_unpattributes_in_phylum( an_unpattributes, f_phylumofpatternID( an_id ) ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_UnpDollarvarTerm)) { |
| const INT i = phylum_cast<const impl_unpsubterm_UnpDollarvarTerm*>(kc_selvar_0_1)->INT_1; |
| return f_subphylumofoperator( a_operator, i ); |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_UnpSubTerm)) { |
| const ID a_id = phylum_cast<const impl_unpsubterm_UnpSubTerm*>(kc_selvar_0_1)->ID_1; |
| return f_phylumofpatternID( a_id ); |
| } else |
| { kc_no_default_in_with( "f_typeofunpsubterm", __LINE__, __FILE__ ); |
| return static_cast<ID>(0); } |
| } |
| |
| } |
| |
| elem_patternrepresentation f_outmost_nl_preds_in_rewriterulesinfo(rewriterulesinfo ri) |
| { |
| { |
| rewriterulesinfo kc_selvar_0_1 = phylum_cast<rewriterulesinfo>( ri ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Consrewriterulesinfo) && ((kc_selvar_0_1)->rewriteruleinfo_1->prod_sel() == sel_Rewriteruleinfo)) { |
| const patternrepresentation preds = phylum_cast<const impl_rewriteruleinfo_Rewriteruleinfo*>((kc_selvar_0_1)->rewriteruleinfo_1)->patternrepresentation_1; |
| const rewriterulesinfo r_ri = (kc_selvar_0_1)->rewriterulesinfo_1; |
| |
| elem_patternrepresentation epr = |
| f_outmost_nl_preds_in_patternrepresentation( preds ); |
| return epr ? epr |
| : f_outmost_nl_preds_in_rewriterulesinfo( r_ri ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilrewriterulesinfo)) { |
| return 0; |
| } else |
| { kc_no_default_in_with( "f_outmost_nl_preds_in_rewriterulesinfo", __LINE__, __FILE__ ); |
| return static_cast<elem_patternrepresentation>(0); } |
| } |
| |
| } |
| |
| elem_patternrepresentation f_outmost_nl_preds_in_unparsedeclsinfo(unparsedeclsinfo ri) |
| { |
| { |
| unparsedeclsinfo kc_selvar_0_1 = phylum_cast<unparsedeclsinfo>( ri ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Consunparsedeclsinfo) && ((kc_selvar_0_1)->unparsedeclinfo_1->prod_sel() == sel_Unparsedeclinfo)) { |
| const patternrepresentation preds = phylum_cast<const impl_unparsedeclinfo_Unparsedeclinfo*>((kc_selvar_0_1)->unparsedeclinfo_1)->patternrepresentation_1; |
| const unparsedeclsinfo r_ri = (kc_selvar_0_1)->unparsedeclsinfo_1; |
| |
| elem_patternrepresentation epr = |
| f_outmost_nl_preds_in_patternrepresentation( preds ); |
| return epr ? epr |
| : f_outmost_nl_preds_in_unparsedeclsinfo( r_ri ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilunparsedeclsinfo)) { |
| return 0; |
| } else |
| { kc_no_default_in_with( "f_outmost_nl_preds_in_unparsedeclsinfo", __LINE__, __FILE__ ); |
| return static_cast<elem_patternrepresentation>(0); } |
| } |
| |
| } |
| |
| static elem_patternrepresentation f_outmost_nl_preds_in_patternrepresentation(patternrepresentation p) |
| { |
| { |
| patternrepresentation kc_selvar_0_1 = phylum_cast<patternrepresentation>( p ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspatternrepresentation)) { |
| const elem_patternrepresentation a_p = (kc_selvar_0_1)->elem_patternrepresentation_1; |
| const patternrepresentation r_p = (kc_selvar_0_1)->patternrepresentation_1; |
| |
| return f_outmost_nl_preds_in_elem_patternrepresentation( a_p ) ? a_p |
| : f_outmost_nl_preds_in_patternrepresentation( r_p ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilpatternrepresentation)) { |
| return 0; |
| } else |
| { kc_no_default_in_with( "f_outmost_nl_preds_in_patternrepresentation", __LINE__, __FILE__ ); |
| return static_cast<elem_patternrepresentation>(0); } |
| } |
| |
| } |
| |
| static bool f_outmost_nl_preds_in_elem_patternrepresentation(elem_patternrepresentation e_p) |
| { |
| { |
| elem_patternrepresentation kc_selvar_0_1 = phylum_cast<elem_patternrepresentation>( e_p ); |
| if ((kc_selvar_0_1->prod_sel() == sel_PRVarPredicate)) { |
| const paths a_p = phylum_cast<const impl_elem_patternrepresentation_PRVarPredicate*>(kc_selvar_0_1)->paths_1; |
| |
| return f_outmost_nl_preds_in_paths( a_p ); |
| |
| } else |
| { |
| return false; |
| } |
| } |
| |
| } |
| |
| static bool f_outmost_nl_preds_in_paths(paths p) |
| { |
| { |
| paths kc_selvar_0_1 = phylum_cast<paths>( p ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspaths) && ((kc_selvar_0_1)->path_1->prod_sel() == sel_Conspath)) { |
| const paths r_p = (kc_selvar_0_1)->paths_1; |
| |
| return f_outmost_nl_preds_in_paths( r_p ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspaths) && ((kc_selvar_0_1)->path_1->prod_sel() == sel_Nilpath)) { |
| return true; |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilpaths)) { |
| return false; |
| } else |
| { kc_no_default_in_with( "f_outmost_nl_preds_in_paths", __LINE__, __FILE__ ); |
| return static_cast<bool>(0); } |
| } |
| |
| } |
| |
| bool f_is_known_ptr_type(ID id) |
| { |
| static phylumnames known = 0; |
| |
| if (! known ) { |
| known = Nilphylumnames(); |
| known = Consphylumnames( Id( Str( mkcasestring( "size_t" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "unsigned" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "enum_phyla" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "enum_operators" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "KC_UNIQ_INFO" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "bool" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "hashtable_t" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "KC_IO_STATUS" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "uview" ))), known ); |
| known = Consphylumnames( Id( Str( mkcasestring( "rview" ))), known ); |
| } |
| { |
| phylumnames kc_fe_selvar_1 = known ; |
| |
| while( |
| kc_fe_selvar_1->prod_sel() == sel_Consphylumnames |
| ) { |
| ID kc_selvar_0_1 = kc_fe_selvar_1->ID_1; |
| { |
| { |
| { |
| const ID pn = kc_selvar_0_1; |
| |
| if ( pn->eq( id )) { |
| return true; |
| } |
| } |
| } |
| |
| } |
| kc_fe_selvar_1 = kc_fe_selvar_1->phylumnames_1; |
| |
| } |
| } |
| return false; |
| |
| } |
| |
| withcasesinfo rewrite_withcasesinfo(withcasesinfo a_withcasesinfo) |
| {{ |
| withcasesinfo kc_selvar_0_1 = phylum_cast<withcasesinfo>(a_withcasesinfo); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conswithcasesinfo) && ((kc_selvar_0_1)->withcaseinfo_1->prod_sel() == sel_Withcaseinfo)) { |
| const patternrepresentation p = phylum_cast<const impl_withcaseinfo_Withcaseinfo*>((kc_selvar_0_1)->withcaseinfo_1)->patternrepresentation_1; |
| const patternrepresentation b = phylum_cast<const impl_withcaseinfo_Withcaseinfo*>((kc_selvar_0_1)->withcaseinfo_1)->patternrepresentation_2; |
| const Ctext ct = phylum_cast<const impl_withcaseinfo_Withcaseinfo*>((kc_selvar_0_1)->withcaseinfo_1)->Ctext_1; |
| const withcasesinfo r = (kc_selvar_0_1)->withcasesinfo_1; |
| |
| return Conswithcasesinfo( |
| Withcaseinfo( p->rewrite(base_rview), b, ct ), |
| rewrite_withcasesinfo( r ) ); |
| |
| } else |
| if ((kc_selvar_0_1->prod_sel() == sel_Nilwithcasesinfo)) { |
| return kc_selvar_0_1; |
| } else |
| { kc_no_default_in_with( "rewrite_withcasesinfo", __LINE__, __FILE__ ); |
| return static_cast<withcasesinfo>(0); } |
| } |
| |
| } |
| |
| int pos_of_sole_dollar_or_pattern_in_patternchain(patternchain a_patternchain) |
| { |
| return t_pos_of_sole_dollar_or_pattern_in_patternchain(a_patternchain, -2, 1); |
| |
| } |
| |
| int t_pos_of_sole_dollar_or_pattern_in_patternchain(patternchain a_patternchain, int tmp_result, int pos) |
| { |
| if (tmp_result == -1) { |
| return tmp_result; |
| } |
| { |
| patternchain kc_selvar_0_1 = phylum_cast<patternchain>( a_patternchain ); |
| if ((kc_selvar_0_1->prod_sel() == sel_Conspatternchain)) { |
| const patternchainitem h = (kc_selvar_0_1)->patternchainitem_1; |
| const patternchain t = (kc_selvar_0_1)->patternchain_1; |
| |
| tmp_result = t_pos_of_sole_dollar_or_pattern_in_patternchain( t, tmp_result, pos+1 ); |
| if (tmp_result == -1) { |
| return tmp_result; |
| } |
| { |
| patternchainitem kc_selvar_1_1 = phylum_cast<patternchainitem>( h ); |
| if ((kc_selvar_1_1->prod_sel() == sel_PatternchainitemDollarid)) { |
| |
| return tmp_result >= 0 ? -1 : pos; |
| |
| } else |
| if ((kc_selvar_1_1->prod_sel() == sel_PatternchainitemOutmost)) { |
| const outmostpattern p = phylum_cast<const impl_patternchainitem_PatternchainitemOutmost*>(kc_selvar_1_1)->outmostpattern_1; |
| |
| { |
| outmostpattern kc_selvar_2_1 = phylum_cast<outmostpattern>( p ); |
| if ((kc_selvar_2_1->prod_sel() == sel_OPOperatorWildcard) && (phylum_cast<const impl_outmostpattern_OPOperatorWildcard*>(kc_selvar_2_1)->ID_1->prod_sel() == sel_Id)) { |
| const uniqID uid = phylum_cast<const impl_ID_Id*>(phylum_cast<const impl_outmostpattern_OPOperatorWildcard*>(kc_selvar_2_1)->ID_1)->uniqID_1; |
| |
| { |
| IDtype kc_selvar_3_1 = phylum_cast<IDtype>( uid->type ); |
| if ((kc_selvar_3_1->prod_sel() == sel_ITUnknown)) { |
| |
| return tmp_result; |
| |
| } else |
| if ((kc_selvar_3_1->prod_sel() == sel_ITPatternVariable)) { |
| |
| return tmp_result; |
| |
| } else |
| { |
| |
| if (tmp_result >= 0) { |
| return -1; |
| } else { |
| return pos; |
| } |
| } |
| } |
| |
| } else |
| { |
| |
| return tmp_result >= 0 ? -1 : pos; |
| |
| } |
| } |
| |
| } else |
| { |
| |
| return -1; |
| |
| } |
| } |
| |
| } else |
| { |
| |
| return tmp_result; |
| |
| } |
| } |
| |
| } |
| |
| string f_getidentfromstring(const char **c) |
| { |
| string s=""; |
| if (isalnum(**c) || **c=='_') |
| while (isalnum(**c) || **c=='_') s+=*(*c)++; |
| else |
| while (!(isalnum(**c) || **c=='_' || **c=='\0')) s+=*(*c)++; |
| return s; |
| |
| } |
| |
| |
| } // namespace kc |
