16 Commits

Author	SHA1	Message	Date
Michael Nebel	0cf4b3fbcc	C#: Added dataflow testcases for tuple mixed initialization and assignment.	2022-02-07 14:11:31 +01:00
Michael Nebel	bcf732a7cb	C#: Re-factor tuple tests to use the default value flow configuration.	2022-02-07 14:11:31 +01:00
Michael Nebel	9770f09839	C#: Deprecate Record and introduce RecordClass instead. Also make flow summary support for record struct constructors.	2022-01-17 16:16:18 +01:00
Tom Hvitved	a3b1fb603a	C#: Add missing tuple declarations to PatternExpr ... `x` and `y` in `pair is var (x, y) ? x : null` are now correctly part of `PatternExpr`.	2021-12-22 13:05:58 +01:00
Tom Hvitved	563b771163	C#: Update expected test output	2021-12-10 10:42:29 +01:00
Michael Nebel	9ea320c53c	Update all PrintAst.qlref to point to new location of PrintAst.ql	2021-11-11 15:19:15 +01:00
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tamas Vajk	c069c3384e	Fix tests	2021-04-08 12:07:36 +02:00
Tom Hvitved	6d6150d051	C#: Change some data-flow toString()s	2021-03-23 16:42:58 +01:00
Tamas Vajk	27048191c8	C#: Add dataflow test for tuple-positional pattern	2021-03-12 17:14:24 +01:00
Tamas Vajk	0defad77dd	C#: Add tuple data flow in patterns	2021-03-09 09:14:24 +01:00
Tom Hvitved	80a7b52f38	C#: Convert data-flow test queries to path-problems	2021-03-09 09:14:24 +01:00
Tom Hvitved	0698bdd907	C#: Restrict tuple read/store steps to tuple deconstructions/constructions	2021-03-09 09:14:24 +01:00
Tamas Vajk	d05a733109	Add more test cases	2021-03-09 09:14:23 +01:00
Tamas Vajk	0ca4bf4267	C#: WIP: Add tuple data flow	2021-03-09 09:14:23 +01:00