Michael Uhl
8c80a11675
Merge remote-tracking branch 'origin/plugin' into plugin
...
# Conflicts:
# src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
# src/test/resources/bytecode/javFiles/MatrixOP.jav
2019-04-05 13:02:17 +02:00
Michael Uhl
789b13aea9
Merge branch 'bigRefactoring' into plugin
...
# Conflicts:
# src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-04-05 12:56:57 +02:00
Martin Plümicke
0f1526daa2
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
deleted: .gitignore
2019-03-28 15:44:03 +01:00
Martin Plümicke
4ba4292db4
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-03-20 16:30:21 +01:00
Martin Plümicke
57b5a51895
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
2019-03-20 16:24:55 +01:00
Martin Plümicke
986ce8e6e0
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-03-20 14:35:50 +01:00
Martin Plümicke
8a6646bd7c
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
2019-03-20 13:00:08 +01:00
Martin Plümicke
01a548215a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-03-20 12:53:35 +01:00
Martin Plümicke
66cd1e7012
modified: ../../bytecode/javFiles/MatrixOP.jav
2019-03-20 12:45:17 +01:00
Martin Plümicke
b3897d2260
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
2019-03-19 17:36:25 +01:00
Martin Plümicke
3649f7f767
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2019-03-19 17:27:37 +01:00
Martin Plümicke
d288a0f27d
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2019-03-19 17:16:52 +01:00
Martin Plümicke
850fe39426
modified: ../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java
...
Typen mit Argumenten korrgiert
2019-03-19 16:31:04 +01:00
Martin Plümicke
212aeaa3a0
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-03-18 16:14:13 +01:00
Michael Uhl
7cb2eed36e
Logger comes from plugin now.
2019-03-18 09:33:22 +01:00
Martin Plümicke
82f330eab5
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../resources/bytecode/javFiles/Matrix.jav
2019-03-17 17:44:09 +01:00
Michael Uhl
9ab98a7e1d
Merge remote-tracking branch 'origin/plugin' into plugin
...
# Conflicts:
# src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
# src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
2019-03-15 11:05:05 +01:00
Michael Uhl
6c83206f3a
Merge branch 'bytecode2' into plugin
...
# Conflicts:
# pom.xml
# src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
# src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
# src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultEvent.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
# src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2019-03-15 11:03:47 +01:00
Michael Uhl
f25ba4d13e
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-03-15 10:53:10 +01:00
Michael Uhl
4d4be5420b
Anpassung asynchroner Aufruf des Plugins
...
========================================
UnifyResultListener muss übergeben werden, da sonst Ergebnisse gemeldet werden (notify), ohne dass das Plugin als UnifyResultListener registriert wurde.
2019-03-15 10:52:31 +01:00
Martin Plümicke
a01779d6df
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
auskommentierter Code der nach checkA verschoben wurde geloescht
2019-03-14 00:27:21 +01:00
Martin Plümicke
44ed1d8e8d
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Die Ueberpruefung von a bzw. nSaL in Methode checkA ausgelagert und für die Faelle a <. th und ty <. a implementiert.
2019-03-14 00:20:19 +01:00
Martin Plümicke
75adbaf579
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-03-07 13:45:03 +01:00
Martin Plümicke
411629279d
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
...
Kommentar eingefuegt
2019-03-07 13:44:29 +01:00
Martin Plümicke
47783083b0
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Conflicts:
src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
It looks like you may be committing a merge.
If this is not correct, please remove the file
.git/MERGE_HEAD
and try again.
2019-03-07 13:42:26 +01:00
Martin Plümicke
94c32609c6
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
disableCondWildcards wird aufgerufen
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
/**
* wenn in einem Paar bestehend aus 2 Typvariablen eine nicht wildcardtable ist,
* so beide auf nicht wildcardtable setzen
*/
public void disableCondWildcards()
eingefuegt
2019-03-07 13:37:08 +01:00
Martin Plümicke
6175fb3ee3
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2019-03-07 09:17:05 +01:00
Martin Plümicke
2bd6147517
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Noch einige Fehler
2019-03-07 09:14:41 +01:00
Martin Plümicke
728b729f08
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
in calculatePairSets werden andere Constraints fuer die gleiche Variable betrachtet
Sollte aber nach computeCartesianRecursive verschoben werden.
2019-03-05 00:24:11 +01:00
Martin Plümicke
27c6351aed
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Anfang Paare zusammenfassen
2019-03-01 16:52:59 +01:00
Martin Plümicke
fc14cf9893
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
subst-Anwendung gleich am Anfang von unify eingefuehrt
2019-02-28 18:29:08 +01:00
Martin Plümicke
b46e0b855c
modified: ../../resources/bytecode/javFiles/MatrixOP.jav
2019-02-28 15:38:30 +01:00
Martin Plümicke
88ec8823fd
modified: ../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java
...
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
deleted: ../../../main/java/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
Es wird jetzt FunN-Type FunN$$ geparst
Der Typ FunN wurde entfernt
Der Name des Typs FunNType wurde um $$ am Ende ergänzt
2019-02-27 16:04:55 +01:00
Fayez Abu Alia
c77a2b3354
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-02-25 19:20:43 +01:00
Fayez Abu Alia
8a5dbb28ac
Bug gefixt: genericList als Paramater uebergeben
2019-02-25 19:20:11 +01:00
Michael Uhl
86768153c0
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-02-24 15:06:49 +01:00
Michael Uhl
5722f0285b
Skip tests in maven build.
2019-02-24 15:06:34 +01:00
Fayez Abu Alia
6c19a9f78c
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-02-21 13:35:07 +01:00
Fayez Abu Alia
3e186334a2
Simpify Algo korrigiert so dass die lokalen Variablen der Methode beruecksichtigt werden
2019-02-21 13:34:36 +01:00
Martin Plümicke
6a6e6b343d
modified: ../../core/JavaTXCompiler.java
...
modified: TypeUnifyTask.java
NullWriter eingefuegt
2019-02-21 12:06:04 +01:00
Martin Plümicke
9d93fa63fa
new file: UnifyResultListener.java
...
new file: model/hashKeyType.java
2019-02-20 18:33:27 +01:00
Martin Plümicke
666bf26594
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2019-02-20 17:54:04 +01:00
Martin Plümicke
fcad60996c
modified: de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2019-02-20 17:53:45 +01:00
Martin Plümicke
29963dfbc3
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2019-02-20 17:51:57 +01:00
Martin Plümicke
82d8ecba74
BigRefacoring branch hard rueberkopiert
2019-02-20 17:50:06 +01:00
Martin Plümicke
9c648546e4
modified: de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
FileWriter durch Writer ersetzt
2019-02-20 17:36:07 +01:00
Martin Plümicke
8e4b39b05e
modified: ../../test/resources/bytecode/javFiles/Inf.jav
2019-02-20 16:03:56 +01:00
Martin Plümicke
926d911d21
modified: ../bytecode/MatrixTest.java
2019-02-20 15:08:06 +01:00
Pluemicke Martin
42aee3dbec
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
...
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/Pair.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultEvent.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
2019-02-20 14:59:56 +01:00
Fayez Abu Alia
d010c843df
Bug in MatrixTest gefixt. Die richtige Descriptor von MethodCalls wird erzeugt
2019-02-20 12:15:55 +01:00
