JavaPatternMatching

i21012/JavaPatternMatching

Fork 0

forked from JavaTX/JavaCompilerCore

Commit Graph

Select branches

Hide Pull Requests

UnifyAllSolutions

UnifyDependentSubstitutions

addPackages

antlr

antlr2

astRecordRefactoring

bcGenerics

bcel

bigCleanup

bigRefactoring

bigRefactoringUnifyComment

bytecode

bytecode2

bytecodeGenerics

bytecodeGenericsSecond

classfile

classloader

fixPlugin

generateTestConstraints

gradle

inferWildcards

intellij

martin

master

ohneMaven

parseSignature

parser

patternMatching

plugin

refactorToAPIs

refactoring

refactoring2020

refactoringConstraintSet

refactoringUnify

sat

simplifyRes

strucTypes

strucTypesNew

strucTypesTemp

strucTypesVollmer

strucTypes_dev2

strucTypes_dev_PL

targetBytecode

typeErasure

unif23

unif23Full

unif23NoOptParallel

unif23NoOptParallel_Lehmann

unify

unify-PartialOrderSet

unify-test

unifyDev

unifyOptimierung

unifyStable

e9bcea4b9e modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java AluAli 2020-12-21 14:06:47 +0100
1c9bc90201 Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics JanUlrich 2020-12-18 09:12:30 +0100
5bfe2c906e Add Cycle Test JanUlrich 2020-12-18 09:12:23 +0100
d671e74fcf modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-12-04 16:44:46 +0100
c2f0368d2e modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-12-04 14:59:09 +0100
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 AluAli 2020-12-04 14:25:37 +0100
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 AluAli 2020-12-04 13:17:31 +0100
c0c24eed3b modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-12-04 11:00:12 +0100
af36b43786 modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java AluAli 2020-11-30 12:32:35 +0100
997d3b9bea modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-11-27 15:52:31 +0100
ed7cc55139 modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java AluAli 2020-11-27 15:29:07 +0100
29a7f2e7fb modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-11-27 14:10:31 +0100
4ac67120a4 modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-11-13 17:24:41 +0100
f0db6cb901 modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java AluAli 2020-11-13 16:22:23 +0100
2e5581ab6e modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-11-13 15:29:01 +0100
e8ac8e3c5a modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-11-13 13:50:36 +0100
a4bc49f5c4 modified: src/main/java/de/dhbwstuttgart/bytecode/insertGenerics/FamilyOfGeneratedGenerics.java modified: src/test/java/insertGenerics/FamilyOfGeneratedGenericsTest.java AluAli 2020-11-13 00:43:49 +0100
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 AluAli 2020-11-06 18:13:21 +0100
531b1ccd22 Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics JanUlrich 2020-11-06 16:34:42 +0100
7ced6338cb Add Test case for FamilyOfGenerics JanUlrich 2020-11-06 16:34:32 +0100
0550f73ef7 modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java AluAli 2020-11-06 16:33:05 +0100
b91aadf24a Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics JanUlrich 2020-11-06 15:26:25 +0100
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 AluAli 2020-11-06 15:22:36 +0100
e617a0911a modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/ClassConstraint.java modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java AluAli 2020-11-06 11:51:04 +0100
7cf46b02b7 modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java AluAli 2020-11-06 11:24:21 +0100
8cf57ba35b Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics JanUlrich 2020-11-06 10:45:50 +0100
486d7d9011 modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java AluAli 2020-11-06 00:58:04 +0100
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 AluAli 2020-11-01 14:09:27 +0100
8d25920a87 Add Hashcode methods JanUlrich 2020-10-30 15:44:46 +0100
ab9e9e16bd Merge branch 'bytecodeGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics AluAli 2020-10-30 10:52:39 +0100
b45964ed5f Template für FamilyOfGenerics Test JanUlrich 2020-10-30 10:52:03 +0100
0ecd3916f8 modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/ClassConstraint.java modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java AluAli 2020-10-30 09:41:09 +0100
c86fe95da5 modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java AluAli 2020-10-29 19:43:50 +0100
d677d053d6 modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java modified: src/main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java AluAli 2020-10-29 19:40:46 +0100
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 AluAli 2020-10-23 10:42:24 +0200
7900449897 modified: src/main/java/de/dhbwstuttgart/bytecode/gGenericsAli/FamilyOfGeneratedGenerics.java AluAli 2020-10-23 00:11:54 +0200
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 AluAli 2020-10-22 22:13:05 +0200
1d7c894f39 modified: ../../../../main/java/de/dhbwstuttgart/bytecode/genericsGenerator/GeneratedGenericsFinder.java pl@gohorb.ba-horb.de 2020-10-16 15:55:22 +0200
61f35f8f8b Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecodeGenerics AluAli 2020-10-16 15:37:53 +0200
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 AluAli 2020-10-16 15:13:50 +0200
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 pl@gohorb.ba-horb.de 2020-10-16 14:54:36 +0200
6e91e5c683 Merge addPackages, simplifyRes und bigRefactoring JanUlrich 2020-10-01 10:11:20 +0200
e4908557f4 Merge addPackages and simplifyRes and clear project JanUlrich 2020-09-30 03:45:01 +0200
ed550b1097 Aufräumen JanUlrich 2020-09-30 03:32:57 +0200
5fa1cf11ef Merge branch 'simplifyRes' into bigRefactoring JanUlrich 2020-09-25 18:48:28 +0200
e634f2ca67 Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages addPackages pl@gohorb.ba-horb.de 2020-09-25 15:30:13 +0200
c964fa7ce2 modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/test/java/AllgemeinTest.java modified: src/test/java/bytecode/MatrixTest.java pl@gohorb.ba-horb.de 2020-09-25 15:29:41 +0200
941a3bed66 Add ANTLR parser generator output to gitignore JanUlrich 2020-09-17 10:58:44 +0200
653901ef32 modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java alten Code geloescht pl@gohorb.ba-horb.de 2020-05-13 14:07:22 +0200
2e03b5b10c modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java auskommentierten Code geloescht pl@gohorb.ba-horb.de 2020-05-12 17:35:28 +0200
670e3ed99f modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java pl@gohorb.ba-horb.de 2020-05-12 17:25:04 +0200
c8ece0a010 new file: ../../../java/bytecode/InheritTest2.java modified: AA.jav modified: CC.jav new file: Inherit2.jav pl@gohorb.ba-horb.de 2020-05-12 10:02:41 +0200
c27e1fa4e1 modified: ../../../java/bytecode/InheritTest.java modified: Inherit.jav Funktioniert soweit pl@gohorb.ba-horb.de 2020-05-11 17:54:37 +0200
b3b25b7869 Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages pl@gohorb.ba-horb.de 2020-05-11 13:47:16 +0200
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 pl@gohorb.ba-horb.de 2020-05-11 13:45:19 +0200
a0a813f87c Inherit Test update JanUlrich 2020-05-08 11:35:21 +0200
60b182b9b1 Kleiner Hack für Inherit test JanUlrich 2020-05-08 11:26:07 +0200
8e2d4e1c70 modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java new file: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingExtend.java pl@gohorb.ba-horb.de 2020-05-08 11:04:05 +0200
907ab2fcec modified: ../../../java/bytecode/InheritTest.java modified: ../../bytecode/javFiles/Inherit.jav pl@gohorb.ba-horb.de 2020-05-08 10:19:00 +0200
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 pl@gohorb.ba-horb.de 2020-05-07 16:29:00 +0200
71c801c19c modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java pl@gohorb.ba-horb.de 2020-05-06 19:25:19 +0200
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 pl@gohorb.ba-horb.de 2020-05-06 19:22:08 +0200
ccf5df1f1e new file: ../../../java/bytecode/InheritTest.java modified: ../../../java/bytecode/PutTest.java new file: ../../bytecode/javFiles/Inherit.jav pl@gohorb.ba-horb.de 2020-05-05 18:43:39 +0200
3de735ebe3 modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java new file: ../../../java/bytecode/PutTest.java new file: ../../bytecode/javFiles/Put.jav pl@gohorb.ba-horb.de 2020-05-05 18:06:05 +0200
fd3d4e97a1 modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java isInherited für ? extends wieder mit gleich gesetzt pl@gohorb.ba-horb.de 2020-05-05 17:14:52 +0200
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 pl@gohorb.ba-horb.de 2020-05-04 17:02:15 +0200
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 pl@gohorb.ba-horb.de 2020-05-01 22:55:25 +0200
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 pl@gohorb.ba-horb.de 2020-04-27 22:17:37 +0200
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 pl@gohorb.ba-horb.de 2020-04-24 23:05:42 +0200
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 pl@gohorb.ba-horb.de 2020-04-20 14:29:15 +0200
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 simplifyRes pl@gohorb.ba-horb.de 2020-04-14 18:28:16 +0200
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 pl@gohorb.ba-horb.de 2020-04-14 16:47:25 +0200
cdc6a3f2dd Merge branch 'simplifyRes' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into simplifyRes pl@gohorb.ba-horb.de 2020-04-13 16:23:09 +0200
cc6156695d modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java INSTANCE auf sich selber geloescht pl@gohorb.ba-horb.de 2020-04-13 16:22:10 +0200
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 pl@gohorb.ba-horb.de 2020-04-13 16:08:42 +0200
0861f74ce7 Bug 171: Beim Typeinsert werden Marker jetzt richtig verschoben. michael 2020-04-02 22:20:31 +0200
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 pl@gohorb.ba-horb.de 2020-03-30 16:17:52 +0200
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 pl@gohorb.ba-horb.de 2020-03-30 13:28:13 +0200
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. pl@gohorb.ba-horb.de 2020-03-29 11:05:52 +0200
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 pl@gohorb.ba-horb.de 2020-03-28 00:16:43 +0100
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. pl@gohorb.ba-horb.de 2020-03-26 17:23:56 +0100
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 pl@gohorb.ba-horb.de 2020-03-26 12:44:56 +0100
a11dc1ab22 Newer version of antlr. michael 2020-03-21 16:56:34 +0100
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 pl@gohorb.ba-horb.de 2020-03-19 18:36:20 +0100
ed1bb44089 modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java pl@gohorb.ba-horb.de 2020-03-19 17:03:54 +0100
fe1154d212 Start fixing error where classes are loaded before java files classloader JanUlrich 2020-03-19 16:50:49 +0100
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 pl@gohorb.ba-horb.de 2020-03-18 17:36:10 +0100
e4e3704c7b modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java Umbau TYPEStmt Methods begonnen pl@gohorb.ba-horb.de 2020-03-17 14:06:21 +0100
21bc3e5193 modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Reigenfolge der der nextSets angepasst pl@gohorb.ba-horb.de 2020-03-13 15:57:27 +0100
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' pl@gohorb.ba-horb.de 2020-03-13 14:04:57 +0100
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 pl@gohorb.ba-horb.de 2020-03-12 10:18:48 +0100
d63c27579c modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java Typen der Methoden der Oder-Constraiunts benutzen wieder rueckgaenig gemacht pl@gohorb.ba-horb.de 2020-03-09 18:30:36 +0100
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. pl@gohorb.ba-horb.de 2020-03-09 14:06:41 +0100
df0d02cdea Revert " modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java" pl@gohorb.ba-horb.de 2020-03-06 13:57:01 +0100
6afee86066 new file: PluginBau.docx pl@gohorb.ba-horb.de 2020-03-03 15:42:07 +0100
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 pl@gohorb.ba-horb.de 2020-03-03 14:52:11 +0100
e07df035ea Check for null list. Crash fix. michael 2020-03-03 10:26:00 +0100
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 pl@gohorb.ba-horb.de 2020-02-29 22:22:37 +0100
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. pl@gohorb.ba-horb.de 2020-02-07 18:17:58 +0100
98997d686f modified: ../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java Lokale Variablen eingefuegt pl@gohorb.ba-horb.de 2020-02-07 17:46:11 +0100