Changeset 21300d7 for src/ResolvExpr/CandidateFinder.hpp
- Timestamp:
- Jun 12, 2019, 4:06:37 PM (5 years ago)
- 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:
- 462a7c7, d60780c
- Parents:
- aaeacf4 (diff), 6625727 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/CandidateFinder.hpp
raaeacf4 r21300d7 19 19 #include "ResolvMode.h" 20 20 #include "AST/Fwd.hpp" 21 #include "AST/Node.hpp" 21 22 #include "AST/SymbolTable.hpp" 22 23 #include "AST/TypeEnvironment.hpp" … … 29 30 const ast::SymbolTable & symtab; ///< Symbol table to lookup candidates 30 31 const ast::TypeEnvironment & env; ///< Substitutions performed in this resolution 31 const ast::Type *targetType = nullptr; ///< Target type for resolution32 ast::ptr< ast::Type > targetType = nullptr; ///< Target type for resolution 32 33 33 34 CandidateFinder( const ast::SymbolTable & symtab, const ast::TypeEnvironment & env ) … … 36 37 /// Fill candidates with feasible resolutions for `expr` 37 38 void find( const ast::Expr * expr, ResolvMode mode = {} ); 39 40 /// Runs new candidate finder on each element in xs, returning the list of finders 41 std::vector< CandidateFinder > findSubExprs( const std::vector< ast::ptr< ast::Expr > > & xs ); 42 43 using value_type = CandidateList::value_type; 44 using iterator = CandidateList::iterator; 45 using const_iterator = CandidateList::const_iterator; 46 47 iterator begin() { return candidates.begin(); } 48 const_iterator begin() const { return candidates.begin(); } 49 50 iterator end() { return candidates.end(); } 51 const_iterator end() const { return candidates.end(); } 38 52 }; 39 53
Note: See TracChangeset
for help on using the changeset viewer.