| /* translation of file "pat.k" */ |
| /* generated by: |
| * @(#)$Author$ |
| */ |
| #ifndef KC_FUNCTIONS_pat_HEADER |
| #define KC_FUNCTIONS_pat_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 |
| // |
| |
| /* end included stuff */ |
| |
| |
| namespace kc { |
| patternrepresentations syn_patternchains (patternchains a_patternchains); |
| patternrepresentation syn_patternchain (patternchain a_patternchain, path a_path); |
| patternrepresentation syn_patternchainitem (patternchainitem a_patternchainitem, path a_path); |
| patternrepresentations syn_outmostpatterns (outmostpatterns a_outmostpatterns); |
| void clone_TypeFileLine (elem_patternrepresentation tmp1, outmostpattern a_outmostpattern); |
| bool f_bindingidmarked (ID id); |
| void v_markbindingid (ID id); |
| void v_resetbindingidmarks (); |
| patternrepresentations add_predicates_to_patternrepresentations (patternrepresentations a_patternreps); |
| void v_add_rewriterulesinfo_to_operator (patternrepresentations a_patternreps, rewriteclauses rc); |
| withcasesinfo f_withcasesinfo (patternrepresentations a_patternreps, Ctext ct); |
| void v_add_unparsedeclsinfo_to_operator (patternrepresentations a_patternreps, unparseclauses uc); |
| withcasesinfo insertin_withcasesinfo (withcaseinfo new_case, withcasesinfo old_cases); |
| bool lt_withcaseinfo (withcaseinfo a_withcaseinfo1, withcaseinfo a_withcaseinfo2); |
| void warn_drop_identical_pattern (rewriteruleinfo rri); |
| void warn_drop_identical_pattern (withcaseinfo wci); |
| void warn_drop_identical_pattern (unparsedeclinfo udi); |
| void warn_drop_identical_pattern (patternrepresentation pr); |
| void check_rewrite_patterns (rewriterulesinfo rri); |
| void check_with_patterns (withcasesinfo wcs); |
| void check_unparse_patterns (unparsedeclsinfo udi); |
| void check_patterns (patternrepresentations prs); |
| patternrepresentation next (patternrepresentation p); |
| elem_patternrepresentation elem (patternrepresentation p); |
| void compare_patterns (patternrepresentation pr1, patternrepresentation pr2, patternrepresentations other_patterns); |
| |
| } // namespace kc |
| |
| #endif // ! KC_FUNCTIONS_pat_HEADER |
| |
