- Timestamp:
- Jun 13, 2019, 2:32:02 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:
- 6896548
- Parents:
- d60780c
- Location:
- src
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Expr.cpp
rd60780c rd76f32c 9 9 // Author : Aaron B. Moss 10 10 // Created On : Wed May 15 17:00:00 2019 11 // Last Modified By : A aron B. Moss12 // Created On : Wed May 15 17:00:00 201913 // Update Count : 111 // Last Modified By : Andrew Beach 12 // Created On : Thr Jun 13 13:38:00 2019 13 // Update Count : 2 14 14 // 15 15 … … 382 382 383 383 UniqueExpr::UniqueExpr( const CodeLocation & loc, const Expr * e, unsigned long long i ) 384 : Expr( loc, e->result ), id( i ) {384 : Expr( loc, e->result ), expr( e ), id( i ) { 385 385 assert( expr ); 386 386 if ( id == -1ull ) { -
src/AST/Expr.hpp
rd60780c rd76f32c 693 693 unsigned long long id; 694 694 695 UniqueExpr( const CodeLocation & loc, const Expr * e, unsigned long long i = -1 );695 UniqueExpr( const CodeLocation & loc, const Expr * e, unsigned long long i = -1ull ); 696 696 697 697 const Expr * accept( Visitor & v ) const override { return v.visit( this ); } -
src/ResolvExpr/Candidate.hpp
rd60780c rd76f32c 9 9 // Author : Aaron B. Moss 10 10 // Created On : Wed Jun 5 14:30:00 2019 11 // Last Modified By : A aron B. Moss12 // Last Modified On : Wed Jun 5 14:30:00 201913 // Update Count : 111 // Last Modified By : Andrew Beach 12 // Last Modified On : Wed Jun 12 14:15:00 2019 13 // Update Count : 2 14 14 // 15 15 … … 49 49 50 50 Candidate() : expr(), cost( Cost::zero ), cvtCost( Cost::zero ), env(), open(), need() {} 51 51 52 52 Candidate( const ast::Expr * x, const ast::TypeEnvironment & e ) 53 53 : expr( x ), cost( Cost::zero ), cvtCost( Cost::zero ), env( e ), open(), need() {} 54 54 55 55 Candidate( const Candidate & o, const ast::Expr * x ) 56 : expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ), 56 : expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ), 57 57 need( o.need ) {} 58 59 Candidate( 60 const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o, 61 ast::AssertionSet && n, const Cost & c )62 : expr( x ), cost( c ), cvtCost( Cost::zero ), env( std::move( e ) ), open( std::move( o ) ),58 59 Candidate( 60 const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o, 61 ast::AssertionSet && n, const Cost & c, const Cost & cvt = Cost::zero ) 62 : expr( x ), cost( c ), cvtCost( cvt ), env( std::move( e ) ), open( std::move( o ) ), 63 63 need( n.begin(), n.end() ) {} 64 64 };
Note: See TracChangeset
for help on using the changeset viewer.