| /* translation of file "gutil.k" */ |
| /* generated by: |
| * @(#)$Author$ |
| */ |
| #ifndef KC_FUNCTIONS_gutil_HEADER |
| #define KC_FUNCTIONS_gutil_HEADER |
| #include "k.h" /* in case a user forgets */ |
| |
| 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 |
| // |
| |
| extern phylumdeclaration The_abstract_phylum_decl; |
| extern phylumdeclaration The_abstract_phylum_ref_decl; |
| extern phylumdeclaration The_abstract_list_decl; |
| |
| /* end included stuff */ |
| |
| |
| namespace kc { |
| bool f_something_to_initialize (Ccode_option cco); |
| bool f_something_to_initialize (alternative a); |
| bool f_NilCtexts (Ctexts c); |
| bool f_constructors_in_operatordecl (alternative op); |
| bool f_constructors_in_phylumdecl (phylumdeclaration ph); |
| bool f_destructors_in_operatordecl (alternative op); |
| bool f_destructors_in_phylumdecl (phylumdeclaration ph); |
| bool f_no_params (ac_parameter_type_list p); |
| bool f_post_create_in_operatordecl (alternative op); |
| bool f_post_create_in_phylumdecl (phylumdeclaration ph); |
| bool f_rewrite_in_phylumdecl (phylumdeclaration ph); |
| bool f_rewrite_in_operatordecl (alternative op); |
| ID f_phylumofwithcasesinfo (withcasesinfo wcso); |
| ID f_phylumofpatternrepresentation (patternrepresentation a_patrep); |
| ac_parameter_type_list sort_extend_parameter_type_list (ac_declaration_list C_vardecls, ac_declarator decl); |
| ac_parameter_list t_sort_extend_parameter_list (ac_declaration_list C_vardecls, ac_identifier_list fn_args, ac_parameter_list temp); |
| void unparse (const char *s, printer_functor printer_fn, uview v); |
| ID f_mkselvar (const char *prefix, int level); |
| ID f_mkselvar2 (const char *prefix, int level, int branch); |
| char *f_mk_filename (casestring a_casestring, const char *suffix); |
| char *f_mk_filename (casestring a_casestring, const string &suffix); |
| char *f_make_identifier_basename (const char *fn); |
| rewriterulesinfo f_rewriterulesinfoofalternativeinview (alternative a_alternative, ID a_view); |
| rewriteviewsinfo f_rewriteviewsinfo_of_alternative (alternative a_alternative, viewnames a_views); |
| unparseviewsinfo f_unparseviewsinfo_of_alternative (alternative a_alternative, viewnames a_views); |
| ID f_typeof (path a_path); |
| ID f_operatorofpatternrepresentation (patternrepresentation a_patternrepresentation); |
| ID f_typeofunpsubterm (unpsubterm a_unpsubterm, ID a_operator); |
| elem_patternrepresentation f_outmost_nl_preds_in_rewriterulesinfo (rewriterulesinfo ri); |
| elem_patternrepresentation f_outmost_nl_preds_in_unparsedeclsinfo (unparsedeclsinfo ri); |
| bool f_is_known_ptr_type (ID id); |
| withcasesinfo rewrite_withcasesinfo (withcasesinfo a_withcasesinfo); |
| int pos_of_sole_dollar_or_pattern_in_patternchain (patternchain a_patternchain); |
| int t_pos_of_sole_dollar_or_pattern_in_patternchain (patternchain a_patternchain, int tmp_result, int pos); |
| string f_getidentfromstring (const char **c); |
| |
| } // namespace kc |
| |
| #endif // ! KC_FUNCTIONS_gutil_HEADER |
| |
