Changeset 432ce7a for src/Tuples

Timestamp:

Jun 11, 2019, 5:52:50 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

6625727

Parents:

4b7cce6

Message:

Port CandidateFinder::postvisit for UntypedExpr, stub dependencies

Location:

src/Tuples

Files:

• Explode.h (modified) (2 diffs)
• TupleAssignment.cc (modified) (1 diff)
• Tuples.h (modified) (2 diffs)

src/Tuples/Explode.h

@@ -19 +19 @@
 #include <utility>                      // for forward
 
+#include "AST/Expr.hpp"
 #include "ResolvExpr/Alternative.h"     // for Alternative, AltList
+#include "ResolvExpr/Candidate.hpp"     // for Candidate, CandidateList
 #include "ResolvExpr/ExplodedActual.h"  // for ExplodedActual
+#include "ResolvExpr/ExplodedArg.hpp"   // for ExplodedArg
 #include "SynTree/Expression.h"         // for Expression, UniqueExpr, AddressExpr
 #include "SynTree/Type.h"               // for TupleType, Type
 #include "Tuples.h"                     // for maybeImpure
+
+namespace ast {
+        class SymbolTable;
+}
 
 namespace SymTab {
@@ -130 +137 @@
                 explode( alts.begin(), alts.end(), indexer, std::forward<Output>(out), isTupleAssign );
         }
+
+/// helper function used by explode
+template< typename Output >
+void explodeUnique( 
+        const ast::Expr * expr, const ResolvExpr::Candidate & arg, const ast::SymbolTable & symtab, 
+        Output && out, bool isTupleAssign
+) {
+        #warning unimplemented
+        (void)expr; (void)arg; (void)symtab; (void)out; (void)isTupleAssign;
+        assert(false);
+}
+
+/// expands a tuple-valued candidate into multiple candidates, each with a non-tuple type
+template< typename Output >
+void explode( 
+        const ResolvExpr::Candidate & arg, const ast::SymbolTable & symtab, Output && out, 
+        bool isTupleAssign = false
+) {
+        explodeUnique( arg.expr, arg, symtab, std::forward< Output >( out ), isTupleAssign );
+}
+
 } // namespace Tuples
 

src/Tuples/TupleAssignment.cc

@@ -377 +377 @@
                 }
         }
+
+        void handleTupleAssignment( 
+                ResolvExpr::CandidateFinder & finder, const ast::UntypedExpr * assign, 
+                std::vector< ResolvExpr::CandidateFinder > & args
+        ) {
+                #warning unimplmented
+                (void)finder; (void)assign; (void)args;
+                assert(false);
+        }
 } // namespace Tuples
 

src/Tuples/Tuples.h

@@ -26 +26 @@
 
 #include "ResolvExpr/AlternativeFinder.h"
+#include "ResolvExpr/CandidateFinder.hpp"
 
 namespace Tuples {
@@ -31 +32 @@
         void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign,
                 std::vector< ResolvExpr::AlternativeFinder >& args );
+        void handleTupleAssignment( 
+                ResolvExpr::CandidateFinder & finder, const ast::UntypedExpr * assign, 
+                std::vector< ResolvExpr::CandidateFinder > & args );
 
         // TupleExpansion.cc