17 Commits

Author	SHA1	Message	Date
Tamas Vajk	b3d6d0c12b	Fix method name resolution issue with nullable suppression	2021-02-26 09:48:37 +01:00
Tom Hvitved	a45c415c5b	Merge pull request #5067 from hvitved/csharp/cfg/patterns ... C#: Adjust CFG for `{Recursive,Positional,Property}PatternExpr`	2021-02-03 12:09:39 +01:00
Tom Hvitved	249e431e87	C#: Adjust CFG for {Recursive,Positional,Property}PatternExpr	2021-02-01 13:52:18 +01:00
Tamas Vajk	1b6cb340d3	C#: Report IndexerProperty as Property in the PrintAST query	2021-02-01 10:08:51 +01:00
Tamas Vajk	8cbe8bc6b5	C#: Fix parent of 'TypeMention' for some variable declaration	2020-11-12 13:43:13 +01:00
Tamas Vajk	5d0c30db66	C#: Fix nullable reference type handling in type mention extraction	2020-10-20 08:23:57 +02:00
Tamas Vajk	dad5166bca	C#: Print full name of type mentions in AST	2020-10-20 08:23:57 +02:00
Tamas Vajk	ca6ecb3f1e	C#: Extract type mention for array creation	2020-10-20 08:23:56 +02:00
Tamas Vajk	7066568813	C#: Change type access and expression order in casts for AST printing	2020-10-20 08:23:56 +02:00
Tamas Vajk	6c48eb8c12	C#: Add type mentions to AST	2020-10-20 08:23:56 +02:00
Tamas Vajk	5fae440a58	C#: Reverse assignment child nodes in AST	2020-10-14 12:49:08 +02:00
Tamas Vajk	ee9a40e16d	C#: Remove location from base types in the AST	2020-10-14 12:49:08 +02:00
Tamas Vajk	e2c205deb4	C#: Add stable order for generated accessors in printed AST	2020-09-04 10:39:01 +02:00
Tom Hvitved	51dc1515ab	C#: Address review comments	2020-09-02 10:52:05 +02:00
Tom Hvitved	d17f88bbcd	C#: Remove assembly prefix from all extractor IDs	2020-09-02 10:52:04 +02:00
Tom Hvitved	b8cde180b9	C#: Order top-level elements by location in PrintAst.qll	2020-08-21 06:17:37 +02:00
Tamás Vajk	2a8ff8785a	C#: Add AST printing (#4038)	2020-08-20 14:24:43 +02:00