name generation

[MeAmAnUsername]

• [ ] Should only generate legal names. If name is illegal (a keyword), prepend $ to make it legal
• [ ] Should follow Java conventions: class starts with uppercase, variable starts with lowercase
• [ ] fix duplicate name generation (something like val supplier0 = supplier(""); would fail because code gen generates supplier0 twice)

[MeAmAnUsername]

Implementation:

1. Generate Java code without translating names from PIE. For fresh variables, use a prefix that could never be allowed in PIE: $.
2. Find all names in generated Java AST.
3. Remove $ if that does not result in a name that already exists.
4. Replace $ with _ if that does not result in a name that already exists.
5. Replace Java reserved words with _keyword if that name does not already exist. (e.g. class -> _class)
6. Replace Java reserved words with $keyword if that name does not already exist. (e.g. class -> $class)

Note: this implementation does not take into account multiple times the same name. Instead of using $, append _X, where X starts 1, then 2 etc?