notes

3.4 KB

1. #!/usr/bin/env python3
2. # tests/letcount.py (copied from tickets.worldapi.org mission 010 via gitoria mission 002; notes mission 002): 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. # never neither → should be a plain declaration
7. # python3 tests/letcount.py . [-v] (-v lists every `let` that should be a plain declaration) (scans *.hl, components/, lib/, tools/, tests/; not plugins/)
8. import os, re, sys
9. root = sys.argv[1]; verbose = '-v' in sys.argv
10. files = []
11. for d in ['', 'components', 'lib', 'tools', 'tests']:
12. p = os.path.join(root, d)
13. if os.path.isdir(p): files += [os.path.join(p, f) for f in sorted(os.listdir(p)) if f.endswith('.hl')]
15. def strip(src):
16. # blank out strings and comments (same length) so braces/names inside them do not count
17. out = list(src); i = 0; n = len(src)
18. while i < n:
19. c = src[i]
20. if src.startswith('//', i):
21. j = src.find('\n', i); j = n if j < 0 else j
22. for k in range(i, j): out[k] = ' '
23. i = j; continue
24. if c in '\'"`':
25. j = i + 1
26. while j < n and src[j] != c:
27. if c == "'" and src[j] == '\\' and j + 1 < n and src[j + 1] == "'": j += 2; continue
28. j += 1
29. for k in range(i + 1, min(j, n)):
30. if out[k] != '\n': out[k] = ' '
31. i = j + 1; continue
32. i += 1
33. return ''.join(out)
35. tot = {'reassigned': 0, 'loop-bound': 0, 'never': 0}
36. per = {}
37. for f in files:
38. s = strip(open(f).read())
39. opens = []; match = {}; stack = []
40. for i, c in enumerate(s):
41. if c == '{': stack.append(i)
42. elif c == '}' and stack: match[stack.pop()] = i
43. for m in re.finditer(r'\blet\s+(\w+)\s*=', s):
44. name, p = m.group(1), m.start()
45. encl = [o for o, e in match.items() if o < p < e]
46. encl.sort(reverse=True) # innermost first
47. inner_end = match[encl[0]] if encl else len(s)
48. kind = 'never'
49. if re.search(r'(?<![\w.#])' + re.escape(name) + r'\s*(=(?!=)|\+\+|--|\+=|-=)', s[m.end():inner_end]): kind = 'reassigned'
50. else:
51. for o in encl:
52. head = s[max(0, o - 300):o]
53. line = head[head.rfind('\n') + 1:] if '\n' in head else head
54. 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
55. if re.search(r'\b(for|while)\s*\([^{}]*\)\s*$', head): kind = 'loop-bound'; break
56. tot[kind] += 1
57. per.setdefault(os.path.relpath(f, root), {'reassigned': 0, 'loop-bound': 0, 'never': 0})[kind] += 1
58. if verbose and kind == 'never': print(f' never: {os.path.relpath(f, root)}:{s.count(chr(10), 0, p) + 1} {name}')
59. rootHl = [f for f in os.listdir(root) if f.endswith('.hl')]
60. pl = sum(1 for _ in open(os.path.join(root, 'project.hl')))
61. print(f'root .hl files: {len(rootHl)} ({" ".join(sorted(rootHl))})')
62. print(f'project.hl lines: {pl}')
63. print(f'let total {sum(tot.values())}: reassigned {tot["reassigned"]}, loop-bound {tot["loop-bound"]}, never reassigned {tot["never"]}')
64. for f, k in sorted(per.items()): print(f' {f}: {k}')