Genration of Java AST classes

key.core/src/main/java/de/uka/ilkd/key/logic/VariableNamer.java

@@ -679,7 +679,7 @@ public int getIndex() {
     /**
      * temporary indexed ProgramElementName
      */
-    private static class TempIndProgramElementName extends IndProgramElementName {
+    public static class TempIndProgramElementName extends IndProgramElementName {
         TempIndProgramElementName(String basename, int index, NameCreationInfo creationInfo) {
             super(basename + TEMP_INDEX_SEPARATOR + index, basename, index, creationInfo);
         }
@@ -695,7 +695,7 @@ private static class TempIndProgramElementName extends IndProgramElementName {
     /**
      * regular indexed ProgramElementName
      */
-    private static class PermIndProgramElementName extends IndProgramElementName {
+    public static class PermIndProgramElementName extends IndProgramElementName {
         static final char SEPARATOR = '_';
 
         PermIndProgramElementName(String basename, int index, NameCreationInfo creationInfo) {

key.ncore.java/build.gradle

@@ -0,0 +1,23 @@
+sourceSets {
+    generator {
+        java {
+            srcDir("src/generator/java")
+        }
+    }
+    main {
+        java { srcDir("src/generated/java") }
+    }
+}
+
+dependencies {
+    implementation project(':key.core')
+    generatorImplementation(project(":key.core"))
+
+
+    implementation("info.picocli:picocli:4.7.7")
+
+    def JP_VERSION = "3.28.0-K13.5"
+    implementation("org.key-project.proofjava:javaparser-core:$JP_VERSION")
+    implementation("org.key-project.proofjava:javaparser-symbol-solver-core:$JP_VERSION")
+    testImplementation("com.google.truth:truth:1.4.5")
+}