Changeset d76c588 for src/AST/Type.hpp

Timestamp:

May 30, 2019, 4:10:24 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

8d70648

Parents:

eba615c

Message:

Stubs for new resolver, implementation of new indexer, type environment

File:

• src/AST/Type.hpp (modified) (4 diffs)

src/AST/Type.hpp

@@ -25 +25 @@
 #include "Decl.hpp"          // for AggregateDecl subclasses
 #include "Fwd.hpp"
-#include "Node.hpp"          // for Node, ptr
+#include "Node.hpp"          // for Node, ptr, ptr_base
 #include "TypeVar.hpp"
 #include "Visitor.hpp"
@@ -58 +58 @@
         virtual bool isVoid() const { return size() == 0; }
         /// Get the i'th component of this type
-        virtual const Type * getComponent( unsigned i );
+        virtual const Type * getComponent( unsigned i ) const;
 
         /// type without outer pointers and arrays
-        const Type * stripDeclarator();
+        const Type * stripDeclarator() const;
         /// type without outer references
-        const Type * stripReferences();
+        const Type * stripReferences() const;
         /// number of reference occuring consecutively on the outermost layer of this type
         /// (i.e. do not count references nested within other types)
@@ -75 +75 @@
         MUTATE_FRIEND
 };
+
+/// Set the `is_lvalue` qualifier on this type, cloning only if necessary
+template< enum Node::ref_type ref_t >
+void add_lvalue( ptr_base< Type, ref_t > & p ) {
+        if ( ! p->qualifiers.is_lvalue ) p.get_and_mutate()->qualifiers.is_lvalue = true;
+}
+
+/// Clear the qualifiers on this type, cloning only if necessary
+template< enum Node::ref_type ref_t >
+void clear_qualifiers( ptr_base< Type, ref_t > & p ) {
+        if ( p->qualifiers != CV::Qualifiers{} ) p.get_and_mutate()->qualifiers = CV::Qualifiers{};
+}
 
 /// `void`
@@ -437 +449 @@
         unsigned size() const override { return types.size(); }
 
-        const Type * getComponent( unsigned i ) override {
+        const Type * getComponent( unsigned i ) const override {
                 assertf( i < size(), "TupleType::getComponent: index %d must be less than size %d",
                         i, size() );