hyf

Context-aware query service for Radroots
git clone https://radroots.dev/git/hyf.git
Log | Files | Refs | README | LICENSE

match_explain.mojo (760B)


      1 from std.collections import List
      2 
      3 
      4 def match_explanation(
      5     supplier_id: String, lines_covered: List[String], scope: String
      6 ) -> String:
      7     var covered = ""
      8     var first = True
      9     for line in lines_covered:
     10         if not first:
     11             covered += ", "
     12         covered += line
     13         first = False
     14     return (
     15         "Supplier "
     16         + supplier_id
     17         + " covers lines ["
     18         + covered
     19         + "] within scope "
     20         + scope
     21         + ". This is a suggestion within the supplied records, not a"
     22         " reservation."
     23     )
     24 
     25 
     26 def explanation_reveals_private_source() -> Bool:
     27     return False
     28 
     29 
     30 def explanation_claims_reservation() -> Bool:
     31     return False
     32 
     33 
     34 def explanation_claims_global_availability() -> Bool:
     35     return False