pl@gohorb.ba-horb.de
4affe5074d
On branch unif23Full
...
Changes to be committed:
modified: Makefile
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2023-04-20 12:13:20 +02:00
pl@gohorb.ba-horb.de
d6a79ea3a1
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2023-04-11 22:45:15 +02:00
pl@gohorb.ba-horb.de
1f909f13ee
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2023-04-11 18:01:44 +02:00
pl@gohorb.ba-horb.de
be6f4bd578
Merge remote-tracking branch 'origin/targetBytecode' into unif23
2023-04-11 15:52:26 +02:00
pl@gohorb.ba-horb.de
478efd5649
Merge branch 'unif23' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unif23
2023-04-11 15:40:27 +02:00
pl@gohorb.ba-horb.de
c73e57cf2b
new file: resources/bytecode/javFiles/Scalar.jav
2023-04-11 15:35:15 +02:00
pl@gohorb.ba-horb.de
ce29f4bcf1
Merge branch 'unif23' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into Unif23
...
Conflicts:
src/test/java/targetast/TestComplete.java
2023-04-10 22:14:46 +02:00
pl@gohorb.ba-horb.de
42821f3215
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/test/java/targetast/TestComplete.java
2023-04-10 22:07:47 +02:00
pl@gohorb.ba-horb.de
f68afc88a6
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2023-04-06 17:58:32 +02:00
pl@gohorb.ba-horb.de
ed671aeb97
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
<. weider eingefuegt bei Return typen von Methodcalls und Return-Statements
Vergleich dementsprechend angepasst.
2023-04-05 17:48:15 +02:00
pl@gohorb.ba-horb.de
82061474b2
modified: resources/bytecode/javFiles/Scalar.jav
...
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-04-04 17:26:13 +02:00
pl@gohorb.ba-horb.de
d849bc127f
Merge remote-tracking branch 'origin/targetBytecode' into unif23
2023-04-04 16:47:19 +02:00
pl@gohorb.ba-horb.de
f6a4fe8142
modified: resources/bytecode/javFiles/Scalar.jav
2023-04-04 16:00:54 +02:00
pl@gohorb.ba-horb.de
f6fe3a68aa
new file: resources/bytecode/javFiles/Scalar.jav
2023-04-04 15:54:41 +02:00
pl@gohorb.ba-horb.de
86d229cac9
modified: resources/bytecode/javFiles/Matrix.jav
...
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/test/java/targetast/TestComplete.java
2023-04-04 15:54:03 +02:00
pl@gohorb.ba-horb.de
02c8dd9804
Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-04-04 13:16:41 +02:00
pl@gohorb.ba-horb.de
0908d512d9
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-04-04 13:16:25 +02:00
Victorious3
e231cf722b
Fix type variable being declared twice
2023-04-04 13:09:28 +02:00
Victorious3
aa9782edd7
Fix test case
2023-04-04 13:09:05 +02:00
pl@gohorb.ba-horb.de
e55b9938dc
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Returntyp: Equaldot durch SMALLERDOT ersetzt
2023-04-04 10:30:38 +02:00
pl@gohorb.ba-horb.de
6815d8fc0a
modified: Makefile
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2023-03-31 17:58:02 +02:00
pl@gohorb.ba-horb.de
317f8b1aad
new file: Makefile
...
deleted: Test.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2023-03-31 15:54:17 +02:00
Victorious3
f7b60214fa
Change tests
2023-03-28 16:40:06 +02:00
Victorious3
1ad5540500
Fix wrong class generics being used
2023-03-28 13:28:05 +02:00
Victorious3
3963baa9ce
Fix equality
2023-03-28 12:02:08 +02:00
Victorious3
b9f19cc105
Write tx signature to constant pool
2023-03-24 15:14:17 +01:00
Victorious3
cf2d612870
Fix TX Signature by adding additional prameters to every method and constructor
2023-03-24 14:51:57 +01:00
Victorious3
b55fc71811
Let generateClassFiles accept multiple arguments
2023-03-24 13:27:29 +01:00
pl@gohorb.ba-horb.de
79335449d0
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Statistics fertig (Version 1)
2023-03-23 12:00:04 +01:00
pl@gohorb.ba-horb.de
14606a846e
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
2023-03-22 19:01:36 +01:00
2b67230a15
Consider public and standard constructors ones
2023-03-21 16:31:45 +01:00
pl@gohorb.ba-horb.de
29b05b56cc
Merge branch 'targetBytecode' into unif23
2023-03-21 16:29:14 +01:00
pl@gohorb.ba-horb.de
08b9fc0ea3
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
statistics eingefuegt
2023-03-21 16:23:18 +01:00
Victorious3
6b767bc09b
Fix using the wrong constructor
2023-03-21 15:06:17 +01:00
Victorious3
2dff7909ed
Remove test file
2023-03-21 14:00:58 +01:00
Victorious3
d93836d110
Fix incorrect generics for derived FunN
2023-03-21 12:12:42 +01:00
Victorious3
b5af3a42a8
Fix wrong generic parameter on FunN3336 base class
2023-03-21 10:34:34 +01:00
pl@gohorb.ba-horb.de
070dd16999
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-03-21 10:30:13 +01:00
pl@gohorb.ba-horb.de
9d7e46925d
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-03-21 10:26:55 +01:00
pl@gohorb.ba-horb.de
d780d322f0
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-03-20 18:33:58 +01:00
pl@gohorb.ba-horb.de
867f3d39e8
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/test/java/targetast/TestComplete.java
2023-03-20 16:05:28 +01:00
pl@gohorb.ba-horb.de
303246adce
modified: README_aktuelle_Branches
2023-03-17 16:16:28 +01:00
pl@gohorb.ba-horb.de
48daa9731f
modified: resources/AllgemeinTest/Pair.jav
2023-03-17 16:05:47 +01:00
pl@gohorb.ba-horb.de
9d03080667
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
...
resources/AllgemeinTest/Pair.jav
2023-03-08 16:54:00 +01:00
pl@gohorb.ba-horb.de
02e596ce7e
modified: ../../AllgemeinTest/Pair.jav
...
modified: ../../../src/test/java/AllgemeinTest.java
2023-03-08 16:51:48 +01:00
Victorious3
acf4569908
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-03-08 16:28:50 +01:00
Victorious3
a77c64cea2
Add new type placeholder to referenced set
2023-03-08 16:28:34 +01:00
pl@gohorb.ba-horb.de
034faf1f66
Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-03-08 16:02:50 +01:00
pl@gohorb.ba-horb.de
88db5016bf
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
logFile auf false gesetzt
2023-03-08 16:02:24 +01:00
Victorious3
3a05912dfe
Whoops
2023-03-08 15:05:53 +01:00
Victorious3
40b04a4877
Remove print statement
2023-03-08 15:03:59 +01:00
Victorious3
04b509613f
Add test and fix constructors return value being used
2023-03-08 14:59:40 +01:00
pl@gohorb.ba-horb.de
cdd4cd9968
modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Tenaeren Operator fuer log-File eingefuegt
2023-03-08 14:26:08 +01:00
pl@gohorb.ba-horb.de
62e022c2f7
modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-03-07 16:36:29 +01:00
pl@gohorb.ba-horb.de
506fd0dc0e
new file: ../../AllgemeinTest/Assign.jav
...
modified: ../../AllgemeinTest/Pair.jav
modified: ../../AllgemeinTest/UseWildcardPair.jav
modified: ../../../src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java
? extends Object nochmals angepasst
modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../../src/test/java/AllgemeinTest.java
2023-03-07 16:34:34 +01:00
pl@gohorb.ba-horb.de
1c31b6d769
new file: ../../AllgemeinTest/Pair.jav
...
new file: ../../AllgemeinTest/UseWildcardPair.jav
modified: ../../../src/test/java/AllgemeinTest.java
2023-03-07 08:51:31 +01:00
pl@gohorb.ba-horb.de
2d82dc1ae4
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java
...
Object -> java.lang.Object
2023-03-01 23:31:07 +01:00
pl@gohorb.ba-horb.de
9606dc7b26
new file: resources/AllgemeinTest/CaptureConversion.jav
...
modified: src/test/java/AllgemeinTest.java
Campture Conversion Test in Allgemeintest eingefuegt
2023-03-01 18:41:46 +01:00
Victorious3
d79d2d28b1
Ignore Box test
2023-03-01 16:33:59 +01:00
Victorious3
3eebfdc9d9
Fix POP2 not being called for double and long!
2023-03-01 16:33:03 +01:00
pl@gohorb.ba-horb.de
ba66f29fba
modified: ../../../../resources/bytecode/javFiles/OLFun.jav
2023-03-01 16:08:42 +01:00
Victorious3
ffdedd4f99
Add OL tests
2023-03-01 15:55:15 +01:00
Victorious3
9500deaf3d
Remove debug printout
2023-03-01 15:30:20 +01:00
Victorious3
11eb03cdf0
Split up equality
2023-03-01 14:55:13 +01:00
Victorious3
3de89a5cfa
Object as default bound
2023-03-01 12:02:01 +01:00
Victorious3
c0348ed304
txGenerics
2023-03-01 11:23:00 +01:00
Victorious3
1ad4cfcb21
Let lambda functions use Object instead of generic parameters
2023-03-01 10:49:03 +01:00
Victorious3
374d2e811b
Generate attribute for JavaTX
2023-03-01 10:27:19 +01:00
Victorious3
68034ed434
Fix FunNGenerator
2023-02-23 18:52:29 +01:00
Victorious3
a92172c9da
Start working on a JavaTX signature attribute
2023-02-21 14:05:21 +01:00
Victorious3
24bbce8265
Fix test cases for new inputs
2023-02-21 14:04:53 +01:00
Victorious3
84a5ed2cc3
Fix inner type variables
2023-02-21 11:31:28 +01:00
Victorious3
b58b6c2288
Fixes for TPH4
2023-02-21 10:28:00 +01:00
Victorious3
99c46bf37f
Fix console interface
2023-02-14 11:36:08 +01:00
pl@gohorb.ba-horb.de
5058315a1b
modified: ../../../../../resources/insertGenericsJav/TestTwoArgs.jav
...
Typen korrigiert
2023-02-13 21:20:40 +01:00
pl@gohorb.ba-horb.de
60d5da6f24
modified: ../../../../../resources/insertGenericsJav/TestTwoArgs.jav
...
Ergebnisse als Kommentare eingefuegt.
2023-02-13 18:39:16 +01:00
Vic Nightfall
29f654279b
Fix codegen a bit, and add missing constraints
2023-02-10 14:54:44 +01:00
pl@gohorb.ba-horb.de
239698c8d6
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
etwas aufgeraeumt
2023-02-08 17:39:45 +01:00
pl@gohorb.ba-horb.de
4074273ecb
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-02-08 16:53:30 +01:00
pl@gohorb.ba-horb.de
2d117e24cf
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
methodsignature so eingerichtet, dass die Constraints erst am Ende hinzugefuegt werden.
2023-02-08 16:52:23 +01:00
Victorious3
1c2e868589
Fix removing inner type variables
2023-02-07 12:22:37 +01:00
pl@gohorb.ba-horb.de
d39fd64f0f
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-02-02 14:50:18 +01:00
pl@gohorb.ba-horb.de
e699fc36ae
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: src/main/java/de/dhbwstuttgart/syntaxtree/visual/OutputGenerator.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/constraints/Pair.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/TypeUnify2Task.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2023-02-02 14:49:30 +01:00
Victorious3
64ec7989b4
Continue with eliminating inner type variables
2023-01-31 15:39:12 +01:00
Victorious3
5243b160f5
Didn't want to remove this
2023-01-31 15:00:09 +01:00
Victorious3
62fad15b6f
We actually need the signature of the class
2023-01-31 14:53:02 +01:00
Victorious3
21fb477ee1
These are the defaults, actually
2023-01-31 14:25:37 +01:00
Victorious3
baec9999db
Don't append new class files, overwrite them
2023-01-31 14:21:16 +01:00
Victorious3
a7720fbf20
Don't append new class files, overwrite them
2023-01-31 13:49:19 +01:00
pl@gohorb.ba-horb.de
0c9612a2ea
modified: ../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-01-31 11:18:52 +01:00
Victorious3
dabe7f269c
Consider nested type variables for signature (usage)
2023-01-24 16:24:24 +01:00
Victorious3
a9f69ead5c
Use signature in methodcall
2023-01-24 15:11:31 +01:00
pl@gohorb.ba-horb.de
04508a85f1
Bei NewClass ReturnType hinzuefuegt
...
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-01-24 14:35:51 +01:00
Victorious3
9dca8ccdaa
Fix parameter types in super call
2023-01-24 12:27:30 +01:00
Victorious3
8250f0cb51
Didn't mean to remove that
2023-01-24 12:17:21 +01:00
Victorious3
a26f466471
Fix
2023-01-24 12:16:34 +01:00
pl@gohorb.ba-horb.de
dc4b1c7b4f
Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-24 12:06:16 +01:00
pl@gohorb.ba-horb.de
2448969426
In MethodCall argTypes durch signature ersetzt und ReturnType eingefuegt.
...
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-01-24 12:05:26 +01:00
Victorious3
5e89ceeee8
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-24 11:55:55 +01:00
Victorious3
1ce180ce74
Change tests to umatch updated generics
2023-01-24 11:55:40 +01:00
pl@gohorb.ba-horb.de
2ab3becf44
Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-24 11:32:05 +01:00
pl@gohorb.ba-horb.de
3b77a1271b
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-01-24 11:31:55 +01:00
Victorious3
9d20c0564c
Get rid of inner type variables for methods
2023-01-23 16:04:19 +01:00
pl@gohorb.ba-horb.de
8be7f3d790
modified: ../../../src/main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java
2023-01-23 15:14:39 +01:00
pl@gohorb.ba-horb.de
9e6b2e9ced
modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
...
modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-01-23 15:13:51 +01:00
Victorious3
69bdb4aa5b
Consider environment of type variables in method call
2023-01-23 13:56:21 +01:00
pl@gohorb.ba-horb.de
8aa67594d9
modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
argTypes in MethodCall werden gesetzt
2023-01-23 13:49:11 +01:00
pl@gohorb.ba-horb.de
8dfce15850
new file: ../../AllgemeinTest/VectorNotObject.jav
...
new file: ../../AllgemeinTest/WildcardCaptureConversionTest.jav
modified: ../../../src/test/java/AllgemeinTest.java
2023-01-23 11:51:05 +01:00
pl@gohorb.ba-horb.de
d1fd65fad7
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Loeschungen angezeigt
modified: src/main/java/de/dhbwstuttgart/target/generate/ASTToTargetAST.java
Ansatz fuer Veraenderung des Algorithmus bei Generated Generics eingefuegt.
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
Loeschungen angezeigt
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Loeschungen angezeigt
modified: src/test/java/targetast/TestComplete.java
tphTest eingfuegt
2023-01-18 18:11:45 +01:00
JanUlrich
752faaca86
Add jar-building to pom-file. Fix ConsoleInterface
2023-01-17 19:31:15 +01:00
pl@gohorb.ba-horb.de
a2d8ab35ae
Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-17 17:22:46 +01:00
pl@gohorb.ba-horb.de
0944cf59fb
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.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/FiniteClosure.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
new file: src/main/java/de/dhbwstuttgart/util/BiRelation.java
renamed: src/main/java/de/dhbwstuttgart/typeinference/unify/model/Pair.java -> src/main/java/de/dhbwstuttgart/util/Pair.java
2023-01-17 17:22:22 +01:00
Victorious3
db089bea60
Forgot x here
2023-01-17 16:05:15 +01:00
Victorious3
abe7553c37
Add missing object bounds
2023-01-17 15:57:41 +01:00
Victorious3
43e8837308
Simplify tests by adding BoundsChain
2023-01-17 12:42:20 +01:00
Victorious3
268f2b72eb
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-17 11:59:19 +01:00
Victorious3
d9bb0037b8
Improve genericcs tests
2023-01-17 11:58:59 +01:00
pl@gohorb.ba-horb.de
e8eaa3ac6e
Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-12 12:06:03 +01:00
pl@gohorb.ba-horb.de
f0f3a91e27
Constraints fuer Generated Generics erzeugt und schreibt diese als Attribute methCallargTypesRetType in den Klassen TYPE, TypeStmt und JavaTXCompiler
...
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/TYPE.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
2023-01-11 18:51:55 +01:00
pl@gohorb.ba-horb.de
b9c7b888c1
Changes to be committed:
...
deleted: src/test/java/targetast/Fun1$$.java
2023-01-11 11:14:49 +01:00
pl@gohorb.ba-horb.de
55a6f3e434
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-11 11:13:19 +01:00
pl@gohorb.ba-horb.de
41d76533c0
modified: src/test/java/targetast/TestCodegen.java
...
modified: src/test/java/targetast/TestGenerics.java
2023-01-11 11:13:04 +01:00
pl@gohorb.ba-horb.de
7220829d80
Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode
2023-01-10 16:44:34 +01:00
pl@gohorb.ba-horb.de
a9ca1eb5b9
deleted: src/test/java/targetast/Fun1$$.java
2023-01-10 16:43:04 +01:00
Victorious3
7aa7f94110
Add user defined generics to methods
2023-01-10 16:06:57 +01:00
Victorious3
229c6c523d
Change file path to make the tests happy
2023-01-10 13:48:21 +01:00
Vic Nightfall
96ffc12ebc
Merge with bigRefactoring
2023-01-04 16:07:48 +01:00
Vic Nightfall
f714589728
Remove unused imports
2023-01-04 15:47:04 +01:00
Vic Nightfall
f3e7fc0dc3
Test generics
2023-01-04 15:46:25 +01:00
Vic Nightfall
9f27d0d0fa
Work on the generics tests
2022-12-06 17:44:39 +01:00
pl@gohorb.ba-horb.de
7d50ddab51
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2022-12-05 17:23:06 +01:00
pl@gohorb.ba-horb.de
9310882a28
modified: resources/bytecode/javFiles/VectorAdd.jav
2022-12-05 17:22:35 +01:00
b41680dc84
Merge with targetBytecode, Set language level to Java 19 + preview-features
2022-11-28 13:38:31 +01:00
Vic Nightfall
b63d1bcf73
Fix FunNGenerator
2022-11-27 13:22:47 +01:00
Vic Nightfall
8806d1462c
Fix FunNGenerator using the wrong string
2022-11-27 12:57:47 +01:00
Vic Nightfall
dbd5311d93
Fix the build by reinstating old classes
2022-11-23 21:35:33 +01:00
pl@gohorb.ba-horb.de
291fee12db
new file: ../../AllgemeinTest/VectorConstAdd.jav
...
modified: ../../bytecode/javFiles/VectorAdd.jav
new file: ../../../src/test/java/AllgemeinTest.java
wieder hergestellt.
2022-11-21 23:51:06 +01:00
JanUlrich
f8c8e2c805
Move Tests
2022-11-18 09:50:35 +01:00
pl@gohorb.ba-horb.de
462d791712
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2022-11-15 16:59:32 +01:00
pl@gohorb.ba-horb.de
3df7df9802
modified: src/test/resources/bytecode/javFiles/VectorAdd.jav
2022-11-15 16:50:43 +01:00
00c8f41671
Change pom.xml: Clean up, Set java version to 17, Antlr4 plugin uses standard source directory. Project changes: move /test/resources to /resources
2022-11-15 16:21:09 +01:00
Vic Nightfall
84cb7d871b
Move package
2022-11-14 15:55:40 +01:00
Vic Nightfall
83b735716f
Convert FunNGenerator to class with static methods instead of using a singleton
2022-11-14 15:44:31 +01:00
Vic Nightfall
15e94111d4
Rework FunNGenerator to use target types
2022-11-14 15:28:00 +01:00
Vic Nightfall
9d942a7014
Start replacing the code generator
2022-11-13 19:03:54 +01:00
Vic Nightfall
aa156b793f
Generate proper FunN types
2022-11-13 17:05:14 +01:00
Vic Nightfall
be1c356a9f
Don't drop wildcards
2022-11-13 14:38:21 +01:00
Victorious3
4307371dee
Box test
2022-11-13 13:47:24 +01:00
pl@gohorb.ba-horb.de
26bb3c9579
modified: ../../java/AllgemeinTest.java
...
modified: Box_Main.jav
2022-10-10 18:11:57 +02:00
8f7becd62d
Fix for Bug 230
2022-10-03 10:08:50 +02:00
Victorious3
c40fbd9399
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2022-10-02 18:28:00 +02:00
Victorious3
b4e1be0fb7
Fix some type conversions
2022-10-02 18:27:41 +02:00
pl@gohorb.ba-horb.de
469feb6349
modified: src/test/resources/bytecode/javFiles/Inf.jav
...
zwei weitere Variablen eingefuegt
2022-09-27 18:18:13 +02:00
pl@gohorb.ba-horb.de
82f5146abb
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2022-09-27 15:19:20 +02:00
pl@gohorb.ba-horb.de
f119bff0b6
modified: ../bytecode/javFiles/Inf.jav
...
modified: ../bytecode/javFiles/SimpleCycle.jav
2022-09-27 15:19:10 +02:00
Victorious3
a660d7a295
Remove bounds with Object when more concrete bounds are added
2022-09-22 22:01:28 +02:00
Victorious3
247eb0ef79
Add tests for generic parameters
2022-09-22 18:48:50 +02:00
Victorious3
04b9af8c7b
Add Box test
2022-09-22 16:50:19 +02:00
pl@gohorb.ba-horb.de
33e9b87562
Der Returntyp des Konstruktors wurde mit TypePlaceholders als Parameter bestimmt.
...
Korrigiert: TypePlaceholders durch GenericRefType ersetzt
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
Methode generateTypeOfThisClass eingefuegt. Macht aus der atuellen Klasse den zugehoerigen RefType
In getConstructors in new MethodAssumption den ofType-Parameter (Typeplaceholders) durch cl.generateTypeOfThisClass()
ersetzt. Dadurch werden GenericRefType in den Typ eingefuegt.
2022-09-18 00:19:20 +02:00
Victorious3
5503f3723c
Fix Tph2
2022-08-26 17:21:23 +02:00
Victorious3
b0c1d5d96d
Remove duplicate type variables
2022-08-26 16:05:59 +02:00
Victorious3
6fb329ae1a
Initialize local variables to null
2022-08-26 15:13:48 +02:00
Victorious3
45b80bb6c5
Don't change the constraints anymore
2022-08-26 14:55:03 +02:00
pl@gohorb.ba-horb.de
5d5f3ee627
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
...
Conflicts:
src/test/java/targetast/TestComplete.java
2022-08-09 17:14:09 +02:00
Victorious3
edf85dca7f
Fix Tph4-6
2022-08-09 12:59:23 +02:00
pl@gohorb.ba-horb.de
bca1bd622f
modified: ../bytecode/javFiles/SimpleCycle.jav
...
Simple cycle aktiviert
2022-08-09 09:50:47 +02:00
pl@gohorb.ba-horb.de
6fc70db481
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2022-08-08 15:25:23 +02:00
pl@gohorb.ba-horb.de
c933160dcb
modified: ../../java/targetast/TestComplete.java
...
Test Tph7.jav in integriert.
2022-08-08 15:24:46 +02:00
Victorious3
2af59d1e1f
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2022-08-08 14:51:08 +02:00
Victorious3
f36f981ca8
Lambda captures
2022-08-08 14:50:43 +02:00
pl@gohorb.ba-horb.de
d54cd5e20a
modified: ../../../../pom.xml
...
wieder auf Java-18 umgestellt
modified: ../../java/targetast/TestComplete.java
Test Tph4Test eingefuegt
2022-08-08 14:45:58 +02:00
pl@gohorb.ba-horb.de
975f2cefe3
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2022-08-08 11:50:07 +02:00
pl@gohorb.ba-horb.de
56f68e84e4
modified: ../../java/targetast/TestComplete.java
...
Test Tph2Test eingefue=gt
modified: ../bytecode/javFiles/Tph2.jav
Zeilen auskommentiert, die bereits in anderen Tests enthalten
2022-08-08 11:09:19 +02:00
Victorious3
d87ea005b1
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2022-08-07 20:10:18 +02:00
Victorious3
bca02137a6
Fix method calls in matrixOp
2022-08-07 20:09:57 +02:00
pl@gohorb.ba-horb.de
092d066774
modified: ../../java/targetast/TphTest.java
...
Test fuer Tph7 so angepasst, dass ueberprueft wird ob die richtigen Typvariablen generiert werden
2022-08-06 22:17:49 +02:00
pl@gohorb.ba-horb.de
6d12102fbf
Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode
2022-08-06 14:12:41 +02:00
pl@gohorb.ba-horb.de
fa5a29c682
modified: src/test/resources/bytecode/javFiles/Inf.jav
...
Kommentare erweitert
2022-08-06 14:10:25 +02:00
Victorious3
4e15bd4ae2
Merge remote-tracking branch 'origin/targetBytecode' into targetBytecode
...
# Conflicts:
# src/test/resources/bytecode/javFiles/Tph7.jav
2022-08-05 16:21:10 +02:00
Victorious3
4e6e8c5cc7
Add Tph7 test.
2022-08-05 16:20:30 +02:00
pl@gohorb.ba-horb.de
bfc5c55e90
modified: ../../../../pom.xml
...
modified: ../../java/targetast/TphTest.java
modified: ../bytecode/javFiles/Tph.jav
new file: ../bytecode/javFiles/Tph7.jav
2022-08-03 15:18:55 +02:00
Victorious3
c21104f646
Find functions in class files and primitive types
2022-08-02 18:10:52 +02:00
pl@gohorb.ba-horb.de
9fc558c21a
modified: src/test/java/AllgemeinTest.java
...
new file: src/test/resources/AllgemeinTest/M.jav
new file: src/test/resources/AllgemeinTest/Put.jav
new file: src/test/resources/AllgemeinTest/Test.jav
new file: src/test/resources/AllgemeinTest/TestSubTypless.jav
new file: src/test/resources/AllgemeinTest/Twice.jav
new file: src/test/resources/AllgemeinTest/Var.jav
new file: src/test/resources/AllgemeinTest/Wildcard_Andi.jav
new file: src/test/resources/AllgemeinTest/addList.jav
2022-07-28 09:04:25 +02:00
Victorious3
6e1786ec7c
Test cases and some fixes
2022-07-13 14:38:17 +02:00
pl@gohorb.ba-horb.de
2f3d3e1bb9
new file: S2021_Etienne_Zink.pdf
2022-07-08 12:30:55 +02:00
Victorious3
699155e21a
Equalize type variables in covariant and contravariant position
2022-07-03 19:24:54 +02:00
Victorious3
de417d3ee6
Remove inner type variables
2022-07-03 18:10:40 +02:00
Victorious3
ef06a8de38
Actually replace instead of removing pairs
2022-07-03 15:25:35 +02:00
Victorious3
560f0c5a6f
Filter out cycles and infima
2022-07-03 15:17:12 +02:00
Victorious3
d7380c6cb7
Remove duplicate testcase
2022-07-02 16:14:46 +02:00
Victorious3
b43afd40ee
Decouple Sigma from Target
2022-07-02 15:57:33 +02:00
Victorious3
a8be387dd9
Add generics to the generated class file
2022-06-23 20:39:34 +02:00
Victorious3
7e259e2597
Mostly finish up populating generics
2022-06-23 18:52:30 +02:00
Victorious3
f00ee2598f
Start implementing family of generics
2022-06-22 17:06:49 +02:00
Victorious3
3b439a49cd
IDEA wants it that way
2022-06-17 15:16:56 +02:00
Victorious3
29112e7bd7
First implementation for overloaded functions and test case
2022-06-17 15:15:08 +02:00
Victorious3
0a1a596bb9
Add Field transform
2022-05-31 14:02:39 +02:00
Victorious3
372182aa8b
Convert the AST
2022-05-29 20:06:08 +02:00
JanUlrich
1ef3f22c18
Add AST To Target AST emptyClass testcase
2022-05-24 15:42:41 +02:00
Victorious3
20f11a5bef
Changes
2022-05-24 14:35:30 +02:00
Victorious3
6c584f92e9
More tests
2022-05-16 14:18:58 +02:00
Victorious3
8666bfdf17
Start testing
2022-05-15 18:45:49 +02:00
Victorious3
590a4f04ae
Implement target t AST
2022-05-03 21:37:14 +02:00
Victorious3
e8cc6ade11
Start working on the code generator
2022-04-27 13:05:01 +02:00
8e80cc2985
Add TargetExpression
2022-03-30 03:17:55 +02:00
f03d3f5e64
Merge branch 'refactorToAPIs' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactorToAPIs
2022-03-29 19:25:13 +02:00
dfd12422a6
Set language level to Java 17. Add target AST as records
2022-03-29 19:25:01 +02:00
Etienne Zink
eebb07ec8b
Verbesserung FunNGenerator:
...
Generics werden nicht mehr mehrfach hinzugefügt.
TPHS werden im Klassenname als LTPH angegeben, so entsteht keine Uneindeutigkeit zu Klassen mit Object (ohne TPH) im Klassenname.
2022-03-29 19:19:31 +02:00
Etienne Zink
c65102d89a
Hinzufügen von OLFun2 und Änderung der Spezialisierungen von FunN, dass diese statt des TPH im Namen Object haben.
...
Ansonsten werden diese nicht wieder gefunden.
2022-03-29 17:00:06 +02:00
Etienne Zink
ed00aeb056
Fixed bug mit der korrekten Signatur im Bytecode der FunN Typen.
...
Verbesserung der BytecodeGenMethod -> Nun werden die korrekt resolveten Typen verwendet.
2022-03-29 16:20:14 +02:00
Etienne Zink
7012010462
Korrektur in TypeToDescriptor und TypeToSignature -> Ohne Angabe im Deskriptor wird automatisch angenommen es soll eine spezialisierte Signatur erstellt werden.
2022-03-29 15:58:10 +02:00
Etienne Zink
9444ee38d6
Änderung generateSuperBytecode() sodass dies nun korrekten Bytecode generiert.
2022-03-29 15:43:43 +02:00
Etienne Zink
4ed30f11f7
Änderung: Spezialisierte FunN beinhaltet TPH im Namen und dieser wird FunN als Generic hinzugefügt.
2022-03-29 15:00:52 +02:00
Etienne Zink
fcedec60e7
Hinzufügen OLFunTest.
2022-03-29 09:02:32 +02:00
Etienne Zink
d8bdcf854c
Refactoring der Bytecodegenerierung und Anpassung von Kommentaren.
2022-03-29 08:56:38 +02:00
Etienne Zink
0e363cfae3
Löchen des Intermediate-Packages und Erstellung einer Utility-Klasse zur FunN Bytecodegenerierung.
...
Übertragung der Funktionalität zur Generierung von FunN auf FunNGenerator.
2022-03-28 22:34:07 +02:00
Etienne Zink
fedf33a006
Alle Tests der Bytecode-Generierung sind nun auf grün mit den Spezialisierungen der FunN Typen.
...
Bytecode muss noch manuell überprüft werden, ob überall korrekt!
2022-03-28 11:56:14 +02:00
Etienne Zink
4522aeff36
Verbesserung der Bytecodegenerierung für FunN Typen.
...
Immernoch in drei Tests fehlerhaft.
2022-03-28 10:47:49 +02:00
Etienne Zink
bcf56e6bdd
Verbesserung der Generierung von FunN-Typen.
...
Lambda Expressions noch fehlerhaft.
2022-03-24 10:38:12 +01:00
Etienne Zink
15c05e5cba
Verbesserung der Konvertierung und der Bytecodegenerierung für FunN Typen.
...
Beinhaltet noch Fehler!
2022-03-23 16:12:25 +01:00
Etienne Zink
dc9a54be3b
Hinzufügen der ersten Einbeziehung der API zur Generierung der spezialisierten FunN Typen, ohne Tests.
2022-03-22 20:42:16 +01:00
Etienne Zink
21adeb7f26
Implementierung der von convert(..) in ASTToIntermediate.
2022-03-21 17:15:03 +01:00
Etienne Zink
6381d09174
Implementierung von getBytecode() in FunN und Hinzufügen entsprechender Tests.
2022-03-21 11:29:37 +01:00
Etienne Zink
918a2cc04d
Implementierung in FunN von getSuperBytecode() und Hinzufügen entsprechender Test.
...
Umbenennung in IntermediateRefType: getTypParameter() -> getTypArgument() und getTypParameterSize() -> getTypArgumentSize().
2022-03-21 08:42:50 +01:00
Etienne Zink
ac1e0340c3
Hinzufügen von FunN zur Generierung von echten Funktionstypen.
...
FunN ist Subtyp von IntermediateRefType.
Hinzufügen erster FunNTests.
2022-03-20 22:25:55 +01:00
Etienne Zink
0d84e8361f
Hinzufügen von IntermediateWildcard und dessen Tests.
...
Hinzufügen der Tests für IntermediateSuperWildcard und IntermediateExtendsWildcard.
Verbesserung von IntermediateRefType: typParameter können IntermediateType sein und nicht nur IntermediateInnerType.
2022-03-20 20:38:54 +01:00
Etienne Zink
0207c7d1b0
Verbesserung typParameter von IntermediateRefType: Können IntermediateInnerType sein! Nicht nur IntermediateRefType wie zuvor.
...
Hizufügen entsprechender Tests.
2022-03-20 16:59:24 +01:00
Etienne Zink
f1f028f0b9
Hinzufügen von equals() und hashCode() Tests zu IntermediateRefTypeTest und IntermediateGenericTypeTest.
2022-03-20 16:42:12 +01:00
Etienne Zink
8b58259fe0
Hinzufügen von Test zu IntermediateRefTypeTest und IntermediateGenericTypeTest.
2022-03-20 16:34:01 +01:00
Etienne Zink
55a75b04a0
Refactoring für innere Typen, welche ausschließlich einen Descriptor besitzen.
...
Innere Typen sind dabei IntermediateRefType und IntermediateGenericType.
Implementierung der IntermediateWildcard Typen und Hinzufügen leerer Tests.
2022-03-20 16:08:38 +01:00
Etienne Zink
06b27dabd2
Änderung von hashCode() und equals() zurück zur Benutzung von getFullyQualifiedName(), da dies eindeutig ist im Gegensatz zu getSignature().
2022-03-20 15:07:02 +01:00
Etienne Zink
9baf89acc2
Änderung von hashCode() und equals(), in IntermediateGenericType und IntermediateRefType, auf Basis von getSignature() und nicht mehr getFullyQualifiedName().
2022-03-19 18:32:12 +01:00
Etienne Zink
be307e95a6
Hizufügen von isParametrized zu IntermediateRefType.
2022-03-19 18:19:42 +01:00
Etienne Zink
df4faebd92
Hinzufügen der extends-Beziehung von IntermediateExtendsWildcard und IntermediateSuperWildcard zu IntermediateType, ohne Implementierungen.
2022-03-19 18:16:50 +01:00
Etienne Zink
36ef1e124a
Änderung von toSting(): gibt nun getSignature() statt getFullyQualifiedName() zurück.
2022-03-19 18:12:46 +01:00
Etienne Zink
2706c31beb
Kleine Anpassung von Kommentaren.
2022-03-19 18:07:24 +01:00
Etienne Zink
c32a0cc222
Refactoring access-Modifier von IntermediateType (Klassen-Name Methoden).
...
Refactoring Signature- und Descriptor-Methoden und caching des Descriptors.
2022-03-19 18:03:54 +01:00
Etienne Zink
eaec7f613a
Hinzufügen von abstract getClassDescriptor in IntermediateType und Implementierung von IntermediateGenericType.
2022-03-19 17:22:23 +01:00
Etienne Zink
c681396061
Implementierung und Tests von IntermediateRefType.
2022-03-19 16:33:13 +01:00
Etienne Zink
3d19d8d729
Hinzufügen der Klassenbeschreibung im JavaDoc für IntermediateType.
2022-03-18 12:53:06 +01:00
Etienne Zink
f457e7e4d0
Erste Implementierung des IntermediateType und unvollständige Implementierung von IntermediateRefType.
2022-03-18 09:09:33 +01:00
Etienne Zink
c22d12f6b0
Hinzufügen des Grundkonstrukts der Intermediate-Typen.
2022-03-17 17:36:34 +01:00
pl@gohorb.ba-horb.de
0aab2d9f53
modified: ../../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
...
this wird nicht als Field betrachtet
new file: ../../javFiles/packageTest/Pair2.jav
new file: ../../javFiles/packageTest/de/test/Pair.jav
2021-06-04 00:52:50 +02:00
JanUlrich
33d6adf899
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2021-05-27 12:10:15 +02:00
JanUlrich
00add07132
Fix Object has null Constructor
2021-05-27 12:10:05 +02:00
pl@gohorb.ba-horb.de
48964d57ad
2
...
new file: README_aktuelle_Branches
modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/GenericRefType.java
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2021-05-25 15:32:11 +02:00
pl@gohorb.ba-horb.de
18d9edfeea
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
new file: src/test/java/insertGenerics/TestVectorArg.java
modified: src/test/resources/bytecode/javFiles/Fac.jav
new file: src/test/resources/insertGenericsJav/TestVectorArg.jav
2021-05-21 09:52:22 +02:00
pl@gohorb.ba-horb.de
1b9e824b86
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-04-19 16:18:31 +02:00
pl@gohorb.ba-horb.de
b40cb49b9f
In PairTPHsmallerTPH origPair eingefuegt, was das OriginalPair darstellt,
...
entweder vor oder waehrend der Unikation
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
new file: src/main/java/de/dhbwstuttgart/typeinference/result/PairNoResult.java
noetig da als oriPairs auch Paare nicht solved form vorkommen koennen
modified: src/main/java/de/dhbwstuttgart/typeinference/result/PairTPHsmallerTPH.java
modified: src/main/java/de/dhbwstuttgart/typeinference/result/ResultPairVisitor.java
2021-04-19 14:22:40 +02:00
pl@gohorb.ba-horb.de
be9ee49878
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/Statement.java
modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/test/java/insertGenerics/TestLocalVarLambda.java
2021-04-13 10:03:48 +02:00
pl@gohorb.ba-horb.de
3363037854
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/MethodAndTPH.java
Neue Methode addTph
modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
Methodcall-Steatements mit Void als Returntyp
2021-04-09 09:15:10 +02:00
pl@gohorb.ba-horb.de
c8d4301e5e
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
Alis Ansatz zur Bytecodeerzeugung eingesetzt
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGeneratorTypes/MethodAndConstraints.java
ToString ausprogramnmiert
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
Einige bytecode-Usecases laufen noch nicht (z.B. Put.jav) Erste Ansaetze versucht.
Muss noch erweitert werden.
2021-04-08 09:56:49 +02:00
pl@gohorb.ba-horb.de
b46415e45a
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
...
reset Typevars-Namen wieder rausgenommen
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/NameGenerator.java
modified: src/test/java/insertGenerics/TestAny.java
modified: src/test/java/insertGenerics/TestClassField.java
modified: src/test/java/insertGenerics/TestContraVariant.java
modified: src/test/java/insertGenerics/TestGGFinder.java
modified: src/test/java/insertGenerics/TestLocalVarLambda.java
modified: src/test/java/insertGenerics/TestMutualRecursion.java
modified: src/test/java/insertGenerics/TestReturnVar.java
modified: src/test/java/insertGenerics/TestSecondLineOfClassConstraints.java
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
modified: src/test/java/insertGenerics/TestTPHsAndGenerics2.java
modified: src/test/java/insertGenerics/TestThreeArgs.java
modified: src/test/java/insertGenerics/TestTwoArgs.java
modified: src/test/java/insertGenerics/TestTwoArgs2.java
modified: src/test/java/insertGenerics/TestTwoCalls.java
modified: src/test/java/insertGenerics/TestVector.java
modified: src/test/java/insertGenerics/TestVoidMeth.java
Reset Typevar-Namen in @BeforeClass eingefuegt
2021-04-01 19:16:57 +02:00
pl@gohorb.ba-horb.de
bbfd8aa203
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-04-01 17:13:06 +02:00
pl@gohorb.ba-horb.de
0cb1f244bc
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
Tests insertGenerics funtionieren
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/NameGenerator.java
reset-Funktion eingefuegt, damit bei jedem Test die Namen der TypepLaceholdert von vorne beginnen
modified: src/test/java/insertGenerics/TestContraVariant.java
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
modified: src/test/java/insertGenerics/TestThreeArgs.java
2021-04-01 16:59:14 +02:00
pl@gohorb.ba-horb.de
9be64e4905
modified: src/main/java/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/MethodAndTPH.java
modified: src/test/java/insertGenerics/TestContraVariant.java
modified: src/test/java/insertGenerics/TestLocalVarLambda.java
modified: src/test/java/insertGenerics/TestTransitiveClosure.java
Transitiv Closure auf new umgestellt
2021-03-31 18:18:16 +02:00
pl@gohorb.ba-horb.de
d1ad6e218a
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/TestTwoArgs.java
2021-03-29 10:45:21 +02:00
pl@gohorb.ba-horb.de
bf8d4fe647
new file: src/test/resources/insertGenericsJav/TestContraVariant.jav
...
new file: src/test/resources/insertGenericsJav/TestMutualRecursionWithField2.jav
new file: src/test/resources/insertGenericsJav/TestMutualRecursionWithField3.jav
2021-03-29 10:00:04 +02:00
pl@gohorb.ba-horb.de
e229093017
new file: src/test/java/insertGenerics/TestContraVariant.java
...
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
new file: src/test/java/insertGenerics/TestThreeArgs.java
2021-03-29 09:57:45 +02:00
pl@gohorb.ba-horb.de
66a25a56c0
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-26 20:55:25 +01:00
AluAli
af223a4d8a
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-26 20:53:24 +01:00
pl@gohorb.ba-horb.de
14cb2c8909
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-26 20:19:16 +01:00
AluAli
080eb2f6f3
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-26 20:18:45 +01:00
pl@gohorb.ba-horb.de
d8876457db
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-26 20:07:48 +01:00
AluAli
32e9ce92a6
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/TestTwoArgs.java
2021-03-26 19:58:38 +01:00
pl@gohorb.ba-horb.de
3ad9007336
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-26 19:27:33 +01:00
AluAli
da2a17c794
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
2021-03-26 18:33:36 +01:00
pl@gohorb.ba-horb.de
345b03b775
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
2021-03-26 17:27:27 +01:00
pl@gohorb.ba-horb.de
ff93b0967e
2
...
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
2021-03-26 16:27:24 +01:00
pl@gohorb.ba-horb.de
db149eb588
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
klein Korrekturen
modified: src/test/java/insertGenerics/TestTwoArgs2.java
List -> Set
2021-03-26 16:15:18 +01:00
AluAli
f5f639c0f7
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-26 15:24:15 +01:00
AluAli
a4c38b2bb0
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-26 12:30:13 +01:00
AluAli
e3625cb306
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/TestTwoCalls.java
2021-03-26 12:29:40 +01:00
pl@gohorb.ba-horb.de
86603ae343
modified: src/main/java/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java
...
equals korrigiert
modified: src/test/java/insertGenerics/TestGGFinder.java
modified: src/test/java/insertGenerics/TestLocalVarLambda.java
modified: src/test/java/insertGenerics/TestMutualRecursion.java
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
modified: src/test/java/insertGenerics/TestTwoArgs.java
modified: src/test/java/insertGenerics/TestTwoCalls.java
modified: src/test/java/insertGenerics/TestVector.java
List -> Set vollendet
2021-03-26 10:51:59 +01:00
pl@gohorb.ba-horb.de
d276c7c044
modified: src/main/java/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/ClassConstraint.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
toString wieder korrigiert
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/MethodConstraint.java
modified: src/test/java/insertGenerics/TestAny.java
List -> Set
Bei allen anderen Tests fehlt es noch
2021-03-25 19:55:16 +01:00
pl@gohorb.ba-horb.de
91c075829b
Merge branch 'generateTestConstraints' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-25 18:59:34 +01:00
pl@gohorb.ba-horb.de
705d0b6a73
renamed: src/test/java/insertGenerics/AllTests.java -> src/test/java/insertGenerics/TestMutualRecursion.java
...
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
modified: src/test/java/insertGenerics/TestVector.java
Tests angepasst an die GeneratedGenerics
2021-03-25 18:56:38 +01:00
pl@gohorb.ba-horb.de
bc378f2fe9
modified: src/test/java/insertGenerics/AllTests.java
...
modified: src/test/java/insertGenerics/TestTwoCalls.java
modified: src/test/java/insertGenerics/TestVector.java
2021-03-25 00:41:03 +01:00
pl@gohorb.ba-horb.de
e5816bac22
modified: src/test/java/insertGenerics/TestAny.java
...
modified: src/test/java/insertGenerics/TestGGFinder.java
modified: src/test/java/insertGenerics/TestLocalVarLambda.java
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
modified: src/test/java/insertGenerics/TestTwoArgs.java
modified: src/test/java/insertGenerics/TestTwoArgs2.java
Tests fuer GeneratedGenerics eingefuegt
2021-03-24 11:35:15 +01:00
pl@gohorb.ba-horb.de
8c6027645f
modified: src/test/java/insertGenerics/TestLocalVarLambda.java
...
Alternative Typvarnamen eingefuegt.
2021-03-24 10:22:57 +01:00
pl@gohorb.ba-horb.de
e147a8ce85
toString geaendert, um Tests generieren zu koennen:
...
modified: src/main/java/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/ClassConstraint.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/MethodConstraint.java
geaendert, um GenerateGenerics direkt teste zu koennen, sollte ggf. wieder rueckgaenig gemacht werden
modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
angepasset Tests:
modified: src/test/java/insertGenerics/TestLocalVarLambda.java
modified: src/test/java/insertGenerics/TestTPHsAndGenerics.java
modified: src/test/java/insertGenerics/TestTwoArgs.java
2021-03-23 12:02:58 +01:00
AluAli
d08e598649
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-19 22:02:23 +01:00
AluAli
ba8df8b376
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-19 18:27:50 +01:00
AluAli
b147430fb6
kommentierte neue Regeln
2021-03-19 15:05:40 +01:00
AluAli
661fa53937
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-19 14:42:22 +01:00
AluAli
13144d0ac9
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-19 14:23:07 +01:00
AluAli
539cacef86
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-19 08:50:04 +01:00
pl@gohorb.ba-horb.de
6e0e575524
new file: src/test/java/insertGenerics/TestLocalVarLambda.java
2021-03-15 11:27:31 +01:00
AluAli
55e44d62de
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-13 14:52:38 +01:00
AluAli
54de28c3f0
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-13 13:16:47 +01:00
AluAli
8e89c9b5e8
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-13 01:26:20 +01:00
AluAli
bb5692da8e
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-12 18:35:29 +01:00
pl@gohorb.ba-horb.de
f69554c6a1
equals in in Type eingefuegt
2021-03-12 18:29:51 +01:00
pl@gohorb.ba-horb.de
fbb7d82ef4
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-12 18:22:03 +01:00
pl@gohorb.ba-horb.de
4f1aadef60
modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/RefTypeOrTPHOrWildcardOrGeneric.java
2021-03-12 18:21:46 +01:00
AluAli
4acb820202
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-12 17:08:40 +01:00
pl@gohorb.ba-horb.de
6862c91b73
modified: src/main/java/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java
2021-03-12 12:30:41 +01:00
AluAli
55ee8ab61a
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-12 11:43:55 +01:00
AluAli
af9943be28
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-05 21:47:22 +01:00
AluAli
f208432c54
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-05 20:18:48 +01:00
pl@gohorb.ba-horb.de
2ca4aad07d
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/MethodAndTPH.java
2021-03-05 10:57:42 +01:00
AluAli
b99c022b50
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-05 09:12:19 +01:00
AluAli
d1a796f37b
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-03-05 00:32:33 +01:00
AluAli
31d7856afa
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-03-05 00:31:36 +01:00
pl@gohorb.ba-horb.de
b711dc72e0
new file: src/test/java/insertGenerics/AllTests.java
2021-03-04 18:58:33 +01:00
AluAli
d14f1d92c9
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-02-26 11:42:31 +01:00
pl@gohorb.ba-horb.de
ebb0803a38
new file: ../../../java/insertGenerics/TestTwoCalls.java
...
new file: ../../../java/insertGenerics/TestVector.java
new file: ../../insertGenericsJav/TestLocalVarLambda.jav
new file: ../../insertGenericsJav/TestMutualRecursion.jav
new file: ../../insertGenericsJav/TestMutualRecursionWithField.jav
new file: ../../insertGenericsJav/TestThreeArgs.jav
new file: ../../insertGenericsJav/TestTwoCalls.jav
new file: ../../insertGenericsJav/TestVector.jav
2021-02-25 15:59:24 +01:00
pl@gohorb.ba-horb.de
60f2e3def4
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java
2021-02-25 00:13:29 +01:00
pl@gohorb.ba-horb.de
7e35e09c47
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/MethodAndTPH.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/Method.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/SourceFile.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
AndConstraints einer Methode in Methode.java und iin MethodAndTPH.java eingefuegt
modified: src/test/resources/insertGenericsJav/TestAny.jav
2021-02-19 13:58:48 +01:00
pl@gohorb.ba-horb.de
ab99889c3c
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Bei Return SMALLERDOT durch EQUALSDOT ersetzt
2021-02-16 16:52:53 +01:00
pl@gohorb.ba-horb.de
bbdf220324
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/MethodAndTPH.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/Method.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/SourceFile.java
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
Pairs sammeln rueckgaengig gemacht
2021-02-16 16:27:17 +01:00
pl@gohorb.ba-horb.de
f2d6dae4c7
Letzer Stand mit Pair Bildug waehrend des Typvars sammeln
2021-02-16 15:29:24 +01:00
pl@gohorb.ba-horb.de
905dfd8a27
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-02-08 00:15:25 +01:00
pl@gohorb.ba-horb.de
5fb2d57d3b
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
2021-02-07 09:47:25 +01:00
pl@gohorb.ba-horb.de
5b7fec660d
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
2021-02-06 09:51:42 +01:00
pl@gohorb.ba-horb.de
5980f1c7b8
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/utilities/MethodAndTPH.java
modified: ../../../java/constraintSimplify/FamilyOfGenerics.java
modified: ../../../java/insertGenerics/TestTPHsAndGenerics.java
2021-02-05 22:37:39 +01:00
pl@gohorb.ba-horb.de
f270686b3c
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/MethodAndTPH.java
modified: src/main/java/de/dhbwstuttgart/syntaxtree/AbstractASTWalker.java
modified: src/test/java/constraintSimplify/FamilyOfGenerics.java
2021-02-04 23:58:49 +01:00
pl@gohorb.ba-horb.de
92bc3d626c
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
SourceFile und nameToMeth ergaenzt
modified: ../../../../main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/SourceFile.java
List<Method> getAllMethods() ergaenzty
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
variance wird uebernommen
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java
setVariance gefuegt.
modified: ../../../java/insertGenerics/TestTwoArgs.java
modified: ../../../java/insertGenerics/TestTwoArgs2.java
modified: ../../insertGenericsJav/TestTwoArgs.jav
modified: ../../insertGenericsJav/TestTwoArgs2.jav
2021-02-03 16:55:12 +01:00
pl@gohorb.ba-horb.de
ef723e4103
modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/AbstractASTWalker.java
...
Zusaetzliche Typvariablen weider entfernt
2021-02-01 16:56:33 +01:00
AluAli
9f06118138
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-01-31 20:54:03 +01:00
AluAli
a0c92c2d9d
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-31 20:34:18 +01:00
pl@gohorb.ba-horb.de
c6d896fa3b
modified: ../../../main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: ../../java/insertGenerics/TestGGFinder.java
modified: TestGGFinder.jav
2021-01-30 22:06:27 +01:00
pl@gohorb.ba-horb.de
b942e508fc
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-29 22:49:07 +01:00
pl@gohorb.ba-horb.de
f33002e998
new file: src/test/java/insertGenerics/TestTwoArgs.java
...
new file: src/test/resources/insertGenericsJav/TestTwoArgs.jav
2021-01-29 22:48:20 +01:00
AluAli
2dc4331afb
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-29 20:45:54 +01:00
AluAli
ebf6f0bbe3
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-29 20:41:43 +01:00
AluAli
dc62b72f7f
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-01-29 19:36:17 +01:00
AluAli
42bb787195
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-29 18:22:39 +01:00
AluAli
cd135c3962
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-29 18:22:04 +01:00
pl@gohorb.ba-horb.de
59adfd6c59
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-29 18:13:09 +01:00
pl@gohorb.ba-horb.de
604300a07e
modified: src/main/java/de/dhbwstuttgart/syntaxtree/AbstractASTWalker.java
...
new file: src/test/java/insertGenerics/TestTwoArgs.java
new file: src/test/java/insertGenerics/TestTwoArgs2.java
new file: src/test/resources/insertGenericsJav/TestTwoArgs.jav
new file: src/test/resources/insertGenericsJav/TestTwoArgs2.jav
2021-01-29 18:12:44 +01:00
AluAli
0bc0e4c722
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
deleted: src/test/java/insertGenerics/MethodsTest.java
deleted: src/test/java/insertGenerics/TryTest.java
2021-01-29 18:03:43 +01:00
pl@gohorb.ba-horb.de
ebfc3dedbe
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-29 12:29:24 +01:00
pl@gohorb.ba-horb.de
e07e5e9b42
modified: src/main/java/de/dhbwstuttgart/syntaxtree/AbstractASTWalker.java
2021-01-29 12:29:08 +01:00
AluAli
8fb7a23279
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
modified: src/test/java/insertGenerics/TestExample42.java
modified: src/test/java/insertGenerics/TestExample42_allInOneMethod.java
2021-01-29 12:24:16 +01:00
pl@gohorb.ba-horb.de
8706882388
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
...
new file: src/test/java/insertGenerics/TestGGFinder.java
2021-01-29 10:55:04 +01:00
pl@gohorb.ba-horb.de
918d0db799
modified: src/main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java
2021-01-29 09:25:10 +01:00
pl@gohorb.ba-horb.de
4b99b38b47
Merge branch 'bigRefactoringUnifyComment' into bytecodeGenericsSecond
2021-01-28 16:18:42 +01:00
pl@gohorb.ba-horb.de
1236ca2953
modified: src/main/java/de/dhbwstuttgart/syntaxtree/AbstractASTWalker.java
...
modified: src/test/resources/insertGenericsJav/TestGGFinder.jav
2021-01-28 16:12:17 +01:00
AluAli
1348a7a4b6
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-01-23 00:07:05 +01:00
AluAli
3f4aa7bbd5
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
modified: src/test/java/insertGenerics/TestExample42.java
modified: src/test/java/insertGenerics/TestExample42_allInOneMethod.java
2021-01-22 23:49:25 +01:00
AluAli
bb900af6bf
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-01-22 15:52:14 +01:00
AluAli
cfacc6235c
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-01-22 15:13:03 +01:00
AluAli
1a135ebe5c
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-01-22 15:07:03 +01:00
AluAli
c15953bbac
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-18 19:15:36 +01:00
AluAli
404bbbf746
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-18 19:11:33 +01:00
AluAli
a8f04a25cd
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-18 19:10:04 +01:00
pl@gohorb.ba-horb.de
1242252cde
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-18 13:46:06 +01:00
pl@gohorb.ba-horb.de
5e9e774d1e
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-18 13:41:44 +01:00
pl@gohorb.ba-horb.de
bd6d74c74d
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-18 13:40:20 +01:00
AluAli
3d8275c676
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-16 16:34:31 +01:00
pl@gohorb.ba-horb.de
3ef15d814d
Merge branch 'bytecodeGenericsSecond' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenericsSecond
2021-01-16 09:16:25 +01:00
pl@gohorb.ba-horb.de
842b85cfd7
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-16 09:12:34 +01:00
AluAli
fc8f11ebb1
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
new file: src/test/java/insertGenerics/TestAny.java
new file: src/test/java/insertGenerics/TestTPHsAndGenerics2.java
new file: src/test/resources/insertGenericsJav/TestAny.jav
modified: src/test/resources/insertGenericsJav/TestReturnVar.jav
modified: src/test/resources/insertGenericsJav/TestSecondLineOfClassConstraints.jav
new file: src/test/resources/insertGenericsJav/TestTPHsAndGenerics2.jav
2021-01-16 00:35:12 +01:00
AluAli
eb97dd810f
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
...
new file: src/test/java/insertGenerics/TestClassField.java
new file: src/test/java/insertGenerics/TestReturnVar.java
new file: src/test/java/insertGenerics/TestSecondLineOfClassConstraints.java
new file: src/test/java/insertGenerics/TestTPHsAndGenerics.java
new file: src/test/java/insertGenerics/TestVoidMeth.java
new file: src/test/resources/insertGenericsJav/TestClassField.jav
new file: src/test/resources/insertGenericsJav/TestReturnVar.jav
new file: src/test/resources/insertGenericsJav/TestSecondLineOfClassConstraints.jav
new file: src/test/resources/insertGenericsJav/TestTPHsAndGenerics.jav
new file: src/test/resources/insertGenericsJav/TestVoidMeth.jav
2021-01-15 13:18:09 +01:00
AluAli
ab850edae8
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
2021-01-15 01:12:13 +01:00
pl@gohorb.ba-horb.de
95f48ffcb7
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
ckeckA druch checkNoContradiction ersetzt
2021-01-14 15:29:06 +01:00
pl@gohorb.ba-horb.de
163f0f3047
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
vor Loeschung von checkA
2021-01-14 14:59:20 +01:00
pl@gohorb.ba-horb.de
1cf22d2602
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
remaingSet entfernt
fstElems in oneElems umbenannt
2021-01-14 11:27:19 +01:00
pl@gohorb.ba-horb.de
d8ac25234f
modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
vor entfernung von Remaining
2021-01-14 10:38:32 +01:00
pl@gohorb.ba-horb.de
e00d76ce3b
Occurs-Check mit Abbruch eingebaut
...
finalResult zum Attribut der Klasse gemacht
2021-01-13 19:39:01 +01:00
pl@gohorb.ba-horb.de
fec83c3a62
modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Fuer den Receiver wieder = eingefuegt.
modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Kommentierung begonnen
2021-01-12 21:27:44 +01:00
AluAli
3f5f51df5b
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2021-01-08 22:05:09 +01:00
AluAli
dce7ac8262
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
new file: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/PairMethodAndConstraint.java
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2021-01-08 21:43:06 +01:00
AluAli
2f37bb7313
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-12-29 01:03:55 +01:00
AluAli
a04316f629
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
modified: src/test/java/insertGenerics/TestExample42.java
modified: src/test/java/insertGenerics/TestExample42_allInOneMethod.java
2020-12-29 00:22:36 +01:00
AluAli
3b062de612
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
modified: src/test/java/insertGenerics/TestExample42.java
modified: src/test/java/insertGenerics/TestExample42_allInOneMethod.java
2020-12-28 15:37:45 +01:00
AluAli
c32ef1e31f
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/TestExample42.java
new file: src/test/java/insertGenerics/TestExample42_allInOneMethod.java
2020-12-28 00:29:08 +01:00
AluAli
5ed6a4617a
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2020-12-22 16:11:24 +01:00
AluAli
7139a1709e
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-12-22 16:08:01 +01:00
AluAli
e9bcea4b9e
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
2020-12-21 14:06:47 +01:00
AluAli
d671e74fcf
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-12-04 16:44:46 +01:00
AluAli
c2f0368d2e
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-12-04 14:59:09 +01:00
AluAli
d06c6abb5a
modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java
...
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/PositionFinder.java
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
modified: src/test/java/insertGenerics/TestExample42.java
2020-12-04 14:25:37 +01:00
AluAli
f7101da621
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java
...
new file: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/PairTphMethod.java
modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/PositionFinder.java
modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java
2020-12-04 13:17:31 +01:00
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
JanUlrich
941a3bed66
Add ANTLR parser generator output to gitignore
2020-09-17 10:58:44 +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
michael
a11dc1ab22
Newer version of antlr.
2020-03-21 16:56:34 +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
6afee86066
new file: PluginBau.docx
2020-03-03 15:42:07 +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
JanUlrich
d1138540de
Make jar with dependencies executable
2020-01-10 16:53:14 +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
3e67da6e34
merge
2019-12-16 00:56:54 +01:00
JanUlrich
1d16b9f2b9
Documentation
2019-12-16 00:55:04 +01:00
JanUlrich
afd2c21ca8
Add classPath option to JavaTXCompiler and parse with URLClassLoader
2019-12-16 00:54:00 +01:00
JanUlrich
74622550c2
Add Logfiles Directory, but ignore all files inside it
2019-12-15 21:58:29 +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
6dc15acba4
Build for JDK 1.8
2019-12-05 21:50:11 +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
Michael Uhl
1eaeca1db5
Refactoring in pom.xml
2019-11-27 21:40:35 +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
c0f5fd1e0a
Merge branch 'simplifyRes' of uhl@gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into simplifyRes
2019-11-14 14:07:04 +01:00
Michael Uhl
52b3498dfb
Vor Fertigstellung Ersetzung Generics.
2019-11-14 14:04:09 +01:00
Michael Uhl
7343ea1701
Vor Fertigstellung Ersetzung Generics.
2019-11-13 10:14:07 +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
c77a2b3354
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-02-25 19:20:43 +01:00
Fayez Abu Alia
8a5dbb28ac
Bug gefixt: genericList als Paramater uebergeben
2019-02-25 19:20:11 +01:00
Michael Uhl
86768153c0
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
2019-02-24 15:06:49 +01:00
Michael Uhl
5722f0285b
Skip tests in maven build.
2019-02-24 15:06:34 +01:00
Fayez Abu Alia
6c19a9f78c
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2019-02-21 13:35:07 +01:00
Fayez Abu Alia
3e186334a2
Simpify Algo korrigiert so dass die lokalen Variablen der Methode beruecksichtigt werden
2019-02-21 13:34:36 +01:00
Martin Plümicke
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
3ad51f952e
Observer Pattern für ResultSet.
2019-01-23 22:28:07 +01:00
Michael Uhl
449a11f433
Observer für TypeResults.
2019-01-23 22:25:30 +01:00
Michael Uhl
9805f956c0
Merge remote-tracking branch 'origin/bytecode2' into bytecode2
...
# Conflicts:
# pom.xml
2019-01-23 22:05:59 +01:00
Michael Uhl
0a4a625198
Removed "tycho-p2-repository-plugin".
2019-01-23 22:04:25 +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
Michael Uhl
90c0cd431f
Removed compiler plugin with target 9,
2018-12-25 16:02:31 +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
5a3145281e
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-19 14:21:27 +01:00
Fayez Abu Alia
5624af609c
Simplify fuer TPH Method < TPH Field angepasst
2018-12-19 14:18:50 +01:00
Martin Plümicke
a4eaaa748e
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-12-19 14:09:48 +01:00
Martin Plümicke
83b9f7edb8
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
...
Conflicts:
src/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.
Please enter the commit message for your changes. Lines starting
with '#' will be ignored, and an empty message aborts the commit.
Committer: Martin Plümicke <pl@macmini_pl.verw.ba-horb.de>
On branch bytecode2
Your branch and 'origin/bytecode2' have diverged,
and have 1 and 2 different commits each, respectively.
(use "git pull" to merge the remote branch into yours)
All conflicts fixed but you are still merging.
Changes to be committed:
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-12-19 14:08:42 +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
c1a4617085
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Loeschen von Ueberzaehlugen Elementen eingefuegt.
2018-12-14 16:51:02 +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
5ddc9201f7
new file: ../YTest.java
...
new file: Y.jav
2018-11-04 12:06:09 +01:00
Martin Plümicke
26477b60fb
modified: ../bytecode/javFiles/Matrix.jav
...
Typannotationen wieder entfernt
2018-11-04 11:55:45 +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
Martin Plümicke
674233e2f9
modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
...
Trennung von Integer und Double in private Expression convert(Java8Parser.LiteralContext literal) eingefuegt
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Typisierung von Literals eingefuegt
modified: ../../test/bytecode/javFiles/MatrixOP.jav
Name Matrix durch MatrixOP ersetzt
2018-10-05 00:23:04 +02:00
Fayez Abu Alia
b56f18c16e
Unboxing fuer methodcall wird nicht gemacht wenn es sich in Returnstatement befindet. SimplifyPairs fuer Paramtrisierte Typen wird einmal vor die Signatureerzeugung ausgefuehrt und nicht separat. getAllPairs in Signature gefixt.
2018-10-04 12:54:03 +02:00
Martin Plümicke
8e220b81d5
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
bei der der Rueckgabe von subst wurde noch Optional beruecksichtigt
2018-09-27 17:17:36 +02:00
Martin Plümicke
8a43839c28
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Gleichungen a <.? b werden durch a =. b ersetzt und subst angewandt.
deleted: ../../test/bytecode/VectorAddTest.java
modified: ../../test/bytecode/javFiles/Matrix.jav
modified: ../../test/bytecode/javFiles/Sorting.jav
2018-09-27 15:59:57 +02:00
JanUlrich
0594fc7381
aufräumen
2018-09-26 16:46:55 +02:00
Fayez Abu Alia
77a952c997
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-09-26 16:31:36 +02:00
Fayez Abu Alia
3c7b1451d4
MatrixTest funktioniert
2018-09-26 16:25:52 +02:00
JanUlrich
ceba60cccb
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-09-26 16:21:22 +02:00
JanUlrich
88e2366eab
ListenerOverload Test
2018-09-26 16:21:10 +02:00
Martin Plümicke
334b56234f
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
...
Conflicts:
test/bytecode/javFiles/VectorAdd.jav
2018-09-26 15:45:23 +02:00
Martin Plümicke
4ace3b6f92
new file: ../../test/bytecode/javFiles/VectorAdd.jav
2018-09-26 15:44:36 +02:00
Martin Plümicke
355df5fab7
new file: ../../test/bytecode/FunOLTest.java
...
new file: ../../test/bytecode/javFiles/FunOL.jav
new file: ../../test/bytecode/vectorAddTest.java
2018-09-26 15:43:27 +02:00
Martin Plümicke
85d5485595
modified: ../../test/bytecode/javFiles/Sorting.jav
...
sort hinzugefuegt
2018-09-26 15:40:51 +02:00
Fayez Abu Alia
d3d1d658b8
Bug 112 gefixt
2018-09-26 15:37:00 +02:00
Fayez Abu Alia
2add9f518c
Richtiger Bytecode fuer If-Statements wird erzeugt.
...
modified: test/bytecode/FacultyTest.java
FacultyTest geaendert.
new file: test/bytecode/VectorAddTest.java
VectorAddTest hinzugefuegt.
2018-09-26 13:46:34 +02:00
Martin Plümicke
f46d26e53f
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-09-19 22:22:36 +02:00
Martin Plümicke
315b6172a0
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java
Die Anzahl der mehrfachen Lösungen bei sorting.jav reduziert
2018-09-19 22:21:07 +02:00
Fayez Abu Alia
ea3ff69047
Faculty.jav geaendert
2018-09-19 16:00:55 +02:00
Fayez Abu Alia
44edc7e9cb
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-09-19 15:55:17 +02:00
Fayez Abu Alia
673c249b68
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
...
new file: src/de/dhbwstuttgart/bytecode/IfStatement.java
Bytecode für If statement wir erzeugt aber noch nicht vollständig.
modified: test/bytecode/javFiles/Faculty.jav
Test angepasst.
2018-09-19 15:52:29 +02:00
JanUlrich
d165260be0
Beginnen mit Parser Dokumentation
2018-09-19 14:37:40 +02:00
Fayez Abu Alia
aeb8bb92ed
Bug 108 gefixt
2018-09-19 13:05:00 +02:00
Martin Plümicke
5768783828
modified: ../../test/bytecode/javFiles/Matrix.jav
...
Argumenttype von mul wieder entfernt.
2018-09-13 12:07:02 +02:00
Martin Plümicke
acc7d95060
modified: ../../test/bytecode/javFiles/Matrix.jav
...
mul hat Argumenttype der nicht funktioniert.
2018-09-13 12:04:50 +02:00
Martin Plümicke
50027a9da0
modified: ../../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variance für Attribute/Fields eingefuegt
new file: ../FacultyTest.java
new file: ../MatrixOpTest.java
new file: ../SortingTest.java
new file: MatrixOP.jav
modified: Sorting.jav
2018-09-11 21:59:20 +02:00
Martin Plümicke
236afea4f9
modified: ../../test/bytecode/javFiles/Faculty.jav
...
Typannotation entfernt
2018-09-10 13:14:36 +02:00
JanUlrich
b8741d881b
Sorting Test für Bytecoded generierung
2018-09-10 02:36:53 +02:00
JanUlrich
16ca123780
Testfall anfügen
2018-09-09 18:53:43 +02:00
JanUlrich
654f347450
Fehler in Test Lambda beheben
2018-09-07 04:35:58 +02:00
JanUlrich
c72204428f
== Operator anfügen
2018-09-07 01:41:26 +02:00
JanUlrich
1e037a0019
Fehler im Parsen von Typen mit Package Namen behoben
2018-09-07 00:39:31 +02:00
JanUlrich
8759a9cc5d
IfStmt Constraints erstellen
2018-08-30 00:02:17 +02:00
JanUlrich
0ee5a6791d
FunN falsch benannt
2018-08-29 21:48:15 +02:00
JanUlrich
1a8115bf07
Field Initialisierungen anfügen
2018-08-29 02:43:32 +02:00
Martin Plümicke
72e128d3f3
modified: test/javFiles/Fields.jav
...
Typdeklaration von Filed test2 entfernt
modified: test/typeinference/JavaTXCompilerTest.java
Unittest LambdaFiled.java reingenommen
2018-08-28 10:11:46 +02:00
JanUlrich
b70e261b23
Var Keyword in Java8.g4 Grammatik verlagern
2018-08-24 19:33:55 +02:00
JanUlrich
df95c244bf
add Fields Test. Felder können ohne Typ oder mit var-Keyword initialisiert werden
2018-08-24 18:25:34 +02:00
JanUlrich
1061f355ff
Felder aktivieren
2018-08-20 18:22:21 +02:00
JanUlrich
4ca671631d
Merge branch 'bigRefactoring' into bytecode2
2018-08-20 14:17:09 +02:00
JanUlrich
7ee06254f0
Resolve fixen
2018-08-19 19:43:29 +02:00
JanUlrich
a823ef2b16
Generics Resolve fixen
2018-08-19 19:42:31 +02:00
Fayez Abu Alia
9281786db4
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-13 18:29:30 +02:00
Fayez Abu Alia
77d397fc53
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
...
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
modified: src/de/dhbwstuttgart/bytecode/signature/TypeToSignature.java
modified: test/bytecode/javFiles/Merge.jav
modified: test/bytecode/javFiles/OL.jav
modified: test/bytecode/javFiles/Tph.jav
modified: test/bytecode/javFiles/Tph3.jav
new file: test/bytecode/javFiles/WC.jav
2018-08-13 18:28:41 +02:00
Martin Plümicke
5f89188d00
new file: ../../test/bytecode/Tph5Test.java
...
new file: ../../test/bytecode/javFiles/Tph5.jav
erzeugt Typfehler zur Laufzeit mit
mport java.util.Vector;
public class Tph5Use {
public static void main(String[] args) {
Tph5 tph5 = new Tph5();
Integer i = tph5.<Integer, Integer, Integer, Integer>m(1,2,3);
String s = tph5.<String, String, Integer, Integer>m("xx",2,3);
}
}
2018-08-13 18:19:02 +02:00
Martin Plümicke
6bdd347298
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
...
Conflicts:
test/bytecode/javFiles/Lambda.jav
2018-08-09 15:34:57 +02:00
Martin Plümicke
9b131c48b0
modified: test/bytecode/LambdaTest.java
...
modified: test/bytecode/javFiles/Lambda.jav
aufgeraeumt
new file: test/bytecode/LambdaVoidTest.java
new file: test/bytecode/javFiles/LambdaVoid.jav
FunVoidN-Tests
2018-08-09 15:32:48 +02:00
Martin Plümicke
5e14acfa12
modified: ../../test/bytecode/javFiles/Merge.jav
...
modified: ../../test/bytecode/javFiles/OL.jav
2018-08-08 18:12:24 +02:00
Martin Plümicke
7d9976e638
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/GenericsResolverSameName.java
...
superwildcard durch extendswildcard ausgetauscht.
2018-08-08 15:32:42 +02:00
Fayez Abu Alia
2bbb6e0b6b
Bug in Signature gefixt. Merge Test tut.
2018-08-08 14:33:31 +02:00
Martin Plümicke
6d34ae89ae
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
logging für TypeUnify aus commit d6364040
wiederhergestellt
2018-08-07 17:38:40 +02:00
JanUlrich
9492c43e70
Merge mit bigRefactoring
2018-08-06 16:43:24 +02:00
JanUlrich
f18083ba06
Merge
2018-08-06 16:41:38 +02:00
JanUlrich
b9aee4da77
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 16:40:08 +02:00
JanUlrich
70972a5cbf
Fehler mit GenericRefTypes in Wildcards beheben
2018-08-06 16:39:49 +02:00
Fayez Abu Alia
f99d4dae5a
DUP Befehl fuer UnaryExpr
2018-08-06 16:14:09 +02:00
Fayez Abu Alia
dc535ad9b7
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 14:47:26 +02:00
Fayez Abu Alia
dd8b4f322e
BinaryTest funktioniert
2018-08-06 14:46:54 +02:00
JanUlrich
af894ebfe4
Fehler mit Wildcards in ASTFactory beheben
2018-08-06 14:03:09 +02:00
JanUlrich
cc676f32c5
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 14:01:53 +02:00
JanUlrich
272948f70d
Fehler mit Wildcards in ASTFactory beheben
2018-08-06 14:01:31 +02:00
Fayez Abu Alia
5d0603f423
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-06 13:53:19 +02:00
Martin Plümicke
3e9e222d73
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
...
test/bytecode/javFiles/Lambda.jav
test/bytecode/javFiles/OL.jav
2018-08-06 13:45:20 +02:00
Fayez Abu Alia
d6364040fa
merge
2018-08-06 13:34:34 +02:00
Fayez Abu Alia
52c445435d
MergeTest
2018-08-06 13:25:41 +02:00
Martin Plümicke
6264d928b2
modified: test/bytecode/javFiles/Merge.jav
...
modified: test/bytecode/javFiles/OL.jav
2018-08-06 13:14:08 +02:00
Martin Plümicke
89387d2718
new file: ../../test/bytecode/MergeTest.java
...
new file: ../../test/bytecode/javFiles/Merge.jav
2018-08-06 10:03:03 +02:00
Fayez Abu Alia
0443f1e528
Lambda Test angepasst
2018-08-03 14:02:09 +02:00
Fayez Abu Alia
34969e66ba
bug in Signature gefixt
2018-08-03 13:48:45 +02:00
Fayez Abu Alia
dcbcf873e4
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-01 14:04:06 +02:00
Fayez Abu Alia
deb632050a
LDC2_W fuer Long verwendet. Tests bereinigt.
2018-08-01 14:03:23 +02:00
JanUlrich
acf8c108e8
Diamantoperator
2018-07-26 16:25:54 +02:00
JanUlrich
968dc06edc
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-26 15:16:28 +02:00
JanUlrich
47808c4e6f
Diamantoperator
2018-07-26 14:57:13 +02:00
Fayez Abu Alia
5029cca0f1
Transivitaet Berechnung bei TPHs korrigiert
2018-07-26 14:37:11 +02:00
JanUlrich
79eb3135d6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-26 14:04:12 +02:00
Fayez Abu Alia
adf675e595
Bug 98 gefixt, kleine Aenderung in Signature Klasse und Tph4 Test eingefuegt
2018-07-25 16:45:59 +02:00
Fayez Abu Alia
f3e60e50ef
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-25 11:01:33 +02:00
Fayez Abu Alia
30f75f2f17
LambdaTest
2018-07-25 11:01:03 +02:00
Martin Plümicke
4e5c75673d
new file: ../../test/bytecode/Tph3Test.java
...
new file: ../../test/bytecode/javFiles/Tph3.jav
Test mit wechselseitiger Rekursion
2018-07-19 13:57:01 +02:00
Martin Plümicke
2421dd0222
modified: ../../test/bytecode/LambdaTest.java
...
jetzt korrekt
modified: ../../test/bytecode/Tph2Test.java
jetzt korrekt
modified: ../../test/bytecode/TphTest.java
jetzt korrekt
modified: ../../test/bytecode/applyLambdaTest.java
jetzt korrekt
modified: ../../test/bytecode/javFiles/Tph.jav
Rueckgabewert veraendert
2018-07-19 13:54:31 +02:00
Fayez Abu Alia
14be882b7b
LambdaTest Funktioniert.
2018-07-18 22:49:21 +02:00
Martin Plümicke
448d3e04f8
modified: ../../test/bytecode/LambdaTest.java
2018-07-18 17:56:20 +02:00
Martin Plümicke
fe99db81b3
modified: ../../test/bytecode/LambdaTest.java
...
Lambda-Ausruck wird ausgewertet. Funktioniert nicht, vermutich, weil Lambda-Methode apply private
2018-07-18 17:54:44 +02:00
Martin Plümicke
c3ca4777bb
modified: ../../test/bytecode/LambdaTest.java
...
noch unvllstaendig
modified: ../../test/bytecode/MatrixTest.java
Test korrekt
modified: ../../test/bytecode/javFiles/Matrix.jav
import byte entfernt, so dass Laufzeit passt
2018-07-18 17:01:01 +02:00
Martin Plümicke
16b7db9218
modified: test/bytecode/MatrixTest.java
...
Test einfeguegt nicht getestet
modified: test/bytecode/OLTest.java
Test eingefuegt
modified: test/bytecode/javFiles/OL.jav
- Main in OLMain umbenannt
- Klassen publich gemacht
2018-07-18 15:34:49 +02:00
Fayez Abu Alia
2d5f03a3e0
Bugs 89 und 90
2018-07-18 13:51:05 +02:00
Martin Plümicke
fd64b84072
modified: TYPEStmt.java
...
Bei der Addition + Abfragen eingefuegt, ob die Subtypen von Number jeweils import sind. Nur dann werden Annahmen erstellt.
modified: ../../../../../test/bytecode/javFiles/Matrix.jav
modified: ../../../../../test/bytecode/javFiles/OL.jav
2018-07-17 17:38:00 +02:00
Martin Plümicke
2a5c727400
new file: applyLambdaTest.java
...
modified: javFiles/Lambda.jav
new file: javFiles/applyLambda.jav
An das JavaTXExamples angepasst
2018-07-14 09:28:13 +02:00
Martin Plümicke
3fedbcc4a0
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
2018-07-13 11:49:43 +02:00
Martin Plümicke
4f84e60246
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-07-12 16:17:07 +02:00
Fayez Abu Alia
d373b3dbf8
merge
2018-07-10 22:26:52 +02:00
Fayez Abu Alia
7c3ca93c0b
Bug 88 gefixt.
...
new file: src/de/dhbwstuttgart/bytecode/ArgumentVisitor.java
Visitor für Argumente des Method Call einer Methode aus Standard-Bibliothek und dient dazu,
wenn die Argument eine primitive Typ besitzt dann wird unboxing gemacht.
Signatur von Konstruktoren angepasst.
2018-07-10 22:15:26 +02:00
Martin Plümicke
72a4c64c5c
modified: ../../test/bytecode/javFiles/Matrix.jav
...
Konstruktoren eingefuegt
2018-07-06 10:37:59 +02:00
Martin Plümicke
72c2e19def
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
...
src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
test/bytecode/javFiles/Lambda.jav
test/typeinference/UnifyTest.java
modified: src/de/dhbwstuttgart/.DS_Store
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
modified: src/de/dhbwstuttgart/bytecode/descriptor/DescriptorToString.java
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
modified: src/de/dhbwstuttgart/bytecode/signature/TypeToSignature.java
modified: src/de/dhbwstuttgart/bytecode/utilities/MethodFromMethodCall.java
modified: src/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/Lambda.jav
modified: test/bytecode/javFiles/Matrix.jav
modified: test/javFiles/Lambda.jav
modified: test/javFiles/Matrix.jav
modified: test/javFiles/Vector.jav
modified: test/typeinference/UnifyTest.java
2018-07-05 00:54:40 +02:00
Fayez Abu Alia
bd0bfed2cb
Matrix Test läuft. Code muss noch aufgeräumt werden
2018-07-04 22:18:16 +02:00
JanUlrich
80b4f631ed
Verzeichnis test/logfiles anfügen
2018-07-04 12:36:59 +02:00
Martin Plümicke
cee86a6b61
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-04 12:07:21 +02:00
Martin Plümicke
f1f34a6733
modified: test/javFiles/Matrix.jav
2018-07-04 12:07:11 +02:00
Martin Plümicke
1a2454e00b
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Kommentare zur Max Min optimierung rasugenommen
2018-07-04 11:47:02 +02:00
Martin Plümicke
bc1a796e28
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-07-03 11:54:24 +02:00
Fayez Abu Alia
9f53d1fdc2
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-03 11:20:33 +02:00
Fayez Abu Alia
69706ee1d2
Bug 82 gefixt und getestet. Descriptor von MethodCall von Interface korrigiert.
2018-07-03 11:15:58 +02:00
Martin Plümicke
b8e229cf3f
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../javFiles/Matrix.jav
2018-07-02 17:24:16 +02:00
Martin Plümicke
e0c5afcd6d
modified: test/bytecode/javFiles/Lambda.jav
...
modified: test/javFiles/Vector.jav
modified: test/typeinference/UnifyTest.java
2018-07-02 11:11:29 +02:00
JanUlrich
9123e222f4
Vector TEst anfügen
2018-06-28 16:47:05 +02:00
Fayez Abu Alia
29bd9a3f4f
remove logFile
2018-06-27 15:39:04 +02:00
Fayez Abu Alia
7926c25c7d
Soviel wie möglich unnötige TPHs aus Signaturen von Paramtrisierten Typen entfernt
2018-06-27 15:20:35 +02:00
Fayez Abu Alia
b4c604e2b1
Bug in der Methode simplifyPairs gefixt.
...
Bug 82 gefixt.
TPHs in paramtrisierten Typen als TypeVariablen in Signature hinzugefügt.
Lambda.jav funktioniert.
2018-06-27 14:49:22 +02:00
Martin Plümicke
d8bb4d6188
modified: test/bytecode/javFiles/Lambda.jav
...
Lambda auf apply angepasst
2018-06-23 10:54:14 +02:00
Martin Plümicke
0ecaf36648
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Bei Literal die Zuweisung des Typs eingefuegt aber wieder auskommentiert,
weil es im Moment nur double Literals gibt.
modified: test/javFiles/Lambda.jav
2018-06-23 10:42:46 +02:00
Martin Plümicke
2eb7a63480
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
FunN$$ eingefuegt
modified: src/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Methodcall einige Bugs sowohl beim apply als uch bei allen anderen gefixt.
modified: test/javFiles/Lambda.jav
2018-06-23 01:05:13 +02:00
Martin Plümicke
1991bbbcd3
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
FunN-Types werden nach RefTypes mit FunN$$ nach Unifikation zurueckkonvertiert.
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/Faculty.jav
modified: test/bytecode/javFiles/Lambda.jav
modified: test/bytecode/javFiles/OL.jav
modified: test/javFiles/Lambda.jav
2018-06-21 09:51:05 +02:00
Martin Plümicke
b5bc9fa01a
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
2018-06-20 20:27:19 +02:00
Martin Plümicke
a92521f04a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-06-20 20:06:37 +02:00
Martin Plümicke
895b5a972e
new file: doc/PluginBau.pdf
...
modified: src/de/dhbwstuttgart/typedeployment/TypeInsert.java
modified: src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java
equals Methoden eingefuegt um Marker nur einmal im Plugin zu haben
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/OL.jav
modified: test/typeinference/UnifyTest.java
2018-06-20 19:52:58 +02:00
Fayez Abu Alia
11649b39d3
generateBCForFun() um Parameter path erweitert.
2018-06-20 18:15:44 +02:00
Fayez Abu Alia
303cfa5409
log entfernt
2018-06-20 18:08:25 +02:00
Fayez Abu Alia
660ef68f7e
generateBytecode() um Parameter path erweitert. Alle Tests angepasst
2018-06-20 18:07:17 +02:00
Fayez Abu Alia
23eab0c9a4
TPHs, die nicht in ParameterListe der Methode vorkommen, werden in Signature geschrieben
2018-06-19 14:56:22 +02:00
Fayez Abu Alia
162ca3eb27
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-06-19 13:32:24 +02:00
Fayez Abu Alia
6d70464a1c
TPH X < TPH Y <...< TPH Z vereinfacht => TPH X < TPH Z und Signature-Erzeugung wird angepasst
2018-06-19 13:31:39 +02:00
Martin Plümicke
1437788f5a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-06-18 11:50:55 +02:00
Martin Plümicke
04d3ac84e7
jeweils apply eingefuegt, was nicht funktioniert
...
modified: ../../test/typeinference/UnifyTest.java
Matrix auskommentiert und Lambda einkommentiert
2018-06-15 16:19:12 +02:00
Fayez Abu Alia
2db5ecc260
logFile deleted
2018-06-13 15:51:59 +02:00
Fayez Abu Alia
b325e205a1
Bugs gefixt. Bytecode-Erzeugung für MethodCall ergänzt. Bytecode für Matrix-Test (Funktioniert noch nicht ganzErzeugung Signatures und Descriptors verbessert
2018-06-13 15:50:05 +02:00
Fayez Abu Alia
ff2bca5ce5
Alle TPHS einer Methode und pairs (TPH < SuperTPH) werden gesammelt,
...
gemeinsamme TPHs werden bestimmt, die Klassenkopf als Type-Variables
definiert werden sollen.
Erzeugung von Signature angepasst.
2018-06-12 11:41:59 +02:00
JanUlrich
1ca7fba835
Generics fix
2018-05-30 16:10:20 +02:00
JanUlrich
98eb1827b8
Fix Generics parsing
2018-05-30 15:57:51 +02:00
JanUlrich
ee1fa17aba
Implement convert(ClassOrInterfaceType)
2018-05-30 15:29:59 +02:00
Fayez Abu Alia
66078360da
Alle TPH der Methode werden in eine Liste gespeichert.
...
Bug gefixt => FacTest liefert richtiges Ergebnis.
Deskriptoren von Methoden, in denen TPHs auftauchen, werden erzeugt.
Signaturen von von Methoden, in denen TPHs auftauchen, werden erzeugt.
Test, RückagbeTypen der Methoden = TPH und ParameterTypen = TPH.
2018-05-30 15:27:21 +02:00
JanUlrich
26f24db0a3
Kleiner Fix am ASTWalker
2018-05-28 17:08:20 +02:00
JanUlrich
c7042d185f
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-05-28 16:18:49 +02:00
JanUlrich
7e3fca2da9
Hotfix für Typparsen Problem
2018-05-28 16:18:33 +02:00
JanUlrich
ad42282485
Test
2018-05-28 15:55:14 +02:00
832623a738
ClassOrInterface muss im Modifier INTERFACE haben, wenn isInterface gesetzt ist
2018-05-16 15:37:46 +02:00
35d5fb2f03
Fehler in ASTFactory mit Generischen FEldern beheben
2018-05-07 15:12:07 +02:00
c8728bab10
Testfall fix
2018-05-07 12:51:29 +02:00
JanUlrich
92693c2c15
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-04-18 14:08:25 +02:00
JanUlrich
50a1f979a0
Fehler beim Parsen beheben
2018-04-18 14:08:12 +02:00
JanUlrich
f40c82af4a
Matrix Test anpassen
2018-04-12 20:06:37 +02:00
JanUlrich
3e829eee54
Tests anpassen
2018-03-23 17:45:41 +01:00
JanUlrich
7ff3f22db5
Fehler in FCGenerator beheben
2018-03-23 17:20:35 +01:00