parse-result.hpp

/* Copyright 2025 Jonathan S. Arney
 *
 *  Licensed under the Apache License, Version 2.0 (the "License");
 *  you may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 *
 *      https://github.com/jarney/gyoji/blob/master/LICENSE
 *
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 */
#ifndef _GYOJI_INTERNAL
#error "This header is intended to be used internally as a part of the Gyoji front-end.  Please include frontend.hpp instead."
#endif
#pragma once
 
namespace Gyoji::frontend::yacc {
    class YaccParser;
    class LexContext;
}
 
namespace Gyoji::frontend {
    class Parser;
 
    class Symbol {
    public:
    Symbol(std::string _name, const Gyoji::context::SourceReference & _src_ref);
    Symbol(const Symbol & _other);
    ~Symbol();
    std::string name;
    const Gyoji::context::SourceReference src_ref;
    };
    
    class ParseResult {
    public:
    ParseResult(
        Gyoji::context::CompilerContext & _compiler_context,
        Gyoji::owned<Gyoji::frontend::namespaces::NS2Context> _ns2_context
        );
    ~ParseResult();
    
    const Gyoji::frontend::namespaces::NS2Context & get_ns2_context() const;
 
    bool has_errors() const;
    
    Gyoji::context::Errors & get_errors() const;
    
    bool has_translation_unit() const;
    
    const Gyoji::frontend::tree::TranslationUnit & get_translation_unit() const;
    
    const Gyoji::context::TokenStream & get_token_stream() const;
    
    const Gyoji::context::CompilerContext & get_compiler_context() const;
    
    friend Gyoji::frontend::yacc::YaccParser;
    friend Gyoji::frontend::yacc::LexContext;
    friend Gyoji::frontend::Parser;
 
    void symbol_table_dump();
 
    Gyoji::frontend::namespaces::NS2Entity *identifier_get_or_create(
        std::string name,
        bool allow_placement_in_namespace,
        const Gyoji::context::SourceReference & _src_ref
        );
    
    Gyoji::frontend::namespaces::NS2Entity *namespace_get_or_create(
        std::string name,
        const Gyoji::context::SourceReference & _src_ref
        );
 
    Gyoji::frontend::namespaces::NS2Entity* class_get_or_create(
        std::string _name,
        const Gyoji::context::SourceReference & _source_ref
        );
 
    Gyoji::frontend::namespaces::NS2Entity* type_get_or_create(
        std::string _name,
        const Gyoji::context::SourceReference & _source_ref
        );
 
    
    const Symbol *symbol_get_or_create(std::string symbol, const Gyoji::context::SourceReference & _src_ref);
    
    void symbol_define(std::string symbol, const Gyoji::context::SourceReference & _src_ref);
    const Symbol *symbol_get(std::string name) const;
    private:
    void set_translation_unit(Gyoji::owned<Gyoji::frontend::tree::TranslationUnit> tu);
    
    Gyoji::context::CompilerContext & compiler_context;
    
    Gyoji::owned<Gyoji::frontend::namespaces::NS2Context> ns2_context;
    
    Gyoji::owned<Gyoji::frontend::tree::TranslationUnit> translation_unit;
 
    std::map<std::string, Symbol> symbol_table;
    
    // We probably need a 'symbol table' which keeps track of global
    // variables and functions.  The index would be the 'symbol name'
    // which would consist of the unique name.  For globals, this is just
    // the symbol name as a fully qualified name.  For functions, this is
    // the fully namespace qualified name along with mangled argument list
    // in C++ style.  It should be C++ compatible mangling (maybe?)
 
    // When we encounter an unqualified name, we try applying the current
    // search space (usings) and current scopes, try variations on the
    // name based on the path until we get a match.  If there's no match, we're
    // clear to create a new one.
    };
    
};