src/ir/local_id_generator.ghul

1		namespace IR is
2		use IO.Std
3
4
5		class LOCAL_ID_GENERATOR is
6		_next_id_stack: Collections.STACK[int]
7
8		next_id: int is
9		let result = _next_id_stack.pop()
10
11		_next_id_stack.push(result + 1)
12
13		return result
14		si
15
16		// FIXME: could keep a set of local variable names seen in the current function and
17		// only add a suffix if the name is actually not unique
18		get_unique_il_name_for(name: string) -> string => "{name}.{next_id}"
19
20		init() is
21		_next_id_stack = Collections.STACK[int]()
22		si
23
24		enter_function() is
25		_next_id_stack.push(0)
26		si
27
28		leave_function() is
29		_next_id_stack.pop()
30		si
31		si
32		si