Changeset 6f096d2 for src/SymTab/Indexer.h

Timestamp:

Jul 12, 2019, 4:34:56 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

e3d7f9f

Parents:

8fd52e90

Message:

Resolver now uses constant interface

File:

• src/SymTab/Indexer.h (modified) (7 diffs)

src/SymTab/Indexer.h

@@ -40 +40 @@
 
                 struct IdData {
-                        DeclarationWithType * id = nullptr;
-                        Expression * baseExpr = nullptr; // WithExpr
+                        const DeclarationWithType * id = nullptr;
+                        const Expression * baseExpr = nullptr; // WithExpr
 
                         /// non-null if this declaration is deleted
-                        BaseSyntaxNode * deleteStmt = nullptr;
+                        const BaseSyntaxNode * deleteStmt = nullptr;
                         /// scope of identifier
                         unsigned long scope = 0;
@@ -51 +51 @@
                         IdData() = default;
                         IdData(
-                                DeclarationWithType * id, Expression * baseExpr, BaseSyntaxNode * deleteStmt,
+                                const DeclarationWithType * id, const Expression * baseExpr, const BaseSyntaxNode * deleteStmt,
                                 unsigned long scope )
                                 : id( id ), baseExpr( baseExpr ), deleteStmt( deleteStmt ), scope( scope ) {}
-                        IdData( const IdData& o, BaseSyntaxNode * deleteStmt )
+                        IdData( const IdData& o, const BaseSyntaxNode * deleteStmt )
                                 : id( o.id ), baseExpr( o.baseExpr ), deleteStmt( deleteStmt ), scope( o.scope ) {}
 
@@ -82 +82 @@
                 const EnumDecl * globalLookupEnum( const std::string & id ) const;
 
-                void addId( DeclarationWithType * decl, Expression * baseExpr = nullptr );
-                void addDeletedId( DeclarationWithType * decl, BaseSyntaxNode * deleteStmt );
+                void addId( const DeclarationWithType * decl, const Expression * baseExpr = nullptr );
+                void addDeletedId( const DeclarationWithType * decl, const BaseSyntaxNode * deleteStmt );
 
-                void addType( NamedTypeDecl * decl );
+                void addType( const NamedTypeDecl * decl );
                 void addStruct( const std::string & id );
-                void addStruct( StructDecl * decl );
-                void addEnum( EnumDecl * decl );
+                void addStruct( const StructDecl * decl );
+                void addEnum( const EnumDecl * decl );
                 void addUnion( const std::string & id );
-                void addUnion( UnionDecl * decl );
-                void addTrait( TraitDecl * decl );
+                void addUnion( const UnionDecl * decl );
+                void addTrait( const TraitDecl * decl );
 
                 /// adds all of the IDs from WithStmt exprs
-                void addWith( std::list< Expression * > & withExprs, BaseSyntaxNode * withStmt );
+                void addWith( const std::list< Expression * > & withExprs, const BaseSyntaxNode * withStmt );
 
                 /// convenience function for adding a list of Ids to the indexer
@@ -103 +103 @@
 
                 /// convenience function for adding all of the declarations in a function type to the indexer
-                void addFunctionType( FunctionType * ftype );
+                void addFunctionType( const FunctionType * ftype );
 
           private:
@@ -109 +109 @@
                 template<typename Decl>
                 struct Scoped {
-                        Decl * decl;           ///< declaration
+                        const Decl * decl;           ///< declaration
                         unsigned long scope;  ///< scope of this declaration
 
-                        Scoped(Decl * d, unsigned long s) : decl(d), scope(s) {}
+                        Scoped(const Decl * d, unsigned long s) : decl(d), scope(s) {}
                 };
 
@@ -144 +144 @@
                 /// Removes matching autogenerated constructors and destructors so that they will not be
                 /// selected. If returns false, passed decl should not be added.
-                bool removeSpecialOverrides( IdData& decl, MangleTable::Ptr& mangleTable );
+                bool removeSpecialOverrides( IdData & decl, MangleTable::Ptr & mangleTable );
 
                 /// Options for handling identifier conflicts
@@ -152 +152 @@
                                 Delete  ///< Delete the earlier version with the delete statement
                         } mode;
-                        BaseSyntaxNode * deleteStmt;  ///< Statement that deletes this expression
+                        const BaseSyntaxNode * deleteStmt;  ///< Statement that deletes this expression
 
                 private:
                         OnConflict() : mode(Error), deleteStmt(nullptr) {}
-                        OnConflict( BaseSyntaxNode * d ) : mode(Delete), deleteStmt(d) {}
+                        OnConflict( const BaseSyntaxNode * d ) : mode(Delete), deleteStmt(d) {}
                 public:
                         OnConflict( const OnConflict& ) = default;
 
                         static OnConflict error() { return {}; }
-                        static OnConflict deleteWith( BaseSyntaxNode * d ) { return { d }; }
+                        static OnConflict deleteWith( const BaseSyntaxNode * d ) { return { d }; }
                 };
 
                 /// true if the existing identifier conflicts with the added identifier
                 bool addedIdConflicts(
-                        const IdData& existing, DeclarationWithType * added, OnConflict handleConflicts,
-                        BaseSyntaxNode * deleteStmt );
+                        const IdData & existing, const DeclarationWithType * added, OnConflict handleConflicts,
+                        const BaseSyntaxNode * deleteStmt );
 
                 /// common code for addId, addDeletedId, etc.
-                void addId(
-                        DeclarationWithType * decl, OnConflict handleConflicts,
-                        Expression * baseExpr = nullptr, BaseSyntaxNode * deleteStmt = nullptr );
+                void addId(const DeclarationWithType * decl, OnConflict handleConflicts,
+                        const Expression * baseExpr = nullptr, const BaseSyntaxNode * deleteStmt = nullptr );
 
                 /// adds all of the members of the Aggregate (addWith helper)
-                void addMembers( AggregateDecl * aggr, Expression * expr, OnConflict handleConflicts );
+                void addMembers( const AggregateDecl * aggr, const Expression * expr, OnConflict handleConflicts );
 
                 /// returns true if there exists a declaration with C linkage and the given name with the same mangled name
-                bool hasCompatibleCDecl( const std::string & id, const std::string &mangleName ) const;
+                bool hasCompatibleCDecl( const std::string & id, const std::string & mangleName ) const;
                 /// returns true if there exists a declaration with C linkage and the given name with a different mangled name
-                bool hasIncompatibleCDecl( const std::string & id, const std::string &mangleName ) const;
+                bool hasIncompatibleCDecl( const std::string & id, const std::string & mangleName ) const;
         };
 } // namespace SymTab