Roland Conybeare
822af3a246
Helps streamline DX1Collector in xo-gc/. Want both forward and verify entry points for the same representation.
85 lines
2.7 KiB
C++
85 lines
2.7 KiB
C++
/** @file DVarRef.hpp
|
|
*
|
|
* @author Roland Conybeare, Feb 2026
|
|
**/
|
|
|
|
#pragma once
|
|
|
|
#include "Variable.hpp"
|
|
#include <xo/alloc2/GCObjectVisitor.hpp>
|
|
|
|
namespace xo {
|
|
namespace scm {
|
|
|
|
/** @class DVarRef
|
|
* @brief syntax for a variable reference
|
|
*
|
|
* Reference to a known variable possibly
|
|
* defined in another scope.
|
|
* For non-local non-global variables,
|
|
**/
|
|
class DVarRef {
|
|
public:
|
|
using ppindentinfo = xo::print::ppindentinfo;
|
|
using AGCObjectVisitor = xo::mm::AGCObjectVisitor;
|
|
using VisitReason = xo::mm::VisitReason;
|
|
using AAllocator = xo::mm::AAllocator;
|
|
using TypeDescr = xo::reflect::TypeDescr;
|
|
|
|
public:
|
|
DVarRef(DVariable * vardef,
|
|
Binding path);
|
|
|
|
/** create instance
|
|
* @p mm memory allocator
|
|
* @p vardef variable definition (name, typeref, binding)
|
|
* @p link number of lexical scope boundaries we must cross
|
|
* to reach scope containing @p vardef.
|
|
* Only relevant for non-global vardef
|
|
**/
|
|
static DVarRef * make(obj<AAllocator> mm,
|
|
DVariable * vardef,
|
|
int32_t link);
|
|
|
|
const DUniqueString * name() const;
|
|
Binding path() const { return path_; }
|
|
|
|
/** @defgroup scm-variable-expression-facet **/
|
|
///@{
|
|
|
|
exprtype extype() const noexcept { return exprtype::varref; }
|
|
TypeRef typeref() const noexcept;
|
|
TypeDescr valuetype() const noexcept;
|
|
void assign_valuetype(TypeDescr td) noexcept;
|
|
|
|
///@}
|
|
/** @defgroup scm-variable-gcobject-facet **/
|
|
///@{
|
|
|
|
DVarRef * gco_shallow_move(obj<AGCObjectVisitor> gc) noexcept;
|
|
void visit_gco_children(VisitReason reason, obj<AGCObjectVisitor> gc) noexcept;
|
|
|
|
///@}
|
|
/** @defgroup scm-variable-printable-facet **/
|
|
///@{
|
|
|
|
bool pretty(const ppindentinfo & ppii) const;
|
|
|
|
///@}
|
|
|
|
private:
|
|
/** variable definition. Created in the sccope where variable introduced.
|
|
* Has an associated @ref Binding, but that binding is only correct
|
|
* around any nested scopes.
|
|
**/
|
|
DVariable * vardef_ = nullptr;
|
|
|
|
/** at runtime: navigate environemnt via this path to get
|
|
* runtime memory location for this variable
|
|
**/
|
|
Binding path_;
|
|
};
|
|
} /*namespace scm*/
|
|
} /*namespace xo*/
|
|
|
|
/* end DVarRef.hpp */
|