< > BotCompany Repo | #1021588 // gazelle_findEqualitiesInTree

JavaX fragment (include)

static L<PairS> gazelle_findEqualitiesInTree(final GazelleTree tree) {
  new L<PairS> out;
  for (GazelleTree t : treeView_allNodes(gazelle_treeView(tree)))
    if (t.rule() != null && contains(t.rule().comments, "equality"))
      out.add(pair(t.parent.line, t.line));
  ret out;
}

Author comment

Began life as a copy of #1021576

download  show line numbers  debug dex  old transpilations   

Travelled to 7 computer(s): bhatertpkbcr, cfunsshuasjs, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt

No comments. add comment