| 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 | // TupleType.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 : Wed Feb 1 17:10:58 2017
|
|---|
| 13 | // Update Count : 3
|
|---|
| 14 | //
|
|---|
| 15 |
|
|---|
| 16 | #include <list> // for list
|
|---|
| 17 | #include <ostream> // for operator<<, ostream, basic_ostream
|
|---|
| 18 |
|
|---|
| 19 | #include "Common/utility.h" // for cloneAll, deleteAll, printAll
|
|---|
| 20 | #include "Declaration.h" // for Declaration, ObjectDecl
|
|---|
| 21 | #include "Initializer.h" // for ListInit
|
|---|
| 22 | #include "Parser/LinkageSpec.h" // for Cforall
|
|---|
| 23 | #include "Type.h" // for TupleType, Type, Type::Qualifiers
|
|---|
| 24 |
|
|---|
| 25 | class Attribute;
|
|---|
| 26 |
|
|---|
| 27 | TupleType::TupleType( const Type::Qualifiers &tq, const std::list< Type * > & types, const std::list< Attribute * > & attributes ) : Type( tq, attributes ), types( types ) {
|
|---|
| 28 | for ( Type * t : *this ) {
|
|---|
| 29 | // xxx - this is very awkward. TupleTypes should contain objects so that members can be named, but if they don't have an initializer node then
|
|---|
| 30 | // they end up getting constructors, which end up being inserted causing problems. This happens because the object decls have to be visited so that
|
|---|
| 31 | // their types are kept in sync with the types list here. Ultimately, the types list here should be eliminated and perhaps replaced with a list-view
|
|---|
| 32 | // of the object types list, but I digress. The temporary solution here is to make a ListInit with maybeConstructed = false, that way even when the
|
|---|
| 33 | // object is visited, it is never constructed. Ultimately, a better solution might be either:
|
|---|
| 34 | // a) to separate TupleType from its declarations, into TupleDecl and Tuple{Inst?}Type, ala StructDecl and StructInstType
|
|---|
| 35 | // b) separate initializer nodes better, e.g. add a MaybeConstructed node that is replaced by genInit, rather than what currently exists in a bool
|
|---|
| 36 | members.push_back( new ObjectDecl( "" , Type::StorageClasses(), LinkageSpec::Cforall, nullptr, t->clone(), new ListInit( {}, {}, false ) ) );
|
|---|
| 37 | }
|
|---|
| 38 | }
|
|---|
| 39 |
|
|---|
| 40 | TupleType::TupleType( const TupleType& other ) : Type( other ) {
|
|---|
| 41 | cloneAll( other.types, types );
|
|---|
| 42 | cloneAll( other.members, members );
|
|---|
| 43 | }
|
|---|
| 44 |
|
|---|
| 45 | TupleType::~TupleType() {
|
|---|
| 46 | deleteAll( types );
|
|---|
| 47 | deleteAll( members );
|
|---|
| 48 | }
|
|---|
| 49 |
|
|---|
| 50 | void TupleType::print( std::ostream &os, int indent ) const {
|
|---|
| 51 | Type::print( os, indent );
|
|---|
| 52 | os << "tuple of types" << std::endl;
|
|---|
| 53 | printAll( types, os, indent+2 );
|
|---|
| 54 | }
|
|---|
| 55 |
|
|---|
| 56 | // Local Variables: //
|
|---|
| 57 | // tab-width: 4 //
|
|---|
| 58 | // mode: c++ //
|
|---|
| 59 | // compile-command: "make install" //
|
|---|
| 60 | // End: //
|
|---|
