AluAli
c0c24eed3b
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-12-04 11:00:12 +01:00
AluAli
af36b43786
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2020-11-30 12:32:35 +01:00
AluAli
997d3b9bea
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-11-27 15:52:31 +01:00
AluAli
ed7cc55139
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2020-11-27 15:29:07 +01:00
AluAli
29a7f2e7fb
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-11-27 14:10:31 +01:00
AluAli
4ac67120a4
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-11-13 17:24:41 +01:00
AluAli
f0db6cb901
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2020-11-13 16:22:23 +01:00
AluAli
2e5581ab6e
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-11-13 15:29:01 +01:00
AluAli
e8ac8e3c5a
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-11-13 13:50:36 +01:00
AluAli
a4bc49f5c4
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-11-13 00:43:49 +01:00
AluAli
9cf7cec37b
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
renamed: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/ClassConstraint.java -> src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/ClassConstraint.java
renamed: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java -> src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
renamed: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/GGenerics.java -> src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/GGenerics.java
renamed: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/MethodConstraint.java -> src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/MethodConstraint.java
renamed: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/PositionFinder.java -> src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/PositionFinder.java
renamed: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/preGGenerics.java -> src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/preGGenerics.java
modified: src/test/java/constraintSimplify/FamilyOfGenerics.java
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
modified: src/test/java/insertGenerics/TestExample42.java
modified: src/test/java/insertGenerics/TestTransitiveClosure.java
2020-11-06 18:13:21 +01:00
JanUlrich
531b1ccd22
Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics
2020-11-06 16:34:42 +01:00
JanUlrich
7ced6338cb
Add Test case for FamilyOfGenerics
2020-11-06 16:34:32 +01:00
AluAli
0550f73ef7
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
2020-11-06 16:33:05 +01:00
JanUlrich
b91aadf24a
Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics
2020-11-06 15:26:25 +01:00
AluAli
70b6c35731
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/TestExample42.java
new file: src/test/java/insertGenerics/TestTransitiveClosure.java
2020-11-06 15:22:36 +01:00
AluAli
e617a0911a
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/ClassConstraint.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
2020-11-06 11:51:04 +01:00
AluAli
7cf46b02b7
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
2020-11-06 11:24:21 +01:00
JanUlrich
8cf57ba35b
Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics
2020-11-06 10:45:50 +01:00
AluAli
486d7d9011
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
2020-11-06 00:58:04 +01:00
AluAli
8402d18f83
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
...
new file: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/PositionFinder.java
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
modified: src/test/java/constraintSimplify/FamilyOfGenerics.java
new file: src/test/java/insertGenerics/TestExample42.java
2020-11-01 14:09:27 +01:00
JanUlrich
8d25920a87
Add Hashcode methods
2020-10-30 15:44:46 +01:00
AluAli
ab9e9e16bd
Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics
2020-10-30 10:52:39 +01:00
JanUlrich
b45964ed5f
Template für FamilyOfGenerics Test
2020-10-30 10:52:03 +01:00
AluAli
0ecd3916f8
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/ClassConstraint.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
2020-10-30 09:41:09 +01:00
AluAli
c86fe95da5
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
2020-10-29 19:43:50 +01:00
AluAli
d677d053d6
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2020-10-29 19:40:46 +01:00
AluAli
5060cca6db
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/ClassConstraint.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/MethodConstraint.java
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
new file: src/test/java/insertGenerics/MethodsTest.java
new file: src/test/java/insertGenerics/TryTest.java
new file: src/test/resources/insertGenericsJav/TestGGFinder.jav
2020-10-23 10:42:24 +02:00
AluAli
7900449897
modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
2020-10-23 00:11:54 +02:00
AluAli
f6154b8f2c
deleted: src/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
...
new file: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/ClassConstraint.java
new file: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
renamed: src/de/dhbwstuttgart/bytecode/gGenericsAli/GGenerics.java -> src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/GGenerics.java
new file: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/MethodConstraint.java
renamed: src/de/dhbwstuttgart/bytecode/gGenericsAli/preGGenerics.java -> src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/preGGenerics.java
2020-10-22 22:13:05 +02:00
pl@gohorb.ba-horb.de
1d7c894f39
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2020-10-16 15:55:22 +02:00
AluAli
61f35f8f8b
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics
2020-10-16 15:37:53 +02:00
AluAli
1e7c25805e
new file: src/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java
...
new file: src/de/dhbwstuttgart/bytecode/gGenericsAli/GGenerics.java
new file: src/de/dhbwstuttgart/bytecode/gGenericsAli/preGGenerics.java
2020-10-16 15:13:50 +02:00
pl@gohorb.ba-horb.de
5a00b70ea8
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
modified: ../../../java/AllgemeinTest.java
modified: ../../bytecode/javFiles/FieldTphConsMeth.jav
2020-10-16 14:54:36 +02:00
JanUlrich
6e91e5c683
Merge addPackages, simplifyRes und bigRefactoring
2020-10-01 10:11:20 +02:00
JanUlrich
e4908557f4
Merge addPackages and simplifyRes and clear project
2020-09-30 03:45:01 +02:00
JanUlrich
ed550b1097
Aufräumen
2020-09-30 03:32:57 +02:00
JanUlrich
5fa1cf11ef
Merge branch 'simplifyRes' into bigRefactoring
2020-09-25 18:48:28 +02:00
pl@gohorb.ba-horb.de
653901ef32
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
alten Code geloescht
2020-05-13 14:07:22 +02:00
pl@gohorb.ba-horb.de
2e03b5b10c
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
auskommentierten Code geloescht
2020-05-12 17:35:28 +02:00
pl@gohorb.ba-horb.de
670e3ed99f
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
nextSetasListRest = oup.minElements(nextSetasListRest);
nextSetasListRest = oup.maxElements(nextSetasListRest);
eingefuegt
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2020-05-12 17:25:04 +02:00
pl@gohorb.ba-horb.de
c8ece0a010
new file: ../../../java/bytecode/InheritTest2.java
...
modified: AA.jav
modified: CC.jav
new file: Inherit2.jav
2020-05-12 10:02:41 +02:00
pl@gohorb.ba-horb.de
c27e1fa4e1
modified: ../../../java/bytecode/InheritTest.java
...
modified: Inherit.jav
Funktioniert soweit
2020-05-11 17:54:37 +02:00
pl@gohorb.ba-horb.de
b3b25b7869
Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages
2020-05-11 13:47:16 +02:00
pl@gohorb.ba-horb.de
9240b0d163
Changes to be committed:
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/test/java/bytecode/InheritTest.java
modified: src/test/resources/bytecode/javFiles/Inherit.jav
2020-05-11 13:45:19 +02:00
JanUlrich
a0a813f87c
Inherit Test update
2020-05-08 11:35:21 +02:00
JanUlrich
60b182b9b1
Kleiner Hack für Inherit test
2020-05-08 11:26:07 +02:00
pl@gohorb.ba-horb.de
8e2d4e1c70
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
new file: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingExtend.java
2020-05-08 11:04:05 +02:00
pl@gohorb.ba-horb.de
907ab2fcec
modified: ../../../java/bytecode/InheritTest.java
...
modified: ../../bytecode/javFiles/Inherit.jav
2020-05-08 10:19:00 +02:00
pl@gohorb.ba-horb.de
eb27003515
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/Node.java
Fehler in der Transitivaet der Finit Closure gefixt
modified: ../../../java/bytecode/InheritTest.java
modified: ../../bytecode/javFiles/AA.jav
modified: ../../bytecode/javFiles/CC.jav
modified: ../../bytecode/javFiles/Inherit.jav
Noch Probl;em in der Reflections
2020-05-07 16:29:00 +02:00
pl@gohorb.ba-horb.de
71c801c19c
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2020-05-06 19:25:19 +02:00
pl@gohorb.ba-horb.de
ba750187ba
modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: ../src/test/java/bytecode/InheritTest.java
new file: ../src/test/resources/bytecode/javFiles/AA.jav
new file: ../src/test/resources/bytecode/javFiles/BB.jav
new file: ../src/test/resources/bytecode/javFiles/CC.jav
new file: ../src/test/resources/bytecode/javFiles/DD.jav
modified: ../src/test/resources/bytecode/javFiles/Inherit.jav
Inherit funktioniert noch nicht ganz
2020-05-06 19:22:08 +02:00
pl@gohorb.ba-horb.de
ccf5df1f1e
new file: ../../../java/bytecode/InheritTest.java
...
modified: ../../../java/bytecode/PutTest.java
new file: ../../bytecode/javFiles/Inherit.jav
2020-05-05 18:43:39 +02:00
pl@gohorb.ba-horb.de
3de735ebe3
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
new file: ../../../java/bytecode/PutTest.java
new file: ../../bytecode/javFiles/Put.jav
2020-05-05 18:06:05 +02:00
pl@gohorb.ba-horb.de
fd3d4e97a1
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
isInherited für ? extends wieder mit gleich gesetzt
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Variance = -1 und Oderconstraints Vererbung eingebaut
Variance = 0 min/max eingebaut
2020-05-05 17:14:52 +02:00
pl@gohorb.ba-horb.de
6deeb4105f
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Fuer Variance = 1 neue Version korrekt, konnte aber noch Fehler entbhalten
2020-05-04 17:02:15 +02:00
pl@gohorb.ba-horb.de
9d4980d9a1
modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
2020-05-01 22:55:25 +02:00
pl@gohorb.ba-horb.de
b83e2c10e3
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Call-graph weiter umgesetzt, aber noch Fehler in MatrixOP
2020-04-27 22:17:37 +02:00
pl@gohorb.ba-horb.de
4f10e789d4
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/Method.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: src/main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
modified: src/test/java/AllgemeinTest.java
Erster Ansatz Call-Graph zu beruecksichtigen
2020-04-24 23:05:42 +02:00
pl@gohorb.ba-horb.de
8b9f0d6376
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
log-Files abgeschaltet
modified: src/test/java/AllgemeinTest.java
File ergaenzt
2020-04-20 14:29:15 +02:00
pl@gohorb.ba-horb.de
723eca8658
modified: src/test/java/typeinference/JavaTXCompilerTest.java
...
modified: src/test/resources/javFiles/IfTest.jav
modified: src/test/resources/javFiles/ListenerOverload.jav
modified: src/test/resources/javFiles/fc.jav
2020-04-14 18:28:16 +02:00
pl@gohorb.ba-horb.de
071f4cd9ca
modified: src/test/java/typeinference/JavaTXCompilerTest.java
...
modified: src/test/java/typeinference/Meth_GenTest.java
modified: src/test/java/typeinference/UnifyTest.java
Tests angepasst
2020-04-14 16:47:25 +02:00
pl@gohorb.ba-horb.de
cdc6a3f2dd
Merge branch 'simplifyRes' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into simplifyRes
2020-04-13 16:23:09 +02:00
pl@gohorb.ba-horb.de
cc6156695d
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
INSTANCE auf sich selber geloescht
2020-04-13 16:22:10 +02:00
pl@gohorb.ba-horb.de
1b6af9ab7e
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typedeployment/TypeInsertFactory.java
modified: src/main/java/de/dhbwstuttgart/typedeployment/TypeInsertPlacer.java
Bug 180 - Andere Einsetzung als im Bytecode geloest
2020-04-13 16:08:42 +02:00
michael
0861f74ce7
Bug 171: Beim Typeinsert werden Marker jetzt richtig verschoben.
2020-04-02 22:20:31 +02:00
pl@gohorb.ba-horb.de
3f919be1bf
new file: ../../../java/AllgemeinTest.java
...
new file: ../../../java/bytecode/mathStrucMatrixOPTest.java.txt
new file: ../../../java/bytecode/mathStrucVectorAddTest.java.txt
new file: ../../../java/packages/mathStrucMatrixOPTest.java.txt
new file: ../../AllgemeinTest/FCTest1.jav
new file: ../../AllgemeinTest/FCTest2.jav
new file: ../../AllgemeinTest/FCTest3.jav
new file: ../../AllgemeinTest/GenTest.jav
new file: ../../AllgemeinTest/Generics.jav
new file: ../../AllgemeinTest/OverloadingMain.jav
new file: ../../AllgemeinTest/Overloading_Generics.jav
new file: ../../AllgemeinTest/OverrideMain.jav
new file: ../../AllgemeinTest/OverrideMainRet.jav
new file: ../../AllgemeinTest/Pair.java
2020-03-30 16:17:52 +02:00
pl@gohorb.ba-horb.de
97bdfe1d3a
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
wenn nicht wildcardable dann receiver ? extends geloescht
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
kleiner Fehler in compare
2020-03-30 13:28:13 +02:00
pl@gohorb.ba-horb.de
7c7dbf3769
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Das fehlerveruraschende Paar wird auch zu abhSubst hingefuegt.
2020-03-29 11:05:52 +02:00
pl@gohorb.ba-horb.de
577faa88af
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Reihenfolge geaendert, so dass bei Variance 1 (x <. theta) vorne und bei Variance -1 (theta <. x) vorne
2020-03-28 00:16:43 +01:00
pl@gohorb.ba-horb.de
8bdb7e7b13
modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
noch Fehler bei mathStruc<Integer> und Matrix laeuft sehr lange vll. terminiert es nicht.
2020-03-26 17:23:56 +01:00
pl@gohorb.ba-horb.de
eca187da79
modified: src/main/java/de/dhbwstuttgart/syntaxtree/visual/OutputGenerator.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2020-03-26 12:44:56 +01:00
pl@gohorb.ba-horb.de
850af6a6ae
modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Vererbung korrigiert
2020-03-19 18:36:20 +01:00
pl@gohorb.ba-horb.de
ed1bb44089
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
variance = 2 umgesetzt auf variance = 1, variance = -1, variance = 0
2020-03-19 17:03:54 +01:00
pl@gohorb.ba-horb.de
592de5310e
modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/SourceFile.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2020-03-18 17:36:10 +01:00
pl@gohorb.ba-horb.de
e4e3704c7b
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Umbau TYPEStmt Methods begonnen
2020-03-17 14:06:21 +01:00
pl@gohorb.ba-horb.de
21bc3e5193
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Reigenfolge der der nextSets angepasst
2020-03-13 15:57:27 +01:00
pl@gohorb.ba-horb.de
44368f2a2a
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
weitere Logausgaben bei a <. theta'
2020-03-13 14:04:57 +01:00
pl@gohorb.ba-horb.de
aa94ce8ad9
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Fehler korrigiert in compare
2020-03-12 10:18:48 +01:00
pl@gohorb.ba-horb.de
d63c27579c
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Typen der Methoden der Oder-Constraiunts benutzen wieder rueckgaenig gemacht
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
wieder alle grArg im a <. theta' benutzen
modified: ../../bytecode/javFiles/MatrixOP.jav
2020-03-09 18:30:36 +01:00
pl@gohorb.ba-horb.de
b38340fc60
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
toString veraendert
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/Match.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Fall A <. theta' veraendert.
modified: ../../bytecode/javFiles/MatrixOP.jav
2020-03-09 14:06:41 +01:00
pl@gohorb.ba-horb.de
df0d02cdea
Revert " modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java"
...
This reverts commit 47ec1dca5a
.
2020-03-06 13:57:01 +01:00
pl@gohorb.ba-horb.de
900a487d8a
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Aufruf von isCanceled an verschiedenen Stellen ergaenzt, so dass jetzt alle Prozesse angehalten werden sollten
2020-03-03 14:52:11 +01:00
michael
e07df035ea
Check for null list. Crash fix.
2020-03-03 10:27:13 +01:00
pl@gohorb.ba-horb.de
47ec1dca5a
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/controlCancel.java
controlCancel.java kann durch IProgressMonitor aus Eclipse implementiert werden.
So lässt sich das Cancel-Problem des Eclipse-Plugins loesen.
2020-02-29 22:22:37 +01:00
pl@gohorb.ba-horb.de
e913bfa768
modified: ../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Im Bytecode werden MethpdCaltypen bereits beim TYPEen angelegt.
2020-02-07 18:17:58 +01:00
pl@gohorb.ba-horb.de
98997d686f
modified: ../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Lokale Variablen eingefuegt
Wildcards korrigiert
logFiule off
modified: ../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/Constructor.java
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/statement/NewClass.java
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/statement/SuperCall.java
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/statement/ThisCall.java
Typeargumente von Receiver und Argumenten in Methodcall eingefuegt.
2020-02-07 17:46:11 +01:00
pl@gohorb.ba-horb.de
5c97d80eb0
modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2020-02-06 18:35:33 +01:00
pl@gohorb.ba-horb.de
23384f413d
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
variance von Pairs geloescht.
2020-02-06 15:27:51 +01:00
pl@gohorb.ba-horb.de
a5662cdd9a
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Nachtraegliches Einfuegen von Variance in OderConstraints auskommentiert.
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
Variance im konvertieren eingefuegt
modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java
Variace eingefuegt
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
In OderConstraints Variance bei der Erstellung eingefuegt
2020-02-06 11:39:27 +01:00
pl@gohorb.ba-horb.de
28400c8bde
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variance aller Argumente in Oderconstraints auf 1 gesetzt muss nochmals ueberarbeitet werden
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Returntypen von Operatoren sind \doteq gestezt
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Bei Variance = 2 parallel abgearbeitet geloescht, dass nicht nochmals bearbeitet werden.
2020-02-06 08:51:30 +01:00
pl@gohorb.ba-horb.de
b68004a214
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Weiter Ausgave der abstrakten Syntax auf die Console
Fehler bei der Auswahl der Varianz behoben.
2020-01-31 10:03:33 +01:00
pl@gohorb.ba-horb.de
8d72b58fcc
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Methode unbenannt in unbox
2020-01-21 19:48:31 +01:00
pl@gohorb.ba-horb.de
e581050a61
modified: ../../../java/packages/LoadDefaultPackageClassesTest.java
...
modified: ../../../java/packages/OLOneFileTest.java
2020-01-21 18:22:40 +01:00
pl@gohorb.ba-horb.de
1ec7a78b14
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
basetype und RefType Fehler korrigiert
Methode basetypeComp eingefuegt.
2020-01-21 18:04:56 +01:00
pl@gohorb.ba-horb.de
8ec1c5148b
new file: OLTest.txt
...
new file: UseOLMain.java
Test für die ComandLine-Version
2020-01-21 14:34:09 +01:00
pl@gohorb.ba-horb.de
bf80361c1f
new file: ../../../java/packages/OLOneFileTest.java
...
new file: OLOneFile.jav
2020-01-21 14:12:48 +01:00
pl@gohorb.ba-horb.de
a9d6e08a20
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
2020-01-21 14:10:38 +01:00
pl@gohorb.ba-horb.de
d55e6b3b75
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
fehlerhafter Aufruf getMethod korrigiert.
modified: ../../../java/packages/OLTest.java
modified: OLMain.jav
new file: OLextends.jav
renamed: OL.jav -> de/test/OL.jav
OL-Beispiel mit doppelter Vererbung eingefuegt.
2020-01-21 12:27:41 +01:00
JanUlrich
a6287b1551
Work with File instead of Strings when specifying output als classpath
2020-01-17 16:06:51 +01:00
pl@gohorb.ba-horb.de
5500180c6b
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2020-01-15 20:47:39 +01:00
JanUlrich
0c1ca3d200
Fehler beheben und DirecotryClassLoader anfügen
2020-01-12 22:49:51 +01:00
JanUlrich
f3d6fcb417
add -classpath to ConsoleInterface. Fix bug
2020-01-11 20:19:23 +01:00
pl@gohorb.ba-horb.de
647c9e6c21
modified: ../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
.replace("/", ".")); anegfuegt, damit auch bei packages superklassen gefunden erden.
2020-01-08 14:47:03 +01:00
pl@gohorb.ba-horb.de
6779f10b08
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Bug "." wird in replaceAll nicht ersetzt, deshalb "/" durch "." und nicht "." durch "/" ersetzt.
modified: ../../../java/packages/OLTest.java
modified: ../../../java/packages/mathStrucVectorTest.java
renamed: de/test/OL.jav -> OL.jav
renamed: de/test/OLMain.jav -> OLMain.jav
OL ins default-Package verschoben
2020-01-07 18:37:43 +01:00
pl@gohorb.ba-horb.de
ac3f8ece0e
Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages
2020-01-07 11:20:31 +01:00
JanUlrich
f63346649b
Fix loading packages from same package
2020-01-06 22:04:29 +01:00
JanUlrich
abdff6c8d2
Fixed bug #184
2020-01-03 01:12:58 +01:00
JanUlrich
691d31df5e
Die getRegistry Methode der CompilationEnvironment Klasse beachtet jetzt auch alle .class Files, welche sich im gleichen Ordner befinden
2020-01-03 01:08:00 +01:00
JanUlrich
2e421cccaa
Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages
2019-12-30 19:20:46 +01:00
pl@gohorb.ba-horb.de
bd0b2e6058
new file: ../../../../../../../../java/packages/OLTest.java
...
new file: ../../../OL.jav
new file: ../../../OLMain.jav
2019-12-30 10:45:32 +01:00
pl@gohorb.ba-horb.de
0c9c8ef321
modified: ../../../../../../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java
...
Bug 182 fixed
modified: ../../../mathStrucVector.jav
modified: ../../../vectorAdd.jav
kleine Aenderungen
2019-12-29 19:42:40 +01:00
JanUlrich
4b4087ae24
Trying to add Names that are not imported to availableClasses (unfinished)
2019-12-27 18:51:04 +01:00
JanUlrich
19989bfe11
Add Console Interface parameters, output directory and classpath
2019-12-26 19:43:00 +01:00
JanUlrich
f59a7d221e
Fix bug #181
2019-12-26 15:22:40 +01:00
pl@gohorb.ba-horb.de
c1c12fa33c
new file: mathStrucVectorTest.java
...
new file: ../../resources/javFiles/packageTest/de/test/mathStruc.jav
new file: ../../resources/javFiles/packageTest/de/test/mathStrucVector.jav
new file: ../../resources/javFiles/packageTest/de/test/vectorAdd.jav
2019-12-23 16:34:07 +01:00
pl@gohorb.ba-horb.de
7fd03d505e
Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages
2019-12-23 11:25:36 +01:00
pl@gohorb.ba-horb.de
4391adfb0f
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
modified: src/test/resources/bytecode/javFiles/OL.jav
2019-12-23 11:25:07 +01:00
JanUlrich
d0b6dbcd30
Tests anfügen und Bugs fixen
2019-12-22 23:23:10 +01:00
JanUlrich
306af907c5
Nicht mit mehreren Eingabedateien testen
2019-12-22 22:32:40 +01:00
JanUlrich
75eaee6644
Abgabeprotokoll
2019-12-22 17:59:40 +01:00
JanUlrich
0378c17e7d
ClassLoader austauschen gegen den Classloader, welcher in JavaCompilerCore erstellt wird
2019-12-22 14:27:54 +01:00
JanUlrich
afd2c21ca8
Add classPath option to JavaTXCompiler and parse with URLClassLoader
2019-12-16 00:54:00 +01:00
JanUlrich
bb75fca0d7
Add ImportTest
2019-12-15 14:57:12 +01:00
JanUlrich
c82abcaae5
Generate Package names in .class files
2019-12-15 14:55:49 +01:00
JanUlrich
a3b4ea9b1c
[Bytecde] Generate new directory if given output path doesnt exist yet
2019-12-14 17:50:23 +01:00
JanUlrich
af5b23e31a
Use JavaClassName instead of Strings
2019-12-14 16:30:14 +01:00
pl@gohorb.ba-horb.de
084b54d295
modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/visual/OutputGenerator.java
...
modified: ../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
einige Korrekturen
2019-12-09 15:54:22 +01:00
michael
e305c3cb55
[MINOR]: Optimized imports.
2019-12-09 13:52:37 +01:00
michael
835f0755da
Merge branch 'simplifyRes' of uhl@gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into simplifyRes
2019-12-06 20:22:52 +01:00
michael
14b127390e
[MINOR]: Umlaute in Kommentaren korrigiert.
2019-12-06 20:22:33 +01:00
pl@gohorb.ba-horb.de
0c1337f84b
Merge branch 'simplifyRes' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into simplifyRes
2019-12-06 13:09:55 +01:00
pl@gohorb.ba-horb.de
5c1015b51e
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
...
- fieldType = TypePlaceholder.fresh(fieldDeclarationContext.getStart());
+ fieldType = TypePlaceholder.fresh(fieldDeclarationContext.variableDeclaratorList().getStart()); //PL 2019-12-06: variableDeclaratorList() eingefuegt, um als Token nicht die Modifier zu bekommen
2019-12-06 12:57:07 +01:00
michael
c52da7951a
Bug 176 - Argumente mit Typvariabelen werden die Generics einschließlich
...
Bounds immer bei den Argumenten eingefügt
2019-12-05 21:51:53 +01:00
michael
6cbabee65a
Merge remote-tracking branch 'origin/bigRefactoring' into simplifyRes
2019-12-02 20:15:33 +01:00
michael
c18daad047
Korrektur der Ersetzung.
2019-12-02 15:32:18 +01:00
JanUlrich
09a6aec65d
Erste Tests und die Möglichkeit generateBytecode null als Pfad zu übergeben
2019-11-24 17:52:02 +01:00
JanUlrich
766e71bb3a
Beginn mit Werksvertrag: Package Support
2019-11-19 21:53:53 +01:00
JanUlrich
802d7726d4
Merge branch 'bigRefactoring' into addPackages
2019-11-19 21:51:14 +01:00
pl@gohorb.ba-horb.de
c68d773486
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Threadsteuerung veranendert, so dass möglichst veile Threads gleichzeitig laufen.
Müsste noch verbessert werden können.
2019-11-18 14:37:59 +01:00
Michael Uhl
52b3498dfb
Vor Fertigstellung Ersetzung Generics.
2019-11-14 14:04:09 +01:00
pl@gohorb.ba-horb.de
00bbd5279f
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
log-File-Ausgabe etwas ergaenzt
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
Fehler korrigiert, dass alle Fieldinitializer bei mehreren Klassen additiv hinzugefuegt werden
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/This.java
toString veranedert
modified: src/test/resources/bytecode/javFiles/mathStruc.jav
leichte Korrektur
new file: src/test/java/bytecode/mathStrucIntegerTest.java
new file: src/test/resources/bytecode/javFiles/mathStrucInteger.jav
mathStruc auf Integer angewandt
new file: src/test/resources/bytecode/javFiles/mathStrucMatrixOP.jav
mathStruc auf MatrixOP angewandt, laeuft noch nicht durch, des halb Test noch nicht eingecheckt
2019-10-24 17:47:51 +02:00
pl@gohorb.ba-horb.de
6c783a18c7
new file: ../../../../../PlugInBau.txt
...
modified: ../../bytecode/javFiles/Faculty.jav
modified: ../../bytecode/javFiles/OL.jav
modified: ../../bytecode/javFiles/Y.jav
modified: ../../bytecode/javFiles/mathStruc.jav
2019-10-22 16:44:38 +02:00
Fayez Abu Alia
8c195601d5
Fixed signature problem for FunN
2019-10-12 11:32:56 +02:00
pl@gohorb.ba-horb.de
37f8f2e1e0
modified: ../../bytecode/javFiles/Y.jav
...
Anwendung von Y eingefuegt.
2019-09-19 13:57:49 +02:00
Fayez Abu Alia
0903efda0d
Fixed bug 115
2019-09-19 13:00:35 +02:00
Michael Uhl
6e9eae38ca
Compile fix.
2019-09-17 09:46:47 +02:00
Michael Uhl
0138e4fe2d
Merge branch 'bytecode2' into simplifyRes
2019-09-17 09:41:08 +02:00
Michael Uhl
9741b5e14e
Merge remote-tracking branch 'origin/bytecode2' into simplifyRes
...
Conflicts:
src/main/java/de/dhbwstuttgart/bytecode/simplifyRes/GenericGenratorResultForSourceFile.java
src/main/java/de/dhbwstuttgart/bytecode/simplifyRes/GenericsGeneratorResultForClass.java
2019-09-17 09:36:56 +02:00
Fayez Abu Alia
c2030123d5
Fixed bugs 163 and 169
2019-09-17 09:33:18 +02:00
Michael Uhl
25fb7a2e28
Plugin: Additional generic insert points.
2019-09-16 11:52:34 +02:00
Fayez Abu Alia
d1637b8eb9
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-08-29 11:50:23 +02:00
Fayez Abu Alia
9abda637a1
Generic generator algorithm - fixed bug
2019-08-29 10:49:18 +02:00
pl@gohorb.ba-horb.de
82c0837d1f
mathStruc.jav hinzugefügt
2019-08-23 15:06:54 +02:00
Fayez Abu Alia
a41e9804a0
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-07-31 13:18:07 +02:00
Fayez Abu Alia
25c685c705
Merged with simplifyRes and cleaned up code
2019-07-31 13:16:14 +02:00
Fayez Abu Alia
3ecb202a90
Generic generator algorithm v1
2019-07-31 11:55:24 +02:00
Fayez Abu Alia
efdb58e67c
Added throw Exception to method getSimplifyResultsByName
2019-07-31 10:33:43 +02:00
Fayez Abu Alia
eed8f32cb7
Merge branch 'simplifyRes' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into simplifyRes
2019-07-31 10:27:43 +02:00
Fayez Abu Alia
87d0a46ba5
Generic generator algorithm v0.1
2019-07-31 10:24:58 +02:00
Michael Uhl
5b75250fcf
Merge branch 'bigRefactoring' into simplifyRes
...
# Conflicts:
# src/main/java/de/dhbwstuttgart/bytecode/utilities/SimplifyResult.java
# src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
2019-07-29 16:21:25 +02:00
Michael Uhl
7f29b39195
Generic Method inserts.
2019-07-26 10:12:53 +02:00
Fayez Abu Alia
7a4bc32974
Generic generator algorithm v0.1
2019-07-25 22:24:06 +02:00
Fayez Abu Alia
dfddc44f29
Separated the algorithm into two parts. Part 1 is the simplification of
...
the constraints and part 2 is generation of generics.
2019-07-12 19:50:46 +02:00
Fayez Abu Alia
347d86a379
Genericsgenerator step 2 and 3
2019-07-11 15:52:38 +02:00
Fayez Abu Alia
d77f2176f2
Generics generator step 1
2019-07-10 15:26:16 +02:00
Fayez Abu Alia
4f39eccecb
Removed an old getter method
2019-07-05 13:45:24 +02:00
Fayez Abu Alia
669e7f111f
Separated the generation of bytecode and the calculation of simplify
...
results from each other
2019-07-05 13:29:34 +02:00
pl@gohorb.ba-horb.de
32d12677bf
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-06-28 11:41:47 +02:00
pl@gohorb.ba-horb.de
92b2f5c9cc
modified: src/test/resources/bytecode/javFiles/Faculty.jav
...
} eingefuegt
2019-06-28 11:41:19 +02:00
Fayez Abu Alia
c1e6526b43
Removed unnecessary tests
2019-06-26 12:18:49 +02:00
Fayez Abu Alia
0194e30206
Fixed Bug 150.
2019-06-26 12:16:47 +02:00
Fayez Abu Alia
3c36c61077
Fixed Bugs 159, 162 and 163
2019-06-13 14:01:32 +02:00
Fayez Abu Alia
857d63322e
Fixed Bug 152 Faculty Probleme
2019-06-07 10:28:48 +02:00
Fayez Abu Alia
b801e144c3
Merged with bigRefactoring. Added method to generate signature to
...
FunN-Interfaces. Adapted jav-Files.
2019-06-06 12:15:51 +02:00
Martin Plümicke
f6669f8c13
new file: ../../../java/bytecode/VectorAddTest.java
2019-06-05 10:28:51 +02:00
Martin Plümicke
2b7aef5e87
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Pfad fuer logFile nach JavaCompilerCore/logFiles verlegt.
modified: ../../bytecode/javFiles/OL.jav
modified: ../../bytecode/javFiles/VectorAdd.jav
2019-06-05 10:21:25 +02:00
Michael Uhl
0233426979
Merge remote-tracking branch 'origin/bigRefactoring' into bigRefactoring
2019-05-14 21:54:41 +02:00
Michael Uhl
3d0d11adb7
Code aufgeräumt.
2019-05-14 21:43:32 +02:00
Martin Plümicke
212144db86
renamed: test/java/bytecode/FunOLTest.java -> test/java/bytecode/OLFunTest.java
...
new file: test/resources/bytecode/javFiles/OLFun.jav
2019-05-14 20:30:32 +02:00
Martin Plümicke
bd0517ae29
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
log-File in anderen Pfad
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
substitutions gekapselt
2019-05-14 19:54:51 +02:00
Martin Plümicke
f210dd3c25
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
try der Nullpointer-Exception erweitert.
2019-05-13 11:11:47 +02:00
Martin Plümicke
4602e95f09
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-05-12 20:00:03 +02:00
Martin Plümicke
1ef228a045
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
public volatile UnifyTaskModel usedTasks = new UnifyTaskModel();
auf publich gesetzt
2019-05-12 19:54:30 +02:00
Martin Plümicke
c3c0a11572
Debugabfrage entfernt, die Exception ausgeloest hat
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java
Methoden synchronized gemacht
2019-05-12 19:15:26 +02:00
Martin Plümicke
d14406e474
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../resources/bytecode/javFiles/MatrixOP.jav
2019-05-10 21:23:28 +02:00
Martin Plümicke
a149b0c391
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/UnifyTaskModel.java
Eigenen Cancel-Mechanismus implementiert
2019-05-10 21:02:24 +02:00
pl@gohorb.ba-horb.de
bfbce81409
Abbruch aller Threads eingebaut
...
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: 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/UnifyTaskModel.java
2019-05-10 16:30:55 +02:00
Martin Plümicke
985704c0b0
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Wen kein Import für die Addition vorhanden ist, wird Fehler ausgegeben
2019-05-08 08:58:19 +02:00
Michael Uhl
1f20fecfee
ResultPair durchgeschleift.
2019-05-07 10:38:25 +02:00
Michael Uhl
4b8b0ec362
ConcurrentModificationException umgangen.
2019-05-05 22:33:16 +02:00
Michael Uhl
e48f2b2fd5
Merge remote-tracking branch 'origin/bigRefactoring' into bigRefactoring
...
# Conflicts:
# src/main/java/de/dhbwstuttgart/bytecode/BytecodeGen.java
2019-04-27 16:33:20 +02:00
Michael Uhl
11bee80969
Bytecode-Generierung generiert jetzt wieder Bytecode für alle möglichen Typen.
2019-04-27 16:29:38 +02:00
Martin Plümicke
448c489a49
modified: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java
...
modified: src/test/resources/bytecode/javFiles/Lambda.jav
modified: src/test/resources/bytecode/javFiles/MatrixOP.jav
modified: src/test/resources/bytecode/javFiles/OL.jav
2019-04-27 15:44:21 +02:00
pl@gohorb.ba-horb.de
1e1eb2a2f2
geändert: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java
2019-04-27 14:51:25 +02:00
pl@gohorb.ba-horb.de
4a7c124fd6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-04-27 09:51:22 +02:00
pl@gohorb.ba-horb.de
7d01c866a9
modified: ../src/test/resources/bytecode/javFiles/Id.jav
...
modified: ../src/test/resources/bytecode/javFiles/Matrix.jav
modified: ../src/test/resources/bytecode/javFiles/MatrixOP.jav
modified: ../src/test/resources/bytecode/javFiles/OL.jav
2019-04-26 14:12:46 +02:00
Fayez Abu Alia
73f412d22d
Klassendatei fuer FunN beim Methodaufruf wird erzeugt, wenn der Receiver
...
den Typ FunN besitzt.
Die Loesung vom Duplicate Field Problem wird angepasst.
2019-04-26 11:56:58 +02:00
Fayez Abu Alia
9ffc74467b
Wenn ein Attribut mehrere Loesungen bekommt, wird die Bytecodeerzeugung
...
abgebrochen und ensprechende Exception geworfen.
2019-04-26 10:27:15 +02:00
Fayez Abu Alia
5950fcc0a9
Neue Klasse MethodCallHelper und Exceptions definiert, die fuer die
...
Uebersetzung von MethodCalls verwendet werden
2019-04-24 15:43:00 +02:00
Martin Plümicke
d2fb17ad4e
Merge branch 'bcGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics
2019-04-21 22:32:20 +02:00
Martin Plümicke
d9f084cd0f
modified: ../../bytecode/javFiles/Faculty.jav
...
neue Imports hinzugefuegt
2019-04-21 22:31:55 +02:00
Michael Uhl
481986e8ab
Kein Compileraufruf bei Type-Insert
...
- ResultPairMap wird wieder geleeert.
2019-04-20 17:22:10 +02:00
Michael Uhl
23c37a8cc2
Richtiges Einsetzen ohne Speichern.
2019-04-19 20:49:28 +02:00
Fayez Abu Alia
6a519ff6dc
Ein Feld wird nur einmal in Bytecode uebersetzt. genIns in ResultSet
...
wird angepasst.
2019-04-18 13:17:50 +02:00
Fayez Abu Alia
5b527ec8ab
Merge branch 'bcGenerics' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics
2019-04-18 10:50:02 +02:00
Fayez Abu Alia
709041f024
Adapted TypedID jav-file
2019-04-18 10:48:59 +02:00
Michael Uhl
905d9e25a2
[PLUGIN]: Filter type insert points after insertion.
2019-04-18 09:48:56 +02:00
Martin Plümicke
e086ff187e
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/ResolvedType.java
...
Attribut additionalGenerics auskommentiert.
2019-04-12 10:41:42 +02:00
Martin Plümicke
588212389a
Die Bestimmung der Constraints aus dem ResolvedType herausgenommen und im ResultSet integriert.
...
Damit kommen immer die gleichen Constraints raus. Diese werden ohnehin in der Bytecodegenerierung
nochmals ausgewertet.
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
Zugriff auf Constraints ueber ResultSet eingefuehrt
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/signature/Signature.java
Zugriff auf Constraints ueber ResultSet eingefuehrt
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/GenericInsertPair.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/PairTPHequalRefTypeOrWildcardType.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/PairTPHsmallerTPH.java
toString veraendert
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java
Attribut genIns eingefuehrt, indem alle GenericInsertPairs gespeichert werden, die Form (TPH a <. TPH b)
im Attribut results haben
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../bytecode/javFiles/Id.jav
modified: ../../bytecode/javFiles/MatrixOP.jav
2019-04-12 10:28:39 +02:00
Martin Plümicke
1454281628
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics
2019-04-11 11:57:30 +02:00
Fayez Abu Alia
602216d9e2
Generics beruecksichtigt
2019-04-11 11:26:54 +02:00
Martin Plümicke
e53c29f582
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Typeinference-Exception eingefuegt, wenn kein korrekter Typ inferierbar ist.
modified: ../../resources/bytecode/javFiles/Id.jav
2019-04-06 00:53:35 +02:00
Martin Plümicke
656c77d16b
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2019-04-05 12:52:28 +02:00
Fayez Abu Alia
9d16855ce2
Bug in Matrix gefixt
2019-04-05 12:38:29 +02:00
Fayez Abu Alia
9d2fdf9692
Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-05 12:06:22 +02:00
Fayez Abu Alia
5c5b1ea2b1
IdTest funktioniert
2019-04-05 12:05:07 +02:00
Martin Plümicke
2e2227b701
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-05 12:00:30 +02:00
Martin Plümicke
16baa5eaa8
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
Konstruktur fuer ReferenceType mit zwei Argumenten versehen, um Generice unterscheiden zu können.
2019-04-05 11:59:34 +02:00
Fayez Abu Alia
588b9ef83a
Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-05 10:44:52 +02:00
Fayez Abu Alia
ee932892c6
subString durch contains ersetzt
2019-04-05 10:43:09 +02:00
Martin Plümicke
547ad9601a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-04-04 14:08:31 +02:00
Michael Uhl
6c94404f27
[MINOR]: Optimized imports.
2019-03-31 11:45:49 +02:00
Michael Uhl
2b5b677682
Für Eclipse-Plugin: Vorläufige Lösung zum Einsetzen von Generics nur an Klassen ausgeschaltet.
2019-03-31 11:39:57 +02:00
Martin Plümicke
1edc023ed9
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
Generische Typvariablen im Unify durch Tag im ReferenceType eingefuehrt
2019-03-28 17:44:42 +01:00
Martin Plümicke
df0f26c021
:w:wq
2019-03-28 16:55:48 +01:00
Martin Plümicke
0f1526daa2
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
deleted: .gitignore
2019-03-28 15:44:03 +01:00
Michael Uhl
53d1f20a40
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-03-28 14:56:47 +01:00
Michael Uhl
ec4defd087
Getter and setter for token.
2019-03-28 14:56:36 +01:00
Fayez Abu Alia
6a2a8313e6
Generics werden in Signature richtig dargestellt und die passende
...
Deskriptoren werden richtig erzeugt
2019-03-28 14:07:04 +01:00
Fayez Abu Alia
d4a59517d3
Wenn die Klasse keine Generics besitzt und Methoden besitzen Generics
...
wird eine new SimplifyResult Instanz erzeugt, da sonst eine
NullException aufgelöst wird
2019-03-21 12:23:50 +01:00
Fayez Abu Alia
f4b5124fd3
Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-03-21 12:06:01 +01:00
Fayez Abu Alia
c921330b55
Methode getSimplifyList definiert, die eine Liste von Ergebnisse des
...
Simplify-Alg zurueckliefert
2019-03-21 12:03:13 +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
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
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
8a5dbb28ac
Bug gefixt: genericList als Paramater uebergeben
2019-02-25 19:20:11 +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
fcad60996c
modified: de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2019-02-20 17:53:45 +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
Fayez Abu Alia
d010c843df
Bug in MatrixTest gefixt. Die richtige Descriptor von MethodCalls wird erzeugt
2019-02-20 12:15:55 +01:00
Martin Plümicke
72705ac868
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
close log-Files
TypeUnifyTask in TypeUnify2Task bei Abarbeitung oderconstraints umgetauscht
2019-02-20 09:40:06 +01:00
Martin Plümicke
362e797b10
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-02-19 17:51:11 +01:00
Martin Plümicke
1f12aaec82
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Einen Fall ? extends/super a <.? a ergaenzt bei dem compare falsches Ergbnis geliefret hat
2019-02-18 22:36:06 +01:00
Martin Plümicke
08d69ce6e3
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
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
zurueckumwandlung von den Unifytypen in UnifyResultModel verlegt.
2019-02-17 08:51:23 +01:00
Martin Plümicke
396efb52de
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
subst-Anwendung auf oderconstraints eingebaut
2019-02-15 00:00:41 +01:00
Fayez Abu Alia
67469bbb84
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-02-14 11:44:37 +01:00
Fayez Abu Alia
d2581b02ab
modified: src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Bug in generate BC fuer if(Boolean) gefixt
modified: src/main/java/de/dhbwstuttgart/bytecode/signature/Signature.java
new file: src/main/java/de/dhbwstuttgart/bytecode/utilities/ConstraintsFinder.java
Fasst alle Constraints mit der gleichen Linke-Seite in einer Liste zusammen
new file: src/main/java/de/dhbwstuttgart/bytecode/utilities/NameReplacer.java
Ersetzt die gleiche Type Variables durch einen neuen eindeutigen Namen
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/Simplify.java
Algorithmus angepasst
modified: src/test/java/bytecode/FieldTphMMethTest.java
Test funktioniert
new file: src/test/java/bytecode/InfTest.java
Infimum Test funktioniert
new file: src/test/java/bytecode/simplifyalgo/FinderTest.java
Tests fuer die HilfsMethoden
2019-02-14 11:37:15 +01:00
Martin Plümicke
db91e73750
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
aParDef wird auch ausgewertet
modified: src/test/resources/bytecode/javFiles/MatrixOP.jav
2019-02-06 18:15:39 +01:00
Martin Plümicke
e52181a0c7
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../resources/bytecode/javFiles/Matrix.jav
2019-02-04 23:32:52 +01:00
Michael Uhl
28c6f78715
Merge branch 'unify-test' into bytecode2
2019-02-02 15:50:34 +01:00
Michael Uhl
2eaebbf0f8
FileWriter -> Writer.
2019-02-01 22:56:30 +01:00
Michael Uhl
1e5e9f8cd4
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-02-01 22:15:28 +01:00
Martin Plümicke
33f2bf3d21
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java
Asynchrone Variante soweit ok
2019-01-31 15:08:36 +01:00
Martin Plümicke
aa0b157374
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java
modified: src/test/resources/bytecode/javFiles/MatrixOP.jav
Erster Ansatz asyncrone Threads
2019-01-30 09:11:33 +01:00
Pluemicke Martin
aaae762ca8
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
solved
2019-01-29 15:02:59 +01:00
Martin Plümicke
9e1d58f4b1
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Threads soweit fertig
2019-01-29 14:51:19 +01:00
Pluemicke Martin
7f239d11ee
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-01-29 14:48:54 +01:00
Pluemicke Martin
ca7c76a99a
geändert: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
geändert: src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/constraints/Pair.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
2019-01-29 14:47:20 +01:00
Martin Plümicke
26634bb038
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
2019-01-25 22:26:38 +01:00
Martin Plümicke
9dcb1f76ca
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
2019-01-25 22:22:16 +01:00
Martin Plümicke
e0da6b3d31
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-01-25 22:21:04 +01:00
Martin Plümicke
3c0beabc1b
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
reduce2 nochmals angepasst
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
- Fehler behoben
- In den Thread nur noch Element von nextSet verschieben, die auf alle Faele berechnet werdne muessen
2019-01-25 22:19:32 +01:00
Michael Uhl
e83d59d97d
Observer Pattern für ResultSet.
2019-01-24 11:16:26 +01:00
Michael Uhl
449a11f433
Observer für TypeResults.
2019-01-23 22:25:30 +01:00
Martin Plümicke
25487469c7
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
reduceEq-Regel korrigiert
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Threads soweit fertig
2019-01-23 01:31:25 +01:00
Martin Plümicke
188ea1f7f8
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
einige Aenderungen, die parallele Verarbeitung ermoeglicht
2019-01-20 21:49:22 +01:00
Martin Plümicke
cf951043ef
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-01-18 00:54:43 +01:00
Fayez Abu Alia
fd72ed340d
Test Erzeugung Type-Variablen fuer Klassen
2019-01-17 11:26:09 +01:00
Martin Plümicke
38d4481756
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Es muss noch geklaert werden, wann ein neuer Thread generiert werden darf.
modified: ../../resources/bytecode/javFiles/MatrixOP.jav
2019-01-16 22:57:24 +01:00
Pluemicke Martin
01891c9513
neue Datei: TypeUnify2Task.java
2019-01-16 20:25:54 +01:00
Martin Plümicke
aae2e5244b
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Erster Ansatz Parallelisierung
2019-01-16 17:39:01 +01:00
Fayez Abu Alia
d6961b0d0b
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-01-16 14:42:07 +01:00
Fayez Abu Alia
d4d668b662
Simplify fuer Klassen Type Variablen
2019-01-16 14:41:33 +01:00
Martin Plümicke
8c517e7f4a
new file: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/hashKeyType.java
...
modified: ../../resources/bytecode/javFiles/VectorSuper.jav
2019-01-16 10:27:15 +01:00
Martin Plümicke
b3622df2fd
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2019-01-15 22:45:58 +01:00
Martin Plümicke
fa42a69374
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
- Hastables fuer greater und smaller eingefuehrt
- ? extends/super a <. a = -1 hinzugefuegt
2019-01-15 15:58:39 +01:00
Martin Plümicke
eb43a616e2
new file: ../../../java/bytecode/VectorSuperTest.java
...
new file: VectorSuper.jav
2019-01-13 19:22:48 +01:00
Martin Plümicke
faccdf5896
Ordnung fuer Variablen unterschieden, ob sie innere Typen sind oder nicht
...
modified: ../../core/JavaTXCompiler.java
modified: UnifyTypeFactory.java
Bestimmung welche Typevariablen innere Typen sind
modified: ../../typeinference/unify/TypeUnifyTask.java
modified: ../../typeinference/unify/model/OrderingUnifyPair.java
Ordnungsfunktion geaendert
modified: ../../typeinference/unify/model/PlaceholderType.java
modified: ../../typeinference/unify/model/UnifyPair.java
2019-01-13 00:42:33 +01:00
Martin Plümicke
6de1c50542
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
Auswahl des Tphs bei der Abfrage, ob ein größerer oder kleinerer Typ des vorherigen bestimmt wurde
korrigiert
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
innerType eingeführt
modified: ../../bytecode/javFiles/MatrixOP.jav
deleted: ../Field.java
deleted: ../Import.java
deleted: ../Lam1.java
deleted: ../LamRun.java
deleted: ../MethFieldVar.java
deleted: ../Subclass.java
deleted: ../SuperTest.java
deleted: ../Superclass.java
deleted: ../TestMyTest.java
deleted: ../testF.java
deleted: ../testTets.java
deleted: ../testTetsF.java
2019-01-12 18:19:16 +01:00
Martin Plümicke
58d757398d
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
zurueck zum alten Zustand
2019-01-11 23:00:27 +01:00
Martin Plümicke
755fd5c821
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
deleted: ../javFiles/AddLong.jav
deleted: ../javFiles/EmptyClass.jav
deleted: ../javFiles/EmptyMethod.jav
deleted: ../javFiles/Expressions.jav
deleted: ../javFiles/FC_Matrix.jav
deleted: ../javFiles/Faculty.jav
deleted: ../javFiles/FacultyIf.jav
deleted: ../javFiles/FacultyTyped.jav
deleted: ../javFiles/Fields.jav
deleted: ../javFiles/Generics.jav
deleted: ../javFiles/IfTest.jav
deleted: ../javFiles/Import.jav
deleted: ../javFiles/Lambda.jav
deleted: ../javFiles/Lambda2.jav
deleted: ../javFiles/Lambda3.jav
deleted: ../javFiles/LambdaField.jav
deleted: ../javFiles/LambdaRunnable.jav
deleted: ../javFiles/ListenerOverload.jav
deleted: ../javFiles/Matrix.jav
deleted: ../javFiles/Meth_Gen.jav
deleted: ../javFiles/MethodCallGenerics.jav
deleted: ../javFiles/Methods.jav
deleted: ../javFiles/MethodsEasy.jav
deleted: ../javFiles/Op1.jav
deleted: ../javFiles/Package.jav
deleted: ../javFiles/Sorting.jav
deleted: ../javFiles/Subclass.jav
deleted: ../javFiles/Superclass.jav
deleted: ../javFiles/Vector.jav
deleted: ../javFiles/fc.jav
deleted: ../javFiles/mathStruc.jav
deleted: ../javFiles/test.jav
deleted: ../javFiles/test1.jav
2019-01-11 22:52:39 +01:00
Martin Plümicke
c1e4f14fa4
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2019-01-11 19:27:19 +01:00
Martin Plümicke
7d514d617c
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Nur log-Ausgaben hinzugefuegt
2019-01-11 19:24:23 +01:00
Martin Plümicke
4490de575c
Merge branch 'bytecode2' into unify-test
2019-01-11 15:16:29 +01:00
Martin Plümicke
752b68d447
new file: ../../java/bytecode/Tph6Test.java
2019-01-11 14:50:19 +01:00
Martin Plümicke
edd263ac15
bytecodeJavFiles in bytecode/javFiles geanedert
...
Please enter the commit message for your changes. Lines starting
2019-01-11 14:45:12 +01:00
Martin Plümicke
d0a261f55c
modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Set<UnifyType> fBounded = new HashSet<>(pair.getfBounded()); //PL 2019-01-09 new HashSet eingefuegt
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../../resources/bytecode/javFiles/Matrix.jav
2019-01-09 00:40:24 +01:00
Martin Plümicke
72a84323de
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/Match.java
...
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
im Fall 1 die Substitutionen der Typeplaceholders der Muster entfernt
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java
modified: ../../bytecode/javFiles/MatrixOP.jav
modified: ../../bytecode/javFiles/Merge.jav
2019-01-04 01:19:31 +01:00
Fayez Abu Alia
9e0a6151fd
Bug in der Implemintierung von Simplify Algorithmus gefixt
2019-01-03 21:05:36 +01:00
Martin Plümicke
013539e7e8
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
Throwable wieder in Exception zurückgewandelt
modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
Log-Files um Name des jeweiligen Jav-Files ergaenzt
modified: ../../javFiles/Faculty.jav
2018-12-30 19:02:40 +01:00
Fayez Abu Alia
e07b189ba4
MatrixOP funktioniert (mit JUnit wird class file erzeugt) und dann mit TestBytecode.java getestet
2018-12-29 21:49:01 +01:00
Martin Plümicke
531b484c53
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Pfad des log-Files angepasst
Error-Ausgabe in der log-File Exception eingefuegt.
2018-12-29 10:20:19 +01:00
Martin Plümicke
cbe77d3722
modified: src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
In Zeile 833 catch Exception durch catch Throwable ersetzt, da der UnsupportedClassVersionError geworfen wurde
modified: src/test/java/bytecode/FacTest.java
modified: src/test/java/bytecode/FacultyTest.java
modified: src/test/java/bytecode/FieldTest.java
modified: src/test/java/bytecode/FieldTph.java
modified: src/test/java/bytecode/FieldTph2Test.java
modified: src/test/java/bytecode/FunOLTest.java
modified: src/test/java/bytecode/GenTest.java
modified: src/test/java/bytecode/GreaterEqualTest.java
modified: src/test/java/bytecode/GreaterThanTest.java
modified: src/test/java/bytecode/LambdaCapturetest.java
modified: src/test/java/bytecode/LambdaTest.java
modified: src/test/java/bytecode/LambdaVoidTest.java
modified: src/test/java/bytecode/LessEqualTest.java
modified: src/test/java/bytecode/LessThanTest.java
modified: src/test/java/bytecode/MatrixOpTest.java
modified: src/test/java/bytecode/MergeTest.java
modified: src/test/java/bytecode/OLTest.java
modified: src/test/java/bytecode/OpTest.java
modified: src/test/java/bytecode/OverloadingSortingTest.java
modified: src/test/java/bytecode/OverloadingTest.java
modified: src/test/java/bytecode/PlusTest.java
modified: src/test/java/bytecode/PostIncTest.java
modified: src/test/java/bytecode/PreIncTest.java
modified: src/test/java/bytecode/RelOpsTest.java
modified: src/test/java/bytecode/SortingTest.java
modified: src/test/java/bytecode/SubMatTest.java
modified: src/test/java/bytecode/Tph2Test.java
modified: src/test/java/bytecode/Tph3Test.java
modified: src/test/java/bytecode/Tph5Test.java
modified: src/test/java/bytecode/TphTest.java
modified: src/test/java/bytecode/WhileTest.java
modified: src/test/java/bytecode/YTest.java
Pfade angepasst
2018-12-28 23:39:59 +01:00
Martin Plümicke
20abd181b6
modified: ../../pom.xml
...
modified: ../../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Abfrage, ob OderConstraints empty sind, bei der Unify-Abbruchbedingungen eingefuegt
modified: ../../src/test/java/bytecode/BinaryTest.java
modified: ../../src/test/java/bytecode/MatrixTest.java
modified: ../../src/test/java/bytecode/applyLambdaTest.java
Pfadanpassungen
2018-12-28 19:37:45 +01:00
Martin Plümicke
f8d3263d24
Pfadumstellung
2018-12-21 15:27:29 +01:00
Martin Plümicke
ffa30e50c3
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-12-21 12:19:38 +01:00
Fayez Abu Alia
5798c47d62
Tests funktionieren
2018-12-20 15:19:51 +01:00
Fayez Abu Alia
f21959fef8
Neue Umstellung
2018-12-20 12:26:37 +01:00
Fayez Abu Alia
85fcef8289
commit
2018-12-20 10:25:55 +01:00
Fayez Abu Alia
5624af609c
Simplify fuer TPH Method < TPH Field angepasst
2018-12-19 14:18:50 +01:00
Fayez Abu Alia
b71efd65a0
Tphs einer Methode, die groesser als Tphs der Felder, werden als Class-Generics definiert
2018-12-19 13:20:09 +01:00
Fayez Abu Alia
e380c77ce6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-19 10:13:27 +01:00
Fayez Abu Alia
794412a402
Tph von Felder werden als Class-Generics definiert werden
2018-12-19 10:12:45 +01:00
Martin Plümicke
f256714223
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Returntype der Binary korrigiert.
2018-12-18 16:18:36 +01:00
Martin Plümicke
1931c61392
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Loesung Fehler rausgemacht
2018-12-14 17:46:09 +01:00
Martin Plümicke
a733f373a7
modified: ../../../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-12-14 12:09:12 +01:00
Martin Plümicke
9dbfbe9e6a
modified: ../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
2018-12-14 09:31:58 +01:00
Martin Plümicke
6b33fdc5fb
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-12 16:50:38 +01:00
Martin Plümicke
2f9d44d0b0
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
im Max den Fall a <.? ? extends a beruecksichtigt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
; in der Schleife generate fresh Type Var entfernt
2018-12-12 16:49:16 +01:00
Fayez Abu Alia
3bf45888e5
Simplify gefixt
2018-12-12 13:03:53 +01:00
Fayez Abu Alia
dab0dc180c
Aenderung in Signature-Wildcars rueckgaengig gemacht
2018-12-06 11:08:03 +01:00
Martin Plümicke
2d73b4e47f
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Argumente von Konstruktore auch mit Varaincen und not wildcardable versehen
2018-12-06 10:43:46 +01:00
Martin Plümicke
54325d5168
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
...
new Arraylist erzeugt beim setzen der Initializer in den Pseudoconstruktor
2018-12-04 15:30:04 +01:00
Fayez Abu Alia
af6537841c
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
...
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
modified: src/de/dhbwstuttgart/bytecode/utilities/KindOfLambda.java
modified: src/de/dhbwstuttgart/bytecode/utilities/Simplify.java
modified: src/de/dhbwstuttgart/syntaxtree/Constructor.java
modified: test/bytecode/MatrixOpTest.java
modified: test/bytecode/YTest.java
modified: test/bytecode/javFiles/OL.jav
2018-12-04 15:01:50 +01:00
Martin Plümicke
964b73e8c4
modified: ../../src/de/dhbwstuttgart/syntaxtree/Constructor.java
...
In der abstrakten Syntax Einbau vom super-Konstruktor Aufrufen in den Konstruktoren entfernt.
Dies muss nun beim Bytecode jeweils eingefügt werden
2018-12-03 15:06:56 +01:00
Martin Plümicke
c7c9f65ecf
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-11-26 11:00:58 +01:00
Martin Plümicke
416d68bcb0
Aenderugen siehe http://bugzilla.ba-horb.de/show_bug.cgi?id=124
...
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
Zusäztlich Ein Fehler in der Trennung von Konstruktoren und Methoden gefixt.
modified: ../../src/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
modified: ../../src/de/dhbwstuttgart/syntaxtree/Constructor.java
modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java
modified: ../../src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
modified: ../../test/bytecode/MatrixOpTest.java
2018-11-26 10:59:06 +01:00
Fayez Abu Alia
5c74c69b9e
Bytecode fuer Lambdas in denen Variablen von lexical scope verwendet werden
2018-11-23 14:30:15 +01:00
Martin Plümicke
4da4966b86
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-11-21 23:17:17 +01:00
Fayez Abu Alia
7bfc222037
Bug in Simplify-Algo gefixt
2018-11-21 11:58:58 +01:00
Fayez Abu Alia
a269ee9690
TPHExtractor verbessert, Transivitat-Algortmus ergaenzt und JUnit Tests dazu geschrieben. FacultyTest funktioniert
2018-11-15 20:52:27 +01:00
Martin Plümicke
134496129a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Conflicts:
src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
2018-11-15 16:04:16 +01:00
Fayez Abu Alia
d4b6073760
Faculty funktioniert rihtig
2018-11-14 16:19:25 +01:00
Fayez Abu Alia
2275153590
bug gefixt methodCall in MatrixOP
2018-11-14 13:26:37 +01:00
Fayez Abu Alia
95043455fa
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-11-14 13:02:53 +01:00
Fayez Abu Alia
2ef7bae78a
e.printStackTrace in MethodCall entfernt
2018-11-14 12:51:41 +01:00
Fayez Abu Alia
0ceae1ebb7
Bug 122 gefixt. MatrixTest und OLTest funktionieren
2018-11-14 12:11:03 +01:00
Martin Plümicke
07c679a598
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Variance =2 eingefuehrt, wenn Variancen einer Menge unterschiedlich sind (Oer-Constraints)
modified: ../bytecode/MatrixOpTest.java
wieder zum Ausfuehren eingeschaltet
2018-11-13 16:08:07 +01:00
Martin Plümicke
74ad081e78
modified: JavaTXCompiler.java
...
wieder das aus uniy-test hinkopiert
2018-11-13 14:28:33 +01:00
Martin Plümicke
af93ea4750
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-11-13 11:01:23 +01:00
Martin Plümicke
e72310278d
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Oder-Constraints als Subsitutions zu den Substitutions der UnifyPairs hinzugefuegt.
2018-11-12 17:57:51 +01:00
Martin Plümicke
3ce60eec8d
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Rekursionstife dokumentieten eingefuegt.
2018-11-12 11:55:37 +01:00
Fayez Abu Alia
d27e0af57c
Rekursiver Aufruf von Atrributen funktioniert
2018-11-08 13:02:33 +01:00
Martin Plümicke
0a9e325f54
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2018-11-07 17:49:12 +01:00
Fayez Abu Alia
ea65a87336
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-11-07 15:30:04 +01:00
Fayez Abu Alia
623705d38a
(Transivitaet) Algorithmus funktioniert
2018-11-07 15:29:37 +01:00
Martin Plümicke
72fa0978c2
modified: JavaTXCompiler.java
...
Kleinigkeit entfernt, dass varianceInheritance die gesamte variance-Vererbung macht.
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
~
2018-11-07 13:46:03 +01:00
Martin Plümicke
fc3331d810
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
OderConstraints in Unify integriert
2018-11-06 23:35:57 +01:00
Martin Plümicke
d08708878f
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variance distribut korrigiert
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Fehler im computeCartesianRecursiveOderConstraints beseitigt
modified: ../bytecode/javFiles/Matrix.jav
2018-11-05 23:28:08 +01:00
Martin Plümicke
d5d49ad30e
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
modified: ../../src/de/dhbwstuttgart/bytecode/BytecodeGen.java
modified: ../../src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
new file: ../../src/de/dhbwstuttgart/bytecode/constraint/EqualConstraint.java
new file: ../../src/de/dhbwstuttgart/bytecode/constraint/ExtendsConstraint.java
new file: ../../src/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
new file: ../bytecode/FieldTest.java
modified: ../bytecode/MatrixOpTest.java
modified: ../bytecode/OverloadingSortingTest.java
new file: ../bytecode/YTest.java
new file: ../bytecode/javFiles/Field.jav
modified: ../bytecode/javFiles/Matrix.jav
modified: ../bytecode/javFiles/Sorting.jav
modified: ../bytecode/javFiles/Tph.jav
new file: ../bytecode/javFiles/Y.jav
2018-11-05 14:39:06 +01:00
Martin Plümicke
35696efd1c
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Alle Basistype bei Literalen hinzugefuegt.
2018-11-05 14:33:44 +01:00
Martin Plümicke
f0ba7c03b5
modified: ../../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Bei Int-Literal werden imports beruecksichtigt
2018-11-05 12:01:16 +01:00
Fayez Abu Alia
e6387dca6b
Bug 116 gefixt
2018-11-04 12:49:11 +01:00
Martin Plümicke
9bf273ac1a
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Unterscheidung zwischen FUNN-Receiver und anderem Receiver wieder geloescht
(war nur auskmmentiert)
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
Fehler in der Reduce-FUNN-Rege beseitigt
2018-11-04 11:33:32 +01:00
Martin Plümicke
4ef360e41e
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
...
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
FieldVars eingefuegt, dass sie genauso wie localsvars immer die gleiche Typvariable in der abstrakten Syntax bekommen
2018-11-02 22:53:34 +01:00
Martin Plümicke
5849cd6f39
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-31 17:00:34 +01:00
Martin Plümicke
27b73f55e7
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
log-Ausgaben eingefuegt
2018-10-31 16:59:53 +01:00
Fayez Abu Alia
a02e5a16a8
Transivitaet-Algo version 1
2018-10-31 16:07:37 +01:00
Fayez Abu Alia
788ddb2bcc
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
modified: test/bytecode/javFiles/Field.jav
Field-Test funktioniert
2018-10-25 12:41:26 +02:00
Fayez Abu Alia
de08e5830d
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-25 12:27:28 +02:00
Fayez Abu Alia
7a1ed7ce6f
Neuer Transivitaet-Algorithmus Step 1 und Step 2
2018-10-25 12:26:56 +02:00
Martin Plümicke
d4c17053d7
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
public void visit(AssignToField assignLeftSide) {
//Hier ist kein Code nötig. Es werden keine extra Constraints generiert
//HIER muss Code rein PL 2018-10-24
assignLeftSide.field.accept(this); eingefuegt
}
2018-10-24 15:36:20 +02:00
Martin Plümicke
e6d8b92ffa
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
kleine Fehler
2018-10-24 14:05:20 +02:00
Martin Plümicke
d7e59ecdc7
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Erste Version mit Recursiv oder
modified: ../bytecode/javFiles/Matrix.jav
2018-10-20 17:42:44 +02:00
Martin Plümicke
141194c983
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
erste version mit computeCartesianRecursiveOderConstraints aktiviert
Fehler bei durchschnitt leer wird Element geloescht.
2018-10-19 17:36:23 +02:00
Martin Plümicke
6dce7058a0
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
typeInference <-> typeInferenceOld
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
compute <-> computeOld
2018-10-19 16:24:00 +02:00
Martin Plümicke
225f380735
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
letzte Version bevor computeCartesianRecursiveOderConstraints aktiviert wird
2018-10-19 16:09:59 +02:00
Martin Plümicke
6a87f443e4
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-19 13:08:37 +02:00
Martin Plümicke
6ce9f4415e
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
2018-10-18 23:47:38 +02:00
Fayez Abu Alia
e3f2e4d793
Alle Tests funktionieren
2018-10-18 19:53:41 +02:00
Fayez Abu Alia
3fb95600a0
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-10-17 14:30:45 +02:00
Fayez Abu Alia
94b93c39df
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
...
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
new file: test/bytecode/FieldTest.java
modified: test/bytecode/MatrixOpTest.java
new file: test/bytecode/javFiles/Field.jav
modified: test/bytecode/javFiles/Sorting.jav
Boxing-Problem bei methodCall geloest und Tests funktionieren
2018-10-17 14:29:12 +02:00
Martin Plümicke
60be47c0f1
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-17 07:31:58 +02:00
Martin Plümicke
693b47b619
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/result/ResultSet.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Pair.java
2018-10-12 23:44:48 +02:00
Martin Plümicke
99bf02606b
modified: src/de/dhbwstuttgart/typeinference/result/ResultPair.java
...
toString() eingefuegt
modified: src/de/dhbwstuttgart/typeinference/result/ResultSet.java
toString() eingefuegt
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
int-Lieterals können auch double-Literals sein.
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
kleien Ausgabeerweiterung
2018-10-12 13:17:59 +02:00
Martin Plümicke
2869f07a58
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-10-11 16:58:06 +02:00
Pluemicke Martin
2be9055608
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
aufgeraeumt
2018-10-11 16:31:02 +02:00
Fayez Abu Alia
0d83ee8505
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
...
Zyklen werden abgefangen.
2018-10-11 16:01:26 +02:00
Fayez Abu Alia
f325b04ee2
Bugs 111 und 114 gefixt. Unboxing wird aufgerufen wenn es noetig ist
2018-10-11 14:17:54 +02:00
Martin Plümicke
56dd759762
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Nur bei leerem Durchscnit filtern geloescht.
2018-10-11 13:09:18 +02:00
Martin Plümicke
1b7bded3c3
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
1. Version läuft aber nicht schnell
2018-10-11 12:40:20 +02:00
Martin Plümicke
bda7dcb5c1
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-11 09:47:55 +02:00
Martin Plümicke
241c7f37d9
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
weitere Element rausfiltern angefangen
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Methode: getGroundBasePair eingefuegt
2018-10-11 00:45:59 +02:00
Martin Plümicke
54b4ad97f6
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-10-10 14:41:35 +02:00