18 Commits

Author	SHA1	Message	Date
Johanna Stuber	2120fc4a4a	Test for Tree::getFirstTypeVariable()	2021-01-30 14:54:47 +01:00
Johanna Stuber	daf33ec1a4	Test for TypeVariableFactory, refactor TypeVariableKind due to typo	2021-01-30 14:21:25 +01:00
Johanna Stuber	9affbb4807	Tests for Substitution, Constraint	2021-01-30 13:13:51 +01:00
Arne Keller	b716b204b3	Unification tests, miscellaneous code style fixes	2021-01-30 10:32:15 +01:00
uogau	2adc72cf74	Kleine Änderungen	2021-01-30 09:37:01 +01:00
Arne Keller	370acda75c	First integration test	2021-01-29 18:23:33 +01:00
uogau	1846f9d349	FunctionType und Presenter angepasst, Test geschrieben	2021-01-29 13:20:45 +01:00
Arne Keller	d9660c6299	Replace combobox with less annoying example dialog	2021-01-29 10:02:14 +01:00
Arne Keller	4e5488e1eb	Include token in ParseError + more error handling	2021-01-29 09:40:35 +01:00
Arne Keller	d7affc2999	Fix code style issues ... Source: SonarLint :)	2021-01-29 08:37:48 +01:00
Arne Keller	878130ebba	Handle empty lambda term in parser	2021-01-29 08:12:45 +01:00
Johanna Stuber	6bf0ef11a5	LambdaParserTest for getFreeVariables()	2021-01-29 00:37:29 +01:00
uogau	136a8d74c3	Checkstyle Violations	2021-01-28 14:06:42 +01:00
Arne Keller	c5a3cce7bf	CI: test coverage ... And a complicated parser test	2021-01-28 10:32:28 +01:00
Arne Keller	2092bf380e	Test let parsing	2021-01-28 10:15:01 +01:00
Arne Keller	143999d6e9	Term javadocs, TermVisitor, Result javadocs, mehr Parser-Tests	2021-01-27 21:44:17 +01:00
Arne Keller	f2cd4370cf	AbsTerm, AppTerm, mehr Parser-Tests	2021-01-27 21:10:02 +01:00
Arne Keller	3d5c84be03	Erster Unittest für Parser	2021-01-27 10:23:54 +01:00