9 Commits

Author	SHA1	Message	Date
Jonathan Leitschuh	b3ee1bd313	Refactor Preconditions and add Tests	2022-03-21 11:20:05 -04:00
Jonathan Leitschuh	1d0275344d	[Java]: Add precondition support for testing library asserts	2022-03-18 20:39:24 -04:00
Marcono1234	e0a45507f8	Java: Adjust toString() for statements	2021-06-03 16:27:36 +02:00
Marcono1234	7e778bc008	Java: Override toString() for statements ... Additionally remove redundant QLDoc which is inherited anyways.	2021-06-03 16:27:35 +02:00
yo-h	e194411cfa	Java: fix javac errors in test code	2021-02-09 09:16:57 -05:00
Anders Schack-Mulligen	75c549baa1	Java: Deprecate ParExpr.	2020-01-30 10:52:16 +01:00
Anders Schack-Mulligen	b1e364b56a	Java: Support precondition calls as guards.	2019-04-02 10:58:46 +02:00
Anders Schack-Mulligen	dd5a8f0c14	Java: Autoformat most queries.	2018-10-11 11:31:37 +02:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00