Ignore:
Timestamp:
Mar 14, 2023, 11:15:15 AM (17 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, ast-experimental, master
Children:
9fa61f5
Parents:
089a0d7
Message:

small formatting changes after Andrew's major updates

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Parser/DeclarationNode.cc

    r089a0d7 r15596d7  
    1010// Created On       : Sat May 16 12:34:05 2015
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Sat Feb 25 12:15:40 2023
    13 // Update Count     : 1404
     12// Last Modified On : Tue Mar 14 08:54:13 2023
     13// Update Count     : 1405
    1414//
    1515
     
    600600        } else {
    601601                switch ( dst->kind ) {
    602                 case TypeData::Unknown:
     602                  case TypeData::Unknown:
    603603                        src->qualifiers |= dst->qualifiers;
    604604                        dst = src;
    605605                        src = nullptr;
    606606                        break;
    607                 case TypeData::Basic:
     607                  case TypeData::Basic:
    608608                        dst->qualifiers |= src->qualifiers;
    609609                        if ( src->kind != TypeData::Unknown ) {
     
    633633                        } // if
    634634                        break;
    635                 default:
     635                  default:
    636636                        switch ( src->kind ) {
    637                         case TypeData::Aggregate:
    638                         case TypeData::Enum:
     637                          case TypeData::Aggregate:
     638                          case TypeData::Enum:
    639639                                dst->base = new TypeData( TypeData::AggregateInst );
    640640                                dst->base->aggInst.aggregate = src;
     
    645645                                src = nullptr;
    646646                                break;
    647                         default:
     647                          default:
    648648                                if ( dst->forall ) {
    649649                                        dst->forall->appendList( src->forall );
     
    727727        assert( type );
    728728        switch ( type->kind ) {
    729         case TypeData::Symbolic:
     729          case TypeData::Symbolic:
    730730                if ( type->symbolic.assertions ) {
    731731                        type->symbolic.assertions->appendList( assertions );
     
    734734                } // if
    735735                break;
    736         default:
     736          default:
    737737                assert( false );
    738738        } // switch
     
    833833                if ( type ) {
    834834                        switch ( type->kind ) {
    835                         case TypeData::Aggregate:
    836                         case TypeData::Enum:
     835                          case TypeData::Aggregate:
     836                          case TypeData::Enum:
    837837                                p->type->base = new TypeData( TypeData::AggregateInst );
    838838                                p->type->base->aggInst.aggregate = type;
     
    843843                                break;
    844844
    845                         default:
     845                          default:
    846846                                p->type->base = type;
    847847                        } // switch
     
    865865
    866866DeclarationNode * DeclarationNode::addNewArray( DeclarationNode * a ) {
    867         if ( ! a ) return this;
     867  if ( ! a ) return this;
    868868        assert( a->type->kind == TypeData::Array );
    869869        TypeData * lastArray = findLast( a->type );
    870870        if ( type ) {
    871871                switch ( type->kind ) {
    872                 case TypeData::Aggregate:
    873                 case TypeData::Enum:
     872                  case TypeData::Aggregate:
     873                  case TypeData::Enum:
    874874                        lastArray->base = new TypeData( TypeData::AggregateInst );
    875875                        lastArray->base->aggInst.aggregate = type;
     
    879879                        lastArray->base->qualifiers |= type->qualifiers;
    880880                        break;
    881                 default:
     881                  default:
    882882                        lastArray->base = type;
    883883                } // switch
     
    12451245
    12461246        switch ( type->kind ) {
    1247         case TypeData::Enum:
    1248         case TypeData::Aggregate: {
    1249                 ReferenceToType * ret = buildComAggInst( type, attributes, linkage );
    1250                 buildList( type->aggregate.actuals, ret->get_parameters() );
    1251                 return ret;
    1252         }
    1253         case TypeData::Symbolic: {
    1254                 TypeInstType * ret = new TypeInstType( buildQualifiers( type ), *type->symbolic.name, false, attributes );
    1255                 buildList( type->symbolic.actuals, ret->get_parameters() );
    1256                 return ret;
    1257         }
    1258         default:
     1247          case TypeData::Enum:
     1248          case TypeData::Aggregate: {
     1249                  ReferenceToType * ret = buildComAggInst( type, attributes, linkage );
     1250                  buildList( type->aggregate.actuals, ret->get_parameters() );
     1251                  return ret;
     1252          }
     1253          case TypeData::Symbolic: {
     1254                  TypeInstType * ret = new TypeInstType( buildQualifiers( type ), *type->symbolic.name, false, attributes );
     1255                  buildList( type->symbolic.actuals, ret->get_parameters() );
     1256                  return ret;
     1257          }
     1258          default:
    12591259                Type * simpletypes = typebuild( type );
    12601260                simpletypes->get_attributes() = attributes;             // copy because member is const
Note: See TracChangeset for help on using the changeset viewer.