Roland Conybeare
a33f75f6f4
subrepo: subdir: "xo-expression2" merged: "9823ce36" upstream: origin: "git@github.com:Rconybea/xo-expression2.git" branch: "main" commit: "9823ce36" git-subrepo: version: "0.4.9" origin: "???" commit: "???"
93 lines
3.1 KiB
C++
93 lines
3.1 KiB
C++
/** @file DVariable.hpp
|
|
*
|
|
* @author Roland Conybeare, Jan 2026
|
|
**/
|
|
|
|
#pragma once
|
|
|
|
#include "DUniqueString.hpp"
|
|
#include "Binding.hpp"
|
|
#include "TypeRef.hpp"
|
|
#include "exprtype.hpp"
|
|
#include <xo/alloc2/GCObjectVisitor.hpp>
|
|
#include <xo/reflect/TypeDescr.hpp>
|
|
#include <xo/indentlog/print/pretty.hpp>
|
|
|
|
namespace xo {
|
|
namespace scm {
|
|
|
|
/** @class DVariable
|
|
* @brief syntax for a variable reference
|
|
**/
|
|
class DVariable {
|
|
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:
|
|
/** create instance
|
|
* @p mm memory allocator
|
|
* @p name variable name
|
|
* @p typeref type information for legal values
|
|
* (possibly just placeholder when relying on inference)
|
|
* @p path binding path to runtime value.
|
|
* This may be computed after parsing;
|
|
* mnust be resolved before execution.
|
|
**/
|
|
static DVariable * make(obj<AAllocator> mm,
|
|
const DUniqueString * name,
|
|
const TypeRef & typeref,
|
|
Binding path = Binding());
|
|
|
|
DVariable(const DUniqueString * name,
|
|
const TypeRef & typeref,
|
|
Binding path);
|
|
|
|
const DUniqueString * name() const { return name_; }
|
|
Binding path() const { return path_; }
|
|
|
|
void assign_name(const DUniqueString * name) { this->name_ = name; }
|
|
void assign_path(Binding b) { this->path_ = b; }
|
|
|
|
/** @defgroup scm-variable-expression-facet **/
|
|
///@{
|
|
|
|
exprtype extype() const noexcept { return exprtype::variable; }
|
|
TypeRef typeref() const noexcept { return typeref_; }
|
|
TypeDescr valuetype() const noexcept { return typeref_.td(); };
|
|
void assign_valuetype(TypeDescr td) noexcept;
|
|
|
|
///@}
|
|
/** @defgroup scm-variable-gcobject-facet **/
|
|
///@{
|
|
|
|
DVariable * 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:
|
|
/** symbol name **/
|
|
const DUniqueString * name_ = nullptr;
|
|
/** variable value always has type consistent
|
|
* with this description
|
|
**/
|
|
TypeRef typeref_;
|
|
/** at runtime: navigate environemnt via this path to get
|
|
* runtime memory location for this variable
|
|
**/
|
|
Binding path_;
|
|
};
|
|
} /*namespace scm*/
|
|
} /*namespace xo*/
|
|
|
|
/* end DVariable.hpp */
|