Changeset e3e16bc for src/InitTweak

Timestamp:

Sep 13, 2017, 2:34:55 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

982832e

Parents:

9f5ecf5

Message:

Renamed safe_dynamic_cast to strict_dynamic_cast

Location:

src/InitTweak

Files:

• FixInit.cc (modified) (9 diffs)
• GenInit.cc (modified) (2 diffs)
• InitTweak.cc (modified) (2 diffs)

src/InitTweak/FixInit.cc

@@ -17 +17 @@
 #include <stddef.h>                    // for NULL
 #include <algorithm>                   // for set_difference, copy_if
-#include <cassert>                     // for assert, safe_dynamic_cast
+#include <cassert>                     // for assert, strict_dynamic_cast
 #include <iostream>                    // for operator<<, ostream, basic_ost...
 #include <iterator>                    // for insert_iterator, back_inserter
@@ -424 +424 @@
                         // arrays are not copy constructed, so this should always be an ExprStmt
                         ImplicitCtorDtorStmt * stmt = genCtorDtor( fname, var, cpArg );
-                        ExprStmt * exprStmt = safe_dynamic_cast< ExprStmt * >( stmt->get_callStmt() );
+                        ExprStmt * exprStmt = strict_dynamic_cast< ExprStmt * >( stmt->get_callStmt() );
                         Expression * untyped = exprStmt->get_expr();
 
@@ -532 +532 @@
                                 assert( ! body->get_kids().empty() );
                                 // must be an ExprStmt, otherwise it wouldn't have a result
-                                ExprStmt * last = safe_dynamic_cast< ExprStmt * >( body->get_kids().back() );
+                                ExprStmt * last = strict_dynamic_cast< ExprStmt * >( body->get_kids().back() );
                                 last->set_expr( makeCtorDtor( "?{}", ret, last->get_expr() ) );
 
@@ -566 +566 @@
                         CP_CTOR_PRINT( std::cerr << "FixCopyCtors: " << impCpCtorExpr << std::endl; )
 
-                        impCpCtorExpr = safe_dynamic_cast< ImplicitCopyCtorExpr * >( Parent::mutate( impCpCtorExpr ) );
+                        impCpCtorExpr = strict_dynamic_cast< ImplicitCopyCtorExpr * >( Parent::mutate( impCpCtorExpr ) );
                         std::list< ObjectDecl * > & tempDecls = impCpCtorExpr->get_tempDecls();
                         std::list< ObjectDecl * > & returnDecls = impCpCtorExpr->get_returnDecls();
@@ -627 +627 @@
                                 stmt = stmt->acceptMutator( *this );
                         } // for
-                        // stmtExpr = safe_dynamic_cast< StmtExpr * >( Parent::mutate( stmtExpr ) );
+                        // stmtExpr = strict_dynamic_cast< StmtExpr * >( Parent::mutate( stmtExpr ) );
                         assert( stmtExpr->get_result() );
                         Type * result = stmtExpr->get_result();
@@ -791 +791 @@
                                                 }
                                         } else {
-                                                ImplicitCtorDtorStmt * implicit = safe_dynamic_cast< ImplicitCtorDtorStmt * > ( ctor );
+                                                ImplicitCtorDtorStmt * implicit = strict_dynamic_cast< ImplicitCtorDtorStmt * > ( ctor );
                                                 ExprStmt * ctorStmt = dynamic_cast< ExprStmt * >( implicit->get_callStmt() );
                                                 ApplicationExpr * ctorCall = nullptr;
@@ -996 +996 @@
                                 FunctionType * type = function->get_functionType();
                                 assert( ! type->get_parameters().empty() );
-                                thisParam = safe_dynamic_cast< ObjectDecl * >( type->get_parameters().front() );
+                                thisParam = strict_dynamic_cast< ObjectDecl * >( type->get_parameters().front() );
                                 Type * thisType = getPointerBase( thisParam->get_type() );
                                 StructInstType * structType = dynamic_cast< StructInstType * >( thisType );
@@ -1166 +1166 @@
 
                 Expression* MutatingResolver::mutate( UntypedExpr *untypedExpr ) {
-                        return safe_dynamic_cast< ApplicationExpr * >( ResolvExpr::findVoidExpression( untypedExpr, indexer ) );
+                        return strict_dynamic_cast< ApplicationExpr * >( ResolvExpr::findVoidExpression( untypedExpr, indexer ) );
                 }
 
@@ -1179 +1179 @@
 
                         // xxx - this can be TupleAssignExpr now. Need to properly handle this case.
-                        ApplicationExpr * callExpr = safe_dynamic_cast< ApplicationExpr * > ( ctorExpr->get_callExpr() );
+                        ApplicationExpr * callExpr = strict_dynamic_cast< ApplicationExpr * > ( ctorExpr->get_callExpr() );
                         TypeSubstitution * env = ctorExpr->get_env();
                         ctorExpr->set_callExpr( nullptr );

src/InitTweak/GenInit.cc

@@ -17 +17 @@
 #include <stddef.h>                // for NULL
 #include <algorithm>               // for any_of
-#include <cassert>                 // for assert, safe_dynamic_cast, assertf
+#include <cassert>                 // for assert, strict_dynamic_cast, assertf
 #include <iterator>                // for back_inserter, inserter, back_inse...
 #include <list>                    // for _List_iterator, list
@@ -255 +255 @@
                 SymTab::genImplicitCall( srcParam, new VariableExpr( objDecl ), fname, back_inserter( stmts ), objDecl );
                 assert( stmts.size() <= 1 );
-                return stmts.size() == 1 ? safe_dynamic_cast< ImplicitCtorDtorStmt * >( stmts.front() ) : nullptr;
+                return stmts.size() == 1 ? strict_dynamic_cast< ImplicitCtorDtorStmt * >( stmts.front() ) : nullptr;
         }
 

src/InitTweak/InitTweak.cc

@@ -1 +1 @@
 #include <stddef.h>                // for NULL
 #include <algorithm>               // for find, all_of
-#include <cassert>                 // for assertf, assert, safe_dynamic_cast
+#include <cassert>                 // for assertf, assert, strict_dynamic_cast
 #include <iostream>                // for ostream, cerr, endl
 #include <iterator>                // for back_insert_iterator, back_inserter
@@ -414 +414 @@
                         std::list< Statement * > & stmts = tupleExpr->get_stmtExpr()->get_statements()->get_kids();
                         assertf( ! stmts.empty(), "TupleAssignExpr somehow has no statements." );
-                        ExprStmt * stmt = safe_dynamic_cast< ExprStmt * >( stmts.back() );
-                        TupleExpr * tuple = safe_dynamic_cast< TupleExpr * >( stmt->get_expr() );
+                        ExprStmt * stmt = strict_dynamic_cast< ExprStmt * >( stmts.back() );
+                        TupleExpr * tuple = strict_dynamic_cast< TupleExpr * >( stmt->get_expr() );
                         assertf( ! tuple->get_exprs().empty(), "TupleAssignExpr somehow has empty tuple expr." );
                         return getCallArg( tuple->get_exprs().front(), pos );