- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/AlternativeFinder.h
rdc2e7e0 r0f19d763 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // AlternativeFinder.h -- 7 // AlternativeFinder.h -- 8 8 // 9 9 // Author : Richard C. Bilson 10 10 // Created On : Sat May 16 23:56:12 2015 11 // Last Modified By : Rob Schluntz12 // Last Modified On : Tue Apr 19 11:44:53 201611 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Sat May 16 23:58:43 2015 13 13 // Update Count : 2 14 // 14 // 15 15 16 16 #ifndef ALTERNATIVEFINDER_H … … 54 54 virtual void visit( NameExpr *variableExpr ); 55 55 virtual void visit( VariableExpr *variableExpr ); 56 virtual void visit( ConstantExpr *constantExpr ); 56 virtual void visit( ConstantExpr *constantExpr ); 57 57 virtual void visit( SizeofExpr *sizeofExpr ); 58 virtual void visit( AlignofExpr *alignofExpr );59 virtual void visit( UntypedOffsetofExpr *offsetofExpr );60 virtual void visit( OffsetofExpr *offsetofExpr );61 virtual void visit( OffsetPackExpr *offsetPackExpr );62 58 virtual void visit( AttrExpr *attrExpr ); 63 59 virtual void visit( LogicalExpr *logicalExpr ); … … 65 61 virtual void visit( CommaExpr *commaExpr ); 66 62 virtual void visit( TupleExpr *tupleExpr ); 67 virtual void visit( ImplicitCopyCtorExpr * impCpCtorExpr );68 63 public: // xxx - temporary hack - should make Tuples::TupleAssignment a friend 69 64 template< typename InputIterator, typename OutputIterator > … … 71 66 72 67 private: 73 /// Adds alternatives for member expressions, given the aggregate, conversion cost for that aggregate, and name of the member74 68 template< typename StructOrUnionType > void addAggMembers( StructOrUnionType *aggInst, Expression *expr, const Cost &newCost, const std::string &name ); 75 /// Adds alternatives for offsetof expressions, given the base type and name of the member76 template< typename StructOrUnionType > void addOffsetof( StructOrUnionType *aggInst, const std::string &name );77 69 bool instantiateFunction( std::list< DeclarationWithType* >& formals, /*const*/ AltList &actuals, bool isVarArgs, OpenVarSet& openVars, TypeEnvironment &resultEnv, AssertionSet &resultNeed, AssertionSet &resultHave ); 78 70 template< typename OutputIterator >
Note:
See TracChangeset
for help on using the changeset viewer.