Skip to content
1 viewer

rust 1,863,595 · typescript 235,774 · javascript 133,240 · python 20,426 · 6,417 files · digest 0b3c7cffac51 · built in 1.9 s · crystals off

ConservationInput::authorised_by

cre8_app_lattice_matching::certificate::input::ConservationInput::authorised_by

method · cre8-app-lattice_matching · crates/cre8-app-lattice_matching/src/certificate/input.rs:135 pub documented

7lines
1cyclomatic
0max nesting
1statements
0? exits
3params
29callers
1callees
3.2 (p98)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

Callers left, callees right, two hops each way (29 direct callers, 1 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.

name · 1 sitename · 2 sitesname · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 3 sitespath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitean_honest_round_authorises_…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::route_binding_tests::an_honest_round_authorises_every_lega_leg_naming_a_route_that_n…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::route_binding_tests::a_leg_naming_a_route_that_never_cleared_is_refuteda_leg_between_non_adjacent_…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::route_binding_tests::a_leg_between_non_adjacent_slots_is_refutedhonest_round_verifies_feasi…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::honest_round_verifies_feasibility_and_conservationevery_feasibility_check_is_…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::tests::every_feasibility_check_is_present_and_verified_on_an_honest_roundi64_saturation_cannot_laund…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::tests::i64_saturation_cannot_launder_an_over_deliveryan_overflowing_delivery_tot…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::an_overflowing_delivery_total_is_reported_as_overflowunder_delivery_against_a_po…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::under_delivery_against_a_posted_want_is_disclosed_not_silently_coveredthe_shipped_call_sites_leav…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::tests::the_shipped_call_sites_leave_the_hodge_half_out_of_scopeempty_priceable_domain_is_o…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::empty_priceable_domain_is_out_of_scope_and_says_vacuousfull_inputapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::full_inputcertificate_forapp-lattice_matching · cc 1cre8_app_lattice_matching::view_lattice::tests::certificate_forconservation_ofapp-lattice_matching · cc 2cre8_app_lattice_matching::certificate::route_binding_tests::conservation_ofan_unmeasured_divergence_su…app-lattice_matching · cc 3cre8_app_lattice_matching::certificate::adversarial_scope_tests::an_unmeasured_divergence_survives_the_json_round_trip_it_is_persisted_overa_non_finite_finding_magnit…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::a_non_finite_finding_magnitude_survives_the_json_round_tripa_certificate_carrying_an_u…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::a_certificate_carrying_an_unmeasured_value_equals_itself_and_verifies_against_its_own_roundthe_recorded_tolerances_are…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::adversarial_scope_tests::the_recorded_tolerances_are_the_ones_the_checks_actually_usedtwo_builds_over_one_input_a…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::two_builds_over_one_input_are_identical_including_the_disclosure_textlegs_from_no_cleared_route_…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::legs_from_no_cleared_route_still_verify_and_the_gap_is_disclosedevery_disclosure_reaches_th…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::adversarial_scope_tests::every_disclosure_reaches_the_rendered_blockover_delivery_beyond_posted…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::over_delivery_beyond_posted_offer_refutes_conservationdelivering_an_asset_never_o…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::delivering_an_asset_never_offered_refutes_conservationnon_positive_leg_amount_ref…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::non_positive_leg_amount_refutes_conservationdelivering_an_asset_the_rec…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::delivering_an_asset_the_receiver_never_wanted_refutes_conservationConservationInput::authoris…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::input::ConservationInput::authorised_byConservationInput::newapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::input::ConservationInput::new

Control flow

Source not readable from this process.

Callers 29

Callees 1

Source not readable from this process.