JavaCompilerCore

Author	SHA1	Message	Date
pl@gohorb.ba-horb.de	5500180c6b	modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2020-01-15 20:47:39 +01:00
JanUlrich	0c1ca3d200	Fehler beheben und DirecotryClassLoader anfügen	2020-01-12 22:49:51 +01:00
JanUlrich	f3d6fcb417	add -classpath to ConsoleInterface. Fix bug	2020-01-11 20:19:23 +01:00
pl@gohorb.ba-horb.de	647c9e6c21	modified: ../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java .replace("/", ".")); anegfuegt, damit auch bei packages superklassen gefunden erden.	2020-01-08 14:47:03 +01:00
pl@gohorb.ba-horb.de	6779f10b08	modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java Bug "." wird in replaceAll nicht ersetzt, deshalb "/" durch "." und nicht "." durch "/" ersetzt. modified: ../../../java/packages/OLTest.java modified: ../../../java/packages/mathStrucVectorTest.java renamed: de/test/OL.jav -> OL.jav renamed: de/test/OLMain.jav -> OLMain.jav OL ins default-Package verschoben	2020-01-07 18:37:43 +01:00
pl@gohorb.ba-horb.de	ac3f8ece0e	Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages	2020-01-07 11:20:31 +01:00
JanUlrich	f63346649b	Fix loading packages from same package	2020-01-06 22:04:29 +01:00
JanUlrich	abdff6c8d2	Fixed bug #184	2020-01-03 01:12:58 +01:00
JanUlrich	691d31df5e	Die getRegistry Methode der CompilationEnvironment Klasse beachtet jetzt auch alle .class Files, welche sich im gleichen Ordner befinden	2020-01-03 01:08:00 +01:00
JanUlrich	2e421cccaa	Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages	2019-12-30 19:20:46 +01:00
pl@gohorb.ba-horb.de	bd0b2e6058	new file: ../../../../../../../../java/packages/OLTest.java new file: ../../../OL.jav new file: ../../../OLMain.jav	2019-12-30 10:45:32 +01:00
pl@gohorb.ba-horb.de	0c9c8ef321	modified: ../../../../../../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java Bug 182 fixed modified: ../../../mathStrucVector.jav modified: ../../../vectorAdd.jav kleine Aenderungen	2019-12-29 19:42:40 +01:00
JanUlrich	4b4087ae24	Trying to add Names that are not imported to availableClasses (unfinished)	2019-12-27 18:51:04 +01:00
JanUlrich	19989bfe11	Add Console Interface parameters, output directory and classpath	2019-12-26 19:43:00 +01:00
JanUlrich	f59a7d221e	Fix bug #181	2019-12-26 15:22:40 +01:00
pl@gohorb.ba-horb.de	c1c12fa33c	new file: mathStrucVectorTest.java new file: ../../resources/javFiles/packageTest/de/test/mathStruc.jav new file: ../../resources/javFiles/packageTest/de/test/mathStrucVector.jav new file: ../../resources/javFiles/packageTest/de/test/vectorAdd.jav	2019-12-23 16:34:07 +01:00
pl@gohorb.ba-horb.de	7fd03d505e	Merge branch 'addPackages' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into addPackages	2019-12-23 11:25:36 +01:00
pl@gohorb.ba-horb.de	4391adfb0f	modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/test/resources/bytecode/javFiles/OL.jav	2019-12-23 11:25:07 +01:00
JanUlrich	d0b6dbcd30	Tests anfügen und Bugs fixen	2019-12-22 23:23:10 +01:00
JanUlrich	306af907c5	Nicht mit mehreren Eingabedateien testen	2019-12-22 22:32:40 +01:00
JanUlrich	75eaee6644	Abgabeprotokoll	2019-12-22 17:59:40 +01:00
JanUlrich	0378c17e7d	ClassLoader austauschen gegen den Classloader, welcher in JavaCompilerCore erstellt wird	2019-12-22 14:27:54 +01:00
JanUlrich	afd2c21ca8	Add classPath option to JavaTXCompiler and parse with URLClassLoader	2019-12-16 00:54:00 +01:00
JanUlrich	bb75fca0d7	Add ImportTest	2019-12-15 14:57:12 +01:00
JanUlrich	c82abcaae5	Generate Package names in .class files	2019-12-15 14:55:49 +01:00
JanUlrich	a3b4ea9b1c	[Bytecde] Generate new directory if given output path doesnt exist yet	2019-12-14 17:50:23 +01:00
JanUlrich	af5b23e31a	Use JavaClassName instead of Strings	2019-12-14 16:30:14 +01:00
pl@gohorb.ba-horb.de	084b54d295	modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/visual/OutputGenerator.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java einige Korrekturen	2019-12-09 15:54:22 +01:00
michael	e305c3cb55	[MINOR]: Optimized imports.	2019-12-09 13:52:37 +01:00
michael	835f0755da	Merge branch 'simplifyRes' of uhl@gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into simplifyRes	2019-12-06 20:22:52 +01:00
michael	14b127390e	[MINOR]: Umlaute in Kommentaren korrigiert.	2019-12-06 20:22:33 +01:00
pl@gohorb.ba-horb.de	0c1337f84b	Merge branch 'simplifyRes' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into simplifyRes	2019-12-06 13:09:55 +01:00
pl@gohorb.ba-horb.de	5c1015b51e	modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java - fieldType = TypePlaceholder.fresh(fieldDeclarationContext.getStart()); + fieldType = TypePlaceholder.fresh(fieldDeclarationContext.variableDeclaratorList().getStart()); //PL 2019-12-06: variableDeclaratorList() eingefuegt, um als Token nicht die Modifier zu bekommen	2019-12-06 12:57:07 +01:00
michael	c52da7951a	Bug 176 - Argumente mit Typvariabelen werden die Generics einschließlich Bounds immer bei den Argumenten eingefügt	2019-12-05 21:51:53 +01:00
michael	6cbabee65a	Merge remote-tracking branch 'origin/bigRefactoring' into simplifyRes	2019-12-02 20:15:33 +01:00
michael	c18daad047	Korrektur der Ersetzung.	2019-12-02 15:32:18 +01:00
JanUlrich	09a6aec65d	Erste Tests und die Möglichkeit generateBytecode null als Pfad zu übergeben	2019-11-24 17:52:02 +01:00
JanUlrich	766e71bb3a	Beginn mit Werksvertrag: Package Support	2019-11-19 21:53:53 +01:00
JanUlrich	802d7726d4	Merge branch 'bigRefactoring' into addPackages	2019-11-19 21:51:14 +01:00
pl@gohorb.ba-horb.de	c68d773486	modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Threadsteuerung veranendert, so dass möglichst veile Threads gleichzeitig laufen. Müsste noch verbessert werden können.	2019-11-18 14:37:59 +01:00
Michael Uhl	52b3498dfb	Vor Fertigstellung Ersetzung Generics.	2019-11-14 14:04:09 +01:00
pl@gohorb.ba-horb.de	00bbd5279f	modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java log-File-Ausgabe etwas ergaenzt modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java Fehler korrigiert, dass alle Fieldinitializer bei mehreren Klassen additiv hinzugefuegt werden modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/This.java toString veranedert modified: src/test/resources/bytecode/javFiles/mathStruc.jav leichte Korrektur new file: src/test/java/bytecode/mathStrucIntegerTest.java new file: src/test/resources/bytecode/javFiles/mathStrucInteger.jav mathStruc auf Integer angewandt new file: src/test/resources/bytecode/javFiles/mathStrucMatrixOP.jav mathStruc auf MatrixOP angewandt, laeuft noch nicht durch, des halb Test noch nicht eingecheckt	2019-10-24 17:47:51 +02:00
pl@gohorb.ba-horb.de	6c783a18c7	new file: ../../../../../PlugInBau.txt modified: ../../bytecode/javFiles/Faculty.jav modified: ../../bytecode/javFiles/OL.jav modified: ../../bytecode/javFiles/Y.jav modified: ../../bytecode/javFiles/mathStruc.jav	2019-10-22 16:44:38 +02:00
Fayez Abu Alia	8c195601d5	Fixed signature problem for FunN	2019-10-12 11:32:56 +02:00
pl@gohorb.ba-horb.de	37f8f2e1e0	modified: ../../bytecode/javFiles/Y.jav Anwendung von Y eingefuegt.	2019-09-19 13:57:49 +02:00
Fayez Abu Alia	0903efda0d	Fixed bug 115	2019-09-19 13:00:35 +02:00
Michael Uhl	6e9eae38ca	Compile fix.	2019-09-17 09:46:47 +02:00
Michael Uhl	0138e4fe2d	Merge branch 'bytecode2' into simplifyRes	2019-09-17 09:41:08 +02:00
Michael Uhl	9741b5e14e	Merge remote-tracking branch 'origin/bytecode2' into simplifyRes Conflicts: src/main/java/de/dhbwstuttgart/bytecode/simplifyRes/GenericGenratorResultForSourceFile.java src/main/java/de/dhbwstuttgart/bytecode/simplifyRes/GenericsGeneratorResultForClass.java	2019-09-17 09:36:56 +02:00
Fayez Abu Alia	c2030123d5	Fixed bugs 163 and 169	2019-09-17 09:33:18 +02:00
Michael Uhl	25fb7a2e28	Plugin: Additional generic insert points.	2019-09-16 11:52:34 +02:00
Fayez Abu Alia	d1637b8eb9	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-08-29 11:50:23 +02:00
Fayez Abu Alia	9abda637a1	Generic generator algorithm - fixed bug	2019-08-29 10:49:18 +02:00
pl@gohorb.ba-horb.de	82c0837d1f	mathStruc.jav hinzugefügt	2019-08-23 15:06:54 +02:00
Fayez Abu Alia	a41e9804a0	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-07-31 13:18:07 +02:00
Fayez Abu Alia	25c685c705	Merged with simplifyRes and cleaned up code	2019-07-31 13:16:14 +02:00
Fayez Abu Alia	3ecb202a90	Generic generator algorithm v1	2019-07-31 11:55:24 +02:00
Fayez Abu Alia	efdb58e67c	Added throw Exception to method getSimplifyResultsByName	2019-07-31 10:33:43 +02:00
Fayez Abu Alia	eed8f32cb7	Merge branch 'simplifyRes' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into simplifyRes	2019-07-31 10:27:43 +02:00
Fayez Abu Alia	87d0a46ba5	Generic generator algorithm v0.1	2019-07-31 10:24:58 +02:00
Michael Uhl	5b75250fcf	Merge branch 'bigRefactoring' into simplifyRes # Conflicts: # src/main/java/de/dhbwstuttgart/bytecode/utilities/SimplifyResult.java # src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java	2019-07-29 16:21:25 +02:00
Michael Uhl	7f29b39195	Generic Method inserts.	2019-07-26 10:12:53 +02:00
Fayez Abu Alia	7a4bc32974	Generic generator algorithm v0.1	2019-07-25 22:24:06 +02:00
Fayez Abu Alia	dfddc44f29	Separated the algorithm into two parts. Part 1 is the simplification of the constraints and part 2 is generation of generics.	2019-07-12 19:50:46 +02:00
Fayez Abu Alia	347d86a379	Genericsgenerator step 2 and 3	2019-07-11 15:52:38 +02:00
Fayez Abu Alia	d77f2176f2	Generics generator step 1	2019-07-10 15:26:16 +02:00
Fayez Abu Alia	4f39eccecb	Removed an old getter method	2019-07-05 13:45:24 +02:00
Fayez Abu Alia	669e7f111f	Separated the generation of bytecode and the calculation of simplify results from each other	2019-07-05 13:29:34 +02:00
pl@gohorb.ba-horb.de	32d12677bf	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-06-28 11:41:47 +02:00
pl@gohorb.ba-horb.de	92b2f5c9cc	modified: src/test/resources/bytecode/javFiles/Faculty.jav } eingefuegt	2019-06-28 11:41:19 +02:00
Fayez Abu Alia	c1e6526b43	Removed unnecessary tests	2019-06-26 12:18:49 +02:00
Fayez Abu Alia	0194e30206	Fixed Bug 150.	2019-06-26 12:16:47 +02:00
Fayez Abu Alia	3c36c61077	Fixed Bugs 159, 162 and 163	2019-06-13 14:01:32 +02:00
Fayez Abu Alia	857d63322e	Fixed Bug 152 Faculty Probleme	2019-06-07 10:28:48 +02:00
Fayez Abu Alia	b801e144c3	Merged with bigRefactoring. Added method to generate signature to FunN-Interfaces. Adapted jav-Files.	2019-06-06 12:15:51 +02:00
Martin Plümicke	f6669f8c13	new file: ../../../java/bytecode/VectorAddTest.java	2019-06-05 10:28:51 +02:00
Martin Plümicke	2b7aef5e87	modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Pfad fuer logFile nach JavaCompilerCore/logFiles verlegt. modified: ../../bytecode/javFiles/OL.jav modified: ../../bytecode/javFiles/VectorAdd.jav	2019-06-05 10:21:25 +02:00
Michael Uhl	0233426979	Merge remote-tracking branch 'origin/bigRefactoring' into bigRefactoring	2019-05-14 21:54:41 +02:00
Michael Uhl	3d0d11adb7	Code aufgeräumt.	2019-05-14 21:43:32 +02:00
Martin Plümicke	212144db86	renamed: test/java/bytecode/FunOLTest.java -> test/java/bytecode/OLFunTest.java new file: test/resources/bytecode/javFiles/OLFun.jav	2019-05-14 20:30:32 +02:00
Martin Plümicke	bd0517ae29	modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java log-File in anderen Pfad modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java substitutions gekapselt	2019-05-14 19:54:51 +02:00
Martin Plümicke	f210dd3c25	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java try der Nullpointer-Exception erweitert.	2019-05-13 11:11:47 +02:00
Martin Plümicke	4602e95f09	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2019-05-12 20:00:03 +02:00
Martin Plümicke	1ef228a045	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java public volatile UnifyTaskModel usedTasks = new UnifyTaskModel(); auf publich gesetzt	2019-05-12 19:54:30 +02:00
Martin Plümicke	c3c0a11572	Debugabfrage entfernt, die Exception ausgeloest hat modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java Methoden synchronized gemacht	2019-05-12 19:15:26 +02:00
Martin Plümicke	d14406e474	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../resources/bytecode/javFiles/MatrixOP.jav	2019-05-10 21:23:28 +02:00
Martin Plümicke	a149b0c391	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java Eigenen Cancel-Mechanismus implementiert	2019-05-10 21:02:24 +02:00
pl@gohorb.ba-horb.de	bfbce81409	Abbruch aller Threads eingebaut modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModel.java	2019-05-10 16:30:55 +02:00
Martin Plümicke	985704c0b0	modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Wen kein Import für die Addition vorhanden ist, wird Fehler ausgegeben	2019-05-08 08:58:19 +02:00
Michael Uhl	1f20fecfee	ResultPair durchgeschleift.	2019-05-07 10:38:25 +02:00
Michael Uhl	4b8b0ec362	ConcurrentModificationException umgangen.	2019-05-05 22:33:16 +02:00
Michael Uhl	e48f2b2fd5	Merge remote-tracking branch 'origin/bigRefactoring' into bigRefactoring # Conflicts: # src/main/java/de/dhbwstuttgart/bytecode/BytecodeGen.java	2019-04-27 16:33:20 +02:00
Michael Uhl	11bee80969	Bytecode-Generierung generiert jetzt wieder Bytecode für alle möglichen Typen.	2019-04-27 16:29:38 +02:00
Martin Plümicke	448c489a49	modified: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java modified: src/test/resources/bytecode/javFiles/Lambda.jav modified: src/test/resources/bytecode/javFiles/MatrixOP.jav modified: src/test/resources/bytecode/javFiles/OL.jav	2019-04-27 15:44:21 +02:00
pl@gohorb.ba-horb.de	1e1eb2a2f2	geändert: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java	2019-04-27 14:51:25 +02:00
pl@gohorb.ba-horb.de	4a7c124fd6	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring	2019-04-27 09:51:22 +02:00
pl@gohorb.ba-horb.de	7d01c866a9	modified: ../src/test/resources/bytecode/javFiles/Id.jav modified: ../src/test/resources/bytecode/javFiles/Matrix.jav modified: ../src/test/resources/bytecode/javFiles/MatrixOP.jav modified: ../src/test/resources/bytecode/javFiles/OL.jav	2019-04-26 14:12:46 +02:00
Fayez Abu Alia	73f412d22d	Klassendatei fuer FunN beim Methodaufruf wird erzeugt, wenn der Receiver den Typ FunN besitzt. Die Loesung vom Duplicate Field Problem wird angepasst.	2019-04-26 11:56:58 +02:00
Fayez Abu Alia	9ffc74467b	Wenn ein Attribut mehrere Loesungen bekommt, wird die Bytecodeerzeugung abgebrochen und ensprechende Exception geworfen.	2019-04-26 10:27:15 +02:00
Fayez Abu Alia	5950fcc0a9	Neue Klasse MethodCallHelper und Exceptions definiert, die fuer die Uebersetzung von MethodCalls verwendet werden	2019-04-24 15:43:00 +02:00
Martin Plümicke	d2fb17ad4e	Merge branch 'bcGenerics' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics	2019-04-21 22:32:20 +02:00
Martin Plümicke	d9f084cd0f	modified: ../../bytecode/javFiles/Faculty.jav neue Imports hinzugefuegt	2019-04-21 22:31:55 +02:00
Michael Uhl	481986e8ab	Kein Compileraufruf bei Type-Insert - ResultPairMap wird wieder geleeert.	2019-04-20 17:22:10 +02:00
Michael Uhl	23c37a8cc2	Richtiges Einsetzen ohne Speichern.	2019-04-19 20:49:28 +02:00
Fayez Abu Alia	6a519ff6dc	Ein Feld wird nur einmal in Bytecode uebersetzt. genIns in ResultSet wird angepasst.	2019-04-18 13:17:50 +02:00
Fayez Abu Alia	5b527ec8ab	Merge branch 'bcGenerics' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics	2019-04-18 10:50:02 +02:00
Fayez Abu Alia	709041f024	Adapted TypedID jav-file	2019-04-18 10:48:59 +02:00
Michael Uhl	905d9e25a2	[PLUGIN]: Filter type insert points after insertion.	2019-04-18 09:48:56 +02:00
Martin Plümicke	e086ff187e	modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/ResolvedType.java Attribut additionalGenerics auskommentiert.	2019-04-12 10:41:42 +02:00
Martin Plümicke	588212389a	Die Bestimmung der Constraints aus dem ResolvedType herausgenommen und im ResultSet integriert. Damit kommen immer die gleichen Constraints raus. Diese werden ohnehin in der Bytecodegenerierung nochmals ausgewertet. modified: ../../../../main/java/de/dhbwstuttgart/bytecode/TPHExtractor.java Zugriff auf Constraints ueber ResultSet eingefuehrt modified: ../../../../main/java/de/dhbwstuttgart/bytecode/signature/Signature.java Zugriff auf Constraints ueber ResultSet eingefuehrt modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/GenericInsertPair.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/PairTPHequalRefTypeOrWildcardType.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/PairTPHsmallerTPH.java toString veraendert modified: ../../../../main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java Attribut genIns eingefuehrt, indem alle GenericInsertPairs gespeichert werden, die Form (TPH a <. TPH b) im Attribut results haben modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../bytecode/javFiles/Id.jav modified: ../../bytecode/javFiles/MatrixOP.jav	2019-04-12 10:28:39 +02:00
Martin Plümicke	1454281628	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bcGenerics	2019-04-11 11:57:30 +02:00
Fayez Abu Alia	602216d9e2	Generics beruecksichtigt	2019-04-11 11:26:54 +02:00
Martin Plümicke	e53c29f582	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Typeinference-Exception eingefuegt, wenn kein korrekter Typ inferierbar ist. modified: ../../resources/bytecode/javFiles/Id.jav	2019-04-06 00:53:35 +02:00
Martin Plümicke	656c77d16b	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring	2019-04-05 12:52:28 +02:00
Fayez Abu Alia	9d16855ce2	Bug in Matrix gefixt	2019-04-05 12:38:29 +02:00
Fayez Abu Alia	9d2fdf9692	Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-04-05 12:06:22 +02:00
Fayez Abu Alia	5c5b1ea2b1	IdTest funktioniert	2019-04-05 12:05:07 +02:00
Martin Plümicke	2e2227b701	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-04-05 12:00:30 +02:00
Martin Plümicke	16baa5eaa8	modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java Konstruktur fuer ReferenceType mit zwei Argumenten versehen, um Generice unterscheiden zu können.	2019-04-05 11:59:34 +02:00
Fayez Abu Alia	588b9ef83a	Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-04-05 10:44:52 +02:00
Fayez Abu Alia	ee932892c6	subString durch contains ersetzt	2019-04-05 10:43:09 +02:00
Martin Plümicke	547ad9601a	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-04-04 14:08:31 +02:00
Michael Uhl	6c94404f27	[MINOR]: Optimized imports.	2019-03-31 11:45:49 +02:00
Michael Uhl	2b5b677682	Für Eclipse-Plugin: Vorläufige Lösung zum Einsetzen von Generics nur an Klassen ausgeschaltet.	2019-03-31 11:39:57 +02:00
Martin Plümicke	1edc023ed9	modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java Generische Typvariablen im Unify durch Tag im ReferenceType eingefuehrt	2019-03-28 17:44:42 +01:00
Martin Plümicke	df0f26c021	:w:wq	2019-03-28 16:55:48 +01:00
Martin Plümicke	0f1526daa2	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java deleted: .gitignore	2019-03-28 15:44:03 +01:00
Michael Uhl	53d1f20a40	Merge remote-tracking branch 'origin/bytecode2' into bytecode2	2019-03-28 14:56:47 +01:00
Michael Uhl	ec4defd087	Getter and setter for token.	2019-03-28 14:56:36 +01:00
Fayez Abu Alia	6a2a8313e6	Generics werden in Signature richtig dargestellt und die passende Deskriptoren werden richtig erzeugt	2019-03-28 14:07:04 +01:00
Fayez Abu Alia	d4a59517d3	Wenn die Klasse keine Generics besitzt und Methoden besitzen Generics wird eine new SimplifyResult Instanz erzeugt, da sonst eine NullException aufgelöst wird	2019-03-21 12:23:50 +01:00
Fayez Abu Alia	f4b5124fd3	Merge branch 'bytecode2' of ssh://abualia@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-03-21 12:06:01 +01:00
Fayez Abu Alia	c921330b55	Methode getSimplifyList definiert, die eine Liste von Ergebnisse des Simplify-Alg zurueckliefert	2019-03-21 12:03:13 +01:00
Martin Plümicke	4ba4292db4	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring	2019-03-20 16:30:21 +01:00
Martin Plümicke	57b5a51895	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java	2019-03-20 16:24:55 +01:00
Martin Plümicke	986ce8e6e0	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2019-03-20 14:35:50 +01:00
Martin Plümicke	8a6646bd7c	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java	2019-03-20 13:00:08 +01:00
Martin Plümicke	01a548215a	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring	2019-03-20 12:53:35 +01:00
Martin Plümicke	66cd1e7012	modified: ../../bytecode/javFiles/MatrixOP.jav	2019-03-20 12:45:17 +01:00
Martin Plümicke	850fe39426	modified: ../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java Typen mit Argumenten korrgiert	2019-03-19 16:31:04 +01:00
Martin Plümicke	212aeaa3a0	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2019-03-18 16:14:13 +01:00
Michael Uhl	7cb2eed36e	Logger comes from plugin now.	2019-03-18 09:33:22 +01:00
Martin Plümicke	82f330eab5	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../resources/bytecode/javFiles/Matrix.jav	2019-03-17 17:44:09 +01:00
Michael Uhl	f25ba4d13e	Merge remote-tracking branch 'origin/bytecode2' into bytecode2	2019-03-15 10:53:10 +01:00
Michael Uhl	4d4be5420b	Anpassung asynchroner Aufruf des Plugins ======================================== UnifyResultListener muss übergeben werden, da sonst Ergebnisse gemeldet werden (notify), ohne dass das Plugin als UnifyResultListener registriert wurde.	2019-03-15 10:52:31 +01:00
Martin Plümicke	a01779d6df	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java auskommentierter Code der nach checkA verschoben wurde geloescht	2019-03-14 00:27:21 +01:00
Martin Plümicke	44ed1d8e8d	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Die Ueberpruefung von a bzw. nSaL in Methode checkA ausgelagert und für die Faelle a <. th und ty <. a implementiert.	2019-03-14 00:20:19 +01:00
Martin Plümicke	75adbaf579	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2019-03-07 13:45:03 +01:00
Martin Plümicke	411629279d	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Kommentar eingefuegt	2019-03-07 13:44:29 +01:00
Martin Plümicke	47783083b0	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Conflicts: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java It looks like you may be committing a merge. If this is not correct, please remove the file .git/MERGE_HEAD and try again.	2019-03-07 13:42:26 +01:00
Martin Plümicke	94c32609c6	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java disableCondWildcards wird aufgerufen modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java /** * wenn in einem Paar bestehend aus 2 Typvariablen eine nicht wildcardtable ist, * so beide auf nicht wildcardtable setzen */ public void disableCondWildcards() eingefuegt	2019-03-07 13:37:08 +01:00
Martin Plümicke	6175fb3ee3	modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java	2019-03-07 09:17:05 +01:00
Martin Plümicke	2bd6147517	modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Noch einige Fehler	2019-03-07 09:14:41 +01:00
Martin Plümicke	728b729f08	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java in calculatePairSets werden andere Constraints fuer die gleiche Variable betrachtet Sollte aber nach computeCartesianRecursive verschoben werden.	2019-03-05 00:24:11 +01:00
Martin Plümicke	27c6351aed	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Anfang Paare zusammenfassen	2019-03-01 16:52:59 +01:00
Martin Plümicke	fc14cf9893	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java subst-Anwendung gleich am Anfang von unify eingefuehrt	2019-02-28 18:29:08 +01:00
Martin Plümicke	b46e0b855c	modified: ../../resources/bytecode/javFiles/MatrixOP.jav	2019-02-28 15:38:30 +01:00
Martin Plümicke	88ec8823fd	modified: ../../../main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java deleted: ../../../main/java/de/dhbwstuttgart/syntaxtree/type/FunN.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FunNType.java Es wird jetzt FunN-Type FunN$$ geparst Der Typ FunN wurde entfernt Der Name des Typs FunNType wurde um $$ am Ende ergänzt	2019-02-27 16:04:55 +01:00
Fayez Abu Alia	8a5dbb28ac	Bug gefixt: genericList als Paramater uebergeben	2019-02-25 19:20:11 +01:00
Fayez Abu Alia	6c19a9f78c	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-02-21 13:35:07 +01:00
Fayez Abu Alia	3e186334a2	Simpify Algo korrigiert so dass die lokalen Variablen der Methode beruecksichtigt werden	2019-02-21 13:34:36 +01:00
Martin Plümicke	fcad60996c	modified: de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java	2019-02-20 17:53:45 +01:00
Martin Plümicke	9c648546e4	modified: de/dhbwstuttgart/core/JavaTXCompiler.java modified: de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java FileWriter durch Writer ersetzt	2019-02-20 17:36:07 +01:00
Martin Plümicke	8e4b39b05e	modified: ../../test/resources/bytecode/javFiles/Inf.jav	2019-02-20 16:03:56 +01:00
Martin Plümicke	926d911d21	modified: ../bytecode/MatrixTest.java	2019-02-20 15:08:06 +01:00
Fayez Abu Alia	d010c843df	Bug in MatrixTest gefixt. Die richtige Descriptor von MethodCalls wird erzeugt	2019-02-20 12:15:55 +01:00
Martin Plümicke	72705ac868	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java close log-Files TypeUnifyTask in TypeUnify2Task bei Abarbeitung oderconstraints umgetauscht	2019-02-20 09:40:06 +01:00
Martin Plümicke	362e797b10	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2019-02-19 17:51:11 +01:00
Martin Plümicke	1f12aaec82	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Einen Fall ? extends/super a <.? a ergaenzt bei dem compare falsches Ergbnis geliefret hat	2019-02-18 22:36:06 +01:00
Martin Plümicke	08d69ce6e3	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java zurueckumwandlung von den Unifytypen in UnifyResultModel verlegt.	2019-02-17 08:51:23 +01:00
Martin Plümicke	396efb52de	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java subst-Anwendung auf oderconstraints eingebaut	2019-02-15 00:00:41 +01:00
Fayez Abu Alia	67469bbb84	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-02-14 11:44:37 +01:00
Fayez Abu Alia	d2581b02ab	modified: src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java Bug in generate BC fuer if(Boolean) gefixt modified: src/main/java/de/dhbwstuttgart/bytecode/signature/Signature.java new file: src/main/java/de/dhbwstuttgart/bytecode/utilities/ConstraintsFinder.java Fasst alle Constraints mit der gleichen Linke-Seite in einer Liste zusammen new file: src/main/java/de/dhbwstuttgart/bytecode/utilities/NameReplacer.java Ersetzt die gleiche Type Variables durch einen neuen eindeutigen Namen modified: src/main/java/de/dhbwstuttgart/bytecode/utilities/Simplify.java Algorithmus angepasst modified: src/test/java/bytecode/FieldTphMMethTest.java Test funktioniert new file: src/test/java/bytecode/InfTest.java Infimum Test funktioniert new file: src/test/java/bytecode/simplifyalgo/FinderTest.java Tests fuer die HilfsMethoden	2019-02-14 11:37:15 +01:00
Martin Plümicke	db91e73750	modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java aParDef wird auch ausgewertet modified: src/test/resources/bytecode/javFiles/MatrixOP.jav	2019-02-06 18:15:39 +01:00
Martin Plümicke	e52181a0c7	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../resources/bytecode/javFiles/Matrix.jav	2019-02-04 23:32:52 +01:00
Michael Uhl	28c6f78715	Merge branch 'unify-test' into bytecode2	2019-02-02 15:50:34 +01:00
Michael Uhl	2eaebbf0f8	FileWriter -> Writer.	2019-02-01 22:56:30 +01:00
Michael Uhl	1e5e9f8cd4	Merge remote-tracking branch 'origin/bytecode2' into bytecode2	2019-02-01 22:15:28 +01:00
Martin Plümicke	33f2bf3d21	modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java Asynchrone Variante soweit ok	2019-01-31 15:08:36 +01:00
Martin Plümicke	aa0b157374	modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java new file: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListenerImpl.java modified: src/test/resources/bytecode/javFiles/MatrixOP.jav Erster Ansatz asyncrone Threads	2019-01-30 09:11:33 +01:00
Pluemicke Martin	aaae762ca8	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java solved	2019-01-29 15:02:59 +01:00
Martin Plümicke	9e1d58f4b1	modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Threads soweit fertig	2019-01-29 14:51:19 +01:00
Pluemicke Martin	7f239d11ee	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2019-01-29 14:48:54 +01:00
Pluemicke Martin	ca7c76a99a	geändert: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java geändert: src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java geändert: src/main/java/de/dhbwstuttgart/typeinference/constraints/Pair.java geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java geändert: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java	2019-01-29 14:47:20 +01:00
Martin Plümicke	26634bb038	modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java	2019-01-25 22:26:38 +01:00
Martin Plümicke	9dcb1f76ca	modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java	2019-01-25 22:22:16 +01:00
Martin Plümicke	e0da6b3d31	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2019-01-25 22:21:04 +01:00
Martin Plümicke	3c0beabc1b	modified: src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java reduce2 nochmals angepasst modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java - Fehler behoben - In den Thread nur noch Element von nextSet verschieben, die auf alle Faele berechnet werdne muessen	2019-01-25 22:19:32 +01:00
Michael Uhl	e83d59d97d	Observer Pattern für ResultSet.	2019-01-24 11:16:26 +01:00
Michael Uhl	449a11f433	Observer für TypeResults.	2019-01-23 22:25:30 +01:00
Martin Plümicke	25487469c7	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java reduceEq-Regel korrigiert modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Threads soweit fertig	2019-01-23 01:31:25 +01:00
Martin Plümicke	188ea1f7f8	modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java einige Aenderungen, die parallele Verarbeitung ermoeglicht	2019-01-20 21:49:22 +01:00
Martin Plümicke	cf951043ef	modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2019-01-18 00:54:43 +01:00
Fayez Abu Alia	fd72ed340d	Test Erzeugung Type-Variablen fuer Klassen	2019-01-17 11:26:09 +01:00
Martin Plümicke	38d4481756	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Es muss noch geklaert werden, wann ein neuer Thread generiert werden darf. modified: ../../resources/bytecode/javFiles/MatrixOP.jav	2019-01-16 22:57:24 +01:00
Pluemicke Martin	01891c9513	neue Datei: TypeUnify2Task.java	2019-01-16 20:25:54 +01:00
Martin Plümicke	aae2e5244b	modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Erster Ansatz Parallelisierung	2019-01-16 17:39:01 +01:00
Fayez Abu Alia	d6961b0d0b	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2019-01-16 14:42:07 +01:00
Fayez Abu Alia	d4d668b662	Simplify fuer Klassen Type Variablen	2019-01-16 14:41:33 +01:00
Martin Plümicke	8c517e7f4a	new file: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/hashKeyType.java modified: ../../resources/bytecode/javFiles/VectorSuper.jav	2019-01-16 10:27:15 +01:00
Martin Plümicke	b3622df2fd	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2019-01-15 22:45:58 +01:00
Martin Plümicke	fa42a69374	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java - Hastables fuer greater und smaller eingefuehrt - ? extends/super a <. a = -1 hinzugefuegt	2019-01-15 15:58:39 +01:00
Martin Plümicke	eb43a616e2	new file: ../../../java/bytecode/VectorSuperTest.java new file: VectorSuper.jav	2019-01-13 19:22:48 +01:00
Martin Plümicke	faccdf5896	Ordnung fuer Variablen unterschieden, ob sie innere Typen sind oder nicht modified: ../../core/JavaTXCompiler.java modified: UnifyTypeFactory.java Bestimmung welche Typevariablen innere Typen sind modified: ../../typeinference/unify/TypeUnifyTask.java modified: ../../typeinference/unify/model/OrderingUnifyPair.java Ordnungsfunktion geaendert modified: ../../typeinference/unify/model/PlaceholderType.java modified: ../../typeinference/unify/model/UnifyPair.java	2019-01-13 00:42:33 +01:00
Martin Plümicke	6de1c50542	modified: ../../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java Auswahl des Tphs bei der Abfrage, ob ein größerer oder kleinerer Typ des vorherigen bestimmt wurde korrigiert modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java innerType eingeführt modified: ../../bytecode/javFiles/MatrixOP.jav deleted: ../Field.java deleted: ../Import.java deleted: ../Lam1.java deleted: ../LamRun.java deleted: ../MethFieldVar.java deleted: ../Subclass.java deleted: ../SuperTest.java deleted: ../Superclass.java deleted: ../TestMyTest.java deleted: ../testF.java deleted: ../testTets.java deleted: ../testTetsF.java	2019-01-12 18:19:16 +01:00
Martin Plümicke	58d757398d	modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java zurueck zum alten Zustand	2019-01-11 23:00:27 +01:00
Martin Plümicke	755fd5c821	modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java deleted: ../javFiles/AddLong.jav deleted: ../javFiles/EmptyClass.jav deleted: ../javFiles/EmptyMethod.jav deleted: ../javFiles/Expressions.jav deleted: ../javFiles/FC_Matrix.jav deleted: ../javFiles/Faculty.jav deleted: ../javFiles/FacultyIf.jav deleted: ../javFiles/FacultyTyped.jav deleted: ../javFiles/Fields.jav deleted: ../javFiles/Generics.jav deleted: ../javFiles/IfTest.jav deleted: ../javFiles/Import.jav deleted: ../javFiles/Lambda.jav deleted: ../javFiles/Lambda2.jav deleted: ../javFiles/Lambda3.jav deleted: ../javFiles/LambdaField.jav deleted: ../javFiles/LambdaRunnable.jav deleted: ../javFiles/ListenerOverload.jav deleted: ../javFiles/Matrix.jav deleted: ../javFiles/Meth_Gen.jav deleted: ../javFiles/MethodCallGenerics.jav deleted: ../javFiles/Methods.jav deleted: ../javFiles/MethodsEasy.jav deleted: ../javFiles/Op1.jav deleted: ../javFiles/Package.jav deleted: ../javFiles/Sorting.jav deleted: ../javFiles/Subclass.jav deleted: ../javFiles/Superclass.jav deleted: ../javFiles/Vector.jav deleted: ../javFiles/fc.jav deleted: ../javFiles/mathStruc.jav deleted: ../javFiles/test.jav deleted: ../javFiles/test1.jav	2019-01-11 22:52:39 +01:00
Martin Plümicke	c1e4f14fa4	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2019-01-11 19:27:19 +01:00
Martin Plümicke	7d514d617c	modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Nur log-Ausgaben hinzugefuegt	2019-01-11 19:24:23 +01:00
Martin Plümicke	4490de575c	Merge branch 'bytecode2' into unify-test	2019-01-11 15:16:29 +01:00
Martin Plümicke	752b68d447	new file: ../../java/bytecode/Tph6Test.java	2019-01-11 14:50:19 +01:00
Martin Plümicke	edd263ac15	bytecodeJavFiles in bytecode/javFiles geanedert Please enter the commit message for your changes. Lines starting	2019-01-11 14:45:12 +01:00
Martin Plümicke	d0a261f55c	modified: ../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Set<UnifyType> fBounded = new HashSet<>(pair.getfBounded()); //PL 2019-01-09 new HashSet eingefuegt modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java modified: ../../resources/bytecode/javFiles/Matrix.jav	2019-01-09 00:40:24 +01:00
Martin Plümicke	72a84323de	modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/Match.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java im Fall 1 die Substitutionen der Typeplaceholders der Muster entfernt modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java modified: ../../bytecode/javFiles/MatrixOP.jav modified: ../../bytecode/javFiles/Merge.jav	2019-01-04 01:19:31 +01:00
Fayez Abu Alia	9e0a6151fd	Bug in der Implemintierung von Simplify Algorithmus gefixt	2019-01-03 21:05:36 +01:00
Martin Plümicke	013539e7e8	modified: ../../../../main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java Throwable wieder in Exception zurückgewandelt modified: ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java Log-Files um Name des jeweiligen Jav-Files ergaenzt modified: ../../javFiles/Faculty.jav	2018-12-30 19:02:40 +01:00
Fayez Abu Alia	e07b189ba4	MatrixOP funktioniert (mit JUnit wird class file erzeugt) und dann mit TestBytecode.java getestet	2018-12-29 21:49:01 +01:00
Martin Plümicke	531b484c53	modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java Pfad des log-Files angepasst Error-Ausgabe in der log-File Exception eingefuegt.	2018-12-29 10:20:19 +01:00
Martin Plümicke	cbe77d3722	modified: src/main/java/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java In Zeile 833 catch Exception durch catch Throwable ersetzt, da der UnsupportedClassVersionError geworfen wurde modified: src/test/java/bytecode/FacTest.java modified: src/test/java/bytecode/FacultyTest.java modified: src/test/java/bytecode/FieldTest.java modified: src/test/java/bytecode/FieldTph.java modified: src/test/java/bytecode/FieldTph2Test.java modified: src/test/java/bytecode/FunOLTest.java modified: src/test/java/bytecode/GenTest.java modified: src/test/java/bytecode/GreaterEqualTest.java modified: src/test/java/bytecode/GreaterThanTest.java modified: src/test/java/bytecode/LambdaCapturetest.java modified: src/test/java/bytecode/LambdaTest.java modified: src/test/java/bytecode/LambdaVoidTest.java modified: src/test/java/bytecode/LessEqualTest.java modified: src/test/java/bytecode/LessThanTest.java modified: src/test/java/bytecode/MatrixOpTest.java modified: src/test/java/bytecode/MergeTest.java modified: src/test/java/bytecode/OLTest.java modified: src/test/java/bytecode/OpTest.java modified: src/test/java/bytecode/OverloadingSortingTest.java modified: src/test/java/bytecode/OverloadingTest.java modified: src/test/java/bytecode/PlusTest.java modified: src/test/java/bytecode/PostIncTest.java modified: src/test/java/bytecode/PreIncTest.java modified: src/test/java/bytecode/RelOpsTest.java modified: src/test/java/bytecode/SortingTest.java modified: src/test/java/bytecode/SubMatTest.java modified: src/test/java/bytecode/Tph2Test.java modified: src/test/java/bytecode/Tph3Test.java modified: src/test/java/bytecode/Tph5Test.java modified: src/test/java/bytecode/TphTest.java modified: src/test/java/bytecode/WhileTest.java modified: src/test/java/bytecode/YTest.java Pfade angepasst	2018-12-28 23:39:59 +01:00
Martin Plümicke	20abd181b6	modified: ../../pom.xml modified: ../../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Abfrage, ob OderConstraints empty sind, bei der Unify-Abbruchbedingungen eingefuegt modified: ../../src/test/java/bytecode/BinaryTest.java modified: ../../src/test/java/bytecode/MatrixTest.java modified: ../../src/test/java/bytecode/applyLambdaTest.java Pfadanpassungen	2018-12-28 19:37:45 +01:00
Martin Plümicke	f8d3263d24	Pfadumstellung	2018-12-21 15:27:29 +01:00
Martin Plümicke	ffa30e50c3	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-12-21 12:19:38 +01:00
Fayez Abu Alia	5798c47d62	Tests funktionieren	2018-12-20 15:19:51 +01:00
Fayez Abu Alia	f21959fef8	Neue Umstellung	2018-12-20 12:26:37 +01:00
Fayez Abu Alia	85fcef8289	commit	2018-12-20 10:25:55 +01:00
Fayez Abu Alia	5624af609c	Simplify fuer TPH Method < TPH Field angepasst	2018-12-19 14:18:50 +01:00
Fayez Abu Alia	b71efd65a0	Tphs einer Methode, die groesser als Tphs der Felder, werden als Class-Generics definiert	2018-12-19 13:20:09 +01:00
Fayez Abu Alia	e380c77ce6	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-12-19 10:13:27 +01:00
Fayez Abu Alia	794412a402	Tph von Felder werden als Class-Generics definiert werden	2018-12-19 10:12:45 +01:00
Martin Plümicke	f256714223	modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Returntype der Binary korrigiert.	2018-12-18 16:18:36 +01:00
Martin Plümicke	1931c61392	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Loesung Fehler rausgemacht	2018-12-14 17:46:09 +01:00
Martin Plümicke	a733f373a7	modified: ../../../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-12-14 12:09:12 +01:00
Martin Plümicke	9dbfbe9e6a	modified: ../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java	2018-12-14 09:31:58 +01:00
Martin Plümicke	6b33fdc5fb	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-12-12 16:50:38 +01:00
Martin Plümicke	2f9d44d0b0	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java im Max den Fall a <.? ? extends a beruecksichtigt modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java ; in der Schleife generate fresh Type Var entfernt	2018-12-12 16:49:16 +01:00
Fayez Abu Alia	3bf45888e5	Simplify gefixt	2018-12-12 13:03:53 +01:00
Fayez Abu Alia	dab0dc180c	Aenderung in Signature-Wildcars rueckgaengig gemacht	2018-12-06 11:08:03 +01:00
Martin Plümicke	2d73b4e47f	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java Argumente von Konstruktore auch mit Varaincen und not wildcardable versehen	2018-12-06 10:43:46 +01:00
Martin Plümicke	54325d5168	modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java new Arraylist erzeugt beim setzen der Initializer in den Pseudoconstruktor	2018-12-04 15:30:04 +01:00
Fayez Abu Alia	af6537841c	modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java modified: src/de/dhbwstuttgart/bytecode/utilities/KindOfLambda.java modified: src/de/dhbwstuttgart/bytecode/utilities/Simplify.java modified: src/de/dhbwstuttgart/syntaxtree/Constructor.java modified: test/bytecode/MatrixOpTest.java modified: test/bytecode/YTest.java modified: test/bytecode/javFiles/OL.jav	2018-12-04 15:01:50 +01:00
Martin Plümicke	964b73e8c4	modified: ../../src/de/dhbwstuttgart/syntaxtree/Constructor.java In der abstrakten Syntax Einbau vom super-Konstruktor Aufrufen in den Konstruktoren entfernt. Dies muss nun beim Bytecode jeweils eingefügt werden	2018-12-03 15:06:56 +01:00
Martin Plümicke	c7c9f65ecf	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-11-26 11:00:58 +01:00
Martin Plümicke	416d68bcb0	Aenderugen siehe http://bugzilla.ba-horb.de/show_bug.cgi?id=124 modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java Zusäztlich Ein Fehler in der Trennung von Konstruktoren und Methoden gefixt. modified: ../../src/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java modified: ../../src/de/dhbwstuttgart/syntaxtree/Constructor.java modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java modified: ../../src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java modified: ../../test/bytecode/MatrixOpTest.java	2018-11-26 10:59:06 +01:00
Fayez Abu Alia	5c74c69b9e	Bytecode fuer Lambdas in denen Variablen von lexical scope verwendet werden	2018-11-23 14:30:15 +01:00
Martin Plümicke	4da4966b86	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-11-21 23:17:17 +01:00
Fayez Abu Alia	7bfc222037	Bug in Simplify-Algo gefixt	2018-11-21 11:58:58 +01:00
Fayez Abu Alia	a269ee9690	TPHExtractor verbessert, Transivitat-Algortmus ergaenzt und JUnit Tests dazu geschrieben. FacultyTest funktioniert	2018-11-15 20:52:27 +01:00
Martin Plümicke	134496129a	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Conflicts: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java	2018-11-15 16:04:16 +01:00
Fayez Abu Alia	d4b6073760	Faculty funktioniert rihtig	2018-11-14 16:19:25 +01:00
Fayez Abu Alia	2275153590	bug gefixt methodCall in MatrixOP	2018-11-14 13:26:37 +01:00
Fayez Abu Alia	95043455fa	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-11-14 13:02:53 +01:00
Fayez Abu Alia	2ef7bae78a	e.printStackTrace in MethodCall entfernt	2018-11-14 12:51:41 +01:00
Fayez Abu Alia	0ceae1ebb7	Bug 122 gefixt. MatrixTest und OLTest funktionieren	2018-11-14 12:11:03 +01:00
Martin Plümicke	07c679a598	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Variance =2 eingefuehrt, wenn Variancen einer Menge unterschiedlich sind (Oer-Constraints) modified: ../bytecode/MatrixOpTest.java wieder zum Ausfuehren eingeschaltet	2018-11-13 16:08:07 +01:00
Martin Plümicke	74ad081e78	modified: JavaTXCompiler.java wieder das aus uniy-test hinkopiert	2018-11-13 14:28:33 +01:00
Martin Plümicke	af93ea4750	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-11-13 11:01:23 +01:00
Martin Plümicke	e72310278d	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Oder-Constraints als Subsitutions zu den Substitutions der UnifyPairs hinzugefuegt.	2018-11-12 17:57:51 +01:00
Martin Plümicke	3ce60eec8d	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Rekursionstife dokumentieten eingefuegt.	2018-11-12 11:55:37 +01:00
Fayez Abu Alia	d27e0af57c	Rekursiver Aufruf von Atrributen funktioniert	2018-11-08 13:02:33 +01:00
Martin Plümicke	0a9e325f54	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java	2018-11-07 17:49:12 +01:00
Fayez Abu Alia	ea65a87336	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-11-07 15:30:04 +01:00
Fayez Abu Alia	623705d38a	(Transivitaet) Algorithmus funktioniert	2018-11-07 15:29:37 +01:00
Martin Plümicke	72fa0978c2	modified: JavaTXCompiler.java Kleinigkeit entfernt, dass varianceInheritance die gesamte variance-Vererbung macht. ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~	2018-11-07 13:46:03 +01:00
Martin Plümicke	fc3331d810	modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java OderConstraints in Unify integriert	2018-11-06 23:35:57 +01:00
Martin Plümicke	d08708878f	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java Variance distribut korrigiert modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Fehler im computeCartesianRecursiveOderConstraints beseitigt modified: ../bytecode/javFiles/Matrix.jav	2018-11-05 23:28:08 +01:00
Martin Plümicke	d5d49ad30e	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test modified: ../../src/de/dhbwstuttgart/bytecode/BytecodeGen.java modified: ../../src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java new file: ../../src/de/dhbwstuttgart/bytecode/constraint/EqualConstraint.java new file: ../../src/de/dhbwstuttgart/bytecode/constraint/ExtendsConstraint.java new file: ../../src/de/dhbwstuttgart/bytecode/constraint/TPHConstraint.java modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java new file: ../bytecode/FieldTest.java modified: ../bytecode/MatrixOpTest.java modified: ../bytecode/OverloadingSortingTest.java new file: ../bytecode/YTest.java new file: ../bytecode/javFiles/Field.jav modified: ../bytecode/javFiles/Matrix.jav modified: ../bytecode/javFiles/Sorting.jav modified: ../bytecode/javFiles/Tph.jav new file: ../bytecode/javFiles/Y.jav	2018-11-05 14:39:06 +01:00
Martin Plümicke	35696efd1c	modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Alle Basistype bei Literalen hinzugefuegt.	2018-11-05 14:33:44 +01:00
Martin Plümicke	f0ba7c03b5	modified: ../../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Bei Int-Literal werden imports beruecksichtigt	2018-11-05 12:01:16 +01:00
Fayez Abu Alia	e6387dca6b	Bug 116 gefixt	2018-11-04 12:49:11 +01:00
Martin Plümicke	9bf273ac1a	modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Unterscheidung zwischen FUNN-Receiver und anderem Receiver wieder geloescht (war nur auskmmentiert) modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java Fehler in der Reduce-FUNN-Rege beseitigt	2018-11-04 11:33:32 +01:00
Martin Plümicke	4ef360e41e	modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: ../../src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java FieldVars eingefuegt, dass sie genauso wie localsvars immer die gleiche Typvariable in der abstrakten Syntax bekommen	2018-11-02 22:53:34 +01:00
Martin Plümicke	5849cd6f39	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-10-31 17:00:34 +01:00
Martin Plümicke	27b73f55e7	modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java log-Ausgaben eingefuegt	2018-10-31 16:59:53 +01:00
Fayez Abu Alia	a02e5a16a8	Transivitaet-Algo version 1	2018-10-31 16:07:37 +01:00
Fayez Abu Alia	788ddb2bcc	modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java modified: test/bytecode/javFiles/Field.jav Field-Test funktioniert	2018-10-25 12:41:26 +02:00
Fayez Abu Alia	de08e5830d	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-10-25 12:27:28 +02:00
Fayez Abu Alia	7a1ed7ce6f	Neuer Transivitaet-Algorithmus Step 1 und Step 2	2018-10-25 12:26:56 +02:00
Martin Plümicke	d4c17053d7	modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java public void visit(AssignToField assignLeftSide) { //Hier ist kein Code nötig. Es werden keine extra Constraints generiert //HIER muss Code rein PL 2018-10-24 assignLeftSide.field.accept(this); eingefuegt }	2018-10-24 15:36:20 +02:00
Martin Plümicke	e6d8b92ffa	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java kleine Fehler	2018-10-24 14:05:20 +02:00
Martin Plümicke	d7e59ecdc7	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Erste Version mit Recursiv oder modified: ../bytecode/javFiles/Matrix.jav	2018-10-20 17:42:44 +02:00
Martin Plümicke	141194c983	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java erste version mit computeCartesianRecursiveOderConstraints aktiviert Fehler bei durchschnitt leer wird Element geloescht.	2018-10-19 17:36:23 +02:00
Martin Plümicke	6dce7058a0	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java typeInference <-> typeInferenceOld modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java compute <-> computeOld	2018-10-19 16:24:00 +02:00
Martin Plümicke	225f380735	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java letzte Version bevor computeCartesianRecursiveOderConstraints aktiviert wird	2018-10-19 16:09:59 +02:00
Martin Plümicke	6a87f443e4	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-10-19 13:08:37 +02:00
Martin Plümicke	6ce9f4415e	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java	2018-10-18 23:47:38 +02:00
Fayez Abu Alia	e3f2e4d793	Alle Tests funktionieren	2018-10-18 19:53:41 +02:00
Fayez Abu Alia	3fb95600a0	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-10-17 14:30:45 +02:00
Fayez Abu Alia	94b93c39df	modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java new file: test/bytecode/FieldTest.java modified: test/bytecode/MatrixOpTest.java new file: test/bytecode/javFiles/Field.jav modified: test/bytecode/javFiles/Sorting.jav Boxing-Problem bei methodCall geloest und Tests funktionieren	2018-10-17 14:29:12 +02:00
Martin Plümicke	60be47c0f1	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-10-17 07:31:58 +02:00
Martin Plümicke	693b47b619	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/result/ResultSet.java modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/Pair.java	2018-10-12 23:44:48 +02:00
Martin Plümicke	99bf02606b	modified: src/de/dhbwstuttgart/typeinference/result/ResultPair.java toString() eingefuegt modified: src/de/dhbwstuttgart/typeinference/result/ResultSet.java toString() eingefuegt modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java int-Lieterals können auch double-Literals sein. modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java kleien Ausgabeerweiterung	2018-10-12 13:17:59 +02:00
Martin Plümicke	2869f07a58	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-10-11 16:58:06 +02:00
Pluemicke Martin	2be9055608	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java aufgeraeumt	2018-10-11 16:31:02 +02:00
Fayez Abu Alia	0d83ee8505	modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java Zyklen werden abgefangen.	2018-10-11 16:01:26 +02:00
Fayez Abu Alia	f325b04ee2	Bugs 111 und 114 gefixt. Unboxing wird aufgerufen wenn es noetig ist	2018-10-11 14:17:54 +02:00
Martin Plümicke	56dd759762	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Nur bei leerem Durchscnit filtern geloescht.	2018-10-11 13:09:18 +02:00
Martin Plümicke	1b7bded3c3	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java 1. Version läuft aber nicht schnell	2018-10-11 12:40:20 +02:00
Martin Plümicke	bda7dcb5c1	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-10-11 09:47:55 +02:00
Martin Plümicke	241c7f37d9	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java weitere Element rausfiltern angefangen modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Methode: getGroundBasePair eingefuegt	2018-10-11 00:45:59 +02:00
Martin Plümicke	54b4ad97f6	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-10-10 14:41:35 +02:00
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
Fayez Abu Alia	3c7b1451d4	MatrixTest funktioniert	2018-09-26 16:25:52 +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	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
Fayez Abu Alia	aeb8bb92ed	Bug 108 gefixt	2018-09-19 13:05:00 +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
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
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	a823ef2b16	Generics Resolve fixen	2018-08-19 19:42:31 +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	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	52c445435d	MergeTest	2018-08-06 13:25:41 +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
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	14be882b7b	LambdaTest Funktioniert.	2018-07-18 22:49:21 +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	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	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	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
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	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	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
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	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	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	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	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
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
Martin Plümicke	814aef082d	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 log-File schreiben entfernt	2018-05-30 18:35:57 +02:00
Martin Plümicke	5a0e53485c	modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Unary-Expression SMALLERNEQDOT eingefuegt modified: test/bytecode/javFiles/Fac.jav	2018-05-30 17:23:55 +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
Martin Plümicke	97d893e66b	Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin merge	2018-05-28 16:36:46 +02:00
Martin Plümicke	57fb90afaf	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java LogFile optional gemacht	2018-05-28 16:35:47 +02:00
JanUlrich	63ac79f02c	Hotfix für Typparsen Problem	2018-05-28 16:21:52 +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
Martin Plümicke	66587a8f71	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java SMALERNEQDOT in Regel a <!=. Theta korrigiert SMALERNEQDOT in Regel Theta <!=. a geloescht	2018-05-28 16:07:29 +02:00
Martin Plümicke	581e5e574e	Merge branch 'bytecode2' into plugin	2018-05-25 14:41:22 +02:00
Martin Plümicke	ae14dfd947	modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-05-25 14:39:54 +02:00
Martin Plümicke	9d53d9d5d1	modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java kleiner Fehler korrigiert modified: test/javFiles/Matrix.jav	2018-05-25 11:16:02 +02:00
Fayez Abu Alia	6fce2760c5	While.jav	2018-05-25 09:53:30 +02:00
Martin Plümicke	1de897fb1f	modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java System.out.println geloescht	2018-05-24 17:59:51 +02:00
Martin Plümicke	87dede5d5f	modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java F-Bounded Problematik durche neues greater ggf. geloest. Es werden Falle ausgeschlossen. Diese Faelle muessen noch ergaenzt werden.	2018-05-24 17:45:10 +02:00
Fayez Abu Alia	f085f9f499	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-05-24 16:44:28 +02:00
Fayez Abu Alia	a40d2b991f	kleine Änderung	2018-05-24 16:44:05 +02:00
Martin Plümicke	704415ae3b	Merge branch 'unifyOptimierung' into plugin fixed test/javFiles/Matrix.jav	2018-05-24 16:43:31 +02:00
Martin Plümicke	65531ac12e	modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: ../../src/de/dhbwstuttgart/typeinference/constraints/Pair.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/PairOperator.java Einführung eines neuen Operators SMALLERNEQDOT um Ungleichungen a <!=. Number für die Relationsoperatoren einfuehren zu koennen. modified: ../../test/javFiles/Matrix.jav	2018-05-24 16:20:57 +02:00
Martin Plümicke	34e632b872	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java Reduce ausgetauscht bei ArgPara und Returntype modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java isUndefinedPair korrigiert. modified: ../../test/bytecode/LambdaTest.java modified: ../../test/bytecode/javFiles/Plus.jav modified: ../../test/bytecode/javFiles/RelOps.jav	2018-05-24 14:11:04 +02:00
Martin Plümicke	f617ad8946	modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Relationen auf verschiedene Numeric-Typen umgestellt im equals Null abgefragt	2018-05-24 10:28:22 +02:00
Martin Plümicke	876ec6a4f6	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung Conflicts: src/de/dhbwstuttgart/core/JavaTXCompiler.java solved	2018-05-24 09:41:15 +02:00
Martin Plümicke	26d9b1215f	modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java modified: ../../test/javFiles/Matrix.jav F-Bounded angefangen	2018-05-24 09:17:31 +02:00
Fayez Abu Alia	0f29bc038a	Bugs gefixt. Tests für relationalen Operatoren(GreaterEqualTest, ...) laufen. Für Typplaceholder werden Generics verwendet. Neue Tests angefügt.	2018-05-23 15:38:41 +02:00
Martin Plümicke	a5ed5a2a46	Merge branch 'unifyOptimierung' into plugin	2018-05-22 17:29:44 +02:00
Martin Plümicke	c597b0430a	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java cardProd als Variable eingfuegt modified: ../../src/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java toString() eingfuegt modified: ../../src/de/dhbwstuttgart/syntaxtree/GenericDeclarationList.java toString() eingfuegt modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java BinaryOp <. statt =. modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Bei nicht importierten (result []) undefinPair gesetzt modified: ../javFiles/Matrix.jav falsche importe rausgenommen	2018-05-22 17:10:07 +02:00
Martin Plümicke	06a0cb8eaf	modified: TypeUnifyTask.java noAllErasedElements eingefuegt	2018-05-19 10:13:08 +02:00
Martin Plümicke	b5a601d798	modified: TypeUnifyTask.java Varianceweitergabe in den verschiedenen Cases eingefuegt Erste Zaehlungen eingefuegt	2018-05-19 09:50:57 +02:00
Martin Plümicke	7ea6777906	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../javFiles/Lambda.jav modified: ../typeinference/UnifyTest.java	2018-05-18 13:12:49 +02:00
Martin Plümicke	6b1896f58c	modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java greaterFUNN und smallFUNN fuer generierte TPHs Variance gesetzt modified: test/javFiles/Lambda.jav vom bytecode ruebergeholt	2018-05-18 09:55:45 +02:00
Martin Plümicke	d81c06cdd9	modified: ../../src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java Implementierung fuer FuNN eingefuegt deleted: ../../src/de/dhbwstuttgart/typeinference/unify/inheritVariance.java wahrscheinlich bei FuNN-Regeln Variance setzen.	2018-05-18 00:03:07 +02:00
Martin Plümicke	8baff8f376	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java Variancenvererbung eingefuegt modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Variancenvererbung geloescht modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: ../../test/typeinference/UnifyTest.java	2018-05-17 22:51:41 +02:00
Martin Plümicke	bc2cab8c95	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: test/javFiles/Lambda.jav modified: test/javFiles/Lambda3.jav	2018-05-17 18:07:21 +02:00
Martin Plümicke	51a2acdbaf	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: test/typeinference/UnifyTest.java	2018-05-17 11:42:03 +02:00
Andreas Stadelmeier	832623a738	ClassOrInterface muss im Modifier INTERFACE haben, wenn isInterface gesetzt ist	2018-05-16 15:37:46 +02:00
Fayez Abu Alia	dcc36f082f	code aufräumen	2018-05-16 13:37:31 +02:00
Fayez Abu Alia	9575afd0b4	Fun umbenannt und Argumente umgedreht	2018-05-15 10:33:30 +02:00
Martin Plümicke	5c797a44a1	modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java disableWildcardtable in den FUNN-Regeln eingefuegt.	2018-05-10 09:07:33 +02:00
Martin Plümicke	e4243b612c	modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Operatoren neue getypte Returnargument bei FUNN nach hinten verschoben modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java Returnargument bei FUNN nach hinten verschoben Wildcards in Argumenten von als Undefined Pairs (funktioniert noch nicht) Methode wrongWildcard eingefuegt modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Methode doubleWildcard ind wrongWildcard umbenannt modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java Methode doubleWildcard ind wrongWildcard umbenannt modified: src/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java Methode doubleWildcard ind wrongWildcard umbenannt	2018-05-09 18:05:06 +02:00
Martin Plümicke	da4c59f2cf	modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../../test/typeinference/UnifyTest.java	2018-05-09 16:24:28 +02:00
Martin Plümicke	1c22fc7d57	Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung merge bytecode2	2018-05-09 13:29:11 +02:00
Fayez Abu Alia	521a1cbf3b	Bug 77 gefixt	2018-05-08 17:42:58 +02:00
Martin Plümicke	22ca2cbd4a	modified: BytecodeGenMethod.java	2018-05-08 11:28:24 +02:00
Fayez Abu Alia	49ea4ee283	Pfad der erzeugten klassendateien angepasst	2018-05-08 10:19:13 +02:00
Andreas Stadelmeier	35d5fb2f03	Fehler in ASTFactory mit Generischen FEldern beheben	2018-05-07 15:12:07 +02:00
Fayez Abu Alia	a785c85d42	tests	2018-05-02 20:54:07 +02:00
Fayez Abu Alia	1b6cae1be0	GenTest angefügt	2018-04-25 16:44:27 +02:00
JanUlrich	41774b3faf	Merge mit bytecode	2018-04-25 16:13:23 +02:00
Martin Plümicke	62d44eb15c	modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Undefined Pairs auf oberster Ebene wird zu new HashTable<>() in compute new file: ../../src/de/dhbwstuttgart/typeinference/unify/inheritVariance.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Unterscheidung zw. <. <? ein compere eingefuegt modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java Attribut wildcardable eingefuegt	2018-04-24 00:53:33 +02:00
Martin Plümicke	5f8c73f176	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java In compare wird die Gleichung a =. Theta neu gefiltert	2018-04-22 00:56:49 +02:00
Martin Plümicke	0ae777b4ac	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java varianceInheritance nach TypeUnifyTask.java verschoben Kommentar eingefuegt TODO: 1. compare-Funktinen nochmals ueberpruefen 2. Undef-Pairs in JavaTXiCompiler.java abfangen 3. ? extends bei allen Argumenttypen und Returntypen rauslassen	2018-04-20 23:52:12 +02:00
Martin Plümicke	087170bdbf	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java Variance wieder auskommentiert modified: test/javFiles/Matrix.jav import String	2018-04-20 13:16:49 +02:00
Martin Plümicke	93d0caaefb	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Varianceberechnung geaendert	2018-04-20 09:36:29 +02:00
Martin Plümicke	1f031149d3	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java Varianceweitergabe eingefuegt	2018-04-20 01:08:35 +02:00
Martin Plümicke	fc870fd706	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-04-18 19:44:00 +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
Fayez Abu Alia	478a2df3dc	Statische Methoden Test	2018-04-18 11:51:10 +02:00
Martin Plümicke	59243d9f94	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-04-17 16:31:13 +02:00
Martin Plümicke	82b08c5aae	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Wildcard Ordnung veraendert	2018-04-17 14:25:52 +02:00
Martin Plümicke	615983bf37	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java resuat add in cartesion angepasst modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java equals in UnfyPair auf UndefinedPairs angepasst	2018-04-13 18:13:31 +02:00
Martin Plümicke	21bc2a67a1	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-04-11 16:58:38 +02:00
Martin Plümicke	fef4d27d21	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-04-11 11:10:08 +02:00
Martin Plümicke	603c4c9c46	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java logging ergaenzt modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java getSubstitution() durch getAllSubstitutions() ersetzt	2018-04-06 20:01:14 +02:00
Martin Plümicke	baee0024e9	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Zu beginn von unify werden doppelte wildcard konstruktionen entfernt Variableneumbenennung bei smaller in Fall 1 weider entfernt modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IMatch.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IUnify.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java In computeGreater unify durch match ersetzt modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java Abfrage ob eine doppelte wildcard konstruktion vorhanden ist eingefuegt	2018-04-05 18:09:24 +02:00
Martin Plümicke	1baaf79f8c	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java UndefPairs werden zurueckgegegeben und die naechsten gefiltert protected boolean isUndefinedPairSet(Set<UnifyPair> s) hat Fehler	2018-04-04 21:47:07 +02:00
Martin Plümicke	52f480147e	modified: src/de/dhbwstuttgart/typeinference/unify/MartelliMontanariUnify.java modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Subsitution auf UnifyPair umgestellt	2018-04-04 01:14:30 +02:00
Martin Plümicke	9717c54d53	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Mehrfacher Aufruf von computeCartesianRecursive entfernt	2018-04-03 14:16:38 +02:00
Martin Plümicke	c271c689de	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java abhaengige Substitutionen auch bei Faellen 1 - 8 eingefuegt	2018-04-03 10:29:58 +02:00
Martin Plümicke	24c27303dd	modified: src/de/dhbwstuttgart/typeinference/unify/MartelliMontanariUnify.java modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Substututions die eine UnifyPair erzeugen eingefuegt UnifyCase1-8 weitermachen	2018-04-01 22:04:10 +02:00
Martin Plümicke	117106a7b3	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java ? ext theta bei smaller eingefuegt modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java basiPair und Subsitution nur noch gefuegt, wen wirk etwas eingesetzt wurde modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java unifier umbenannt in substitution getBasePair und getSubsitutuon eingefuegt	2018-04-01 17:07:58 +02:00
Martin Plümicke	5680f913ef	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java new file: src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java new file: src/de/dhbwstuttgart/typeinference/unify/visitUnifyTypeVisitor.java	2018-03-28 17:42:25 +02:00
Andreas Stadelmeier	22ff521d08	Aufräumen	2018-03-28 15:35:04 +02:00
Fayez Abu Alia	32ab198f9e	Bugfix für duplicate methods	2018-03-28 14:57:36 +02:00
Martin Plümicke	fae26a8f26	modified: src/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java modified: src/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java Visitors verallgemeinert	2018-03-28 12:06:23 +02:00
Fayez Abu Alia	bb5a4e8580	Bug 72 gefixt	2018-03-28 11:31:32 +02:00
JanUlrich	000c16b907	Gencoy ASP Generator implementieren	2018-03-27 23:56:12 +02:00
JanUlrich	87a2ed8117	APS GeneratorTest.simple anfügen	2018-03-27 14:25:54 +02:00
Fayez Abu Alia	a0de7a4467	Test, bei dem Bug 72 auftritt	2018-03-24 20:28:26 +01:00
JanUlrich	7ff3f22db5	Fehler in FCGenerator beheben	2018-03-23 17:20:35 +01:00
JanUlrich	4886976752	Fehler in FCGenerator beheben	2018-03-23 17:20:15 +01:00
JanUlrich	daf684deef	ASP Factory für Algorithmus von Herr Gencay	2018-03-23 16:54:32 +01:00
Martin Plümicke	0b680f831d	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java	2018-03-22 20:40:22 +01:00
JanUlrich	41c87e3085	Merge branch 'bigRefactoring' into sat	2018-03-22 13:50:30 +01:00
JanUlrich	bcee5e5209	Fehler im Parsen von Package beheben	2018-03-22 11:41:59 +01:00
Martin Plümicke	95e9b2dbda	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Variance auf PlacehloderType uebertragen	2018-03-22 11:26:29 +01:00
JanUlrich	72f27fab7a	Fehler in ASTFactory Generierung von Superinterfaces beheben	2018-03-22 11:17:51 +01:00
JanUlrich	06bb978cf6	Testfall erweitern	2018-03-21 18:08:33 +01:00
Pluemicke Martin	dbe05bb718	modified: src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java Feher rausgemacht TODO: Varianven werden nicht uebertragen wahrscheinlich subst	2018-03-21 17:37:34 +01:00
Pluemicke Martin	4ac99b61bf	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-03-21 17:07:14 +01:00
Pluemicke Martin	f107c8d1f7	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java Variancebestimmung fuer Argument- und Returntypen der Methoden eingefuegt.	2018-03-21 17:03:32 +01:00
Andreas Stadelmeier	79810be94f	FC Generator berücksichtig interfaces	2018-03-21 14:21:50 +01:00
Fayez Abu Alia	8870bc326c	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2	2018-03-21 13:47:19 +01:00
Fayez Abu Alia	e1c6369bcb	Bytecode für Post-/Preincrement und Post-/Predecrement	2018-03-21 13:08:39 +01:00
Pluemicke Martin	46255efb70	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-03-21 11:29:01 +01:00
JanUlrich	a71e56ea97	Fix	2018-03-21 11:28:21 +01:00
Pluemicke Martin	5dfa6769b2	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test	2018-03-21 11:16:45 +01:00
JanUlrich	77be216ee5	Fix	2018-03-21 11:15:59 +01:00
Pluemicke Martin	100db9baac	Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Fehler by atElement	2018-03-21 11:13:20 +01:00
JanUlrich	e1f579664a	Fix Generics in MethodCall	2018-03-21 11:12:06 +01:00
JanUlrich	7e5aa852d7	Fehler fix	2018-03-21 10:35:46 +01:00
Martin Plümicke	5d39863cc6	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Maximumsbildung auf maximale Elemente soweit fertig Argument von mul funktion nicht, liefret nur Vec<TypPl>	2018-03-20 22:30:57 +01:00
Martin Plümicke	01dd4e57e6	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Letzte Version bevor MatchUnifyTask	2018-03-20 10:14:01 +01:00
Martin Plümicke	6faffdf90c	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java	2018-03-19 17:43:27 +01:00
Martin Plümicke	f4bc057aff	modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java LogAusgabe FC modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java fresh TV in unifyCase1 auf alle cs ausgedehnt modified: test/javFiles/Matrix.jav	2018-03-19 15:25:40 +01:00
Martin Plümicke	78db0f0177	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Errorrueckgabe auskommentiert new file: src/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.java eingecheckt vorher vergessen modified: test/javFiles/Matrix.jav add und mul aktiviert	2018-03-19 09:38:37 +01:00
Fayez Abu Alia	3233ccd845	Overloading funktioniert. Erzeugt Bytecode für Postincrement (für Integers).	2018-03-18 16:08:52 +01:00
Martin Plümicke	b0b1426e20	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java new file: src/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java freshtypevraiable Vistor soweit fertig noch nicht getestet	2018-03-18 15:11:45 +01:00
Martin Plümicke	103c7e4b14	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java visitor freshPlaceholder implements UnifyTypeVisitor	2018-03-17 15:01:03 +01:00
Martin Plümicke	3638edfa73	modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: test/javFiles/Matrix.jav Fehler entdeckt, in unifyCase1 fuer die Typen aus FC keine fresh TV getsetzt werden.	2018-03-16 14:10:40 +01:00
Martin Plümicke	bd98bed5ca	Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Merge	2018-03-15 20:50:59 +01:00
Martin Plümicke	6299086297	modified: typeinference/unify/TypeUnifyTask.java modified: typeinference/unify/model/UnifyPair.java	2018-03-15 20:47:16 +01:00
Martin Plümicke	de5b43d72b	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 Links der substitierten Pare eingefuegt.	2018-03-15 17:00:26 +01:00
Martin Plümicke	7e6dee8e1d	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../javFiles/Matrix.jav	2018-03-14 17:48:04 +01:00
Fayez Abu Alia	dafcd2f125	Bytecode für While-Schleifen	2018-03-14 15:51:38 +01:00
JanUlrich	6a5ababa51	ANTLR Parsetreewalker für ASP Result implementieren	2018-03-14 14:32:36 +01:00
Martin Plümicke	273ddb92d7	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java modified: ../javFiles/Matrix.jav	2018-03-14 13:56:28 +01:00
JanUlrich	4a2b901465	aufräumen	2018-03-13 14:53:27 +01:00
Martin Plümicke	dea3da3b69	Merge branch 'bigRefactoring' into unify-test Fehelr mit elementAt geloest	2018-03-13 10:41:57 +01:00
Martin Plümicke	13c70148a8	modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: ../javFiles/Matrix.jav mul1 und add ergaenzt. Fehler bei elementAt: Liefert Object als Returntyp	2018-03-13 08:46:25 +01:00
JanUlrich	bb5945898a	Bug in ASTFactory beseitigen	2018-03-13 01:57:21 +01:00
JanUlrich	123f94aea7	ANTLR Parser für ASP Statements implementieren	2018-03-13 00:24:40 +01:00
JanUlrich	dff72b0c97	ResultSetOutputGenerator	2018-03-12 00:38:02 +01:00

... 8 9 10 11 12 ...

1938 Commits