Factory.h

#ifndef ROSE_CodeGen_Factory_H
#define ROSE_CodeGen_Factory_H

#include <Rose/CodeGen/API.h>

namespace Rose { namespace CodeGen {

template <typename CRT, typename API>
class Factory;

template <typename CRT, typename apiT, Object otag>
struct __factory_helper_t;

using tplargs_t = std::vector<SgTemplateArgument *>;

template <typename CRT, typename API>
class Factory {
  public:
    using factory_t = Factory<CRT, API>;

  public:
    Driver & driver;
    API api;

  public:
    Factory(Driver & driver_) : driver(driver_), api() {
      api.load(driver);
    }

    template <Object otag, typename... Args>
    declaration_t<otag> * instantiate(symbol_t<otag> * API::* obj, SgNamedType * parent, Args... args) const {
      symbol_t<otag> * sym = api.*obj;
      ROSE_ASSERT(sym);
      ROSE_ASSERT(is_template_symbol_variant<otag>(sym->variantT()));
      return __factory_helper_t<CRT, API, otag>::instantiate(*this, sym, parent, args...);
    }

    template <Object otag, typename... Args>
    reference_t<otag> * reference(symbol_t<otag> * API::* obj, SgNamedType * parent, Args... args) const {
      symbol_t<otag> * sym = api.*obj;
      ROSE_ASSERT(sym);
      
      if (is_template_symbol_variant<otag>(sym->variantT())) {
        declaration_t<otag> * decl = instantiate<otag>(obj, parent, args...);
        ROSE_ASSERT(decl != nullptr);
        sym = dynamic_cast<symbol_t<otag> *>(decl->search_for_symbol_from_symbol_table());
        ROSE_ASSERT(sym != nullptr);
//      ROSE_ASSERT(sym->get_declaration() == decl->get_firstNondefiningDeclaration());
      } else {
        // FIXME sanity-check: `args` is empty
      }

      return __factory_helper_t<CRT, API, otag>::reference(*this, sym, parent, args...);
    }

    template <Object otag, typename... Args>
    SgExpression * access(symbol_t<otag> * API::* obj, SgExpression * parent, Args... args) const {

      SgType * ptype = parent->get_type(); // TODO strip type modifiers and references

      bool lhs_has_ptr_type = isSgPointerType(parent->get_type());
      if (lhs_has_ptr_type) {
        ptype = ((SgPointerType*)ptype)->get_base_type(); // TODO strip type modifiers and references
      }

      SgClassType * xtype = isSgClassType(ptype);
      ROSE_ASSERT(xtype != nullptr);

      reference_t<otag> * rhs = reference(obj, ptype, args...);
      ROSE_ASSERT(rhs != nullptr);

      if (lhs_has_ptr_type) {
        return SageBuilder::buildArrowExp(parent, rhs);
      } else {
        return SageBuilder::buildDotExp(parent, rhs);
      }
    }


  protected:
    template <Object otag>
    using access_return_t = std::conditional_t<otag == Object::a_class || otag == Object::a_typedef, SgType, SgExpression>;


  public:
    template <Object otag, typename... Args>
    access_return_t<otag> * access(symbol_t<otag> * API::* obj, SgNamedType * parent, Args... args) const {
      reference_t<otag> * rhs = reference(obj, parent, args...);
      // TODO build either SgScopedRefType SgScopedRefExp
      return rhs;
    }
};

#if 0
template <typename CRT, typename apiT>
template <>
reference_t<Object::a_variable> * Factory<CRT,apiT>::reference<Object::a_variable>(symbol_t<Object::a_variable> * sym) {
  return nullptr;
}
#endif

} }

#include "Rose/CodeGen/factory/namespaces.txx"
#include "Rose/CodeGen/factory/classes.txx"
#include "Rose/CodeGen/factory/typedefs.txx"
#include "Rose/CodeGen/factory/variables.txx"
#include "Rose/CodeGen/factory/functions.txx"

#endif