Commit Graph

1360 Commits

Author SHA1 Message Date
ae9220c04b made the ruleSet interface functional (added fc in arguments) 2016-04-13 11:13:20 +02:00
11e149110a - OLTest verbessert, ist aber nicht positiv, da Autoboxing fehlt 2016-04-12 20:06:22 +02:00
d8e7df425d refactoring 2016-04-12 15:47:38 +02:00
27f6abefe8 commenting and refactoring 2016-04-12 15:43:32 +02:00
ba636e1da0 fixed bug in standard unify 2016-04-12 15:17:12 +02:00
4173733ada Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-12 14:00:53 +02:00
1b9a9c0841 commenting / refactoring 2016-04-12 13:39:08 +02:00
ff0d1e907f fixed flattening of sets 2016-04-12 13:21:17 +02:00
3f62ef4072 Merge branch 'bytecode' into refactoring 2016-04-12 12:43:42 +02:00
b14c264435 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode 2016-04-12 12:24:15 +02:00
7a47de7bfa Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-12 12:14:38 +02:00
f4d0dbf95d Unify Test anfügen 2016-04-12 12:14:31 +02:00
b0aeaae80e Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-12 11:54:46 +02:00
03b1321a45 UnifyTestSubclasses anfügen 2016-04-12 11:54:26 +02:00
7363758603 new file: OL.jav
new file:   OLTest.java
	modified:   Overloading.jav
main Methode angefuegt
2016-04-12 11:37:00 +02:00
f8d7a95731 commenting 2016-04-12 11:36:43 +02:00
8b6a4d1746 refactoring and commenting 2016-04-12 11:28:07 +02:00
a16e62f4bd refactoring and commenting 2016-04-12 11:18:55 +02:00
ea32cd5680 commenting and refactoring 2016-04-12 11:12:57 +02:00
377987abda Aufräumen in test/bytecode 2016-04-12 11:08:39 +02:00
1e96811127 refactoring and commenting 2016-04-12 10:54:17 +02:00
22393888f1 Merge branch 'refactoring' into bytecode 2016-04-12 10:28:20 +02:00
b68107286a Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode 2016-04-12 10:23:15 +02:00
f630f93a3d Debug Ausgabe anfügen 2016-04-12 10:06:58 +02:00
0438ef9af4 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode 2016-04-12 09:57:09 +02:00
3bb2153b6a Java Parser an umbenennung anpassen 2016-04-11 18:36:43 +02:00
6cc0d462ab Merge branch 'unify' into refactoring 2016-04-11 18:35:50 +02:00
df1881bf41 Merge branch 'bytecode' into refactoring 2016-04-11 18:35:44 +02:00
de238b90df Assumptions erweitern 2016-04-11 18:35:18 +02:00
55f288022a commenting, refactoring 2016-04-11 16:31:55 +02:00
0313d297e1 comments and refactoring 2016-04-11 16:26:59 +02:00
044e6fbc3f comments & refactoring 2016-04-11 16:05:36 +02:00
aa692c2f25 comments 2016-04-11 15:30:01 +02:00
6616d78dcb . 2016-04-11 09:56:29 +02:00
5dd90cb30c refactored standard unification 2016-04-11 09:56:06 +02:00
64247b689b signature from getLeftHandedType from type to string 2016-04-10 14:52:07 +02:00
23e0be2572 extended all cases / fixed random placeholder generation 2016-04-09 15:07:41 +02:00
d080eb4a0a extended case 6 2016-04-08 18:48:35 +02:00
41b3e4f6c2 extended case 5 2016-04-08 18:28:34 +02:00
5c73224f8f support for extended case 1 // tests // bugfix in "big" cases 2016-04-08 18:04:11 +02:00
e06888f5f7 organized imports 2016-04-07 22:33:14 +02:00
3a2a5510b9 removed printLn-tests fuer smArg und grArg 2016-04-07 22:32:42 +02:00
b7f41c4d13 funN greater 2016-04-07 22:30:30 +02:00
53cfb4b046 Support for FunN in FC added // swap for unifiers 2016-04-07 22:24:35 +02:00
284447aad2 removed unify old test 2016-04-07 21:45:27 +02:00
b707a0f03e Bugfix: Methodenparameter 2016-04-07 15:44:29 +02:00
d63f08bf33 BytecodeTest falsch aufgerufen 2016-04-07 15:08:11 +02:00
d3ebee1b3c Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-07 14:55:46 +02:00
45cad9f675 - getDescription ist nicht die Descripiton im Bytecode 2016-04-07 14:53:29 +02:00
74c2b5e323 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-07 14:52:04 +02:00