LoopInvariantCall.Owner.of: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend as LoopInvariantCall
Lines 117-139 of bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend&start_line=117&end_line=139

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

# What judging the calls of the definition `node` reads, with `loops`, the definitions of the file that call themselves.
def Owner.of(loops: List<&2, String>, +node: Lint.Node) -> Owner:
  match node:
    case Lint.Node{Lint.Definition{+t, u}, +n, s, +k, f}:
      Owner{
        loops,
        t,
        n,
        fixed(
          k,
          Lint.visit(
            ~Unit,
            ~List<&2, Lint.Node>,
            ~self.visit,
            Unit{},
            [Lint.Node{Lint.Definition{t, u}, n, s, k, f}]
          ),
          0n,
          []
        )
      }
    case _:
      Owner{loops, "", "", []}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Node
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Syntax
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=visit
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend&name=fixed
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend&name=self.visit