Changes in src/SynTree/Mutator.cc [62423350:ce8c12f]

File:

• src/SynTree/Mutator.cc (modified) (11 diffs)

src/SynTree/Mutator.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thu Jun 22 13:43:00 2017
-// Update Count     : 24
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Mar 30 16:45:19 2017
+// Update Count     : 22
 //
 
@@ -77 +77 @@
 TypeDecl *Mutator::mutate( TypeDecl *typeDecl ) {
         handleNamedTypeDecl( typeDecl );
-        typeDecl->set_init( maybeMutate( typeDecl->get_init(), *this ) );
         return typeDecl;
 }
@@ -153 +152 @@
 }
 
-Statement *Mutator::mutate( ThrowStmt *throwStmt ) {
-        throwStmt->set_expr( maybeMutate( throwStmt->get_expr(), *this ) );
-        throwStmt->set_target( maybeMutate( throwStmt->get_target(), *this ) );
-        return throwStmt;
-}
-
 Statement *Mutator::mutate( TryStmt *tryStmt ) {
         tryStmt->set_block( maybeMutate( tryStmt->get_block(), *this ) );
         mutateAll( tryStmt->get_catchers(), *this );
-        tryStmt->set_finally( maybeMutate( tryStmt->get_finally(), *this ) );
         return tryStmt;
 }
@@ -168 +160 @@
 Statement *Mutator::mutate( CatchStmt *catchStmt ) {
         catchStmt->set_decl( maybeMutate( catchStmt->get_decl(), *this ) );
-        catchStmt->set_cond( maybeMutate( catchStmt->get_cond(), *this ) );
         catchStmt->set_body( maybeMutate( catchStmt->get_body(), *this ) );
         return catchStmt;
@@ -382 +373 @@
 }
 
+Expression *Mutator::mutate( UntypedValofExpr *valofExpr ) {
+        valofExpr->set_env( maybeMutate( valofExpr->get_env(), *this ) );
+        valofExpr->set_result( maybeMutate( valofExpr->get_result(), *this ) );
+        return valofExpr;
+}
+
 Expression *Mutator::mutate( RangeExpr *rangeExpr ) {
         rangeExpr->set_env( maybeMutate( rangeExpr->get_env(), *this ) );
@@ -407 +404 @@
         tupleExpr->set_result( maybeMutate( tupleExpr->get_result(), *this ) );
         tupleExpr->set_tuple( maybeMutate( tupleExpr->get_tuple(), *this ) );
+        return tupleExpr;
+}
+
+Expression *Mutator::mutate( MemberTupleExpr *tupleExpr ) {
+        tupleExpr->set_env( maybeMutate( tupleExpr->get_env(), *this ) );
+        tupleExpr->set_result( maybeMutate( tupleExpr->get_result(), *this ) );
+        tupleExpr->set_member( maybeMutate( tupleExpr->get_member(), *this ) );
+        tupleExpr->set_aggregate( maybeMutate( tupleExpr->get_aggregate(), *this ) );
         return tupleExpr;
 }
@@ -433 +438 @@
 }
 
-Expression *Mutator::mutate( UntypedInitExpr * initExpr ) {
-        initExpr->set_env( maybeMutate( initExpr->get_env(), *this ) );
-        initExpr->set_result( maybeMutate( initExpr->get_result(), *this ) );
-        initExpr->set_expr( maybeMutate( initExpr->get_expr(), *this ) );
-        // not currently mutating initAlts, but this doesn't matter since this node is only used in the resolver.
-        return initExpr;
-}
-
-Expression *Mutator::mutate( InitExpr * initExpr ) {
-        initExpr->set_env( maybeMutate( initExpr->get_env(), *this ) );
-        initExpr->set_result( maybeMutate( initExpr->get_result(), *this ) );
-        initExpr->set_expr( maybeMutate( initExpr->get_expr(), *this ) );
-        initExpr->set_designation( maybeMutate( initExpr->get_designation(), *this ) );
-        return initExpr;
-}
-
 
 Type *Mutator::mutate( VoidType *voidType ) {
@@ -473 +462 @@
 }
 
+Type *Mutator::mutate( ReferenceType *refType ) {
+        mutateAll( refType->get_forall(), *this );
+        refType->set_base( maybeMutate( refType->get_base(), *this ) );
+        return refType;
+}
+
 Type *Mutator::mutate( FunctionType *functionType ) {
         mutateAll( functionType->get_forall(), *this );
@@ -515 +510 @@
         mutateAll( tupleType->get_forall(), *this );
         mutateAll( tupleType->get_types(), *this );
-        mutateAll( tupleType->get_members(), *this );
         return tupleType;
 }
@@ -552 +546 @@
 
 
-Designation *Mutator::mutate( Designation * designation ) {
-        mutateAll( designation->get_designators(), *this );
-        return designation;
-}
-
 Initializer *Mutator::mutate( SingleInit *singleInit ) {
         singleInit->set_value( singleInit->get_value()->acceptMutator( *this ) );
@@ -563 +552 @@
 
 Initializer *Mutator::mutate( ListInit *listInit ) {
-        mutateAll( listInit->get_designations(), *this );
+        mutateAll( listInit->get_designators(), *this );
         mutateAll( listInit->get_initializers(), *this );
         return listInit;