Changeset 4e66a18 for src/ResolvExpr/AlternativeFinder.h

Timestamp:

Sep 27, 2017, 4:25:27 PM (6 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

aaron-thesis, arm-eh, 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:

c3b3799

Parents:

8404321

git-author:

Rob Schluntz <rschlunt@…> (09/27/17 15:54:21)

git-committer:

Rob Schluntz <rschlunt@…> (09/27/17 16:25:27)

Message:

Add maybeFind to AlternativeFinder? to prevent excess exceptions when finding function operators

File:

• src/ResolvExpr/AlternativeFinder.h (modified) (1 diff)

src/ResolvExpr/AlternativeFinder.h

@@ -34 +34 @@
           public:
                 AlternativeFinder( const SymTab::Indexer &indexer, const TypeEnvironment &env );
-                void find( Expression *expr, bool adjust = false, bool prune = true );
+                void find( Expression *expr, bool adjust = false, bool prune = true, bool failFast = true );
                 /// Calls find with the adjust flag set; adjustment turns array and function types into equivalent pointer types
-                void findWithAdjustment( Expression *expr, bool prune = true );
+                void findWithAdjustment( Expression *expr );
+                /// Calls find with the adjust flag set and prune flag unset; pruning ensures there is at most one alternative per result type
+                void findWithoutPrune( Expression *expr );
+                /// Calls find with the adjust and prune flags set, failFast flags unset; fail fast ensures that there is at least one resulting alternative
+                void maybeFind( Expression *expr );
                 AltList &get_alternatives() { return alternatives; }