Merge pull request #13 from UniVE-SSV/analysis-framework

Analysis framework, type inference, IMP frontend, output serialization

Author: lucaneg

.github/workflows/gradle.yml

@@ -6,8 +6,6 @@ name: Gradle Build
 on:
   push:
     branches: [ '**' ]
-  pull_request:
-    branches: [ master ]
 
 jobs:
   build:

lisa/.gitignore

@@ -42,3 +42,6 @@ local.properties
 
 # UML diagrams
 diagrams/
+
+# tests
+test-outputs/

lisa/antlr.gradle

@@ -0,0 +1,13 @@
+generateTestGrammarSource {
+    maxHeapSize = "64m"
+    arguments += ["-visitor", "-no-listener"]
+    
+    doLast {
+    	copy {
+      		from 'build/generated-src/antlr/test/'
+      		include '*.*'
+      		into 'build/generated-src/antlr/test/it/unive/lisa/test/antlr'
+    	}
+   		project.delete fileTree('build/generated-src/antlr/test').include('*.*')
+  	}
+}

lisa/build.gradle

@@ -24,6 +24,9 @@ plugins {
     // magic for getting eclipse to work with gradle
     id 'eclipse'
 
+    // antlr plugin for the generation of the IMP parser
+    id 'antlr'
+    
     // automatic generation of plantuml files from the source code
     // for visualizing them: https://www.planttext.com/
     id 'com.github.roroche.plantuml' version '1.0.2'
@@ -77,4 +80,5 @@ version = '0.1a1'
 apply from: 'dependencies.gradle'
 apply from: 'java.gradle'
 apply from: 'code-style.gradle'
-apply from: 'doc-extra.gradle'
+apply from: 'doc-extra.gradle'
+apply from: 'antlr.gradle'

lisa/code-style.gradle

@@ -19,11 +19,9 @@ checkstyleTest {
         xml.enabled false
         html.enabled false
     }
-	// no test code require javadoc for now 
-    exclude '**/*.java'
-    // when tests that require javadoc are added,
-    // delete the exclude clause above and add them
-    // with: include 'it/unive/lisa/test/package_to_include/**/*.java'
+    
+    // only included files will be checked
+    include 'it/unive/lisa/test/imp/**/*.java'
 }
 
 task checkstyleErrorMessage {

lisa/dependencies.gradle

@@ -4,11 +4,25 @@ repositories {
 }
 
 dependencies {
+    // utils
     api 'org.apache.commons:commons-lang3:3.9'
     api 'org.apache.commons:commons-text:1.9'
-	api 'org.apache.logging.log4j:log4j-api:2.13.0'
+	api 'commons-collections:commons-collections:3.2.2'
 
+	// logging
+	api 'org.apache.logging.log4j:log4j-api:2.13.0'
 	runtimeOnly 'org.apache.logging.log4j:log4j-core:2.13.0'
+	runtimeOnly 'org.apache.logging.log4j:log4j-slf4j-impl:2.13.0'
+	
+	// json serialization/deserialization
+	api 'com.fasterxml.jackson.core:jackson-databind:2.11.0'
+
+	// dot file manipulation
+	api 'org.graphstream:gs-core:2.0'
+
+	// parser generation
+	antlr 'org.antlr:antlr4:4.8-1'
 
+	// testing
     testImplementation 'junit:junit:4.12'
 }

lisa/imp-testcases/syntactic/expressions.imp

@@ -0,0 +1,29 @@
+class expressions {
+	assignment() {
+		i = 5;
+		x = "s";
+	}
+	
+	_throw() {
+		throw x;
+		throw i;
+	}
+
+	_return() {
+		return i;
+		return x;
+	}
+
+	call() {
+		this.test(5);
+		this.test(i, 5);
+	}
+
+	nestedCall() {
+		this.test(5, this.test(i, 5));
+		this.test(x, this.test(i));
+		return this.test(i);
+		throw this.test(i);
+		x = this.test(i);
+	}
+}

lisa/imp-testcases/syntactic/report.json

@@ -0,0 +1,22 @@
+{
+  "warnings" : [ {
+    "message" : "['imp-testcases/syntactic/expressions.imp':13:9] on 'untyped _return()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':19:12] on 'untyped call()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':23:25] on 'untyped nestedCall()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':24:25] on 'untyped nestedCall()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':25:19] on 'untyped nestedCall()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':26:18] on 'untyped nestedCall()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':27:16] on 'untyped nestedCall()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':3:2] on 'untyped assignment()': [EXPRESSION] Found variable i"
+  }, {
+    "message" : "['imp-testcases/syntactic/expressions.imp':9:8] on 'untyped _throw()': [EXPRESSION] Found variable i"
+  } ],
+  "files" : [ ]
+}

lisa/imp-testcases/type-inference/program.imp

@@ -0,0 +1,42 @@
+class typing {
+	test1() {
+		i = 5;
+		x = "s";
+	}
+	
+	test2(i) {
+		if (i > 5)
+			x = 10;
+		else
+			x = "s";
+		return x;
+	}
+	
+	test3(i) {
+		while (i > 5)
+			i = i + 1;
+		return i;
+	}
+	
+	test4(i) {
+		for (;i > 5; i = i + 1)
+			x = "s";
+		return x;
+	}
+	
+	test5(i) {
+		for (;i > 5; i = i + 1)
+			if (i % 2 == 0)
+				x = "s";
+			else
+				x = "p";
+		return x;
+	}
+	
+	test6(i) {
+		if (i % 2 == 0)
+			for (;i > 5; i = i + 1)
+				x = "p";
+		return x;
+	}
+}

lisa/imp-testcases/type-inference/report.json

@@ -0,0 +1,4 @@
+{
+  "warnings" : [ ],
+  "files" : [ "typing___untyped_test1().dot", "typing___untyped_test2(untyped_i).dot", "typing___untyped_test3(untyped_i).dot", "typing___untyped_test4(untyped_i).dot", "typing___untyped_test5(untyped_i).dot", "typing___untyped_test6(untyped_i).dot" ]
+}