roland/xo-procedure2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-interpreter2 stack: + DPrimitive_gco_3_dict_string_gco + dict_upsert

Browse source
This commit is contained in:
Roland Conybeare 2026-03-04 14:34:57 +11:00
commit b39f1bb085
15 changed files with 438 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

31
CMakeLists.txt
View file

@ -131,6 +131,37 @@ xo_add_genfacetimpl(
INPUT idl/IPrintable_DPrimitive_gco_2_gco_gco.json5
)
# ----------------------------------------------------------------
# note: manual target; generated code committed to git
xo_add_genfacetimpl(
TARGET xo-procedure2-facetimpl-procedure-primitive_gco_3_dict_string_gco
FACET_PKG xo_procedure2
FACET Procedure
REPR Dprimitive_gco_3_dict_string_gco
INPUT idl/IProcedure_DPrimitive_gco_3_dict_string_gco.json5
)
# note: manual target; generated code committed to git
xo_add_genfacetimpl(
TARGET xo-procedure2-facetimpl-gcobject-primitive_gco_3_dict_string_gco
FACET_PKG xo_gc
FACET GCObject
REPR primitive_gco_3_dict_string_gco
INPUT idl/IGCObject_DPrimitive_gco_3_dict_string_gco.json5
)
# note: manual target; generated code committed to git
xo_add_genfacetimpl(
TARGET xo-procedure2-facetimpl-printable-primitive_gco_3_dict_string_gco
FACET_PKG xo_printable2
FACET Printable
REPR primitive_gco_3_dict_string_gco
INPUT idl/IPrintable_DPrimitive_gco_3_dict_string_gco.json5
)
# ----------------------------------------------------------------
xo_add_genfacet_all(xo-procedure2-genfacet-all)
# ----------------------------------------------------------------

19
idl/IGCObject_DPrimitive_gco_3_dict_string_gco.json5 Normal file
View file

@ -0,0 +1,19 @@
{
mode: "implementation",
output_cpp_dir: "src/procedure2",
output_hpp_dir: "include/xo/procedure2",
output_impl_subdir: "detail",
includes: [
//<xo/procedure2/GCObjectConversion_DPrimitive_gco_3_dict_string_gco.hpp>
"<xo/gc/GCObject.hpp>",
"<xo/alloc2/Allocator.hpp>",
],
local_types: [ ],
namespace1: "xo",
namespace2: "scm",
facet_idl: "idl/GCObject.json5",
brief: "provide AGCobject interface for Primitive (dict x string x gco) -> gco",
using_doxygen: true,
repr: "DPrimitive_gco_3_dict_string_gco",
doc: [ "implement AGCObject for DPrimitive (dict x string x gco) -> gco" ],
}

18
idl/IPrintable_DPrimitive_gco_3_dict_string_gco.json5 Normal file
View file

@ -0,0 +1,18 @@
{
mode: "implementation",
output_cpp_dir: "src/procedure2",
output_hpp_dir: "include/xo/procedure2",
output_impl_subdir: "detail",
includes: [
"<xo/printable2/Printable.hpp>",
"<xo/printable2/detail/IPrintable_Xfer.hpp>",
],
local_types: [ ],
namespace1: "xo",
namespace2: "scm",
facet_idl: "idl/Printable.json5",
brief: "provide APrintable interface for DPrimitive (dict x string x gco) -> gco",
using_doxygen: true,
repr: "DPrimitive_gco_3_dict_string_gco",
doc: [ "implement APrintable for DPrimitive (dict x string x gco) -> gco" ],
}

20
idl/IProcedure_DPrimitive_gco_3_dict_string_gco.json5 Normal file
View file

@ -0,0 +1,20 @@
{
mode: "implementation",
output_cpp_dir: "src/procedure2",
output_hpp_dir: "include/xo/procedure2",
output_impl_subdir: "detail",
includes: [
"<xo/procedure2/RuntimeContext.hpp>",
"<xo/procedure2/detail/IRuntimeContext_Xfer.hpp>",
"<xo/procedure2/Procedure.hpp>",
"<xo/procedure2/detail/IProcedure_Xfer.hpp>",
],
local_types: [ ],
namespace1: "xo",
namespace2: "scm",
facet_idl: "idl/Procedure.json5",
brief: "provide AProcedure interface for Primitive (dict x string x gco) -> gco",
using_doxygen: true,
repr: "DPrimitive_gco_3_dict_string_gco",
doc: [ "implement AProcedure for DPrimitive (dict x string x gco) -> gco" ],
}

26
include/xo/procedure2/DPrimitive_gco_3_dict_string_gco.hpp Normal file
View file

@ -0,0 +1,26 @@
/** @file DPrimitive_gco_3_dict_string_gco.hpp
*
* @author Roland Conybeare, Mar 2026
**/
#pragma once
#include <xo/object2/Dictionary.hpp>
#include <xo/object2/String.hpp>
#include <xo/gc/GCObject.hpp>
#include "DPrimitive.hpp"
namespace xo {
namespace scm {
using xo::mm::AGCObject;
using xo::facet::obj;
using DPrimitive_gco_3_dict_string_gco
= Primitive<obj<AGCObject> (*)(obj<ARuntimeContext>,
obj<AGCObject,DDictionary>,
obj<AGCObject,DString>,
obj<AGCObject>)>;
}
}
/* end DPrimitive_gco_3_dict_string_gco.hpp */

11
include/xo/procedure2/Primitive_gco_3_dict_string_gco.hpp Normal file
View file

@ -0,0 +1,11 @@
/** @file Primitive_gco_3_dict_string_gco.hpp
*
* @author Roland Conybeare, Feb 2026
**/
#include "DPrimitive_gco_3_dict_string_gco.hpp"
#include "detail/IProcedure_DPrimitive_gco_3_dict_string_gco.hpp"
#include "detail/IGCObject_DPrimitive_gco_3_dict_string_gco.hpp"
#include "detail/IPrintable_DPrimitive_gco_3_dict_string_gco.hpp"
/* end Primitive_gco_3_dict_string_gco.hpp */

67
include/xo/procedure2/detail/IGCObject_DPrimitive_gco_3_dict_string_gco.hpp Normal file
View file

@ -0,0 +1,67 @@
/** @file IGCObject_DPrimitive_gco_3_dict_string_gco.hpp
*
* Generated automagically from ingredients:
* 1. code generator:
* [xo-facet/codegen/genfacet]
* arguments:
* --input [idl/IGCObject_DPrimitive_gco_3_dict_string_gco.json5]
* 2. jinja2 template for abstract facet .hpp file:
* [iface_facet_repr.hpp.j2]
* 3. idl for facet methods
* [idl/IGCObject_DPrimitive_gco_3_dict_string_gco.json5]
**/
#pragma once
#include "GCObject.hpp"
#include <xo/gc/GCObject.hpp>
#include <xo/alloc2/Allocator.hpp>
#include "DPrimitive_gco_3_dict_string_gco.hpp"
namespace xo { namespace scm { class IGCObject_DPrimitive_gco_3_dict_string_gco; } }
namespace xo {
namespace facet {
template <>
struct FacetImplementation<xo::mm::AGCObject,
xo::scm::DPrimitive_gco_3_dict_string_gco>
{
using ImplType = xo::mm::IGCObject_Xfer
<xo::scm::DPrimitive_gco_3_dict_string_gco,
xo::scm::IGCObject_DPrimitive_gco_3_dict_string_gco>;
};
}
}
namespace xo {
namespace scm {
/** @class IGCObject_DPrimitive_gco_3_dict_string_gco
**/
class IGCObject_DPrimitive_gco_3_dict_string_gco {
public:
/** @defgroup scm-gcobject-dprimitive_gco_3_dict_string_gco-type-traits **/
///@{
using size_type = xo::mm::AGCObject::size_type;
using AAllocator = xo::mm::AGCObject::AAllocator;
using ACollector = xo::mm::AGCObject::ACollector;
using Copaque = xo::mm::AGCObject::Copaque;
using Opaque = xo::mm::AGCObject::Opaque;
///@}
/** @defgroup scm-gcobject-dprimitive_gco_3_dict_string_gco-methods **/
///@{
// const methods
/** memory consumption for this instance **/
static size_type shallow_size(const DPrimitive_gco_3_dict_string_gco & self) noexcept;
/** copy instance using allocator **/
static Opaque shallow_copy(const DPrimitive_gco_3_dict_string_gco & self, obj<AAllocator> mm) noexcept;
// non-const methods
/** during GC: forward immdiate children **/
static size_type forward_children(DPrimitive_gco_3_dict_string_gco & self, obj<ACollector> gc) noexcept;
///@}
};
} /*namespace scm*/
} /*namespace xo*/
/* end */

62
include/xo/procedure2/detail/IPrintable_DPrimitive_gco_3_dict_string_gco.hpp Normal file
View file

@ -0,0 +1,62 @@
/** @file IPrintable_DPrimitive_gco_3_dict_string_gco.hpp
*
* Generated automagically from ingredients:
* 1. code generator:
* [xo-facet/codegen/genfacet]
* arguments:
* --input [idl/IPrintable_DPrimitive_gco_3_dict_string_gco.json5]
* 2. jinja2 template for abstract facet .hpp file:
* [iface_facet_repr.hpp.j2]
* 3. idl for facet methods
* [idl/IPrintable_DPrimitive_gco_3_dict_string_gco.json5]
**/
#pragma once
#include "Printable.hpp"
#include <xo/printable2/Printable.hpp>
#include <xo/printable2/detail/IPrintable_Xfer.hpp>
#include "DPrimitive_gco_3_dict_string_gco.hpp"
namespace xo { namespace scm { class IPrintable_DPrimitive_gco_3_dict_string_gco; } }
namespace xo {
namespace facet {
template <>
struct FacetImplementation<xo::print::APrintable,
xo::scm::DPrimitive_gco_3_dict_string_gco>
{
using ImplType = xo::print::IPrintable_Xfer
<xo::scm::DPrimitive_gco_3_dict_string_gco,
xo::scm::IPrintable_DPrimitive_gco_3_dict_string_gco>;
};
}
}
namespace xo {
namespace scm {
/** @class IPrintable_DPrimitive_gco_3_dict_string_gco
**/
class IPrintable_DPrimitive_gco_3_dict_string_gco {
public:
/** @defgroup scm-printable-dprimitive_gco_3_dict_string_gco-type-traits **/
///@{
using ppindentinfo = xo::print::APrintable::ppindentinfo;
using Copaque = xo::print::APrintable::Copaque;
using Opaque = xo::print::APrintable::Opaque;
///@}
/** @defgroup scm-printable-dprimitive_gco_3_dict_string_gco-methods **/
///@{
// const methods
/** Pretty-printing support for this object.
See [xo-indentlog/xo/indentlog/pretty.hpp] **/
static bool pretty(const DPrimitive_gco_3_dict_string_gco & self, const ppindentinfo & ppii);
// non-const methods
///@}
};
} /*namespace scm*/
} /*namespace xo*/
/* end */

67
include/xo/procedure2/detail/IProcedure_DPrimitive_gco_3_dict_string_gco.hpp Normal file
View file

@ -0,0 +1,67 @@
/** @file IProcedure_DPrimitive_gco_3_dict_string_gco.hpp
*
* Generated automagically from ingredients:
* 1. code generator:
* [xo-facet/codegen/genfacet]
* arguments:
* --input [idl/IProcedure_DPrimitive_gco_3_dict_string_gco.json5]
* 2. jinja2 template for abstract facet .hpp file:
* [iface_facet_repr.hpp.j2]
* 3. idl for facet methods
* [idl/IProcedure_DPrimitive_gco_3_dict_string_gco.json5]
**/
#pragma once
#include "Procedure.hpp"
#include <xo/procedure2/RuntimeContext.hpp>
#include <xo/procedure2/detail/IRuntimeContext_Xfer.hpp>
#include <xo/procedure2/Procedure.hpp>
#include <xo/procedure2/detail/IProcedure_Xfer.hpp>
#include "DPrimitive_gco_3_dict_string_gco.hpp"
namespace xo { namespace scm { class IProcedure_DPrimitive_gco_3_dict_string_gco; } }
namespace xo {
namespace facet {
template <>
struct FacetImplementation<xo::scm::AProcedure,
xo::scm::DPrimitive_gco_3_dict_string_gco>
{
using ImplType = xo::scm::IProcedure_Xfer
<xo::scm::DPrimitive_gco_3_dict_string_gco,
xo::scm::IProcedure_DPrimitive_gco_3_dict_string_gco>;
};
}
}
namespace xo {
namespace scm {
/** @class IProcedure_DPrimitive_gco_3_dict_string_gco
**/
class IProcedure_DPrimitive_gco_3_dict_string_gco {
public:
/** @defgroup scm-procedure-dprimitive_gco_3_dict_string_gco-type-traits **/
///@{
using AGCObject = xo::scm::AProcedure::AGCObject;
using Copaque = xo::scm::AProcedure::Copaque;
using Opaque = xo::scm::AProcedure::Opaque;
///@}
/** @defgroup scm-procedure-dprimitive_gco_3_dict_string_gco-methods **/
///@{
// const methods
/** true iff procedure takes n arguments **/
static bool is_nary(const DPrimitive_gco_3_dict_string_gco & self) noexcept;
/** number of arguments. -1 for n-ary **/
static std::int32_t n_args(const DPrimitive_gco_3_dict_string_gco & self) noexcept;
// non-const methods
/** invoke procedure; assume arguments satisfy type system **/
static obj<AGCObject> apply_nocheck(DPrimitive_gco_3_dict_string_gco & self, obj<ARuntimeContext> rcx, const DArray * args);
///@}
};
} /*namespace scm*/
} /*namespace xo*/
/* end */

3
src/procedure2/CMakeLists.txt
View file

@ -20,6 +20,9 @@ set(SELF_SRCS
IGCObject_DPrimitive_gco_2_gco_gco.cpp
IProcedure_DPrimitive_gco_2_gco_gco.cpp
IPrintable_DPrimitive_gco_2_gco_gco.cpp
IGCObject_DPrimitive_gco_3_dict_string_gco.cpp
IProcedure_DPrimitive_gco_3_dict_string_gco.cpp
IPrintable_DPrimitive_gco_3_dict_string_gco.cpp
)
xo_add_shared_library4(${SELF_LIB} ${PROJECT_NAME}Targets ${PROJECT_VERSION} 1 ${SELF_SRCS})

39
src/procedure2/IGCObject_DPrimitive_gco_3_dict_string_gco.cpp Normal file
View file

@ -0,0 +1,39 @@
/** @file IGCObject_DPrimitive_gco_3_dict_string_gco.cpp
*
* Generated automagically from ingredients:
* 1. code generator:
* [xo-facet/codegen/genfacet]
* arguments:
* --input [idl/IGCObject_DPrimitive_gco_3_dict_string_gco.json5]
* 2. jinja2 template for abstract facet .hpp file:
* [iface_facet_any.hpp.j2]
* 3. idl for facet methods
* [idl/IGCObject_DPrimitive_gco_3_dict_string_gco.json5]
**/
#include "detail/IGCObject_DPrimitive_gco_3_dict_string_gco.hpp"
namespace xo {
namespace scm {
auto
IGCObject_DPrimitive_gco_3_dict_string_gco::shallow_size(const DPrimitive_gco_3_dict_string_gco & self) noexcept -> size_type
{
return self.shallow_size();
}
auto
IGCObject_DPrimitive_gco_3_dict_string_gco::shallow_copy(const DPrimitive_gco_3_dict_string_gco & self, obj<AAllocator> mm) noexcept -> Opaque
{
return self.shallow_copy(mm);
}
auto
IGCObject_DPrimitive_gco_3_dict_string_gco::forward_children(DPrimitive_gco_3_dict_string_gco & self, obj<ACollector> gc) noexcept -> size_type
{
return self.forward_children(gc);
}
} /*namespace scm*/
} /*namespace xo*/
/* end IGCObject_DPrimitive_gco_3_dict_string_gco.cpp */

28
src/procedure2/IPrintable_DPrimitive_gco_3_dict_string_gco.cpp Normal file
View file

@ -0,0 +1,28 @@
/** @file IPrintable_DPrimitive_gco_3_dict_string_gco.cpp
*
* Generated automagically from ingredients:
* 1. code generator:
* [xo-facet/codegen/genfacet]
* arguments:
* --input [idl/IPrintable_DPrimitive_gco_3_dict_string_gco.json5]
* 2. jinja2 template for abstract facet .hpp file:
* [iface_facet_any.hpp.j2]
* 3. idl for facet methods
* [idl/IPrintable_DPrimitive_gco_3_dict_string_gco.json5]
**/
#include "detail/IPrintable_DPrimitive_gco_3_dict_string_gco.hpp"
namespace xo {
namespace scm {
auto
IPrintable_DPrimitive_gco_3_dict_string_gco::pretty(const DPrimitive_gco_3_dict_string_gco & self, const ppindentinfo & ppii) -> bool
{
return self.pretty(ppii);
}
} /*namespace scm*/
} /*namespace xo*/
/* end IPrintable_DPrimitive_gco_3_dict_string_gco.cpp */

39
src/procedure2/IProcedure_DPrimitive_gco_3_dict_string_gco.cpp Normal file
View file

@ -0,0 +1,39 @@
/** @file IProcedure_DPrimitive_gco_3_dict_string_gco.cpp
*
* Generated automagically from ingredients:
* 1. code generator:
* [xo-facet/codegen/genfacet]
* arguments:
* --input [idl/IProcedure_DPrimitive_gco_3_dict_string_gco.json5]
* 2. jinja2 template for abstract facet .hpp file:
* [iface_facet_any.hpp.j2]
* 3. idl for facet methods
* [idl/IProcedure_DPrimitive_gco_3_dict_string_gco.json5]
**/
#include "detail/IProcedure_DPrimitive_gco_3_dict_string_gco.hpp"
namespace xo {
namespace scm {
auto
IProcedure_DPrimitive_gco_3_dict_string_gco::is_nary(const DPrimitive_gco_3_dict_string_gco & self) noexcept -> bool
{
return self.is_nary();
}
auto
IProcedure_DPrimitive_gco_3_dict_string_gco::n_args(const DPrimitive_gco_3_dict_string_gco & self) noexcept -> std::int32_t
{
return self.n_args();
}
auto
IProcedure_DPrimitive_gco_3_dict_string_gco::apply_nocheck(DPrimitive_gco_3_dict_string_gco & self, obj<ARuntimeContext> rcx, const DArray * args) -> obj<AGCObject>
{
return self.apply_nocheck(rcx, args);
}
} /*namespace scm*/
} /*namespace xo*/
/* end IProcedure_DPrimitive_gco_3_dict_string_gco.cpp */

6
src/procedure2/procedure2_register_facets.cpp
View file

@ -8,6 +8,7 @@
#include "Primitive_gco_0.hpp"
#include "Primitive_gco_1_gco.hpp"
#include "Primitive_gco_2_gco_gco.hpp"
#include "Primitive_gco_3_dict_string_gco.hpp"
#include <xo/gc/GCObject.hpp>
#include <xo/printable2/Printable.hpp>
@ -39,9 +40,14 @@ namespace xo {
FacetRegistry::register_impl<AGCObject, DPrimitive_gco_2_gco_gco>();
FacetRegistry::register_impl<APrintable, DPrimitive_gco_2_gco_gco>();
FacetRegistry::register_impl<AProcedure, DPrimitive_gco_3_dict_string_gco>();
FacetRegistry::register_impl<AGCObject, DPrimitive_gco_3_dict_string_gco>();
FacetRegistry::register_impl<APrintable, DPrimitive_gco_3_dict_string_gco>();
log && log(xtag("DSimpleRcx.tseq", typeseq::id<DSimpleRcx>()));
log && log(xtag("DPrimitive_gco_1_gco.tseq", typeseq::id<DPrimitive_gco_1_gco>()));
log && log(xtag("DPrimitive_gco_2_gco_gco.tseq", typeseq::id<DPrimitive_gco_2_gco_gco>()));
log && log(xtag("DPrimitive_gco_3_dict_string_gco.tseq", typeseq::id<DPrimitive_gco_3_dict_string_gco>()));
log && log(xtag("ARuntimeContext.tseq", typeseq::id<ARuntimeContext>()));
log && log(xtag("AProcedure.tseq", typeseq::id<AProcedure>()));

2
src/procedure2/procedure2_register_types.cpp
View file

@ -8,6 +8,7 @@
#include "detail/IGCObject_DPrimitive_gco_0.hpp"
#include "detail/IGCObject_DPrimitive_gco_1_gco.hpp"
#include "detail/IGCObject_DPrimitive_gco_2_gco_gco.hpp"
#include "detail/IGCObject_DPrimitive_gco_3_dict_string_gco.hpp"
#include <xo/indentlog/scope.hpp>
namespace xo {
@ -30,6 +31,7 @@ namespace xo {
ok &= gc.install_type(impl_for<AGCObject, DPrimitive_gco_0>());
ok &= gc.install_type(impl_for<AGCObject, DPrimitive_gco_1_gco>());
ok &= gc.install_type(impl_for<AGCObject, DPrimitive_gco_2_gco_gco>());
ok &= gc.install_type(impl_for<AGCObject, DPrimitive_gco_3_dict_string_gco>());
return ok;
}