Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Tuples/Tuples.h

    rfd642d2 rc43c171  
    99// Author           : Rodolfo G. Esteves
    1010// Created On       : Mon May 18 07:44:20 2015
    11 // Last Modified By : Andrew Beach
    12 // Last Modified On : Tue Jun 18 09:36:00 2019
    13 // Update Count     : 18
     11// Last Modified By : Peter A. Buhr
     12// Last Modified On : Sat Jul 22 09:55:00 2017
     13// Update Count     : 16
    1414//
    1515
     
    1919#include <vector>
    2020
    21 #include "AST/Fwd.hpp"
    22 #include "AST/Node.hpp"
    2321#include "SynTree/Expression.h"
    2422#include "SynTree/Declaration.h"
     
    2624
    2725#include "ResolvExpr/AlternativeFinder.h"
    28 #include "ResolvExpr/CandidateFinder.hpp"
    2926
    3027namespace Tuples {
    3128        // TupleAssignment.cc
    32         void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign,
     29        void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign, 
    3330                std::vector< ResolvExpr::AlternativeFinder >& args );
    34         void handleTupleAssignment(
    35                 ResolvExpr::CandidateFinder & finder, const ast::UntypedExpr * assign,
    36                 std::vector< ResolvExpr::CandidateFinder > & args );
    37 
     31       
    3832        // TupleExpansion.cc
    3933        /// expands z.[a, b.[x, y], c] into [z.a, z.b.x, z.b.y, z.c], inserting UniqueExprs as appropriate
     
    4842        /// returns VoidType if any of the expressions have Voidtype, otherwise TupleType of the Expression result types
    4943        Type * makeTupleType( const std::list< Expression * > & exprs );
    50         const ast::Type * makeTupleType( const std::vector<ast::ptr<ast::Expr>> & exprs );
    5144
    5245        /// returns a TypeInstType if `type` is a ttype, nullptr otherwise
    5346        TypeInstType * isTtype( Type * type );
    54         const TypeInstType * isTtype( const Type * type );
    55         const ast::TypeInstType * isTtype( const ast::Type * type );
    5647
    5748        /// 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 );
    6050
    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 );
    6553} // namespace Tuples
    6654
Note: See TracChangeset for help on using the changeset viewer.