Changeset a5f0529 for src/ResolvExpr

Timestamp:

Jul 26, 2017, 2:44:09 PM (7 years ago)

Author:

Andrew Beach <ajbeach@…>

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:

2edd80ae

Parents:

b947fb2

Message:

Virtual casts have been added. They still require a lot of hand coded support to work but for simple cases it should be enough.

Location:

src/ResolvExpr

Files:

• AlternativeFinder.cc (modified) (2 diffs)
• AlternativeFinder.h (modified) (2 diffs)

src/ResolvExpr/AlternativeFinder.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Sat May 16 23:52:08 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 17 09:14:17 2017
-// Update Count     : 30
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Jul 26 11:33:00 2017
+// Update Count     : 31
 //
 
@@ -878 +878 @@
         }
 
+        void AlternativeFinder::visit( VirtualCastExpr * castExpr ) {
+                assertf( castExpr->get_result(), "Implicate virtual cast targets not yet supported." );
+                AlternativeFinder finder( indexer, env );
+                // don't prune here, since it's guaranteed all alternatives will have the same type
+                // (giving the alternatives different types is half of the point of ConstructorExpr nodes)
+                finder.findWithAdjustment( castExpr->get_arg(), false );
+                for ( Alternative & alt : finder.alternatives ) {
+                        alternatives.push_back( Alternative(
+                                new VirtualCastExpr( alt.expr->clone(), castExpr->get_result()->clone() ),
+                                alt.env, alt.cost ) );
+                }
+        }
+
         void AlternativeFinder::visit( UntypedMemberExpr *memberExpr ) {
                 AlternativeFinder funcFinder( indexer, env );

src/ResolvExpr/AlternativeFinder.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Sat May 16 23:56:12 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jul 22 09:35:32 2017
-// Update Count     : 3
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Jul 26 11:24:00 2017
+// Update Count     : 4
 //
 
@@ -49 +49 @@
                 virtual void visit( AddressExpr *addressExpr );
                 virtual void visit( CastExpr *castExpr );
+                virtual void visit( VirtualCastExpr *castExpr );
                 virtual void visit( UntypedMemberExpr *memberExpr );
                 virtual void visit( MemberExpr *memberExpr );