Changeset 0522ebe for src/AST

Timestamp:

Feb 26, 2024, 3:49:23 AM (11 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

a4da45e

Parents:

c17dc80

Message:

Add EnumPosType? to type system

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 EnumPosType;
 
 class Designation;

src/AST/Pass.hpp

@@ -222 +222 @@
         const ast::Type *             visit( const ast::UnionInstType        * ) override final;
         const ast::Type *             visit( const ast::EnumInstType         * ) override final;
+        const ast::Type *             visit( const ast::EnumPosType          * ) 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

@@ -1986 +1986 @@
 
 //--------------------------------------------------------------------------
+// EnumPosType
+template< typename core_t >
+const ast::Type * ast::Pass< core_t >::visit( const ast::EnumPosType * 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::EnumPosType * node ) override final {
+                preprint( node );
+                os << "enum pos with ";
+                (*(node->instance)).accept( *this );
+                return node;
+        }
+
         virtual const ast::Type * visit( const ast::TraitInstType * node ) override final {
                 preprint( node );

src/AST/Type.hpp

@@ -362 +362 @@
 using EnumInstType = SueInstType<EnumDecl>;
 
+class EnumPosType final : public Type {
+public:
+        readonly<EnumInstType> instance;
+        const Type * accept( Visitor & v ) const override { return v.visit( this ); }
+        EnumPosType( const EnumInstType * instance ): instance(instance) {}
+        
+private:
+        EnumPosType * clone() const override { return new EnumPosType{ *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::EnumPosType          * ) = 0;
     virtual const ast::Designation *      visit( const ast::Designation          * ) = 0;
     virtual const ast::Init *             visit( const ast::SingleInit           * ) = 0;