source: src/ResolvExpr/Alternative.h @ b5aa3d8

new-envwith_gc
Last change on this file since b5aa3d8 was f229fc2, checked in by Aaron Moss <a3moss@…>, 6 years ago

Modify resolver to use young-generation collection per-top-level expression

  • Property mode set to 100644
File size: 1.7 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Alternative.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sat May 16 23:45:43 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Jul 22 09:36:36 2017
13// Update Count     : 3
14//
15
16#pragma once
17
18#include <iosfwd>             // for ostream
19#include <vector>             // for vector
20
21#include "Cost.h"             // for Cost
22#include "TypeEnvironment.h"  // for TypeEnvironment
23
24class Expression;
25
26class GC;
27
28namespace ResolvExpr {
29        struct Alternative {
30                Alternative();
31                Alternative( Expression *expr, const TypeEnvironment &env, const Cost &cost );
32                Alternative( Expression *expr, const TypeEnvironment &env, const Cost &cost, const Cost &cvtCost );
33                Alternative( const Alternative &other ) = default;
34                Alternative &operator=( const Alternative &other ) = default;
35
36                void print( std::ostream &os, Indenter indent = {} ) const;
37
38                Cost cost;
39                Cost cvtCost;
40                Expression * expr;
41                TypeEnvironment env;
42        };
43
44        typedef std::vector< Alternative > AltList;
45
46        /// Moves all elements from src to the end of dst
47        void splice( AltList& dst, AltList& src );
48
49        /// Moves all elements from src to the beginning of dst
50        void spliceBegin( AltList& dst, AltList& src );
51
52        static inline std::ostream & operator<<(std::ostream & os, const ResolvExpr::Alternative & alt) {
53                alt.print( os );
54                return os;
55        }
56
57        const GC& operator<< ( const GC&, const Alternative& );
58} // namespace ResolvExpr
59
60// Local Variables: //
61// tab-width: 4 //
62// mode: c++ //
63// compile-command: "make install" //
64// End: //
Note: See TracBrowser for help on using the repository browser.