Changeset 7ff3e522 for src/ResolvExpr

Timestamp:

Aug 12, 2020, 10:31:58 AM (4 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

f8d05ee

Parents:

343d10e

Message:

{pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about which pass we are talking about.

Location:

src/ResolvExpr

Files:

• CandidateFinder.cpp (modified) (1 diff)
• CastCost.cc (modified) (1 diff)
• CommonType.cc (modified) (1 diff)
• ConversionCost.cc (modified) (2 diffs)
• PolyCost.cc (modified) (1 diff)
• PtrsAssignable.cc (modified) (1 diff)
• PtrsCastable.cc (modified) (1 diff)
• Resolver.cc (modified) (1 diff)
• SpecCost.cc (modified) (1 diff)
• Unify.cc (modified) (1 diff)

src/ResolvExpr/CandidateFinder.cpp

@@ -1590 +1590 @@
 
         if ( mode.failFast && candidates.empty() ) {
-                switch(finder.pass.reason.code) {
+                switch(finder.core.reason.code) {
                 case Finder::NotFound:
                         { SemanticError( expr, "No alternatives for expression " ); break; }

src/ResolvExpr/CastCost.cc

@@ -242 +242 @@
                         dst, srcIsLvalue, symtab, env, localCastCost );
                 src->accept( converter );
-                return converter.pass.cost;
+                return converter.core.cost;
         }
 }

src/ResolvExpr/CommonType.cc

@@ -968 +968 @@
                 ast::Pass<CommonType_new> visitor{ type2, widen, symtab, env, open };
                 type1->accept( visitor );
-                ast::ptr< ast::Type > result = visitor.pass.result;
+                ast::ptr< ast::Type > result = visitor.core.result;
 
                 // handling for opaque type declarations (?)

src/ResolvExpr/ConversionCost.cc

@@ -522 +522 @@
                 ast::Pass<ConversionCost_new> converter( dst, srcIsLvalue, symtab, env, localConversionCost );
                 src->accept( converter );
-                return converter.pass.cost;
+                return converter.core.cost;
         }
 }
@@ -565 +565 @@
                         ast::Pass<ConversionCost_new> converter( dst, srcIsLvalue, symtab, env, localConversionCost );
                         src->accept( converter );
-                        return converter.pass.cost;
+                        return converter.core.cost;
                 }
         } else {

src/ResolvExpr/PolyCost.cc

@@ -87 +87 @@
         ast::Pass<PolyCost_new> costing( symtab, env );
         type->accept( costing );
-        return costing.pass.result;
+        return costing.core.result;
 }
 

src/ResolvExpr/PtrsAssignable.cc

@@ -155 +155 @@
                 ast::Pass<PtrsAssignable_new> visitor( dst, env );
                 src->accept( visitor );
-                return visitor.pass.result;
+                return visitor.core.result;
         }
 

src/ResolvExpr/PtrsCastable.cc

@@ -293 +293 @@
                 ast::Pass< PtrsCastable_new > ptrs{ dst, env, symtab };
                 src->accept( ptrs );
-                return ptrs.pass.result;
+                return ptrs.core.result;
         }
 }

src/ResolvExpr/Resolver.cc

@@ -982 +982 @@
                 ast::Pass<DeleteFinder_new> finder;
                 expr->accept( finder );
-                return finder.pass.delExpr;
+                return finder.core.delExpr;
         }
 

src/ResolvExpr/SpecCost.cc

@@ -217 +217 @@
         }
         ast::Pass<SpecCounter> counter;
-        type->accept( *counter.pass.visitor );
-        return counter.pass.get_count();
+        type->accept( counter );
+        return counter.core.get_count();
 }
 

src/ResolvExpr/Unify.cc

@@ -1185 +1185 @@
                         ast::Pass<Unify_new> comparator{ type2, env, need, have, open, widen, symtab };
                         type1->accept( comparator );
-                        return comparator.pass.result;
+                        return comparator.core.result;
                 }
         }