### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63. module foo { import hilti; import spicy_rt; # Type X0 supports the following features: # - uses_offset type X0 = struct { uint<64> __offset &internal &needed-by-feature="uses_offset"; optional __error &always-emit &internal; hook void __on_0x25_init(); } &on-heap; # Type X1 supports the following features: # - uses_random_access type X1 = struct { iterator __begin &internal &needed-by-feature="uses_random_access"; optional> __position_update &internal &needed-by-feature="uses_random_access"; optional __error &always-emit &internal; hook void __on_0x25_init(); } &on-heap; # Type X4 supports the following features: # - is_filter type X4 = struct { spicy_rt::Parser __parser &static &internal &needed-by-feature="supports_filters" &needed-by-feature="supports_sinks" &needed-by-feature="is_filter"; weak_ref __forward &internal &needed-by-feature="is_filter"; optional __error &always-emit &internal; method tuple, int<64>, const iterator, optional> __parse_stage1(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error); method view parse1(inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method view parse2(inout value_ref __unit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method view parse3(inout value_ref __gunit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method tuple, int<64>, const iterator, optional> __parse_foo__X4_stage2(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error); } &on-heap; # Type X5 supports the following features: # - supports_filters public type X5 = struct { spicy_rt::Parser __parser &static &internal &needed-by-feature="supports_filters" &always-emit; strong_ref __filters &internal &needed-by-feature="supports_filters"; optional __error &always-emit &internal; hook void __on_0x25_init(); method tuple, int<64>, const iterator, optional> __parse_stage1(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error); method view parse1(inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method view parse2(inout value_ref __unit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method view parse3(inout value_ref __gunit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method tuple, int<64>, const iterator, optional> __parse_foo__X5_stage2(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error); } &on-heap; # Type X6 supports the following features: # - supports_sinks type X6 = struct { strong_ref data &default=new spicy_rt::Sink() &internal &needed-by-feature="supports_sinks"; spicy_rt::Parser __parser &static &internal &needed-by-feature="supports_filters" &needed-by-feature="supports_sinks"; spicy_rt::SinkState __sink &internal &needed-by-feature="supports_sinks"; optional __error &always-emit &internal; hook void __on_0x25_init(); method tuple, int<64>, const iterator, optional> __parse_stage1(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error); method view parse1(inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method view parse2(inout value_ref __unit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method view parse3(inout value_ref __gunit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static; method tuple, int<64>, const iterator, optional> __parse_foo__X6_stage2(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error); } &on-heap; const bool __feat%foo@@X0%uses_offset = True; const bool __feat%foo@@X0%uses_random_access = False; const bool __feat%foo@@X0%uses_stream = False; const bool __feat%foo@@X0%uses_sync_advance = False; const bool __feat%foo@@X0%is_filter = False; const bool __feat%foo@@X0%supports_filters = False; const bool __feat%foo@@X0%supports_sinks = False; const bool __feat%foo@@X0%synchronization = False; const bool __feat%foo@@X1%uses_offset = False; const bool __feat%foo@@X1%uses_random_access = True; const bool __feat%foo@@X1%uses_stream = False; const bool __feat%foo@@X1%uses_sync_advance = False; const bool __feat%foo@@X1%is_filter = False; const bool __feat%foo@@X1%supports_filters = False; const bool __feat%foo@@X1%supports_sinks = False; const bool __feat%foo@@X1%synchronization = False; const bool __feat%foo@@X2%uses_offset = False; const bool __feat%foo@@X2%uses_random_access = False; const bool __feat%foo@@X2%uses_stream = False; const bool __feat%foo@@X2%uses_sync_advance = False; const bool __feat%foo@@X2%is_filter = False; const bool __feat%foo@@X2%supports_filters = False; const bool __feat%foo@@X2%supports_sinks = False; const bool __feat%foo@@X2%synchronization = False; const bool __feat%foo@@X3%uses_offset = False; const bool __feat%foo@@X3%uses_random_access = False; const bool __feat%foo@@X3%uses_stream = False; const bool __feat%foo@@X3%uses_sync_advance = False; const bool __feat%foo@@X3%is_filter = False; const bool __feat%foo@@X3%supports_filters = False; const bool __feat%foo@@X3%supports_sinks = False; const bool __feat%foo@@X3%synchronization = False; const bool __feat%foo@@X4%uses_offset = False; const bool __feat%foo@@X4%uses_random_access = False; const bool __feat%foo@@X4%uses_stream = False; const bool __feat%foo@@X4%uses_sync_advance = False; const bool __feat%foo@@X4%is_filter = True; const bool __feat%foo@@X4%supports_filters = False; const bool __feat%foo@@X4%supports_sinks = False; const bool __feat%foo@@X4%synchronization = False; const bool __feat%foo@@X5%uses_offset = False; const bool __feat%foo@@X5%uses_random_access = False; const bool __feat%foo@@X5%uses_stream = False; const bool __feat%foo@@X5%uses_sync_advance = False; const bool __feat%foo@@X5%is_filter = False; const bool __feat%foo@@X5%supports_filters = True; const bool __feat%foo@@X5%supports_sinks = False; const bool __feat%foo@@X5%synchronization = False; const bool __feat%foo@@X6%uses_offset = False; const bool __feat%foo@@X6%uses_random_access = False; const bool __feat%foo@@X6%uses_stream = False; const bool __feat%foo@@X6%uses_sync_advance = False; const bool __feat%foo@@X6%is_filter = False; const bool __feat%foo@@X6%supports_filters = False; const bool __feat%foo@@X6%supports_sinks = True; const bool __feat%foo@@X6%synchronization = False; const bool __feat%foo@@X7%uses_offset = False; const bool __feat%foo@@X7%uses_random_access = False; const bool __feat%foo@@X7%uses_stream = False; const bool __feat%foo@@X7%uses_sync_advance = False; const bool __feat%foo@@X7%is_filter = False; const bool __feat%foo@@X7%supports_filters = False; const bool __feat%foo@@X7%supports_sinks = False; const bool __feat%foo@@X7%synchronization = False; method hook void foo::X0::__on_0x25_init() { (*self).__offset; } init function void __register_foo_X0() { } method hook void foo::X1::__on_0x25_init() { (*self).__begin; } init function void __register_foo_X1() { } init function void __register_foo_X2() { } init function void __register_foo_X3() { } method method tuple, int<64>, const iterator, optional> foo::X4::__parse_stage1(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { # "<...>/feature_requirements.spicy:32:11-34:1" local tuple, int<64>, const iterator, optional> __result = ; try { hilti::debugIndent("spicy"); local iterator __begin = begin(__cur); local strong_ref filtered = Null; if ( ! filtered ) __result = (*self).__parse_foo__X4_stage2(__data, __begin, __cur, __trim, __lah, __lahe, __error); } catch ( hilti::SystemException __except ) { spicy_rt::filter_forward_eod(self); throw; } return __result; } method method tuple, int<64>, const iterator, optional> foo::X4::__parse_foo__X4_stage2(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { # "<...>/feature_requirements.spicy:32:11-34:1" local tuple, int<64>, const iterator, optional> __result = ; spicy_rt::filter_forward_eod(self); hilti::debugDedent("spicy"); __result = (__cur, __lah, __lahe, __error); return __result; } method extern method view foo::X4::parse1(inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:32:11-34:1" local value_ref __unit = value_ref(default()); local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:32:11-34:1" # Begin parsing production: Unit: foo__X4 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X4 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } method extern method view foo::X4::parse3(inout value_ref __gunit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:32:11-34:1" local value_ref __unit = value_ref(default()); spicy_rt::initializeParsedUnit((*__gunit), __unit); local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:32:11-34:1" # Begin parsing production: Unit: foo__X4 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X4 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } method extern method view foo::X4::parse2(inout value_ref __unit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:32:11-34:1" local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:32:11-34:1" # Begin parsing production: Unit: foo__X4 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X4 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } init function void __register_foo_X4() { { foo::X4::__parser = [$name="foo::X4", $is_public=False, $parse1=foo::X4::parse1, $parse2=foo::X4::parse2, $parse3=foo::X4::parse3, $context_new=Null, $type_=X4, $description="", $mime_types=vector(), $ports=vector()]; spicy_rt::registerParser(foo::X4::__parser, $scope, Null); } } method hook void foo::X5::__on_0x25_init() { spicy_rt::filter_connect(self, new X4()); } method method tuple, int<64>, const iterator, optional> foo::X5::__parse_stage1(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { # "<...>/feature_requirements.spicy:36:18-40:1" local tuple, int<64>, const iterator, optional> __result = ; try { hilti::debugIndent("spicy"); local iterator __begin = begin(__cur); (*self).__error = __error; (*self).__on_0x25_init(); __error = (*self).__error; local strong_ref filtered = Null; { local uint<64> __offset1 = begin((*__data)).offset(); if ( filtered = spicy_rt::filter_init(self, __data, __cur) ) { local value_ref __filtered_data = filtered; self.__parse_foo__X5_stage2(__filtered_data, begin((*__filtered_data)), (*__filtered_data), __trim, __lah, __lahe, __error); local uint<64> __offset2 = begin((*__data)).offset(); __cur = __cur.advance(__offset2 - __offset1); if ( __trim ) (*__data).trim(begin(__cur)); __result = (__cur, __lah, __lahe, __error); } } if ( ! filtered ) __result = (*self).__parse_foo__X5_stage2(__data, __begin, __cur, __trim, __lah, __lahe, __error); } catch ( hilti::SystemException __except ) { spicy_rt::filter_disconnect(self); throw; } return __result; } method method tuple, int<64>, const iterator, optional> foo::X5::__parse_foo__X5_stage2(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { # "<...>/feature_requirements.spicy:36:18-40:1" local tuple, int<64>, const iterator, optional> __result = ; spicy_rt::filter_disconnect(self); hilti::debugDedent("spicy"); __result = (__cur, __lah, __lahe, __error); return __result; } method extern method view foo::X5::parse1(inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:36:18-40:1" local value_ref __unit = value_ref(default()); local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:36:18-40:1" # Begin parsing production: Unit: foo__X5 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X5 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } method extern method view foo::X5::parse3(inout value_ref __gunit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:36:18-40:1" local value_ref __unit = value_ref(default()); spicy_rt::initializeParsedUnit((*__gunit), __unit); local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:36:18-40:1" # Begin parsing production: Unit: foo__X5 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X5 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } method extern method view foo::X5::parse2(inout value_ref __unit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:36:18-40:1" local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:36:18-40:1" # Begin parsing production: Unit: foo__X5 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X5 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } init function void __register_foo_X5() { foo::X5::__parser = [$name="foo::X5", $is_public=True, $parse1=foo::X5::parse1, $parse2=foo::X5::parse2, $parse3=foo::X5::parse3, $context_new=Null, $type_=X5, $description="", $mime_types=vector(), $ports=vector()]; spicy_rt::registerParser(foo::X5::__parser, $scope, Null); } method hook void foo::X6::__on_0x25_init() { (*(*self).data).write(b"", Null, Null); } method method tuple, int<64>, const iterator, optional> foo::X6::__parse_stage1(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { # "<...>/feature_requirements.spicy:43:11-46:1" local tuple, int<64>, const iterator, optional> __result = ; try { hilti::debugIndent("spicy"); local iterator __begin = begin(__cur); (*self).__error = __error; (*self).__on_0x25_init(); __error = (*self).__error; local strong_ref filtered = Null; if ( ! filtered ) __result = (*self).__parse_foo__X6_stage2(__data, __begin, __cur, __trim, __lah, __lahe, __error); } catch ( hilti::SystemException __except ) { (*(*self).data).close(); throw; } return __result; } method method tuple, int<64>, const iterator, optional> foo::X6::__parse_foo__X6_stage2(inout value_ref __data, iterator __begin, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { # "<...>/feature_requirements.spicy:43:11-46:1" local tuple, int<64>, const iterator, optional> __result = ; (*(*self).data).close(); hilti::debugDedent("spicy"); __result = (__cur, __lah, __lahe, __error); return __result; } method extern method view foo::X6::parse1(inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:43:11-46:1" local value_ref __unit = value_ref(default()); local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:43:11-46:1" # Begin parsing production: Unit: foo__X6 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X6 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } method extern method view foo::X6::parse3(inout value_ref __gunit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:43:11-46:1" local value_ref __unit = value_ref(default()); spicy_rt::initializeParsedUnit((*__gunit), __unit); local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:43:11-46:1" # Begin parsing production: Unit: foo__X6 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X6 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } method extern method view foo::X6::parse2(inout value_ref __unit, inout value_ref __data, optional> __cur = Null, optional __context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:43:11-46:1" local view __ncur = __cur ? (*__cur) : cast>((*__data)); local int<64> __lahead = 0; local iterator __lahead_end; local optional __error = Null; # "<...>/feature_requirements.spicy:43:11-46:1" # Begin parsing production: Unit: foo__X6 -> (__ncur, __lahead, __lahead_end, __error) = (*__unit).__parse_stage1(__data, begin(__ncur), __ncur, True, __lahead, __lahead_end, __error); # End parsing production: Unit: foo__X6 -> if ( __error ) throw exception("successful synchronization never confirmed: %s" % (hilti::exception_what((*__error)))); return __ncur; } init function void __register_foo_X6() { { foo::X6::__parser = [$name="foo::X6", $is_public=False, $parse1=foo::X6::parse1, $parse2=foo::X6::parse2, $parse3=foo::X6::parse3, $context_new=Null, $type_=X6, $description="", $mime_types=vector(), $ports=vector()]; spicy_rt::registerParser(foo::X6::__parser, $scope, Null); } } init function void __register_foo_X7() { } }