source: src/SynTree/ReferenceToType.cc @ 5f2f2d7

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglergc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since 5f2f2d7 was 5f2f2d7, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

fix constant types, remove unnecessary string copying, work on regression testing, fix several memory leaks

  • Property mode set to 100644
File size: 3.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// ReferenceToType.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sun Jun  7 08:31:48 2015
13// Update Count     : 4
14//
15
16#include <string>
17#include <cassert>
18
19#include "Type.h"
20#include "Declaration.h"
21#include "Expression.h"
22#include "TypeSubstitution.h"
23#include "utility.h"
24
25ReferenceToType::ReferenceToType( const Type::Qualifiers &tq, const std::string &name ) : Type( tq ), name( name ) {
26}
27
28ReferenceToType::ReferenceToType( const ReferenceToType &other ) : Type( other ), name( other.name ) {
29        cloneAll( other.parameters, parameters );
30}
31
32ReferenceToType::~ReferenceToType() {
33        deleteAll( parameters );
34}
35
36void ReferenceToType::print( std::ostream &os, int indent ) const {
37        using std::endl;
38       
39        Type::print( os, indent );
40        os << "instance of " << typeString() << " " << name << " ";
41        if ( ! parameters.empty() ) {
42                os << endl << std::string( indent, ' ' ) << "with parameters" << endl;
43                printAll( parameters, os, indent+2 );
44        } // if
45}
46
47namespace {
48        void doLookup( const std::list< Declaration* > &members, const std::list< TypeDecl* > &parms, const std::list< Expression* > &args, const std::string &name, std::list< Declaration* > &foundDecls ) {
49                std::list< Declaration* > found;
50                for ( std::list< Declaration* >::const_iterator i = members.begin(); i != members.end(); ++i ) {
51                        if ( (*i)->get_name() == name ) {
52                                found.push_back( *i );
53                        } // if
54                } // for
55                applySubstitution( parms.begin(), parms.end(), args.begin(), found.begin(), found.end(), back_inserter( foundDecls ) );
56        }
57} // namespace
58
59std::string StructInstType::typeString() const { return "struct"; }
60
61void StructInstType::lookup( const std::string &name, std::list< Declaration* > &foundDecls ) const {
62        assert( baseStruct );
63        doLookup( baseStruct->get_members(), baseStruct->get_parameters(), parameters, name, foundDecls );
64}
65
66std::string UnionInstType::typeString() const { return "union"; }
67
68void UnionInstType::lookup( const std::string &name, std::list< Declaration* > &foundDecls ) const {
69        assert( baseUnion );
70        doLookup( baseUnion->get_members(), baseUnion->get_parameters(), parameters, name, foundDecls );
71}
72
73std::string EnumInstType::typeString() const { return "enum"; }
74
75std::string ContextInstType::typeString() const { return "context"; }
76
77ContextInstType::ContextInstType( const ContextInstType &other ) : Parent( other ) {
78        cloneAll( other.members, members );
79}
80
81ContextInstType::~ContextInstType() {
82        deleteAll( members );
83}
84
85TypeInstType::TypeInstType( const Type::Qualifiers &tq, const std::string &name, TypeDecl *baseType ) : Parent( tq, name ) {
86        set_baseType( baseType );
87}
88
89TypeInstType::TypeInstType( const Type::Qualifiers &tq, const std::string &name, bool isFtype ) : Parent( tq, name ), baseType( 0 ), isFtype( isFtype ) {
90}
91
92void TypeInstType::set_baseType( TypeDecl *newValue ) {
93        baseType = newValue;
94        isFtype = newValue->get_kind() == TypeDecl::Ftype;
95}
96
97std::string TypeInstType::typeString() const { return "type"; }
98
99void TypeInstType::print( std::ostream &os, int indent ) const {
100        using std::endl;
101       
102        Type::print( os, indent );
103        os << "instance of " << typeString() << " " << get_name() << " (" << ( isFtype ? "" : "not" ) << " function type) ";
104        if ( ! parameters.empty() ) {
105                os << endl << std::string( indent, ' ' ) << "with parameters" << endl;
106                printAll( parameters, os, indent+2 );
107        } // if
108}
109
110// Local Variables: //
111// tab-width: 4 //
112// mode: c++ //
113// compile-command: "make install" //
114// End: //
Note: See TracBrowser for help on using the repository browser.