8 Commits

Author	SHA1	Message	Date
Tamas Vajk	4f693be33b	Move location creation to instance method on context	2021-02-15 10:17:08 +01:00
Tom Hvitved	9a9a57716c	C#: Improved extraction of type nullability	2021-01-15 16:01:14 +01:00
Tamas Vajk	7d544e34af	C#: Add declaration visibility modifiers	2020-10-13 14:45:37 +02:00
Tamas Vajk	b793af571e	C#: Remove unnecessary usings	2020-10-13 13:27:45 +02:00
Calum Grant	4aa1947a23	C#: Implement type annotations for nullability, parameter kinds and method returns.	2019-06-26 20:24:55 +01:00
Tom Hvitved	a1e58cedac	C#: Refactor recursive patterns implementation ... - Extract names of properties in a propery match, using the `exprorstmt_name` relation. - Simplify extraction of properties by not distinguishing between top-level patterns and nested patterns. - Introduce `PatternExpr` to capture patterns in `is` expressions, `case` statements, and `switch` expression arms. - Generalize `IsTypeExpr`, `IsPatternExpr`, `IsRecursivePatternExpr`, and `IsConstantExpr` to just `IsExpr` with a member predicate `PatternExpr getPattern()`. - Generalize `TypeCase`, `RecursivePatternCase`, and `ConstCase` to just `CaseStmt` with a member predicate `PatternExpr getPattern()`. - Introduce classes `Switch` and `Case` as base classes of switch statements/expressions and case statements/switch expression arms, respectively. - Simplify CFG logic using the generalized classes. - Generalize guards library to cover `switch` expressions tests. - Generalize data flow library to cover `switch` expression assignments.	2019-05-24 13:49:05 +01:00
calum	1428d0ba93	C#: Implement recursive patterns	2019-05-24 13:49:05 +01:00
calum	103d140e71	C#: Migrate extractor to this repository.	2018-10-10 14:40:52 +01:00