ident

4.6 KB

1. #!/usr/bin/env python3
2. # tests/letcount.py (copied from tickets.worldapi.org mission 010 via gitoria mission 002; ident mission 009 added `member` and `twice`): the code-order counts of an app tree (antcolony docs/code-order.md) — root .hl files, project.hl lines, and every `let`:
3. # reassigned the name is assigned again later in its block → `let` is right
4. # loop-bound declared inside a for/while body (re-bound each pass —
5. # Hybriel refuses a plain declaration there on pass 2) → `let` is right
6. # member the name is also a member / static / import of the file
7. # (a plain `x = …` would assign that instead of declaring) → `let` is right
8. # twice the name is declared twice in one function (sibling
9. # blocks: Hybriel refuses the 2nd plain declaration) → `let` is right
10. # never none of these → should be a plain declaration
11. # python3 tests/letcount.py . [-v] (-v lists every `let` that should be a plain declaration) (scans *.hl, components/, lib/, tools/, tests/; not plugins/)
12. import os, re, sys
13. root = sys.argv[1]; verbose = '-v' in sys.argv
14. files = []
15. for d in ['', 'components', 'lib', 'tools', 'tests']:
16. p = os.path.join(root, d)
17. if os.path.isdir(p): files += [os.path.join(p, f) for f in sorted(os.listdir(p)) if f.endswith('.hl')]
19. def strip(src):
20. # blank out strings and comments (same length) so braces/names inside them do not count
21. out = list(src); i = 0; n = len(src)
22. while i < n:
23. c = src[i]
24. if src.startswith('//', i):
25. j = src.find('\n', i); j = n if j < 0 else j
26. for k in range(i, j): out[k] = ' '
27. i = j; continue
28. if c in '\'"`':
29. j = i + 1
30. while j < n and src[j] != c:
31. if c == "'" and src[j] == '\\' and j + 1 < n and src[j + 1] == "'": j += 2; continue
32. j += 1
33. for k in range(i + 1, min(j, n)):
34. if out[k] != '\n': out[k] = ' '
35. i = j + 1; continue
36. i += 1
37. return ''.join(out)
39. tot = {'reassigned': 0, 'loop-bound': 0, 'member': 0, 'twice': 0, 'never': 0}
40. per = {}
41. for f in files:
42. s = strip(open(f).read())
43. names = set(re.findall(r'^(?:static\s+)?(?:[A-Z]\w*\s+)?#?(\w+)\s*(?:=|\()', s, re.M))
44. for m in re.finditer(r'^import\s*\{([^}]*)\}', s, re.M): names |= {x.strip() for x in m.group(1).split(',') if x.strip()}
45. names |= set(re.findall(r'^import\s+(\w+)\s+from', s, re.M))
46. opens = []; match = {}; stack = []
47. for i, c in enumerate(s):
48. if c == '{': stack.append(i)
49. elif c == '}' and stack: match[stack.pop()] = i
50. for m in re.finditer(r'\blet\s+(\w+)\s*=', s):
51. name, p = m.group(1), m.start()
52. encl = [o for o, e in match.items() if o < p < e]
53. encl.sort(reverse=True) # innermost first
54. inner_end = match[encl[0]] if encl else len(s)
55. kind = 'never'
56. if re.search(r'(?<![\w.#])' + re.escape(name) + r'\s*(=(?!=)|\+\+|--|\+=|-=)', s[m.end():inner_end]): kind = 'reassigned'
57. else:
58. for o in encl:
59. head = s[max(0, o - 300):o]
60. line = head[head.rfind('\n') + 1:] if '\n' in head else head
61. if re.search(r'=>\s*$', head) or re.match(r'\s*(on\s|static\s|\w+\s*\([^)]*\)\s*$)', line) and not re.match(r'\s*(if|for|while|else)\b', line): break
62. if re.search(r'\b(for|while)\s*\([^{}]*\)\s*$', head): kind = 'loop-bound'; break
63. if kind == 'never' and name in names: kind = 'member'
64. if kind == 'never':
65. fn = next((o for o in encl if re.search(r'=>\s*$', s[max(0, o - 300):o]) or re.match(r'\s*(on\s|static\s)', s[max(0, o - 300):o].split('\n')[-1])), None)
66. if fn is not None and len(re.findall(r'\blet\s+' + re.escape(name) + r'\s*=', s[fn:match[fn]])) > 1: kind = 'twice'
67. tot[kind] += 1
68. per.setdefault(os.path.relpath(f, root), {'reassigned': 0, 'loop-bound': 0, 'member': 0, 'twice': 0, 'never': 0})[kind] += 1
69. if verbose and kind == 'never': print(f' never: {os.path.relpath(f, root)}:{s.count(chr(10), 0, p) + 1} {name}')
70. rootHl = [f for f in os.listdir(root) if f.endswith('.hl')]
71. pl = sum(1 for _ in open(os.path.join(root, 'project.hl')))
72. print(f'root .hl files: {len(rootHl)} ({" ".join(sorted(rootHl))})')
73. print(f'project.hl lines: {pl}')
74. print(f'let total {sum(tot.values())}: reassigned {tot["reassigned"]}, loop-bound {tot["loop-bound"]}, member name {tot["member"]}, declared twice {tot["twice"]}, never reassigned {tot["never"]}')
75. for f, k in sorted(per.items()): print(f' {f}: {k}')