Merge remote-tracking branch 'origin/Endabgabe' into Endabgabe
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
Some checks are pending
Gitea Actions Demo / Explore-Gitea-Actions (push) Waiting to run
This commit is contained in:
Maximilian Stahl
commit
93e17e5415
@ -1,93 +0,0 @@
|
|||||||
# Scanner
|
|
||||||
|
|
||||||
## Scanner Input
|
|
||||||
|
|
||||||
### Beispiel 1: Empty Class
|
|
||||||
|
|
||||||
String empty class = "public class Name {}";
|
|
||||||
|
|
||||||
### Beispiel 2: Filled Class
|
|
||||||
|
|
||||||
String filled class =
|
|
||||||
"class javaFileInput.Example {" +
|
|
||||||
"if (x < 5) {" +
|
|
||||||
"for (int i = 0; i < 10; i++) {" +
|
|
||||||
"while (true) {" +
|
|
||||||
"x = 5;" +
|
|
||||||
"}"
|
|
||||||
|
|
||||||
## Scanner Output
|
|
||||||
|
|
||||||
CommonTokenStream
|
|
||||||
|
|
||||||
### Beispiel 1: Empty Class
|
|
||||||
|
|
||||||
Token Type; Token Text
|
|
||||||
Type gibts nur bei Terminalen, Text bei allen
|
|
||||||
|
|
||||||
[null "public", null "class", IDENTIFIER "Name", null "{", null "}", EOF "<EOF>"]
|
|
||||||
|
|
||||||
Bsp von Ihm mal:
|
|
||||||
[TokPublic,TokClass,TokIdentifier "Name",TokLeftBrace,TokRightBrace]
|
|
||||||
|
|
||||||
# Parser
|
|
||||||
|
|
||||||
## Parser Input
|
|
||||||
|
|
||||||
CommonTokenStream
|
|
||||||
(Scanner Output)
|
|
||||||
|
|
||||||
## Parser Output (AST)
|
|
||||||
|
|
||||||
(program (classDeclaration (accessType public) class Name { }))
|
|
||||||
|
|
||||||
ParseTree
|
|
||||||
|
|
||||||
### Beispiel 1: Empty Class
|
|
||||||
|
|
||||||
# Semantische Analyse / Typcheck
|
|
||||||
|
|
||||||
## Typcheck Input
|
|
||||||
|
|
||||||
(Parser Output = AST)
|
|
||||||
|
|
||||||
## Typcheck Output
|
|
||||||
|
|
||||||
### Beispiel 1: Empty Class
|
|
||||||
|
|
||||||
# Bytecodegenerierung
|
|
||||||
|
|
||||||
## Bytecodegenerierung Input
|
|
||||||
|
|
||||||
(Typcheck Output = vom Typcheck eventuell manipulierter AST)
|
|
||||||
|
|
||||||
## Bytecodegenerierung Output
|
|
||||||
|
|
||||||
### Beispiel 1: Empty Class
|
|
||||||
|
|
||||||
Compiled Classfile
|
|
||||||
|
|
||||||
public class javaFileInput.Example {
|
|
||||||
}
|
|
||||||
|
|
||||||
## E2E Tests:
|
|
||||||
|
|
||||||
- Testdatei mit Main ausführen/kompilieren
|
|
||||||
- Testdatei mit "javac -d output .\CompilerInput.java" kompilieren
|
|
||||||
- -> Dateien mit javap vergleichen
|
|
||||||
|
|
||||||
wenn beides erfolgreich
|
|
||||||
|
|
||||||
- Ergebnis vom eigenen Compiler mithilfe von main.EndToEndTester ausführen
|
|
||||||
- (Ergebnis von javac mithilfe von main.EndToEndTester ausführen)
|
|
||||||
|
|
||||||
### Andis Tipps:
|
|
||||||
|
|
||||||
- cp mitgeben
|
|
||||||
- makefile
|
|
||||||
- java -jar pfadtocompiler.jar EmptyClass.java
|
|
||||||
- mvn package
|
|
||||||
- javac tester // tester compilen
|
|
||||||
- java tester // tester ausführen
|
|
||||||
- -> tester ist in unserem Fall main.EndToEndTester.java
|
|
||||||
- -> Hab ich alles umgesetzt
|
|
||||||
@ -10,6 +10,8 @@ import java.nio.file.Paths;
|
|||||||
import java.nio.file.StandardCopyOption;
|
import java.nio.file.StandardCopyOption;
|
||||||
import javax.tools.JavaCompiler;
|
import javax.tools.JavaCompiler;
|
||||||
import javax.tools.ToolProvider;
|
import javax.tools.ToolProvider;
|
||||||
|
|
||||||
|
import org.junit.jupiter.api.Disabled;
|
||||||
import org.junit.jupiter.api.Test;
|
import org.junit.jupiter.api.Test;
|
||||||
import static org.junit.jupiter.api.Assertions.*;
|
import static org.junit.jupiter.api.Assertions.*;
|
||||||
|
|
||||||
@ -105,6 +107,12 @@ public class E2EReflectionsTest {
|
|||||||
runTest("MultipleClasses");
|
runTest("MultipleClasses");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@Disabled
|
||||||
|
public void SelfReferenceTest() {
|
||||||
|
runTest("SelfReference");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
public void ThisDotTest() {
|
public void ThisDotTest() {
|
||||||
runTest("ThisDot");
|
runTest("ThisDot");
|
||||||
|
|||||||
@ -32,12 +32,14 @@ public class InputFilesTest {
|
|||||||
File singleFeatureSemanticTests = new File("src/test/resources/input/singleFeatureSemanticTests");
|
File singleFeatureSemanticTests = new File("src/test/resources/input/singleFeatureSemanticTests");
|
||||||
File singleFeatureTests = new File("src/test/resources/input/singleFeatureTests");
|
File singleFeatureTests = new File("src/test/resources/input/singleFeatureTests");
|
||||||
File typedAstFeatureTests = new File("src/test/resources/input/typedAstFeatureTests");
|
File typedAstFeatureTests = new File("src/test/resources/input/typedAstFeatureTests");
|
||||||
|
File finalTest = new File("src/test/resources/input/finalTest");
|
||||||
|
|
||||||
List<File> files = getJavaFilesFromDirectory(combinedFeatureTests);
|
List<File> files = getJavaFilesFromDirectory(combinedFeatureTests);
|
||||||
// files.addAll(getJavaFilesFromDirectory(endabgabeTests));
|
// files.addAll(getJavaFilesFromDirectory(endabgabeTests));
|
||||||
// files.addAll(getJavaFilesFromDirectory(singleFeatureSemanticTests));
|
// files.addAll(getJavaFilesFromDirectory(singleFeatureSemanticTests));
|
||||||
files.addAll(getJavaFilesFromDirectory(singleFeatureTests));
|
files.addAll(getJavaFilesFromDirectory(singleFeatureTests));
|
||||||
// files.addAll(getJavaFilesFromDirectory(typedAstFeatureTests));
|
// files.addAll(getJavaFilesFromDirectory(typedAstFeatureTests));
|
||||||
|
files.addAll(getJavaFilesFromDirectory(finalTest));
|
||||||
|
|
||||||
if (!files.isEmpty()) {
|
if (!files.isEmpty()) {
|
||||||
for (File file : files) {
|
for (File file : files) {
|
||||||
|
|||||||
@ -1,70 +0,0 @@
|
|||||||
{
|
|
||||||
"classes": [
|
|
||||||
{
|
|
||||||
"identifier": "testClass1",
|
|
||||||
"accessType": {
|
|
||||||
"enumAccessTypeNode": "PUBLIC"
|
|
||||||
},
|
|
||||||
"members": [
|
|
||||||
{
|
|
||||||
"@type": "Field",
|
|
||||||
"accessTypeNode": {
|
|
||||||
"enumAccessTypeNode": "PUBLIC"
|
|
||||||
},
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "testVar1"
|
|
||||||
},
|
|
||||||
{
|
|
||||||
"@type": "Method",
|
|
||||||
"visibility": {
|
|
||||||
"enumAccessTypeNode": "PUBLIC"
|
|
||||||
},
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "testMethod",
|
|
||||||
"parameters": {
|
|
||||||
"parameters": [
|
|
||||||
{
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "param1"
|
|
||||||
}
|
|
||||||
]
|
|
||||||
},
|
|
||||||
"statements": [
|
|
||||||
{
|
|
||||||
"@type": "Assignment",
|
|
||||||
"expressionLeft": {
|
|
||||||
"@type": "InstVar",
|
|
||||||
"identifier": "testVar1",
|
|
||||||
"expression": {
|
|
||||||
"@type": "This",
|
|
||||||
"type": {
|
|
||||||
"@type": "Reference",
|
|
||||||
"identifier": "testClass1"
|
|
||||||
}
|
|
||||||
},
|
|
||||||
"type": null
|
|
||||||
},
|
|
||||||
"expressionRight": {
|
|
||||||
"@type": "Literal",
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
],
|
|
||||||
"hasConstructor": false
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
@ -1,133 +0,0 @@
|
|||||||
{
|
|
||||||
"classes": [
|
|
||||||
{
|
|
||||||
"identifier": "testClass1",
|
|
||||||
"accessType": {
|
|
||||||
"enumAccessTypeNode": "PUBLIC"
|
|
||||||
},
|
|
||||||
"members": [
|
|
||||||
{
|
|
||||||
"@type": "Field",
|
|
||||||
"accessTypeNode": {
|
|
||||||
"enumAccessTypeNode": "PUBLIC"
|
|
||||||
},
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "testVar1"
|
|
||||||
},
|
|
||||||
{
|
|
||||||
"@type": "Method",
|
|
||||||
"visibility": {
|
|
||||||
"enumAccessTypeNode": "PUBLIC"
|
|
||||||
},
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "testMethod",
|
|
||||||
"parameters": {
|
|
||||||
"parameters": [
|
|
||||||
{
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "param1"
|
|
||||||
}
|
|
||||||
]
|
|
||||||
},
|
|
||||||
"statements": [
|
|
||||||
{
|
|
||||||
"@type": "Assignment",
|
|
||||||
"expressionLeft": {
|
|
||||||
"@type": "InstVar",
|
|
||||||
"identifier": "testVar1",
|
|
||||||
"expression": {
|
|
||||||
"@type": "This",
|
|
||||||
"type": {
|
|
||||||
"@type": "Reference",
|
|
||||||
"identifier": "testClass1"
|
|
||||||
}
|
|
||||||
},
|
|
||||||
"type": null
|
|
||||||
},
|
|
||||||
"expressionRight": {
|
|
||||||
"@type": "Literal",
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "BOOLEAN"
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
],
|
|
||||||
"hasConstructor": false,
|
|
||||||
"methods": [
|
|
||||||
{
|
|
||||||
"@type": "Method",
|
|
||||||
"visibility": {
|
|
||||||
"enumAccessTypeNode": "PUBLIC"
|
|
||||||
},
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "testMethod",
|
|
||||||
"parameters": {
|
|
||||||
"parameters": [
|
|
||||||
{
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "INT"
|
|
||||||
},
|
|
||||||
"identifier": "param1"
|
|
||||||
}
|
|
||||||
]
|
|
||||||
},
|
|
||||||
"statements": [
|
|
||||||
{
|
|
||||||
"@type": "Assignment",
|
|
||||||
"expressionLeft": {
|
|
||||||
"@type": "InstVar",
|
|
||||||
"identifier": "testVar",
|
|
||||||
"expression": {
|
|
||||||
"@type": "InstVar",
|
|
||||||
"identifier": "testVar",
|
|
||||||
"expression": {
|
|
||||||
"@type": "This",
|
|
||||||
"type": {
|
|
||||||
"@type": "Reference",
|
|
||||||
"identifier": "testClass2"
|
|
||||||
}
|
|
||||||
},
|
|
||||||
"type": null
|
|
||||||
},
|
|
||||||
"type": null
|
|
||||||
},
|
|
||||||
"expressionRight": {
|
|
||||||
"@type": "Literal",
|
|
||||||
"type": null
|
|
||||||
},
|
|
||||||
"type": null
|
|
||||||
},
|
|
||||||
{
|
|
||||||
"@type": "VariableDeclaration",
|
|
||||||
"type": {
|
|
||||||
"@type": "Base",
|
|
||||||
"enumType": "CHAR"
|
|
||||||
},
|
|
||||||
"identifier": "objectVar",
|
|
||||||
"expression": {
|
|
||||||
"@type": "Literal",
|
|
||||||
"type": null
|
|
||||||
}
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
]
|
|
||||||
}
|
|
||||||
@ -1 +0,0 @@
|
|||||||
{"classes":[{"identifier":"testClass","accessType":{"enumAccessTypeNode":"PUBLIC"},"members":[{"@type":"Field","accessTypeNode":{"enumAccessTypeNode":"PUBLIC"},"type":{"@type":"Base","enumType":"INT"},"identifier":"testVar1"},{"@type":"Field","accessTypeNode":{"enumAccessTypeNode":"PUBLIC"},"type":{"@type":"Base","enumType":"INT"},"identifier":"objectVar"},{"@type":"Method","visibility":{"enumAccessTypeNode":"PUBLIC"},"type":{"@type":"Base","enumType":"INT"},"identifier":"testVar2","parameters":{"parameters":[{"type":{"@type":"Base","enumType":"INT"},"identifier":"param1"}]},"statements":[{"@type":"Assignment","expressionLeft":{"@type":"InstVar","identifier":"objectVar","expression":{"@type":"This","type":{"@type":"Reference","identifier":"testClass"}},"type":null},"expressionRight":{"@type":"Literal","type":{"@type":"Base","enumType":"INT"}}}]}],"hasConstructor":false,"methods":[{"@type":"Method","visibility":{"enumAccessTypeNode":"PUBLIC"},"type":{"@type":"Base","enumType":"INT"},"identifier":"testVar2","parameters":{"parameters":[{"type":{"@type":"Base","enumType":"INT"},"identifier":"param1"}]},"statements":[{"@type":"Assignment","expressionLeft":{"@type":"InstVar","identifier":"objectVar","expression":{"@type":"This","type":{"@type":"Reference","identifier":"testClass"}},"type":null},"expressionRight":{"@type":"Literal","type":{"@type":"Base","enumType":"INT"}}}]}]}]}
|
|
||||||
Loading…
Reference in New Issue
Block a user