Feature/#9/unittestsandjavadocs

.gitignore

@@ -38,6 +38,7 @@ kls_database.db
 /database/
 /benchmarks/
 /suitablePrgms/
+/testOutput/
 
 # IDE specific folders
 # IntelliJ

build.gradle.kts

@@ -32,7 +32,7 @@ dependencies {
   testImplementation("org.junit.jupiter:junit-jupiter:5.11.3")
   testImplementation("org.junit.jupiter:junit-jupiter-engine:5.11.3")
   testImplementation("org.junit.jupiter:junit-jupiter-api:5.11.3")
-  testImplementation("org.mockito:mockito-core:5.14.2")
+  testImplementation("org.mockito:mockito-core:4.11.0")
   testImplementation("org.testng:testng:7.5.1")
 }
 

src/java/transform/Transformer.java

@@ -139,7 +139,7 @@ public void transformFiles(int minTypeExpr, int minTypeCond, int minTypeParams,
 				parser.setCompilerOptions(options);
 				parser.setUnitName(file.getPath());
 
-				String[] classPath = {Paths.get("build", "classes").toString()};
+				String[] classPath = {Paths.get("build", "classes", "java").toString()};
 				String[] sourcePath = { Paths.get(Main.source).toString() , Paths.get("src").toString()};
 				parser.setEnvironment(classPath, sourcePath, new String[] { "UTF-8", "UTF-8" }, true);
 

src/java/transform/TypeChecking/TypeChecker.java

@@ -123,7 +123,7 @@ private static boolean inJavaLangLibrary(Type type) {
 	 * @param type
 	 * @return true if the type is allowed, false otherwise.
 	 */
-	public static boolean allowedType(Type type) {
+	public boolean allowedType(Type type) {
 		if(type == null) return false;
 
 		if(type.isArrayType()) {

src/java/transform/visitors/SymbolTableVisitor.java

@@ -92,7 +92,7 @@ public boolean visit(MethodDeclaration node) {
 			 * the method getMethodSTEName(), where we only consider primitive type 
 			 * parameters).
 			 */
-			if (!TypeChecker.allowedType(type)) {
+			if (!typeChecker.allowedType(type)) {
 				return false;
 			}
 		}
@@ -125,7 +125,7 @@ public void endVisit(MethodDeclaration node) {
 			 * we did not create a symbol table element for it and thus 
 			 * there is nothing to pop.
 			 */
-			if (!TypeChecker.allowedType(type)) {
+			if (!typeChecker.allowedType(type)) {
 				pushedMethod = false;
 			}
 		}