Changeset f441c88 for src/Parser

Timestamp:

Nov 2, 2018, 4:14:33 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

5753b33, 8e04794

Parents:

c45b304

Message:

Implement basetypeof

File:

• src/Parser/TypeData.cc (modified) (2 diffs)

src/Parser/TypeData.cc

@@ -522 +522 @@
         switch ( td->kind ) {
           case TypeData::Unknown:
-                // fill in implicit int
-                return new BasicType( buildQualifiers( td ), BasicType::SignedInt );
+                        // fill in implicit int
+                        return new BasicType( buildQualifiers( td ), BasicType::SignedInt );
           case TypeData::Basic:
-                return buildBasicType( td );
+                        return buildBasicType( td );
           case TypeData::Pointer:
-                return buildPointer( td );
+                        return buildPointer( td );
           case TypeData::Array:
-                return buildArray( td );
+                        return buildArray( td );
           case TypeData::Reference:
-                return buildReference( td );
+                        return buildReference( td );
           case TypeData::Function:
-                return buildFunction( td );
+                        return buildFunction( td );
           case TypeData::AggregateInst:
-                return buildAggInst( td );
+                        return buildAggInst( td );
           case TypeData::EnumConstant:
-                // the name gets filled in later -- by SymTab::Validate
-                return new EnumInstType( buildQualifiers( td ), "" );
+                        // the name gets filled in later -- by SymTab::Validate
+                        return new EnumInstType( buildQualifiers( td ), "" );
           case TypeData::SymbolicInst:
-                return buildSymbolicInst( td );
+                        return buildSymbolicInst( td );
           case TypeData::Tuple:
-                return buildTuple( td );
+                        return buildTuple( td );
           case TypeData::Typeof:
           case TypeData::Basetypeof:
-                return buildTypeof( td );
+                        return buildTypeof( td );
           case TypeData::Builtin:
-                if(td->builtintype == DeclarationNode::Zero) {
-                        return new ZeroType( noQualifiers );
-                }
-                else if(td->builtintype == DeclarationNode::One) {
-                        return new OneType( noQualifiers );
-                }
-                else {
-                        return new VarArgsType( buildQualifiers( td ) );
-                }
+                        if (td->builtintype == DeclarationNode::Zero) {
+                                return new ZeroType( noQualifiers );
+                        }
+                        else if (td->builtintype == DeclarationNode::One) {
+                                return new OneType( noQualifiers );
+                        }
+                        else {
+                                return new VarArgsType( buildQualifiers( td ) );
+                        }
           case TypeData::GlobalScope:
-                return new GlobalScopeType();
+                        return new GlobalScopeType();
                 case TypeData::Qualified:
-                return new QualifiedType( buildQualifiers( td ), typebuild( td->qualified.parent ), typebuild( td->qualified.child ) );
+                        return new QualifiedType( buildQualifiers( td ), typebuild( td->qualified.parent ), typebuild( td->qualified.child ) );
           case TypeData::Symbolic:
           case TypeData::Enum:
           case TypeData::Aggregate:
-                assert( false );
+                        assert( false );
         } // switch
 
@@ -942 +942 @@
         assert( td->typeexpr );
         // assert( td->typeexpr->expr );
-        return new TypeofType( td->kind == TypeData::Basetypeof ? Type::Qualifiers{} : buildQualifiers( td ), td->typeexpr->build() );
+        return new TypeofType{ 
+                buildQualifiers( td ), td->typeexpr->build(), td->kind == TypeData::Basetypeof };
 } // buildTypeof