12735 Commits

Author	SHA1	Message	Date
Ian Lynagh	1de12e72d4	Kotlin: More expressions	2022-05-10 18:45:53 +01:00
Ian Lynagh	90161b9e9d	Kotlin: Add more expressions	2022-05-10 18:45:53 +01:00
Ian Lynagh	492dc3dfb3	Kotlin: More tests (of unhandled expressions)	2022-05-10 18:45:53 +01:00
Ian Lynagh	b4bc40630f	Kotlin: More expressions	2022-05-10 18:45:53 +01:00
Ian Lynagh	14a46b08b5	Kotlin: Variable accesses	2022-05-10 18:45:53 +01:00
Ian Lynagh	4c8ff16552	Kotlin: Fixes	2022-05-10 18:45:53 +01:00
Ian Lynagh	3daec4376f	Kotlin: Variable initialisers	2022-05-10 18:45:53 +01:00
Ian Lynagh	f5e2826b9f	Kotlin: Accept test changes	2022-05-10 18:45:53 +01:00
Ian Lynagh	4ba13d3663	Kotlin: Extract parameters	2022-05-10 18:45:53 +01:00
Ian Lynagh	799cf64fd2	Kotlin: Local variables	2022-05-10 18:45:53 +01:00
Ian Lynagh	46add88bb5	Kotlin: Add more types	2022-05-10 18:45:53 +01:00
Ian Lynagh	1c39f001e5	Kotlin: Add variables test	2022-05-10 18:45:53 +01:00
Ian Lynagh	b91660a0f0	Kotlin: Extract properties	2022-05-10 18:45:53 +01:00
Ian Lynagh	97722faee9	Kotlin: Add do/while loops	2022-05-10 18:45:52 +01:00
Ian Lynagh	0c429e4f80	Kotlin: Add blocks	2022-05-10 18:45:52 +01:00
Ian Lynagh	a8a6b4c09f	Kotlin: Move some expressions to the right place	2022-05-10 18:45:52 +01:00
Ian Lynagh	b25ea03211	Kotlin: Add while statements	2022-05-10 18:45:52 +01:00
Ian Lynagh	00cff5593f	Kotlin: Fix the tests ... The handling of Unit is very kludgy at the moment. Will need rethinking.	2022-05-10 18:45:52 +01:00
Ian Lynagh	f0903726bf	Kotlin: Add some if-stmt support	2022-05-10 18:45:52 +01:00
Ian Lynagh	d48739cc92	Kotlin: Check a call actually is an addition	2022-05-10 18:45:52 +01:00
Ian Lynagh	9a75ca7f62	Kotlin: Identify the int type better	2022-05-10 18:45:52 +01:00
Ian Lynagh	f608384085	Kotlin: Add a "bug" case	2022-05-10 18:45:52 +01:00
Ian Lynagh	b68178e8cc	Kotlin: Handle enums better when generating dbscheme	2022-05-10 18:45:52 +01:00
Ian Lynagh	5f991653c1	Kotlin: Generate type aliases for dbscheme	2022-05-10 18:45:52 +01:00
Ian Lynagh	dbef421204	Kotlin: Generate dbscheme deterministically	2022-05-10 18:45:52 +01:00
Ian Lynagh	afea1871a7	Java: Add a variables consistency query	2022-05-10 18:45:52 +01:00
Ian Lynagh	15be80631f	Java: Add a consistency test for expressions ... They should have exactly 1 Type.	2022-05-10 18:45:52 +01:00
Ian Lynagh	bbbd5d78a7	Java: Add toString consistency query	2022-05-10 18:45:51 +01:00
Ian Lynagh	06d9d305c2	Java: More consistency queries	2022-05-10 18:45:51 +01:00
Ian Lynagh	b2acb7d7a1	Add a consistency query	2022-05-10 18:45:51 +01:00
Ian Lynagh	03d5646c19	Kotlin: Add stmt/expr support	2022-05-10 18:45:51 +01:00
Ian Lynagh	49a4e479da	Kotlin: Extract methods	2022-05-10 18:45:51 +01:00
Ian Lynagh	6dd1027315	Kotlin: Refactoring	2022-05-10 18:45:51 +01:00
Ian Lynagh	fb26859425	Kotlin: Suppress an unchecked cast warning ... I don't think we can easily do better here.	2022-05-10 18:45:51 +01:00
Ian Lynagh	4e27da33e4	Kotlin: Tweak generator	2022-05-10 18:45:51 +01:00
Ian Lynagh	d28059a1c0	Kotlin: Generate a module from the dbscheme	2022-05-10 18:45:51 +01:00
Ian Lynagh	4721ccd965	Kotlin: Add tests	2022-05-10 18:45:51 +01:00
Ian Lynagh	f15c6dede1	Kotlin: Get extractor working in a Java context	2022-05-10 18:45:51 +01:00
Ian Lynagh	e3ecf4c52d	Kotlin: Add kotlin-extractor	2022-05-10 18:45:51 +01:00
Tom Hvitved	712fe002b9	Data flow: Sync files	2022-05-10 12:41:10 +02:00
Anders Schack-Mulligen	f85e06c2e4	Dataflow: Sync.	2022-05-10 10:12:39 +02:00
luchua-bc	75e7148912	Standardize the query and update qldoc	2022-05-09 16:10:11 +00:00
Anders Schack-Mulligen	135d7f6e32	Dataflow: Prune more cons-candidates.	2022-05-09 16:21:12 +02:00
Anders Schack-Mulligen	1b0e9d5cd7	Dataflow: Fix join order in nodeMayUseSummary.	2022-05-09 16:21:12 +02:00
Anders Schack-Mulligen	f24364d951	Merge pull request #9045 from hvitved/dataflow/subpaths-perf-take2 ... Data flow: Speedup `subpaths` predicate (take 2)	2022-05-09 15:39:11 +02:00
Michael Nebel	9a45949e8c	Merge pull request #9044 from michaelnebel/csharp/flowsummariestest ... C#: Flow summaries test should print, whether a summary is generated or not.	2022-05-09 10:06:19 +02:00
Michael Nebel	1401e7ddb3	Merge pull request #8855 from michaelnebel/csharp/singlereadstore ... C#: Only allow two read and two store steps in model capturing.	2022-05-09 10:05:53 +02:00
Michael Nebel	83aa65ff53	C#/Java: Remove redudandant QL comment in CaptureModel.	2022-05-09 07:36:41 +02:00
Michael Nebel	76fd424795	C#: Turn isAutogenerated predicate into a predicate without result.	2022-05-09 07:30:06 +02:00
Marcono1234	c760d39d59	Merge remote-tracking branch 'remotes/origin/main' into marcono1234/statement-expression	2022-05-09 00:28:19 +02:00