Changeset acb33f15 for src/AST

Timestamp:

May 13, 2024, 10:26:52 AM (17 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

31f4837

Parents:

41c8312

Message:

Change enum conversion steps

Location:

src/AST

Files:

• Fwd.hpp (modified) (1 diff)
• Pass.hpp (modified) (1 diff)
• Pass.impl.hpp (modified) (1 diff)
• Print.cpp (modified) (1 diff)
• Type.hpp (modified) (1 diff)
• Visitor.hpp (modified) (1 diff)

src/AST/Fwd.hpp

@@ -133 +133 @@
 class OneType;
 class GlobalScopeType;
-class EnumAttrType;
 
 class Designation;

src/AST/Pass.hpp

@@ -207 +207 @@
         const ast::Type *             visit( const ast::UnionInstType        * ) override final;
         const ast::Type *             visit( const ast::EnumInstType         * ) override final;
-        const ast::Type *             visit( const ast::EnumAttrType         * ) override final;
         const ast::Type *             visit( const ast::TraitInstType        * ) override final;
         const ast::Type *             visit( const ast::TypeInstType         * ) override final;

src/AST/Pass.impl.hpp

@@ -1940 +1940 @@
 
 //--------------------------------------------------------------------------
-// EnumAttrType
-template< typename core_t >
-const ast::Type * ast::Pass< core_t >::visit( const ast::EnumAttrType * node ) {
-        VISIT_START( node );
-        VISIT_END( Type, node );
-}
-
-//--------------------------------------------------------------------------
 // TraitInstType
 template< typename core_t >

src/AST/Print.cpp

@@ -1576 +1576 @@
         }
 
-        virtual const ast::Type * visit( const ast::EnumAttrType * node ) override final {
-                preprint( node );
-                os << "enum attr ";
-                if ( node->attr == ast::EnumAttribute::Label ) {
-                        os << "Label ";
-                } else if ( node->attr == ast::EnumAttribute::Value ) {
-                        os << "Value ";
-                } else {
-                        os << "Posn ";
-                }
-                (*(node->instance)).accept( *this );
-                return node;
-        }
-
         virtual const ast::Type * visit( const ast::TraitInstType * node ) override final {
                 preprint( node );

src/AST/Type.hpp

@@ -319 +319 @@
 using EnumInstType = SueInstType<EnumDecl>;
 
-class EnumAttrType final : public Type {
-public:
-        readonly<EnumInstType> instance;
-        EnumAttribute attr;
-        const Type * accept( Visitor & v ) const override { return v.visit( this ); }
-        EnumAttrType( const EnumInstType * instance, EnumAttribute attr = EnumAttribute::Posn )
-                : instance(instance), attr(attr) {}
-
-        bool match( const ast::EnumAttrType * other) const {
-                return instance->base->name == other->instance->base->name && attr == other->attr;
-        }
-private:
-        EnumAttrType * clone() const override { return new EnumAttrType{ *this }; }
-        MUTATE_FRIEND
-};
-
 /// An instance of a trait type.
 class TraitInstType final : public BaseInstType {

src/AST/Visitor.hpp

@@ -119 +119 @@
     virtual const ast::Type *             visit( const ast::OneType              * ) = 0;
     virtual const ast::Type *             visit( const ast::GlobalScopeType      * ) = 0;
-    virtual const ast::Type *             visit( const ast::EnumAttrType         * ) = 0;
     virtual const ast::Designation *      visit( const ast::Designation          * ) = 0;
     virtual const ast::Init *             visit( const ast::SingleInit           * ) = 0;