Changes in src/Tuples/Tuples.h [fd642d2:c43c171]
- File:
-
- 1 edited
-
src/Tuples/Tuples.h (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/Tuples/Tuples.h
rfd642d2 rc43c171 9 9 // Author : Rodolfo G. Esteves 10 10 // Created On : Mon May 18 07:44:20 2015 11 // Last Modified By : Andrew Beach12 // Last Modified On : Tue Jun 18 09:36:00 201913 // Update Count : 1 811 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Sat Jul 22 09:55:00 2017 13 // Update Count : 16 14 14 // 15 15 … … 19 19 #include <vector> 20 20 21 #include "AST/Fwd.hpp"22 #include "AST/Node.hpp"23 21 #include "SynTree/Expression.h" 24 22 #include "SynTree/Declaration.h" … … 26 24 27 25 #include "ResolvExpr/AlternativeFinder.h" 28 #include "ResolvExpr/CandidateFinder.hpp"29 26 30 27 namespace Tuples { 31 28 // TupleAssignment.cc 32 void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign, 29 void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign, 33 30 std::vector< ResolvExpr::AlternativeFinder >& args ); 34 void handleTupleAssignment( 35 ResolvExpr::CandidateFinder & finder, const ast::UntypedExpr * assign, 36 std::vector< ResolvExpr::CandidateFinder > & args ); 37 31 38 32 // TupleExpansion.cc 39 33 /// expands z.[a, b.[x, y], c] into [z.a, z.b.x, z.b.y, z.c], inserting UniqueExprs as appropriate … … 48 42 /// returns VoidType if any of the expressions have Voidtype, otherwise TupleType of the Expression result types 49 43 Type * makeTupleType( const std::list< Expression * > & exprs ); 50 const ast::Type * makeTupleType( const std::vector<ast::ptr<ast::Expr>> & exprs );51 44 52 45 /// returns a TypeInstType if `type` is a ttype, nullptr otherwise 53 46 TypeInstType * isTtype( Type * type ); 54 const TypeInstType * isTtype( const Type * type );55 const ast::TypeInstType * isTtype( const ast::Type * type );56 47 57 48 /// returns true if the expression may contain side-effects. 58 bool maybeImpure( const Expression * expr ); 59 bool maybeImpure( const ast::Expr * expr ); 49 bool maybeImpure( Expression * expr ); 60 50 61 /// Returns true if the expression may contain side-effect, 62 /// ignoring the presence of unique expressions. 63 bool maybeImpureIgnoreUnique( const Expression * expr ); 64 bool maybeImpureIgnoreUnique( const ast::Expr * expr ); 51 /// returns true if the expression may contain side-effect, ignoring the presence of unique expressions. 52 bool maybeImpureIgnoreUnique( Expression * expr ); 65 53 } // namespace Tuples 66 54
Note:
See TracChangeset
for help on using the changeset viewer.