Compare commits

..

98 Commits

Author SHA1 Message Date
Fayez Abu Alia
59569380ed Kleiner Bug beseitigt 2018-02-23 20:17:32 +01:00
Fayez Abu Alia
4fbcf87e0c Methoden visit(assign)/visit(literal) angepasst und generiert bytecode für Binaryexpressions. noch nicht fertig 2018-02-23 20:10:11 +01:00
Fayez Abu Alia
6808535f67 Merge branch 'parser' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2018-02-21 15:45:22 +01:00
Fayez Abu Alia
ac4a79f0e7 Additive/multiplicativeExpression und UnaryExpression implementiert 2018-02-21 15:43:28 +01:00
Fayez Abu Alia
7c2f7c54dd Kleine Änderung 2018-02-21 11:44:03 +01:00
JanUlrich
c747ab0885 Additive Expression implementieren 2018-02-21 11:40:54 +01:00
JanUlrich
6cf98f200b Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2018-02-21 11:05:57 +01:00
JanUlrich
ed3a3909c0 Merge branch 'bytecode2' into bigRefactoring 2018-02-21 11:05:25 +01:00
JanUlrich
b7bb0fa1c4 Vector Test Fehler beheben 2018-02-19 04:47:10 +01:00
JanUlrich
166aa5e506 merge mit sat 2018-02-19 04:22:08 +01:00
Fayez Abu Alia
f6e0c561bb Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2018-02-14 14:38:46 +01:00
Fayez Abu Alia
a45aa50574 erzeugt bytecode für Zuweisung von Literale 2018-02-14 14:37:36 +01:00
JanUlrich
191a1166b9 ASP Generator auf neues Format anpassen 2018-02-13 05:25:18 +01:00
JanUlrich
6e770b5ec5 Java 9: Classloader ändern
*
2018-02-12 22:32:03 +01:00
Martin Plümicke
22499f09e8 modified: src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
Zeile 101 Dangling-else Problematik behoben
War Fehler im Occurs-Cheeck von Montanari-Martelli.
2018-02-01 00:17:12 +01:00
JanUlrich
1f89238fe4 Kleiner Bug beseitigt. Ungetesteter Stand 2018-01-31 18:38:52 +01:00
Fayez Abu Alia
c61dd5411e Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2018-01-31 16:47:18 +01:00
Fayez Abu Alia
52487f3389 test LamAssign 2018-01-31 16:47:08 +01:00
JanUlrich
2f994cdfa8 java.lang. nicht standardmäßig importieren 2018-01-31 16:42:51 +01:00
JanUlrich
9c4f763c9a java.lang. nicht standardmäßig importieren 2018-01-31 16:42:25 +01:00
JanUlrich
8f9c07d88e Merge 2018-01-31 16:18:29 +01:00
Fayez Abu Alia
b32e437a05 Fehler 2018-01-31 16:16:05 +01:00
JanUlrich
48e2d2eec2 Tests fixen 2018-01-31 16:15:07 +01:00
Fayez Abu Alia
1888eb6d46 merge 2018-01-31 15:57:58 +01:00
Fayez Abu Alia
56d919f446 bug fix 2018-01-31 15:55:02 +01:00
JanUlrich
15d120d594 Funktionsfähiges Matrix Beispiel, aber nicht komplett 2018-01-31 15:51:38 +01:00
JanUlrich
e556a470e7 Literal löschen 2018-01-31 15:39:19 +01:00
Fayez Abu Alia
398c1992fa merge 2018-01-31 14:23:19 +01:00
Fayez Abu Alia
9a94ba2114 unnötige Kommentare wurden entfernt 2018-01-31 14:16:20 +01:00
JanUlrich
cdcebdd4ac Merge 2018-01-31 13:36:35 +01:00
JanUlrich
8e4791cca6 Anpassungen im Matrix Test 2018-01-31 13:34:54 +01:00
JanUlrich
3ce4937bc1 Fehler im Trailing Return anhängen beheben 2018-01-30 02:23:58 +01:00
JanUlrich
027538a082 Unary Expression und while statement anfügen 2018-01-30 01:08:21 +01:00
Martin Plümicke
39793b461e modified: test/javFiles/Matrix.jav
Falsche Typen in methode korrigiert.
2018-01-29 22:35:48 +01:00
Martin Plümicke
29173ba172 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
Genauere Fehlermeldung im Unify
2018-01-29 21:32:46 +01:00
Martin Plümicke
5d94820fed modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified:   src/de/dhbwstuttgart/typeinference/unify/model/Node.java
Genauere Fehlermeldung
2018-01-29 21:30:45 +01:00
JanUlrich
c7dea4c86b Matrix Test 2018-01-29 18:26:14 +01:00
JanUlrich
ede55d228e Fehler in ASTFactory beheben. GenericRefType statt RefType in den Parameterlisten 2018-01-29 17:35:49 +01:00
JanUlrich
0610ea8e63 FC Generator 2018-01-29 17:32:25 +01:00
JanUlrich
8d12821c68 Methode erbt nicht mehr von Feld 2018-01-21 11:38:55 +01:00
JanUlrich
311d7ee63a Merge branch 'bigRefactoring' into sat 2018-01-21 11:17:46 +01:00
JanUlrich
1f5071d4e4 Methode soll kein Feld mehr sein. Nicht lauffähig! 2018-01-19 15:24:49 +01:00
Fayez Abu Alia
542f87e8a3 erzeugt Klassendatei für FunN 2018-01-17 13:49:18 +01:00
JanUlrich
57df329751 Merge branch 'bigRefactoring' into sat 2018-01-12 22:47:49 +01:00
Fayez Abu Alia
7b24e2d83f bytecode für Generics: LamAssignTest funktioniert richtig 2018-01-10 15:37:50 +01:00
JanUlrich
b1b1cfdc54 --amend 2018-01-10 12:14:20 +01:00
JanUlrich
672373fc8d --amend 2018-01-10 12:11:51 +01:00
JanUlrich
ab86cc3229 RefType.toString(): Ausgabe von Parameterliste implementieren 2018-01-10 12:10:01 +01:00
JanUlrich
0c19cc7400 Merge branch 'bigRefactoring' into bytecode2 2018-01-10 11:58:03 +01:00
Fayez Abu Alia
268056542b erzeugt bytecode für generics 2018-01-10 11:36:29 +01:00
JanUlrich
19a1ef4024 Erste lauffähige aber unvollständige Version des UnifyWithoutWildcards 2018-01-10 10:53:07 +01:00
JanUlrich
3c732346d9 ASPParameterlist erzeugt auch paramNum 2018-01-06 09:38:53 +01:00
Fayez Abu Alia
01339ca7ec Descriptor-Erzeugen neu mit Visitor-pattern implementiert 2017-12-28 10:20:28 +01:00
JanUlrich
6ddc4983b0 Fehler im Type beheben 2017-12-20 17:12:40 +01:00
JanUlrich
719d1a5ced Interface Modifier setzen 2017-12-20 15:59:07 +01:00
JanUlrich
90a9273fc2 TypeToStringVisitor 2017-12-20 15:37:33 +01:00
JanUlrich
009a638c9a FC ohne java.lang generieren 2017-12-20 15:27:39 +01:00
JanUlrich
55be865ab4 Bugfix 2017-12-20 15:06:04 +01:00
Fayez Abu Alia
01fd396d29 Test generics 2017-12-20 15:04:03 +01:00
JanUlrich
dccdc5da2b Merge branch 'bigRefactoring' into bytecode2 2017-12-20 15:01:19 +01:00
JanUlrich
940c922c80 ResultSet kann GenericRefTypes auflösen 2017-12-20 15:01:02 +01:00
JanUlrich
bdc2a83b1c Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2017-12-20 14:14:25 +01:00
Fayez Abu Alia
d989100b47 korrekte bytecode 2017-12-20 14:14:05 +01:00
JanUlrich
f015ef75f7 Merge branch 'bigRefactoring' into bytecode2 2017-12-20 13:43:46 +01:00
Fayez Abu Alia
5f731bb09c letzte tests 2017-12-20 13:35:55 +01:00
JanUlrich
09bdaa6a21 Generics Test erzeugt falsches ConstraintSet 2017-12-20 13:34:34 +01:00
JanUlrich
e8757a179f ASP-Generierung: parameterListe 2017-12-18 14:43:03 +01:00
JanUlrich
3a444c0172 Aufräumen 2017-12-15 13:12:18 +01:00
Fayez Abu Alia
ab36050f9b Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2017-12-15 09:01:59 +01:00
JanUlrich
9919ecd083 Anfangen mit Masterarbeit 2017-12-15 00:06:57 +01:00
JanUlrich
7d8e8249ed Merge branch 'sat' into bigRefactoring 2017-12-15 00:05:47 +01:00
JanUlrich
fb0ef510b2 Fehlende Klasse 2017-12-15 00:05:30 +01:00
Fayez Abu Alia
72fdf2dca8 merge 2017-12-14 21:20:57 +01:00
JanUlrich
eb8db0e0eb TPH = TPH ist jetzt auch im ResultSet möglich. Anpassungen an der Generierung der Imports einer SourceFile; läuft noch nicht fehlerfrei 2017-12-14 17:44:43 +01:00
JanUlrich
5386227a34 Merge branch 'bigRefactoring' into sat 2017-12-14 00:06:11 +01:00
JanUlrich
5e675b9a93 Test anfügen 2017-12-13 13:34:22 +01:00
JanUlrich
fd8df92c03 generatedBC-Directory anfügen 2017-12-13 13:32:00 +01:00
JanUlrich
eddac2c8ed VoidMeth Test korrigieren 2017-12-13 13:15:11 +01:00
Fayez Abu Alia
a8274bdc69 erzeugt bytecode fuer lambda 2017-11-29 14:45:15 +01:00
JanUlrich
e702f745c3 Dirty fix 2017-11-29 14:31:07 +01:00
JanUlrich
4616f82b09 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2017-11-22 13:15:21 +01:00
JanUlrich
dbe47f41c1 FunNClass anfügen 2017-11-22 13:12:21 +01:00
JanUlrich
b55d0779e9 ResultPairs des Unify Algorithmus könnnen nun auch Wildcard-Typen enthalten 2017-11-22 06:49:11 +01:00
JanUlrich
928396927e Faculty Test geht wieder 2017-11-16 17:28:50 +01:00
JanUlrich
9a886ed223 Typdeklarationen wie List, werden jetzt automatisch TPHs eingesetzt. (Als hätte man den Diamond-Operator benutzt) 2017-11-16 16:56:12 +01:00
JanUlrich
16e14f9363 Finite CLosure TEst läuft wieder halbwegs. Sonst unfertiger Zustand 2017-11-16 15:10:08 +01:00
JanUlrich
b51d8356b7 Unvollständiger Zustand; Verknüpfung zwischen GTVs und TPH geändert. Änderungen in TypeStmt 2017-11-15 17:58:15 +01:00
JanUlrich
48dc76646b createPair Methode entfernen. Die Generics können nicht generell aufgelöst werden. (unvollständiger Zustand) 2017-11-14 19:28:46 +01:00
JanUlrich
fea86460e8 Änderungen an der FC generierung und an dem Verhalten von GTVs im Type Algorithmus UNVOLLSTÄNDIG. Kleines Backup, da große Änderung am Type-Algorithmus noch ansteht. 2017-11-09 19:41:53 +01:00
Fayez Abu Alia
01703a73c5 generiert Bytecode fuer einfachen Lambda 2017-11-07 10:55:33 +01:00
Fayez Abu Alia
bb5e697699 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 2017-11-03 14:18:32 +01:00
Fayez Abu Alia
5a026a431c kleine Aenderung 2017-11-03 14:17:36 +01:00
JanUlrich
1d767a7696 Matrix Test 2017-11-03 13:56:04 +01:00
JanUlrich
d2fa9e00f8 Fix bug #60 2017-10-30 18:08:40 +01:00
JanUlrich
934e5f85f8 Unterschied zwischen Expr-Receiver und Classname-Receiver 2017-10-26 21:45:04 +02:00
JanUlrich
bfa106913b extends in Parser implementieren. Dirty fix für fehlende Object-Klasse in der JavaClassNameRegistry 2017-10-18 16:40:27 +02:00
JanUlrich
44f4aa4b27 Test anfügen 2017-10-18 16:18:46 +02:00
JanUlrich
ae02ee247a SAT Package erstellen 2017-08-17 15:08:07 +02:00
1040 changed files with 3769 additions and 1665 deletions

View File

@@ -1,25 +0,0 @@
\documentclass{article}
\begin{document}
\section{Generics sind notwendig}
Generics können nicht ignoriert werden.
Folgender Fall ist Typisierbar:
\begin{program}
<T> T m1(T x){
return m2(x);
}
m2(x){
m1(1);
m2("Test");
return m1(x);
}
\end{program}
Beim weglassen des Generics T wäre es aber nicht mehr möglich.
Dann erhält jeder Constraint, welcher in Verbindung mit der Methode m1 steht
den selben TPH.
\end{document}

0
doc/Javadoc/allclasses-frame.html Normal file → Executable file
View File

0
doc/Javadoc/allclasses-noframe.html Normal file → Executable file
View File

0
doc/Javadoc/constant-values.html Normal file → Executable file
View File

0
doc/Javadoc/deprecated-list.html Normal file → Executable file
View File

0
doc/Javadoc/help-doc.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-1.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-10.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-11.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-12.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-13.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-14.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-15.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-16.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-17.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-18.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-19.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-2.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-20.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-21.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-22.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-23.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-24.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-3.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-4.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-5.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-6.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-7.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-8.html Normal file → Executable file
View File

0
doc/Javadoc/index-files/index-9.html Normal file → Executable file
View File

0
doc/Javadoc/index.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/MyCompiler.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/MyCompilerAPI.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/SourceFile.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/class-use/MyCompiler.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/class-use/MyCompilerAPI.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/class-use/SourceFile.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/Attribute.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/AttributeInfo.html Normal file → Executable file
View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

0
doc/Javadoc/mycompiler/mybytecode/CPInfo.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/ClassFile.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/CodeAttribute.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/ExceptionTable.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/FieldInfo.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/JVMCode.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/Key.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/MethodInfo.html Normal file → Executable file
View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

View File

0
doc/Javadoc/mycompiler/mybytecode/class-use/Key.html Normal file → Executable file
View File

View File

0
doc/Javadoc/mycompiler/mybytecode/package-frame.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/package-summary.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/package-tree.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/mybytecode/package-use.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/Class.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/ClassBody.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/ClassDeclId.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/Constructor.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/DeclId.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/ExceptionList.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/FieldDecl.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/FormalParameter.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/InstVarDecl.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/Method.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/ParameterList.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/Status.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/UsedId.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/UserDef.html Normal file → Executable file
View File

0
doc/Javadoc/mycompiler/myclass/class-use/Class.html Normal file → Executable file
View File

View File

View File

Some files were not shown because too many files have changed in this diff Show More