source: src/AST/GenericSubstitution.cpp @ 7a15b7e

ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
Last change on this file since 7a15b7e was 98e8b3b, checked in by Andrew Beach <ajbeach@…>, 4 years ago

ast::ReferenceToType? is now ast::BaseInstType?.

  • 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// GenericSubstitution.cpp --
8//
9// Author           : Aaron B. Moss
10// Created On       : Wed May 22 14:15:00 2019
11// Last Modified By : Aaron B. Moss
12// Created On       : Wed May 22 14:15:00 2019
13// Update Count     : 1
14//
15
16#include "GenericSubstitution.hpp"
17
18#include <cassert>
19#include <utility>               // for move
20
21#include "Decl.hpp"
22#include "Node.hpp"              // for maybe_accept
23#include "Pass.hpp"
24#include "Type.hpp"
25#include "TypeSubstitution.hpp"
26
27namespace ast {
28
29namespace {
30        struct GenericSubstitutionBuilder : public WithShortCircuiting {
31                TypeSubstitution sub;
32
33                void previsit( const Type * ) {
34                        // allow empty substitution for non-generic type
35                        visit_children = false;
36                }
37
38                void previsit( const ReferenceType * ) {
39                        // do nothing; allows substitution from base type
40                }
41
42        private:
43                // make substitution for generic type
44                void makeSub( const BaseInstType * ty ) {
45                        visit_children = false;
46                        const AggregateDecl * aggr = ty->aggr();
47                        sub = TypeSubstitution{ aggr->params.begin(), aggr->params.end(), ty->params.begin() };
48                }
49
50        public:
51                void previsit( const StructInstType * ty ) {
52                        makeSub( ty );
53                }
54
55                void previsit( const UnionInstType * ty ) {
56                        makeSub( ty );
57                }
58        };
59}
60
61TypeSubstitution genericSubstitution( const Type * ty ) {
62        Pass<GenericSubstitutionBuilder> builder;
63        maybe_accept( ty, builder );
64        return std::move(builder.core.sub);
65}
66
67}
68
69// Local Variables: //
70// tab-width: 4 //
71// mode: c++ //
72// compile-command: "make install" //
73// End: //
Note: See TracBrowser for help on using the repository browser.