Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/AST/Decl.cpp

    r07de76b rd76c588  
    99// Author           : Aaron B. Moss
    1010// Created On       : Thu May 9 10:00:00 2019
    11 // Last Modified By : Peter A. Buhr
    12 // Last Modified On : Fri Dec 13 16:23:15 2019
    13 // Update Count     : 20
     11// Last Modified By : Aaron B. Moss
     12// Last Modified On : Thu May 9 10:00:00 2019
     13// Update Count     : 1
    1414//
    1515
     
    1818#include <cassert>             // for assert, strict_dynamic_cast
    1919#include <iostream>
     20#include <string>
    2021#include <unordered_map>
    2122
     
    2627#include "Node.hpp"            // for readonly
    2728#include "Type.hpp"            // for readonly
     29#include "Parser/ParseNode.h"  // for DeclarationNode
    2830
    2931namespace ast {
     
    5456// --- TypeDecl
    5557
    56 const char * TypeDecl::typeString() const {
    57         static const char * kindNames[] = { "sized data type", "sized object type", "sized function type", "sized tuple type" };
    58         static_assert( sizeof(kindNames)/sizeof(kindNames[0]) == TypeDecl::NUMBER_OF_KINDS, "typeString: kindNames is out of sync." );
    59         assertf( kind < TypeDecl::NUMBER_OF_KINDS, "TypeDecl kind is out of bounds." );
    60         return sized ? kindNames[ kind ] : &kindNames[ kind ][ sizeof("sized") ]; // sizeof includes '\0'
     58std::string TypeDecl::typeString() const {
     59        static const std::string kindNames[] = { "object type", "function type", "tuple type" };
     60        assertf( sizeof(kindNames)/sizeof(kindNames[0]) == DeclarationNode::NoTypeClass-1,
     61                "typeString: kindNames is out of sync." );
     62        assertf( kind < sizeof(kindNames)/sizeof(kindNames[0]), "TypeDecl's kind is out of bounds." );
     63        return (sized ? "sized " : "") + kindNames[ kind ];
    6164}
    6265
    63 const char * TypeDecl::genTypeString() const {
    64         static const char * kindNames[] = { "dtype", "otype", "ftype", "ttype" };
    65         static_assert( sizeof(kindNames)/sizeof(kindNames[0]) == TypeDecl::NUMBER_OF_KINDS, "genTypeString: kindNames is out of sync." );
    66         assertf( kind < TypeDecl::NUMBER_OF_KINDS, "TypeDecl kind is out of bounds." );
     66std::string TypeDecl::genTypeString() const {
     67        static const std::string kindNames[] = { "dtype", "ftype", "ttype" };
     68        assertf( sizeof(kindNames)/sizeof(kindNames[0]) == DeclarationNode::NoTypeClass-1, "genTypeString: kindNames is out of sync." );
     69        assertf( kind < sizeof(kindNames)/sizeof(kindNames[0]), "TypeDecl's kind is out of bounds." );
    6770        return kindNames[ kind ];
    6871}
     
    7073std::ostream & operator<< ( std::ostream & out, const TypeDecl::Data & data ) {
    7174        return out << data.kind << ", " << data.isComplete;
    72 }
    73 
    74 // --- AggregateDecl
    75 
    76 // These must harmonize with the corresponding AggregateDecl::Aggregate enumerations.
    77 static const char * aggregateNames[] = { "struct", "union", "enum", "exception", "trait", "generator", "coroutine", "monitor", "thread", "NoAggregateName" };
    78 
    79 const char * AggregateDecl::aggrString( AggregateDecl::Aggregate aggr ) {
    80         return aggregateNames[aggr];
    8175}
    8276
Note: See TracChangeset for help on using the changeset viewer.