Changes in src/ResolvExpr/SpecCost.cc [954c954:5aa4656]

File:

• src/ResolvExpr/SpecCost.cc (modified) (5 diffs)

src/ResolvExpr/SpecCost.cc

@@ -10 +10 @@
 // Created On       : Tue Oct 02 15:50:00 2018
 // Last Modified By : Andrew Beach
-// Last Modified On : Wed Jul  3 11:07:00 2019
-// Update Count     : 3
-//
-
-#include <cassert>
+// Last Modified On : Wed Jun 19 10:43:00 2019
+// Update Count     : 2
+//
+
 #include <limits>
 #include <list>
@@ -130 +129 @@
                         typename std::add_pointer<ast::Type const *(typename T::value_type const &)>::type;
 
-                #warning Should use a standard maybe_accept
-                void maybe_accept( ast::Type const * type ) {
-                        if ( type ) {
-                                auto node = type->accept( *visitor );
-                                assert( node == nullptr || node == type );
-                        }
-                }
-
                 // Update the minimum to the new lowest non-none value.
                 template<typename T>
@@ -143 +134 @@
                         for ( const auto & node : list ) {
                                 count = -1;
-                                maybe_accept( mapper( node ) );
+                                mapper( node )->accept( *visitor );
                                 if ( count != -1 && count < minimum ) minimum = count;
                         }
@@ -178 +169 @@
                 void previsit( const ast::FunctionType * fty ) {
                         int minCount = std::numeric_limits<int>::max();
-                        updateMinimumPresent( minCount, fty->params, type_deref );
-                        updateMinimumPresent( minCount, fty->returns, type_deref );
+                        updateMinimumPresent( minCount, fty->params, decl_type );
+                        updateMinimumPresent( minCount, fty->returns, decl_type );
                         // Add another level to minCount if set.
                         count = toNoneOrInc( minCount );
@@ -217 +208 @@
         }
         ast::Pass<SpecCounter> counter;
-        type->accept( counter );
-        return counter.core.get_count();
+        type->accept( *counter.pass.visitor );
+        return counter.pass.get_count();
 }