blob: 89d7946e08f2f1424909defd3842bfe496339984 [file] [log] [blame]
/* translation of file(s)
"abs.k"
"main.k"
"parse.k"
"error.k"
"occur.k"
"util.k"
"gen.k"
"gutil.k"
"pat.k"
*/
/* generated by:
* @(#)$Author$
*/
#define KC_REWRITE
#include <stdio.h>
#include <sys/types.h>
#include <stdlib.h>
#include "k.h"
#include "rk.h"
namespace kc {
base_rview_class base_rview;
impl_rviews rviews[] = {
{"base_rview",&base_rview},
{0,0}
};
} // namespace kc
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 {
#ifndef KC_TRACE_PROVIDED
#define KC_TRACE_PROVIDED(COND,FILE,LINE,NODE) COND
#endif
#ifndef KC_TRACE_REWRITE_MATCH
#define KC_TRACE_REWRITE_MATCH(VIEW,FILE,LINE,NODE)
#endif
#ifndef KC_TRACE_REWRITE_RESULT
#define KC_TRACE_REWRITE_RESULT(VIEW,FILE,LINE,NODE)
#endif
uniqID impl_uniqID_Str::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_uniqID_Str* kc_result= Str(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
ID impl_ID_Id::rewrite(rview kc_current_view_base)
{
uniqID l_uniqID_1 =
uniqID_1->rewrite(kc_current_view_base);
if ((l_uniqID_1 == uniqID_1))
return this;
else {
impl_ID_Id* kc_result= Id(l_uniqID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
INT impl_INT_Int::rewrite(rview kc_current_view_base)
{
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
if ((l_integer_1 == integer_1))
return this;
else {
impl_INT_Int* kc_result= Int(l_integer_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
STRING impl_STRING_String::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_STRING_String* kc_result= String(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
phylumdeclarationsroot impl_phylumdeclarationsroot_PhylumDeclarations::rewrite(rview kc_current_view_base)
{
phylumdeclarations l_phylumdeclarations_1 =
phylumdeclarations_1->rewrite(kc_current_view_base);
if ((l_phylumdeclarations_1 == phylumdeclarations_1))
return this;
else {
impl_phylumdeclarationsroot_PhylumDeclarations* kc_result= PhylumDeclarations(l_phylumdeclarations_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
phylumdeclarations impl_phylumdeclarations::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
phylumdeclaration l_phylumdeclaration_1 =
phylumdeclaration_1->rewrite(kc_current_view_base);
phylumdeclarations l_phylumdeclarations_1 =
phylumdeclarations_1->rewrite(kc_current_view_base);
if ((l_phylumdeclaration_1 == phylumdeclaration_1) && (l_phylumdeclarations_1 == phylumdeclarations_1))
return this;
else {
impl_phylumdeclarations* kc_result= Consphylumdeclarations(l_phylumdeclaration_1, l_phylumdeclarations_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
phylumnames impl_phylumnames::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
phylumnames l_phylumnames_1 =
phylumnames_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_phylumnames_1 == phylumnames_1))
return this;
else {
impl_phylumnames* kc_result= Consphylumnames(l_ID_1, l_phylumnames_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
phylumdeclaration impl_phylumdeclaration_PhylumDeclaration::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
storageoption l_storageoption_1 =
storageoption_1->rewrite(kc_current_view_base);
productionblock l_productionblock_1 =
productionblock_1->rewrite(kc_current_view_base);
Ccode_option l_Ccode_option_1 =
Ccode_option_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_storageoption_1 == storageoption_1) && (l_productionblock_1 == productionblock_1) && (l_Ccode_option_1 == Ccode_option_1))
return this;
else {
impl_phylumdeclaration_PhylumDeclaration* kc_result= PhylumDeclaration(l_ID_1, l_storageoption_1, l_productionblock_1, l_Ccode_option_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
storageoption impl_storageoption_PositiveStorageOption::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_storageoption_PositiveStorageOption* kc_result= PositiveStorageOption(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
storageoption impl_storageoption_NegativeStorageOption::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_storageoption_NegativeStorageOption* kc_result= NegativeStorageOption(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
storageoption impl_storageoption_NoStorageOption::rewrite(rview kc_current_view_base)
{
return this;
}
storageclasses impl_storageclasses::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
storageclasses l_storageclasses_1 =
storageclasses_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_storageclasses_1 == storageclasses_1))
return this;
else {
impl_storageclasses* kc_result= Consstorageclasses(l_ID_1, l_storageclasses_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
productionblock impl_productionblock_PredefinedAlternatives::rewrite(rview kc_current_view_base)
{
alternatives l_alternatives_1 =
alternatives_1->rewrite(kc_current_view_base);
if ((l_alternatives_1 == alternatives_1))
return this;
else {
impl_productionblock_PredefinedAlternatives* kc_result= PredefinedAlternatives(l_alternatives_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
productionblock impl_productionblock_NonlistAlternatives::rewrite(rview kc_current_view_base)
{
alternatives l_alternatives_1 =
alternatives_1->rewrite(kc_current_view_base);
if ((l_alternatives_1 == alternatives_1))
return this;
else {
impl_productionblock_NonlistAlternatives* kc_result= NonlistAlternatives(l_alternatives_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
productionblock impl_productionblock_ListAlternatives::rewrite(rview kc_current_view_base)
{
alternatives l_alternatives_1 =
alternatives_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_alternatives_1 == alternatives_1) && (l_ID_1 == ID_1))
return this;
else {
impl_productionblock_ListAlternatives* kc_result= ListAlternatives(l_alternatives_1, l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
productionblock impl_productionblock_Emptyproductionblock::rewrite(rview kc_current_view_base)
{
return this;
}
alternatives impl_alternatives::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
alternative l_alternative_1 =
alternative_1->rewrite(kc_current_view_base);
alternatives l_alternatives_1 =
alternatives_1->rewrite(kc_current_view_base);
if ((l_alternative_1 == alternative_1) && (l_alternatives_1 == alternatives_1))
return this;
else {
impl_alternatives* kc_result= Consalternatives(l_alternative_1, l_alternatives_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
alternative impl_alternative_Alternative::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
arguments l_arguments_1 =
arguments_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_arguments_1 == arguments_1))
return this;
else {
impl_alternative_Alternative* kc_result= Alternative(l_ID_1, l_arguments_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
arguments impl_arguments::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
arguments l_arguments_1 =
arguments_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_arguments_1 == arguments_1))
return this;
else {
impl_arguments* kc_result= Consarguments(l_ID_1, l_arguments_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
argument impl_argument_Argument::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_integer_1 == integer_1))
return this;
else {
impl_argument_Argument* kc_result= Argument(l_ID_1, l_integer_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ccode_option impl_Ccode_option_CcodeOption::rewrite(rview kc_current_view_base)
{
attributes l_attributes_1 =
attributes_1->rewrite(kc_current_view_base);
Ctexts l_Ctexts_1 =
Ctexts_1->rewrite(kc_current_view_base);
if ((l_attributes_1 == attributes_1) && (l_Ctexts_1 == Ctexts_1))
return this;
else {
impl_Ccode_option_CcodeOption* kc_result= CcodeOption(l_attributes_1, l_Ctexts_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
attributes impl_attributes::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
attribute l_attribute_1 =
attribute_1->rewrite(kc_current_view_base);
attributes l_attributes_1 =
attributes_1->rewrite(kc_current_view_base);
if ((l_attribute_1 == attribute_1) && (l_attributes_1 == attributes_1))
return this;
else {
impl_attributes* kc_result= Consattributes(l_attribute_1, l_attributes_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
attribute impl_attribute_Attribute::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
ID l_ID_2 =
ID_2->rewrite(kc_current_view_base);
attribute_initialisation_option l_attribute_initialisation_option_1 =
attribute_initialisation_option_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_ID_2 == ID_2) && (l_attribute_initialisation_option_1 == attribute_initialisation_option_1))
return this;
else {
impl_attribute_Attribute* kc_result= Attribute(l_ID_1, l_ID_2, l_attribute_initialisation_option_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
attribute_initialisation_option impl_attribute_initialisation_option_Yesattribute_initialisation::rewrite(rview kc_current_view_base)
{
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_attribute_initialisation_option_Yesattribute_initialisation* kc_result= Yesattribute_initialisation(l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
attribute_initialisation_option impl_attribute_initialisation_option_Noattribute_initialisation::rewrite(rview kc_current_view_base)
{
return this;
}
Cexpression impl_Cexpression::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
Cexpression_elem l_Cexpression_elem_1 =
Cexpression_elem_1->rewrite(kc_current_view_base);
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_elem_1 == Cexpression_elem_1) && (l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_Cexpression* kc_result= ConsCexpression(l_Cexpression_elem_1, l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
Cexpression_elem impl_Cexpression_elem_CExpressionArray::rewrite(rview kc_current_view_base)
{
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_Cexpression_elem_CExpressionArray* kc_result= CExpressionArray(l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Cexpression_elem impl_Cexpression_elem_CExpressionPack::rewrite(rview kc_current_view_base)
{
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_Cexpression_elem_CExpressionPack* kc_result= CExpressionPack(l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Cexpression_elem impl_Cexpression_elem_CExpressionSQ::rewrite(rview kc_current_view_base)
{
CexpressionSQ l_CexpressionSQ_1 =
CexpressionSQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionSQ_1 == CexpressionSQ_1))
return this;
else {
impl_Cexpression_elem_CExpressionSQ* kc_result= CExpressionSQ(l_CexpressionSQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Cexpression_elem impl_Cexpression_elem_CExpressionDQ::rewrite(rview kc_current_view_base)
{
CexpressionDQ l_CexpressionDQ_1 =
CexpressionDQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionDQ_1 == CexpressionDQ_1))
return this;
else {
impl_Cexpression_elem_CExpressionDQ* kc_result= CExpressionDQ(l_CexpressionDQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Cexpression_elem impl_Cexpression_elem_CExpressionNl::rewrite(rview kc_current_view_base)
{
return this;
}
Cexpression_elem impl_Cexpression_elem_CExpressionDollarvar::rewrite(rview kc_current_view_base)
{
INT l_INT_1 =
INT_1->rewrite(kc_current_view_base);
if ((l_INT_1 == INT_1))
return this;
else {
impl_Cexpression_elem_CExpressionDollarvar* kc_result= CExpressionDollarvar(l_INT_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Cexpression_elem impl_Cexpression_elem_CExpressionPart::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_Cexpression_elem_CExpressionPart* kc_result= CExpressionPart(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
CexpressionDQ impl_CexpressionDQ::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
CexpressionDQ_elem l_CexpressionDQ_elem_1 =
CexpressionDQ_elem_1->rewrite(kc_current_view_base);
CexpressionDQ l_CexpressionDQ_1 =
CexpressionDQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionDQ_elem_1 == CexpressionDQ_elem_1) && (l_CexpressionDQ_1 == CexpressionDQ_1))
return this;
else {
impl_CexpressionDQ* kc_result= ConsCexpressionDQ(l_CexpressionDQ_elem_1, l_CexpressionDQ_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
CexpressionDQ_elem impl_CexpressionDQ_elem_CExpressionDQNl::rewrite(rview kc_current_view_base)
{
return this;
}
CexpressionDQ_elem impl_CexpressionDQ_elem_CExpressionDQPart::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_CexpressionDQ_elem_CExpressionDQPart* kc_result= CExpressionDQPart(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
CexpressionSQ impl_CexpressionSQ::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
CexpressionSQ_elem l_CexpressionSQ_elem_1 =
CexpressionSQ_elem_1->rewrite(kc_current_view_base);
CexpressionSQ l_CexpressionSQ_1 =
CexpressionSQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionSQ_elem_1 == CexpressionSQ_elem_1) && (l_CexpressionSQ_1 == CexpressionSQ_1))
return this;
else {
impl_CexpressionSQ* kc_result= ConsCexpressionSQ(l_CexpressionSQ_elem_1, l_CexpressionSQ_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
CexpressionSQ_elem impl_CexpressionSQ_elem_CExpressionSQNl::rewrite(rview kc_current_view_base)
{
return this;
}
CexpressionSQ_elem impl_CexpressionSQ_elem_CExpressionSQPart::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_CexpressionSQ_elem_CExpressionSQPart* kc_result= CExpressionSQPart(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
idCexpressions impl_idCexpressions::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
idCexpression l_idCexpression_1 =
idCexpression_1->rewrite(kc_current_view_base);
idCexpressions l_idCexpressions_1 =
idCexpressions_1->rewrite(kc_current_view_base);
if ((l_idCexpression_1 == idCexpression_1) && (l_idCexpressions_1 == idCexpressions_1))
return this;
else {
impl_idCexpressions* kc_result= ConsidCexpressions(l_idCexpression_1, l_idCexpressions_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
idCexpression impl_idCexpression_IdCexpression::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_idCexpression_IdCexpression* kc_result= IdCexpression(l_ID_1, l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctexts impl_Ctexts::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
Ctexts l_Ctexts_1 =
Ctexts_1->rewrite(kc_current_view_base);
if ((l_Ctext_1 == Ctext_1) && (l_Ctexts_1 == Ctexts_1))
return this;
else {
impl_Ctexts* kc_result= ConsCtexts(l_Ctext_1, l_Ctexts_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
includefiles impl_includefiles::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
includefile l_includefile_1 =
includefile_1->rewrite(kc_current_view_base);
includefiles l_includefiles_1 =
includefiles_1->rewrite(kc_current_view_base);
if ((l_includefile_1 == includefile_1) && (l_includefiles_1 == includefiles_1))
return this;
else {
impl_includefiles* kc_result= Consincludefiles(l_includefile_1, l_includefiles_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
includefile impl_includefile_IncludeFile::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_includefile_IncludeFile* kc_result= IncludeFile(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
includedeclarations impl_includedeclarations::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
includedeclaration l_includedeclaration_1 =
includedeclaration_1->rewrite(kc_current_view_base);
includedeclarations l_includedeclarations_1 =
includedeclarations_1->rewrite(kc_current_view_base);
if ((l_includedeclaration_1 == includedeclaration_1) && (l_includedeclarations_1 == includedeclarations_1))
return this;
else {
impl_includedeclarations* kc_result= Consincludedeclarations(l_includedeclaration_1, l_includedeclarations_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
includedeclaration impl_includedeclaration_IncludeDeclaration::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_includedeclaration_IncludeDeclaration* kc_result= IncludeDeclaration(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
rwdeclarations impl_rwdeclarations::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
rwdeclaration l_rwdeclaration_1 =
rwdeclaration_1->rewrite(kc_current_view_base);
rwdeclarations l_rwdeclarations_1 =
rwdeclarations_1->rewrite(kc_current_view_base);
if ((l_rwdeclaration_1 == rwdeclaration_1) && (l_rwdeclarations_1 == rwdeclarations_1))
return this;
else {
impl_rwdeclarations* kc_result= Consrwdeclarations(l_rwdeclaration_1, l_rwdeclarations_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
rwdeclaration impl_rwdeclaration_RwDeclaration::rewrite(rview kc_current_view_base)
{
outmostpatterns l_outmostpatterns_1 =
outmostpatterns_1->rewrite(kc_current_view_base);
rewriteclauses l_rewriteclauses_1 =
rewriteclauses_1->rewrite(kc_current_view_base);
if ((l_outmostpatterns_1 == outmostpatterns_1) && (l_rewriteclauses_1 == rewriteclauses_1))
return this;
else {
impl_rwdeclaration_RwDeclaration* kc_result= RwDeclaration(l_outmostpatterns_1, l_rewriteclauses_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
rewriteclauses impl_rewriteclauses::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
rewriteclause l_rewriteclause_1 =
rewriteclause_1->rewrite(kc_current_view_base);
rewriteclauses l_rewriteclauses_1 =
rewriteclauses_1->rewrite(kc_current_view_base);
if ((l_rewriteclause_1 == rewriteclause_1) && (l_rewriteclauses_1 == rewriteclauses_1))
return this;
else {
impl_rewriteclauses* kc_result= Consrewriteclauses(l_rewriteclause_1, l_rewriteclauses_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
rewriteclause impl_rewriteclause_RewriteClause::rewrite(rview kc_current_view_base)
{
viewnames l_viewnames_1 =
viewnames_1->rewrite(kc_current_view_base);
term l_term_1 =
term_1->rewrite(kc_current_view_base);
if ((l_viewnames_1 == viewnames_1) && (l_term_1 == term_1))
return this;
else {
impl_rewriteclause_RewriteClause* kc_result= RewriteClause(l_viewnames_1, l_term_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
patternchains impl_patternchains::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
patternchain l_patternchain_1 =
patternchain_1->rewrite(kc_current_view_base);
patternchains l_patternchains_1 =
patternchains_1->rewrite(kc_current_view_base);
switch(kc_current_view_base) {
default:
case base_rview_enum: {
base_rview_class& kc_current_view=static_cast<base_rview_class&>(kc_current_view_base);
if ((l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain) && (l_patternchains_1->prod_sel() == sel_Nilpatternchains)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 341, this);
const patternchains P_pcs = phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1;
patternchains kc_result = P_pcs;
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",342,kc_result);
return (const_cast<const impl_patternchains*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain) && (l_patternchains_1->prod_sel() == sel_Conspatternchains)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 352, this);
const patternchains P_pcs = phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1;
const patternchains Q_pcs = l_patternchains_1;
patternchains kc_result = concat(P_pcs, Q_pcs);
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",353,kc_result);
return (const_cast<const impl_patternchains*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
break; }
}
if ((l_patternchain_1 == patternchain_1) && (l_patternchains_1 == patternchains_1))
return this;
else {
impl_patternchains* kc_result= Conspatternchains(l_patternchain_1, l_patternchains_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
patternchain impl_patternchain::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
patternchainitem l_patternchainitem_1 =
patternchainitem_1->rewrite(kc_current_view_base);
patternchain l_patternchain_1 =
patternchain_1->rewrite(kc_current_view_base);
switch(kc_current_view_base) {
default:
case base_rview_enum: {
base_rview_class& kc_current_view=static_cast<base_rview_class&>(kc_current_view_base);
if ((l_patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && (l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Nilpatternchains) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 277, this);
const patternchain h_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchain_1;
const patternchains T_pcs = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1;
const patternchain Y_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchain_1;
patternchain kc_result = Conspatternchain(PatternchainitemGroup(Conspatternchains(concat(h_pc, Y_pc), Conspatternchains(Conspatternchain(PatternchainitemGroup(T_pcs), Y_pc), Nilpatternchains()))), Nilpatternchain());
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",297,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && (l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 287, this);
const patternchain h_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchain_1;
const patternchains T_pcs = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1;
const patternchain Y_pc = l_patternchain_1;
patternchain kc_result = Conspatternchain(PatternchainitemGroup(Conspatternchains(concat(h_pc, Y_pc), Conspatternchains(Conspatternchain(PatternchainitemGroup(T_pcs), Y_pc), Nilpatternchains()))), Nilpatternchain());
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",297,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Nilpatternchains) && (l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Nilpatternchains) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 365, this);
const patternchain P_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchain_1;
const patternchain Q_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchain_1;
patternchain kc_result = concat(P_pc, Q_pc);
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",366,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Nilpatternchains) && (l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 377, this);
const patternchain P_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchain_1;
const patternchain Q_pc = l_patternchain_1;
patternchain kc_result = concat(P_pc, Q_pc);
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",378,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && (l_patternchain_1->prod_sel() == sel_Conspatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 283, this);
const patternchain h_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchain_1;
const patternchains T_pcs = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1;
const patternchain Y_pc = l_patternchain_1;
patternchain kc_result = Conspatternchain(PatternchainitemGroup(Conspatternchains(concat(h_pc, Y_pc), Conspatternchains(Conspatternchain(PatternchainitemGroup(T_pcs), Y_pc), Nilpatternchains()))), Nilpatternchain());
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",297,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Nilpatternchains) && (l_patternchain_1->prod_sel() == sel_Conspatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 373, this);
const patternchain P_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>(l_patternchainitem_1)->patternchains_1)->patternchain_1;
const patternchain Q_pc = l_patternchain_1;
patternchain kc_result = concat(P_pc, Q_pc);
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",378,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 306, this);
const patternchainitem p = l_patternchainitem_1;
const patternchain h_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchain_1;
const patternchains T_pcs = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchains_1;
patternchain kc_result = Conspatternchain(PatternchainitemGroup(Conspatternchains(Conspatternchain(p, h_pc), Conspatternchains(Conspatternchain(p, Conspatternchain(PatternchainitemGroup(T_pcs), Nilpatternchain())), Nilpatternchains()))), Nilpatternchain());
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",321,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_patternchain_1->prod_sel() == sel_Conspatternchain) && ((l_patternchain_1)->patternchainitem_1->prod_sel() == sel_PatternchainitemGroup) && (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1->prod_sel() == sel_Conspatternchains) && ((phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchains_1->prod_sel() == sel_Nilpatternchains) && ((l_patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 387, this);
const patternchainitem p = l_patternchainitem_1;
const patternchain P_pc = (phylum_cast<const impl_patternchainitem_PatternchainitemGroup*>((l_patternchain_1)->patternchainitem_1)->patternchains_1)->patternchain_1;
patternchain kc_result = Conspatternchain(p, P_pc);
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",388,kc_result);
return (const_cast<const impl_patternchain*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
break; }
}
if ((l_patternchainitem_1 == patternchainitem_1) && (l_patternchain_1 == patternchain_1))
return this;
else {
impl_patternchain* kc_result= Conspatternchain(l_patternchainitem_1, l_patternchain_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
outmostpatterns impl_outmostpatterns::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
outmostpattern l_outmostpattern_1 =
outmostpattern_1->rewrite(kc_current_view_base);
outmostpatterns l_outmostpatterns_1 =
outmostpatterns_1->rewrite(kc_current_view_base);
if ((l_outmostpattern_1 == outmostpattern_1) && (l_outmostpatterns_1 == outmostpatterns_1))
return this;
else {
impl_outmostpatterns* kc_result= Consoutmostpatterns(l_outmostpattern_1, l_outmostpatterns_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
patternchainitem impl_patternchainitem_PatternchainitemDollarid::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_patternchainitem_PatternchainitemDollarid* kc_result= PatternchainitemDollarid(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
patternchainitem impl_patternchainitem_PatternchainitemGroup::rewrite(rview kc_current_view_base)
{
patternchains l_patternchains_1 =
patternchains_1->rewrite(kc_current_view_base);
switch(kc_current_view_base) {
default:
case base_rview_enum: {
base_rview_class& kc_current_view=static_cast<base_rview_class&>(kc_current_view_base);
if ((l_patternchains_1->prod_sel() == sel_Conspatternchains) && ((l_patternchains_1)->patternchain_1->prod_sel() == sel_Conspatternchain) && (((l_patternchains_1)->patternchain_1)->patternchain_1->prod_sel() == sel_Nilpatternchain) && ((l_patternchains_1)->patternchains_1->prod_sel() == sel_Nilpatternchains)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "util.k", 330, this);
const patternchainitem h_p = ((l_patternchains_1)->patternchain_1)->patternchainitem_1;
patternchainitem kc_result = h_p;
KC_TRACE_REWRITE_RESULT(kc_current_view,"util.k",331,kc_result);
return (const_cast<const impl_patternchainitem*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
break; }
}
if ((l_patternchains_1 == patternchains_1))
return this;
else {
impl_patternchainitem_PatternchainitemGroup* kc_result= PatternchainitemGroup(l_patternchains_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
patternchainitem impl_patternchainitem_PatternchainitemOutmost::rewrite(rview kc_current_view_base)
{
outmostpattern l_outmostpattern_1 =
outmostpattern_1->rewrite(kc_current_view_base);
if ((l_outmostpattern_1 == outmostpattern_1))
return this;
else {
impl_patternchainitem_PatternchainitemOutmost* kc_result= PatternchainitemOutmost(l_outmostpattern_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
outmostpattern impl_outmostpattern_OPDefault::rewrite(rview kc_current_view_base)
{
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_outmostpattern_OPDefault* kc_result= OPDefault(l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
outmostpattern impl_outmostpattern_OPWildcard::rewrite(rview kc_current_view_base)
{
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_outmostpattern_OPWildcard* kc_result= OPWildcard(l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
outmostpattern impl_outmostpattern_OPNonLeafVariable::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
outmostpattern l_outmostpattern_1 =
outmostpattern_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_outmostpattern_1 == outmostpattern_1))
return this;
else {
impl_outmostpattern_OPNonLeafVariable* kc_result= OPNonLeafVariable(l_ID_1, l_outmostpattern_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
outmostpattern impl_outmostpattern_OPOperator::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
patterns l_patterns_1 =
patterns_1->rewrite(kc_current_view_base);
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_patterns_1 == patterns_1) && (l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_outmostpattern_OPOperator* kc_result= OPOperator(l_ID_1, l_patterns_1, l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
outmostpattern impl_outmostpattern_OPOperatorWildcard::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_outmostpattern_OPOperatorWildcard* kc_result= OPOperatorWildcard(l_ID_1, l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
pattern impl_pattern_PIntLiteral::rewrite(rview kc_current_view_base)
{
INT l_INT_1 =
INT_1->rewrite(kc_current_view_base);
if ((l_INT_1 == INT_1))
return this;
else {
impl_pattern_PIntLiteral* kc_result= PIntLiteral(l_INT_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
pattern impl_pattern_PStringLiteral::rewrite(rview kc_current_view_base)
{
CexpressionDQ l_CexpressionDQ_1 =
CexpressionDQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionDQ_1 == CexpressionDQ_1))
return this;
else {
impl_pattern_PStringLiteral* kc_result= PStringLiteral(l_CexpressionDQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
pattern impl_pattern_PWildcard::rewrite(rview kc_current_view_base)
{
return this;
}
pattern impl_pattern_PNonLeafVariable::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
pattern l_pattern_1 =
pattern_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_pattern_1 == pattern_1))
return this;
else {
impl_pattern_PNonLeafVariable* kc_result= PNonLeafVariable(l_ID_1, l_pattern_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
pattern impl_pattern_POperator::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
patterns l_patterns_1 =
patterns_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_patterns_1 == patterns_1))
return this;
else {
impl_pattern_POperator* kc_result= POperator(l_ID_1, l_patterns_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
pattern impl_pattern_PVariable::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_pattern_PVariable* kc_result= PVariable(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
patterns impl_patterns::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
pattern l_pattern_1 =
pattern_1->rewrite(kc_current_view_base);
patterns l_patterns_1 =
patterns_1->rewrite(kc_current_view_base);
if ((l_pattern_1 == pattern_1) && (l_patterns_1 == patterns_1))
return this;
else {
impl_patterns* kc_result= Conspatterns(l_pattern_1, l_patterns_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
term impl_term_TIntLiteral::rewrite(rview kc_current_view_base)
{
INT l_INT_1 =
INT_1->rewrite(kc_current_view_base);
if ((l_INT_1 == INT_1))
return this;
else {
impl_term_TIntLiteral* kc_result= TIntLiteral(l_INT_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TStringLiteral::rewrite(rview kc_current_view_base)
{
CexpressionDQ l_CexpressionDQ_1 =
CexpressionDQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionDQ_1 == CexpressionDQ_1))
return this;
else {
impl_term_TStringLiteral* kc_result= TStringLiteral(l_CexpressionDQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TCTerm::rewrite(rview kc_current_view_base)
{
CexpressionSQ l_CexpressionSQ_1 =
CexpressionSQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionSQ_1 == CexpressionSQ_1))
return this;
else {
impl_term_TCTerm* kc_result= TCTerm(l_CexpressionSQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TMemberVarDot::rewrite(rview kc_current_view_base)
{
term l_term_1 =
term_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_term_1 == term_1) && (l_ID_1 == ID_1))
return this;
else {
impl_term_TMemberVarDot* kc_result= TMemberVarDot(l_term_1, l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TMemberVar::rewrite(rview kc_current_view_base)
{
term l_term_1 =
term_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_term_1 == term_1) && (l_ID_1 == ID_1))
return this;
else {
impl_term_TMemberVar* kc_result= TMemberVar(l_term_1, l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TMethodDot::rewrite(rview kc_current_view_base)
{
term l_term_1 =
term_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
terms l_terms_1 =
terms_1->rewrite(kc_current_view_base);
if ((l_term_1 == term_1) && (l_ID_1 == ID_1) && (l_terms_1 == terms_1))
return this;
else {
impl_term_TMethodDot* kc_result= TMethodDot(l_term_1, l_ID_1, l_terms_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TMethod::rewrite(rview kc_current_view_base)
{
term l_term_1 =
term_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
terms l_terms_1 =
terms_1->rewrite(kc_current_view_base);
if ((l_term_1 == term_1) && (l_ID_1 == ID_1) && (l_terms_1 == terms_1))
return this;
else {
impl_term_TMethod* kc_result= TMethod(l_term_1, l_ID_1, l_terms_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TOperator::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
terms l_terms_1 =
terms_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_terms_1 == terms_1))
return this;
else {
impl_term_TOperator* kc_result= TOperator(l_ID_1, l_terms_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
term impl_term_TVariable::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_term_TVariable* kc_result= TVariable(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
terms impl_terms::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
term l_term_1 =
term_1->rewrite(kc_current_view_base);
terms l_terms_1 =
terms_1->rewrite(kc_current_view_base);
if ((l_term_1 == term_1) && (l_terms_1 == terms_1))
return this;
else {
impl_terms* kc_result= Consterms(l_term_1, l_terms_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
fnfiles impl_fnfiles::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
fnfile l_fnfile_1 =
fnfile_1->rewrite(kc_current_view_base);
fnfiles l_fnfiles_1 =
fnfiles_1->rewrite(kc_current_view_base);
if ((l_fnfile_1 == fnfile_1) && (l_fnfiles_1 == fnfiles_1))
return this;
else {
impl_fnfiles* kc_result= Consfnfiles(l_fnfile_1, l_fnfiles_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
fnfile impl_fnfile_FnFile::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_fnfile_FnFile* kc_result= FnFile(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
fndeclarations impl_fndeclarations::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
fndeclaration l_fndeclaration_1 =
fndeclaration_1->rewrite(kc_current_view_base);
fndeclarations l_fndeclarations_1 =
fndeclarations_1->rewrite(kc_current_view_base);
if ((l_fndeclaration_1 == fndeclaration_1) && (l_fndeclarations_1 == fndeclarations_1))
return this;
else {
impl_fndeclarations* kc_result= Consfndeclarations(l_fndeclaration_1, l_fndeclarations_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
fndeclaration impl_fndeclaration_AcMemberDeclaration::rewrite(rview kc_current_view_base)
{
ac_declaration_specifiers l_ac_declaration_specifiers_1 =
ac_declaration_specifiers_1->rewrite(kc_current_view_base);
ac_declarator l_ac_declarator_1 =
ac_declarator_1->rewrite(kc_current_view_base);
ac_constant_expression_option l_ac_constant_expression_option_1 =
ac_constant_expression_option_1->rewrite(kc_current_view_base);
fnclass l_fnclass_1 =
fnclass_1->rewrite(kc_current_view_base);
if ((l_ac_declaration_specifiers_1 == ac_declaration_specifiers_1) && (l_ac_declarator_1 == ac_declarator_1) && (l_ac_constant_expression_option_1 == ac_constant_expression_option_1) && (l_fnclass_1 == fnclass_1))
return this;
else {
impl_fndeclaration_AcMemberDeclaration* kc_result= AcMemberDeclaration(l_ac_declaration_specifiers_1, l_ac_declarator_1, l_ac_constant_expression_option_1, l_fnclass_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
fndeclaration impl_fndeclaration_FnAcDeclaration::rewrite(rview kc_current_view_base)
{
ac_declaration_specifiers l_ac_declaration_specifiers_1 =
ac_declaration_specifiers_1->rewrite(kc_current_view_base);
ac_declarator l_ac_declarator_1 =
ac_declarator_1->rewrite(kc_current_view_base);
ac_declaration_list l_ac_declaration_list_1 =
ac_declaration_list_1->rewrite(kc_current_view_base);
ac_opt_base_init_list l_ac_opt_base_init_list_1 =
ac_opt_base_init_list_1->rewrite(kc_current_view_base);
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
fnclass l_fnclass_1 =
fnclass_1->rewrite(kc_current_view_base);
if ((l_ac_declaration_specifiers_1 == ac_declaration_specifiers_1) && (l_ac_declarator_1 == ac_declarator_1) && (l_ac_declaration_list_1 == ac_declaration_list_1) && (l_ac_opt_base_init_list_1 == ac_opt_base_init_list_1) && (l_Ctext_1 == Ctext_1) && (l_ID_1 == ID_1) && (l_fnclass_1 == fnclass_1))
return this;
else {
impl_fndeclaration_FnAcDeclaration* kc_result= FnAcDeclaration(l_ac_declaration_specifiers_1, l_ac_declarator_1, l_ac_declaration_list_1, l_ac_opt_base_init_list_1, l_Ctext_1, l_ID_1, l_fnclass_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
fnclass impl_fnclass_ConvOperatorFn::rewrite(rview kc_current_view_base)
{
return this;
}
fnclass impl_fnclass_DestructorFn::rewrite(rview kc_current_view_base)
{
return this;
}
fnclass impl_fnclass_ConstructorFn::rewrite(rview kc_current_view_base)
{
return this;
}
fnclass impl_fnclass_MemberFn::rewrite(rview kc_current_view_base)
{
return this;
}
fnclass impl_fnclass_StaticFn::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_fnclass_StaticFn* kc_result= StaticFn(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
fnclass impl_fnclass_GlobalFn::rewrite(rview kc_current_view_base)
{
return this;
}
Ctext impl_Ctext::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
Ctext_elem l_Ctext_elem_1 =
Ctext_elem_1->rewrite(kc_current_view_base);
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
if ((l_Ctext_elem_1 == Ctext_elem_1) && (l_Ctext_1 == Ctext_1))
return this;
else {
impl_Ctext* kc_result= ConsCtext(l_Ctext_elem_1, l_Ctext_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
Ctext_elem impl_Ctext_elem_CTextWithexpression::rewrite(rview kc_current_view_base)
{
withexpressions l_withexpressions_1 =
withexpressions_1->rewrite(kc_current_view_base);
withcases l_withcases_1 =
withcases_1->rewrite(kc_current_view_base);
contextinfo l_contextinfo_1 =
contextinfo_1->rewrite(kc_current_view_base);
if ((l_withexpressions_1 == withexpressions_1) && (l_withcases_1 == withcases_1) && (l_contextinfo_1 == contextinfo_1))
return this;
else {
impl_Ctext_elem_CTextWithexpression* kc_result= CTextWithexpression(l_withexpressions_1, l_withcases_1, l_contextinfo_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctext_elem impl_Ctext_elem_CTextForeachexpression::rewrite(rview kc_current_view_base)
{
patternchain l_patternchain_1 =
patternchain_1->rewrite(kc_current_view_base);
idCexpressions l_idCexpressions_1 =
idCexpressions_1->rewrite(kc_current_view_base);
withexpressions l_withexpressions_1 =
withexpressions_1->rewrite(kc_current_view_base);
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
foreach_after l_foreach_after_1 =
foreach_after_1->rewrite(kc_current_view_base);
if ((l_patternchain_1 == patternchain_1) && (l_idCexpressions_1 == idCexpressions_1) && (l_withexpressions_1 == withexpressions_1) && (l_Ctext_1 == Ctext_1) && (l_foreach_after_1 == foreach_after_1))
return this;
else {
impl_Ctext_elem_CTextForeachexpression* kc_result= CTextForeachexpression(l_patternchain_1, l_idCexpressions_1, l_withexpressions_1, l_Ctext_1, l_foreach_after_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctext_elem impl_Ctext_elem_CTextCbody::rewrite(rview kc_current_view_base)
{
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
if ((l_Ctext_1 == Ctext_1))
return this;
else {
impl_Ctext_elem_CTextCbody* kc_result= CTextCbody(l_Ctext_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctext_elem impl_Ctext_elem_CTextCexpressionSQ::rewrite(rview kc_current_view_base)
{
CexpressionSQ l_CexpressionSQ_1 =
CexpressionSQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionSQ_1 == CexpressionSQ_1))
return this;
else {
impl_Ctext_elem_CTextCexpressionSQ* kc_result= CTextCexpressionSQ(l_CexpressionSQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctext_elem impl_Ctext_elem_CTextCexpressionDQ::rewrite(rview kc_current_view_base)
{
CexpressionDQ l_CexpressionDQ_1 =
CexpressionDQ_1->rewrite(kc_current_view_base);
if ((l_CexpressionDQ_1 == CexpressionDQ_1))
return this;
else {
impl_Ctext_elem_CTextCexpressionDQ* kc_result= CTextCexpressionDQ(l_CexpressionDQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctext_elem impl_Ctext_elem_CTextNl::rewrite(rview kc_current_view_base)
{
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
if ((l_integer_1 == integer_1))
return this;
else {
impl_Ctext_elem_CTextNl* kc_result= CTextNl(l_integer_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctext_elem impl_Ctext_elem_CTextDollarVar::rewrite(rview kc_current_view_base)
{
INT l_INT_1 =
INT_1->rewrite(kc_current_view_base);
if ((l_INT_1 == INT_1))
return this;
else {
impl_Ctext_elem_CTextDollarVar* kc_result= CTextDollarVar(l_INT_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
Ctext_elem impl_Ctext_elem_CTextLine::rewrite(rview kc_current_view_base)
{
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
if ((l_casestring_1 == casestring_1))
return this;
else {
impl_Ctext_elem_CTextLine* kc_result= CTextLine(l_casestring_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
foreach_after impl_foreach_after_ForeachAfter::rewrite(rview kc_current_view_base)
{
patternchain l_patternchain_1 =
patternchain_1->rewrite(kc_current_view_base);
idCexpressions l_idCexpressions_1 =
idCexpressions_1->rewrite(kc_current_view_base);
withexpressions l_withexpressions_1 =
withexpressions_1->rewrite(kc_current_view_base);
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
if ((l_patternchain_1 == patternchain_1) && (l_idCexpressions_1 == idCexpressions_1) && (l_withexpressions_1 == withexpressions_1) && (l_Ctext_1 == Ctext_1))
return this;
else {
impl_foreach_after_ForeachAfter* kc_result= ForeachAfter(l_patternchain_1, l_idCexpressions_1, l_withexpressions_1, l_Ctext_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
foreach_after impl_foreach_after_NoForeachAfter::rewrite(rview kc_current_view_base)
{
return this;
}
contextinfo impl_contextinfo_NotInForeachContext::rewrite(rview kc_current_view_base)
{
return this;
}
contextinfo impl_contextinfo_InForeachContext::rewrite(rview kc_current_view_base)
{
patternchain l_patternchain_1 =
patternchain_1->rewrite(kc_current_view_base);
if ((l_patternchain_1 == patternchain_1))
return this;
else {
impl_contextinfo_InForeachContext* kc_result= InForeachContext(l_patternchain_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
withexpressions impl_withexpressions::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
withexpression l_withexpression_1 =
withexpression_1->rewrite(kc_current_view_base);
withexpressions l_withexpressions_1 =
withexpressions_1->rewrite(kc_current_view_base);
if ((l_withexpression_1 == withexpression_1) && (l_withexpressions_1 == withexpressions_1))
return this;
else {
impl_withexpressions* kc_result= Conswithexpressions(l_withexpression_1, l_withexpressions_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
withexpression impl_withexpression_WECexpression::rewrite(rview kc_current_view_base)
{
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_withexpression_WECexpression* kc_result= WECexpression(l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
withexpression impl_withexpression_WEVariable::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_withexpression_WEVariable* kc_result= WEVariable(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
withcases impl_withcases::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
withcase l_withcase_1 =
withcase_1->rewrite(kc_current_view_base);
withcases l_withcases_1 =
withcases_1->rewrite(kc_current_view_base);
if ((l_withcase_1 == withcase_1) && (l_withcases_1 == withcases_1))
return this;
else {
impl_withcases* kc_result= Conswithcases(l_withcase_1, l_withcases_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
withcase impl_withcase_Withcase::rewrite(rview kc_current_view_base)
{
patternchains l_patternchains_1 =
patternchains_1->rewrite(kc_current_view_base);
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
if ((l_patternchains_1 == patternchains_1) && (l_Ctext_1 == Ctext_1))
return this;
else {
impl_withcase_Withcase* kc_result= Withcase(l_patternchains_1, l_Ctext_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unparsedeclarations impl_unparsedeclarations::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
unparsedeclaration l_unparsedeclaration_1 =
unparsedeclaration_1->rewrite(kc_current_view_base);
unparsedeclarations l_unparsedeclarations_1 =
unparsedeclarations_1->rewrite(kc_current_view_base);
if ((l_unparsedeclaration_1 == unparsedeclaration_1) && (l_unparsedeclarations_1 == unparsedeclarations_1))
return this;
else {
impl_unparsedeclarations* kc_result= Consunparsedeclarations(l_unparsedeclaration_1, l_unparsedeclarations_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
unparsedeclaration impl_unparsedeclaration_UnparseDeclaration::rewrite(rview kc_current_view_base)
{
outmostpatterns l_outmostpatterns_1 =
outmostpatterns_1->rewrite(kc_current_view_base);
unparseclauses l_unparseclauses_1 =
unparseclauses_1->rewrite(kc_current_view_base);
if ((l_outmostpatterns_1 == outmostpatterns_1) && (l_unparseclauses_1 == unparseclauses_1))
return this;
else {
impl_unparsedeclaration_UnparseDeclaration* kc_result= UnparseDeclaration(l_outmostpatterns_1, l_unparseclauses_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unparseclauses impl_unparseclauses::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
unparseclause l_unparseclause_1 =
unparseclause_1->rewrite(kc_current_view_base);
unparseclauses l_unparseclauses_1 =
unparseclauses_1->rewrite(kc_current_view_base);
if ((l_unparseclause_1 == unparseclause_1) && (l_unparseclauses_1 == unparseclauses_1))
return this;
else {
impl_unparseclauses* kc_result= Consunparseclauses(l_unparseclause_1, l_unparseclauses_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
unparseclause impl_unparseclause_UnparseClause::rewrite(rview kc_current_view_base)
{
viewnames l_viewnames_1 =
viewnames_1->rewrite(kc_current_view_base);
unparseitems l_unparseitems_1 =
unparseitems_1->rewrite(kc_current_view_base);
if ((l_viewnames_1 == viewnames_1) && (l_unparseitems_1 == unparseitems_1))
return this;
else {
impl_unparseclause_UnparseClause* kc_result= UnparseClause(l_viewnames_1, l_unparseitems_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
viewnames impl_viewnames::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
viewnames l_viewnames_1 =
viewnames_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_viewnames_1 == viewnames_1))
return this;
else {
impl_viewnames* kc_result= Consviewnames(l_ID_1, l_viewnames_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
unparseitems impl_unparseitems::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
unparseitem l_unparseitem_1 =
unparseitem_1->rewrite(kc_current_view_base);
unparseitems l_unparseitems_1 =
unparseitems_1->rewrite(kc_current_view_base);
if ((l_unparseitem_1 == unparseitem_1) && (l_unparseitems_1 == unparseitems_1))
return this;
else {
impl_unparseitems* kc_result= Consunparseitems(l_unparseitem_1, l_unparseitems_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
unparseitem impl_unparseitem_UViewVarDecl::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
ID l_ID_2 =
ID_2->rewrite(kc_current_view_base);
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_ID_2 == ID_2) && (l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_unparseitem_UViewVarDecl* kc_result= UViewVarDecl(l_ID_1, l_ID_2, l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unparseitem impl_unparseitem_UnpBody::rewrite(rview kc_current_view_base)
{
languageoption l_languageoption_1 =
languageoption_1->rewrite(kc_current_view_base);
unparseitems l_unparseitems_1 =
unparseitems_1->rewrite(kc_current_view_base);
if ((l_languageoption_1 == languageoption_1) && (l_unparseitems_1 == unparseitems_1))
return this;
else {
impl_unparseitem_UnpBody* kc_result= UnpBody(l_languageoption_1, l_unparseitems_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unparseitem impl_unparseitem_UnpCtext::rewrite(rview kc_current_view_base)
{
languageoption l_languageoption_1 =
languageoption_1->rewrite(kc_current_view_base);
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
if ((l_languageoption_1 == languageoption_1) && (l_Ctext_1 == Ctext_1))
return this;
else {
impl_unparseitem_UnpCtext* kc_result= UnpCtext(l_languageoption_1, l_Ctext_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unparseitem impl_unparseitem_UnpSubexpr::rewrite(rview kc_current_view_base)
{
languageoption l_languageoption_1 =
languageoption_1->rewrite(kc_current_view_base);
unpsubterm l_unpsubterm_1 =
unpsubterm_1->rewrite(kc_current_view_base);
viewnameoption l_viewnameoption_1 =
viewnameoption_1->rewrite(kc_current_view_base);
if ((l_languageoption_1 == languageoption_1) && (l_unpsubterm_1 == unpsubterm_1) && (l_viewnameoption_1 == viewnameoption_1))
return this;
else {
impl_unparseitem_UnpSubexpr* kc_result= UnpSubexpr(l_languageoption_1, l_unpsubterm_1, l_viewnameoption_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unparseitem impl_unparseitem_UnpStr::rewrite(rview kc_current_view_base)
{
languageoption l_languageoption_1 =
languageoption_1->rewrite(kc_current_view_base);
CexpressionDQ l_CexpressionDQ_1 =
CexpressionDQ_1->rewrite(kc_current_view_base);
viewnameoption l_viewnameoption_1 =
viewnameoption_1->rewrite(kc_current_view_base);
if ((l_languageoption_1 == languageoption_1) && (l_CexpressionDQ_1 == CexpressionDQ_1) && (l_viewnameoption_1 == viewnameoption_1))
return this;
else {
impl_unparseitem_UnpStr* kc_result= UnpStr(l_languageoption_1, l_CexpressionDQ_1, l_viewnameoption_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unpsubterm impl_unpsubterm_UnpCastedVariable::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
ID l_ID_2 =
ID_2->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_ID_2 == ID_2))
return this;
else {
impl_unpsubterm_UnpCastedVariable* kc_result= UnpCastedVariable(l_ID_1, l_ID_2);
kc_result->rewrite_members(this);
return kc_result;
}
}
unpsubterm impl_unpsubterm_UnpDollarvarAttr::rewrite(rview kc_current_view_base)
{
INT l_INT_1 =
INT_1->rewrite(kc_current_view_base);
unpattributes l_unpattributes_1 =
unpattributes_1->rewrite(kc_current_view_base);
if ((l_INT_1 == INT_1) && (l_unpattributes_1 == unpattributes_1))
return this;
else {
impl_unpsubterm_UnpDollarvarAttr* kc_result= UnpDollarvarAttr(l_INT_1, l_unpattributes_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unpsubterm impl_unpsubterm_UnpSubAttr::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
unpattributes l_unpattributes_1 =
unpattributes_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_unpattributes_1 == unpattributes_1))
return this;
else {
impl_unpsubterm_UnpSubAttr* kc_result= UnpSubAttr(l_ID_1, l_unpattributes_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unpsubterm impl_unpsubterm_UnpDollarvarTerm::rewrite(rview kc_current_view_base)
{
INT l_INT_1 =
INT_1->rewrite(kc_current_view_base);
if ((l_INT_1 == INT_1))
return this;
else {
impl_unpsubterm_UnpDollarvarTerm* kc_result= UnpDollarvarTerm(l_INT_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unpsubterm impl_unpsubterm_UnpSubTerm::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_unpsubterm_UnpSubTerm* kc_result= UnpSubTerm(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
unpattributes impl_unpattributes::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
unpattributes l_unpattributes_1 =
unpattributes_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_unpattributes_1 == unpattributes_1))
return this;
else {
impl_unpattributes* kc_result= Consunpattributes(l_ID_1, l_unpattributes_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
viewnameoption impl_viewnameoption_YesViewname::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1))
return this;
else {
impl_viewnameoption_YesViewname* kc_result= YesViewname(l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
viewnameoption impl_viewnameoption_NoViewname::rewrite(rview kc_current_view_base)
{
return this;
}
languageoption impl_languageoption_LanguageList::rewrite(rview kc_current_view_base)
{
languagenames l_languagenames_1 =
languagenames_1->rewrite(kc_current_view_base);
if ((l_languagenames_1 == languagenames_1))
return this;
else {
impl_languageoption_LanguageList* kc_result= LanguageList(l_languagenames_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
languageoption impl_languageoption_NoLanguagename::rewrite(rview kc_current_view_base)
{
return this;
}
languagenames impl_languagenames::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
languagenames l_languagenames_1 =
languagenames_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_languagenames_1 == languagenames_1))
return this;
else {
impl_languagenames* kc_result= Conslanguagenames(l_ID_1, l_languagenames_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
fileline impl_fileline_PosNoFileLine::rewrite(rview kc_current_view_base)
{
return this;
}
fileline impl_fileline_NoFileLine::rewrite(rview kc_current_view_base)
{
return this;
}
fileline impl_fileline_FileLine::rewrite(rview kc_current_view_base)
{
return this;
}
scopetypefilelinestack impl_scopetypefilelinestack::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
scopetypefileline l_scopetypefileline_1 =
scopetypefileline_1->rewrite(kc_current_view_base);
scopetypefilelinestack l_scopetypefilelinestack_1 =
scopetypefilelinestack_1->rewrite(kc_current_view_base);
if ((l_scopetypefileline_1 == scopetypefileline_1) && (l_scopetypefilelinestack_1 == scopetypefilelinestack_1))
return this;
else {
impl_scopetypefilelinestack* kc_result= Consscopetypefilelinestack(l_scopetypefileline_1, l_scopetypefilelinestack_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
scopetypefileline impl_scopetypefileline_ScopeTypeFileLine::rewrite(rview kc_current_view_base)
{
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
IDtype l_IDtype_1 =
IDtype_1->rewrite(kc_current_view_base);
casestring l_casestring_1 =
casestring_1->rewrite(kc_current_view_base);
integer l_integer_2 =
integer_2->rewrite(kc_current_view_base);
if ((l_integer_1 == integer_1) && (l_IDtype_1 == IDtype_1) && (l_casestring_1 == casestring_1) && (l_integer_2 == integer_2))
return this;
else {
impl_scopetypefileline_ScopeTypeFileLine* kc_result= ScopeTypeFileLine(l_integer_1, l_IDtype_1, l_casestring_1, l_integer_2);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITLanguageName::rewrite(rview kc_current_view_base)
{
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
if ((l_integer_1 == integer_1))
return this;
else {
impl_IDtype_ITLanguageName* kc_result= ITLanguageName(l_integer_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITPatternVariable::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_integer_1 == integer_1))
return this;
else {
impl_IDtype_ITPatternVariable* kc_result= ITPatternVariable(l_ID_1, l_integer_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITUserFunction::rewrite(rview kc_current_view_base)
{
fnclass l_fnclass_1 =
fnclass_1->rewrite(kc_current_view_base);
if ((l_fnclass_1 == fnclass_1))
return this;
else {
impl_IDtype_ITUserFunction* kc_result= ITUserFunction(l_fnclass_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITUserRView::rewrite(rview kc_current_view_base)
{
return this;
}
IDtype impl_IDtype_ITPredefinedRView::rewrite(rview kc_current_view_base)
{
return this;
}
IDtype impl_IDtype_ITUViewVar::rewrite(rview kc_current_view_base)
{
return this;
}
IDtype impl_IDtype_ITUserUView::rewrite(rview kc_current_view_base)
{
return this;
}
IDtype impl_IDtype_ITPredefinedUView::rewrite(rview kc_current_view_base)
{
return this;
}
IDtype impl_IDtype_ITStorageClass::rewrite(rview kc_current_view_base)
{
return this;
}
IDtype impl_IDtype_ITPredefinedStorageClass::rewrite(rview kc_current_view_base)
{
return this;
}
IDtype impl_IDtype_ITUserOperator::rewrite(rview kc_current_view_base)
{
alternative l_alternative_1 =
alternative_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_alternative_1 == alternative_1) && (l_ID_1 == ID_1))
return this;
else {
impl_IDtype_ITUserOperator* kc_result= ITUserOperator(l_alternative_1, l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITPredefinedOperator::rewrite(rview kc_current_view_base)
{
alternative l_alternative_1 =
alternative_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_alternative_1 == alternative_1) && (l_ID_1 == ID_1))
return this;
else {
impl_IDtype_ITPredefinedOperator* kc_result= ITPredefinedOperator(l_alternative_1, l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITUserPhylum::rewrite(rview kc_current_view_base)
{
phylumdeclaration l_phylumdeclaration_1 =
phylumdeclaration_1->rewrite(kc_current_view_base);
if ((l_phylumdeclaration_1 == phylumdeclaration_1))
return this;
else {
impl_IDtype_ITUserPhylum* kc_result= ITUserPhylum(l_phylumdeclaration_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITPredefinedPhylum::rewrite(rview kc_current_view_base)
{
phylumdeclaration l_phylumdeclaration_1 =
phylumdeclaration_1->rewrite(kc_current_view_base);
if ((l_phylumdeclaration_1 == phylumdeclaration_1))
return this;
else {
impl_IDtype_ITPredefinedPhylum* kc_result= ITPredefinedPhylum(l_phylumdeclaration_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
IDtype impl_IDtype_ITUnknown::rewrite(rview kc_current_view_base)
{
return this;
}
operators impl_operators::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
operators l_operators_1 =
operators_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_operators_1 == operators_1))
return this;
else {
impl_operators* kc_result= Consoperators(l_ID_1, l_operators_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
phyla impl_phyla::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
phyla l_phyla_1 =
phyla_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_phyla_1 == phyla_1))
return this;
else {
impl_phyla* kc_result= Consphyla(l_ID_1, l_phyla_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
variables impl_variables::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
variables l_variables_1 =
variables_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_variables_1 == variables_1))
return this;
else {
impl_variables* kc_result= Consvariables(l_ID_1, l_variables_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
dollarvarstatus impl_dollarvarstatus_DVDisallowed::rewrite(rview kc_current_view_base)
{
return this;
}
dollarvarstatus impl_dollarvarstatus_DVAllowed::rewrite(rview kc_current_view_base)
{
return this;
}
tribool impl_tribool_Bigger::rewrite(rview kc_current_view_base)
{
return this;
}
tribool impl_tribool_Smaller::rewrite(rview kc_current_view_base)
{
return this;
}
tribool impl_tribool_Equal::rewrite(rview kc_current_view_base)
{
return this;
}
patternrepresentations impl_patternrepresentations::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
patternrepresentation l_patternrepresentation_1 =
patternrepresentation_1->rewrite(kc_current_view_base);
patternrepresentations l_patternrepresentations_1 =
patternrepresentations_1->rewrite(kc_current_view_base);
if ((l_patternrepresentation_1 == patternrepresentation_1) && (l_patternrepresentations_1 == patternrepresentations_1))
return this;
else {
impl_patternrepresentations* kc_result= Conspatternrepresentations(l_patternrepresentation_1, l_patternrepresentations_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
patternrepresentation impl_patternrepresentation::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
elem_patternrepresentation l_elem_patternrepresentation_1 =
elem_patternrepresentation_1->rewrite(kc_current_view_base);
patternrepresentation l_patternrepresentation_1 =
patternrepresentation_1->rewrite(kc_current_view_base);
switch(kc_current_view_base) {
default:
case base_rview_enum: {
base_rview_class& kc_current_view=static_cast<base_rview_class&>(kc_current_view_base);
if ((l_elem_patternrepresentation_1->prod_sel() == sel_PRWildcard)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "gutil.k", 768, this);
const patternrepresentation r = l_patternrepresentation_1;
patternrepresentation kc_result = r;
KC_TRACE_REWRITE_RESULT(kc_current_view,"gutil.k",768,kc_result);
return (const_cast<const impl_patternrepresentation*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
if ((l_elem_patternrepresentation_1->prod_sel() == sel_PRDefault)) { KC_TRACE_REWRITE_MATCH(kc_current_view, "gutil.k", 769, this);
const patternrepresentation r = l_patternrepresentation_1;
patternrepresentation kc_result = r;
KC_TRACE_REWRITE_RESULT(kc_current_view,"gutil.k",769,kc_result);
return (const_cast<const impl_patternrepresentation*>(kc_result) == this) ? this : kc_result->rewrite( kc_current_view_base );
} else
break; }
}
if ((l_elem_patternrepresentation_1 == elem_patternrepresentation_1) && (l_patternrepresentation_1 == patternrepresentation_1))
return this;
else {
impl_patternrepresentation* kc_result= Conspatternrepresentation(l_elem_patternrepresentation_1, l_patternrepresentation_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
elem_patternrepresentation impl_elem_patternrepresentation_PRIntLiteral::rewrite(rview kc_current_view_base)
{
path l_path_1 =
path_1->rewrite(kc_current_view_base);
INT l_INT_1 =
INT_1->rewrite(kc_current_view_base);
if ((l_path_1 == path_1) && (l_INT_1 == INT_1))
return this;
else {
impl_elem_patternrepresentation_PRIntLiteral* kc_result= PRIntLiteral(l_path_1, l_INT_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
elem_patternrepresentation impl_elem_patternrepresentation_PRStringLiteral::rewrite(rview kc_current_view_base)
{
path l_path_1 =
path_1->rewrite(kc_current_view_base);
CexpressionDQ l_CexpressionDQ_1 =
CexpressionDQ_1->rewrite(kc_current_view_base);
if ((l_path_1 == path_1) && (l_CexpressionDQ_1 == CexpressionDQ_1))
return this;
else {
impl_elem_patternrepresentation_PRStringLiteral* kc_result= PRStringLiteral(l_path_1, l_CexpressionDQ_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
elem_patternrepresentation impl_elem_patternrepresentation_PRDefault::rewrite(rview kc_current_view_base)
{
return this;
}
elem_patternrepresentation impl_elem_patternrepresentation_PRWildcard::rewrite(rview kc_current_view_base)
{
path l_path_1 =
path_1->rewrite(kc_current_view_base);
if ((l_path_1 == path_1))
return this;
else {
impl_elem_patternrepresentation_PRWildcard* kc_result= PRWildcard(l_path_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
elem_patternrepresentation impl_elem_patternrepresentation_PRNonLeafBinding::rewrite(rview kc_current_view_base)
{
path l_path_1 =
path_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
patternrepresentation l_patternrepresentation_1 =
patternrepresentation_1->rewrite(kc_current_view_base);
if ((l_path_1 == path_1) && (l_ID_1 == ID_1) && (l_patternrepresentation_1 == patternrepresentation_1))
return this;
else {
impl_elem_patternrepresentation_PRNonLeafBinding* kc_result= PRNonLeafBinding(l_path_1, l_ID_1, l_patternrepresentation_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
elem_patternrepresentation impl_elem_patternrepresentation_PRUserPredicate::rewrite(rview kc_current_view_base)
{
Cexpression l_Cexpression_1 =
Cexpression_1->rewrite(kc_current_view_base);
if ((l_Cexpression_1 == Cexpression_1))
return this;
else {
impl_elem_patternrepresentation_PRUserPredicate* kc_result= PRUserPredicate(l_Cexpression_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
elem_patternrepresentation impl_elem_patternrepresentation_PROperPredicate::rewrite(rview kc_current_view_base)
{
path l_path_1 =
path_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_path_1 == path_1) && (l_ID_1 == ID_1))
return this;
else {
impl_elem_patternrepresentation_PROperPredicate* kc_result= PROperPredicate(l_path_1, l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
elem_patternrepresentation impl_elem_patternrepresentation_PRVarPredicate::rewrite(rview kc_current_view_base)
{
paths l_paths_1 =
paths_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
patternrepresentation l_patternrepresentation_1 =
patternrepresentation_1->rewrite(kc_current_view_base);
if ((l_paths_1 == paths_1) && (l_ID_1 == ID_1) && (l_patternrepresentation_1 == patternrepresentation_1))
return this;
else {
impl_elem_patternrepresentation_PRVarPredicate* kc_result= PRVarPredicate(l_paths_1, l_ID_1, l_patternrepresentation_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
elem_patternrepresentation impl_elem_patternrepresentation_PRBinding::rewrite(rview kc_current_view_base)
{
path l_path_1 =
path_1->rewrite(kc_current_view_base);
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
if ((l_path_1 == path_1) && (l_ID_1 == ID_1))
return this;
else {
impl_elem_patternrepresentation_PRBinding* kc_result= PRBinding(l_path_1, l_ID_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
path impl_path::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
path l_path_1 =
path_1->rewrite(kc_current_view_base);
if ((l_integer_1 == integer_1) && (l_path_1 == path_1))
return this;
else {
impl_path* kc_result= Conspath(l_integer_1, l_path_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
paths impl_paths::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
path l_path_1 =
path_1->rewrite(kc_current_view_base);
paths l_paths_1 =
paths_1->rewrite(kc_current_view_base);
if ((l_path_1 == path_1) && (l_paths_1 == paths_1))
return this;
else {
impl_paths* kc_result= Conspaths(l_path_1, l_paths_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
argsnumbers impl_argsnumbers::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
integer l_integer_1 =
integer_1->rewrite(kc_current_view_base);
argsnumbers l_argsnumbers_1 =
argsnumbers_1->rewrite(kc_current_view_base);
if ((l_integer_1 == integer_1) && (l_argsnumbers_1 == argsnumbers_1))
return this;
else {
impl_argsnumbers* kc_result= Consargsnumbers(l_integer_1, l_argsnumbers_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
rewriterulesinfo impl_rewriterulesinfo::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
rewriteruleinfo l_rewriteruleinfo_1 =
rewriteruleinfo_1->rewrite(kc_current_view_base);
rewriterulesinfo l_rewriterulesinfo_1 =
rewriterulesinfo_1->rewrite(kc_current_view_base);
if ((l_rewriteruleinfo_1 == rewriteruleinfo_1) && (l_rewriterulesinfo_1 == rewriterulesinfo_1))
return this;
else {
impl_rewriterulesinfo* kc_result= Consrewriterulesinfo(l_rewriteruleinfo_1, l_rewriterulesinfo_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
rewriteruleinfo impl_rewriteruleinfo_Rewriteruleinfo::rewrite(rview kc_current_view_base)
{
patternrepresentation l_patternrepresentation_1 =
patternrepresentation_1->rewrite(kc_current_view_base);
patternrepresentation l_patternrepresentation_2 =
patternrepresentation_2->rewrite(kc_current_view_base);
rewriteclause l_rewriteclause_1 =
rewriteclause_1->rewrite(kc_current_view_base);
if ((l_patternrepresentation_1 == patternrepresentation_1) && (l_patternrepresentation_2 == patternrepresentation_2) && (l_rewriteclause_1 == rewriteclause_1))
return this;
else {
impl_rewriteruleinfo_Rewriteruleinfo* kc_result= Rewriteruleinfo(l_patternrepresentation_1, l_patternrepresentation_2, l_rewriteclause_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
withcasesinfo impl_withcasesinfo::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
withcaseinfo l_withcaseinfo_1 =
withcaseinfo_1->rewrite(kc_current_view_base);
withcasesinfo l_withcasesinfo_1 =
withcasesinfo_1->rewrite(kc_current_view_base);
if ((l_withcaseinfo_1 == withcaseinfo_1) && (l_withcasesinfo_1 == withcasesinfo_1))
return this;
else {
impl_withcasesinfo* kc_result= Conswithcasesinfo(l_withcaseinfo_1, l_withcasesinfo_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
withcaseinfo impl_withcaseinfo_Withcaseinfo::rewrite(rview kc_current_view_base)
{
patternrepresentation l_patternrepresentation_1 =
patternrepresentation_1->rewrite(kc_current_view_base);
patternrepresentation l_patternrepresentation_2 =
patternrepresentation_2->rewrite(kc_current_view_base);
Ctext l_Ctext_1 =
Ctext_1->rewrite(kc_current_view_base);
if ((l_patternrepresentation_1 == patternrepresentation_1) && (l_patternrepresentation_2 == patternrepresentation_2) && (l_Ctext_1 == Ctext_1))
return this;
else {
impl_withcaseinfo_Withcaseinfo* kc_result= Withcaseinfo(l_patternrepresentation_1, l_patternrepresentation_2, l_Ctext_1);
kc_result->rewrite_members(this);
return kc_result;
}
}
rewriteviewsinfo impl_rewriteviewsinfo::rewrite(rview kc_current_view_base)
{
if (is_nil()) {
return this;
} else { // not Nil, Cons
rewriteviewinfo l_rewriteviewinfo_1 =
rewriteviewinfo_1->rewrite(kc_current_view_base);
rewriteviewsinfo l_rewriteviewsinfo_1 =
rewriteviewsinfo_1->rewrite(kc_current_view_base);
if ((l_rewriteviewinfo_1 == rewriteviewinfo_1) && (l_rewriteviewsinfo_1 == rewriteviewsinfo_1))
return this;
else {
impl_rewriteviewsinfo* kc_result= Consrewriteviewsinfo(l_rewriteviewinfo_1, l_rewriteviewsinfo_1);
kc_result->rewrite_members(this);
return kc_result;
} }
}
rewriteviewinfo impl_rewriteviewinfo_Rewriteviewinfo::rewrite(rview kc_current_view_base)
{
ID l_ID_1 =
ID_1->rewrite(kc_current_view_base);
rewriterulesinfo l_rewriterulesinfo_1 =
rewriterulesinfo_1->rewrite(kc_current_view_base);
if ((l_ID_1 == ID_1) && (l_rewriterulesinfo_1 == rewriterulesinfo_1))
return this;
else {
impl_rewriteviewinfo_Rewriteviewinfo* kc_result= Rewriteviewinfo(l_ID_1, l_rewriterulesinfo_1);
kc_result->rewrite_members(this);
return kc_result;
}
}