Template Class StructuralMapDynEngine

Template Class StructuralMapDynEngine#

Inheritance Relationships#

Base Type#

  • public Parent

Class Documentation#

template<typename Parent, WalkOrder order>
class StructuralMapDynEngine : public Parent#

Structural mutator whose links are runtime ffi.Functions keyed by type index.

This is the dynamic counterpart of StructuralMapEngine. Moving it into this header makes the same Parent layering available to downstream dynamic mutators; only its runtime link table and invocation differ from the typed engine. Its Parent follows the same descent-layer protocol, while runtime Function callbacks retain their existing (value) or (value, TVMFFIDefRegionKind) ABI.

Template Parameters:

  • Parent – Mutator layer that supplies descent and callback state through the same this->-bound protocol documented on StructuralMapEngine.

  • order – Callback placement relative to child mapping.

Public Functions

inline StructuralMapDynEngine(Array<Tuple<int32_t, Function>> callbacks, Array<Tuple<int32_t, Function>> callbacks_with_def_region_kind)#

Construct a dynamic map engine with the default Parent constructor.

Parameters:

  • callbacks – Runtime links invoked as callback(value).

  • callbacks_with_def_region_kind – Runtime links invoked with the active region kind.