Calum Grant
8eeded5982
C#: Handle nameof(A.B) where A.B is a nested namespace.
2019-09-16 15:12:10 +01:00
Tom Hvitved
4f897b2628
C#: Address review comments
2019-09-16 10:45:37 +02:00
Tom Hvitved
8f3f9406e2
C#: Early identification of duplicate extraction
2019-09-11 20:47:20 +02:00
Tom Hvitved
6dc869d5c6
C#: Remove reference equality
2019-08-30 15:52:42 +02:00
Tom Hvitved
3e716bf806
Merge pull request #1749 from calumgrant/cs/extractor-tidy
...
C#: Refactor extractor trap generation code
2019-08-30 15:44:35 +02:00
Calum Grant
611af1e2c2
C#: Upgrade to Roslyn 3.2.
2019-08-30 11:47:43 +01:00
Calum Grant
0129b42c54
C#: Address review comments.
2019-08-30 10:11:01 +01:00
Calum Grant
7df90f13ed
C#: Address review comments. Tidy up tuple generation, consolidating code and use run-time type information instead of FirstParam/NextParam.
2019-08-30 10:11:01 +01:00
Calum Grant
40f56ff4b3
C#: Code tidy. Rename variables, delete dead code, format whitespace, improve comments.
2019-08-30 10:11:01 +01:00
Calum Grant
b3d5e405a6
C#: Fix violations
2019-08-30 10:11:01 +01:00
Calum Grant
b776421602
C#: Fix up tests. Fix cil_class, and add locations for constructed methods and types.
2019-08-30 10:11:01 +01:00
Calum Grant
02fd51ae61
C#: Resolve merge conflicts.
2019-08-30 10:11:00 +01:00
Calum Grant
b500a02b1e
C#: Compare CIL entities directly by handle rather than by label.
...
C#: Remove IDs from the CIL extractor and make consistent with C# extractor.
C#: Fix method collisions.
2019-08-30 10:11:00 +01:00
Calum Grant
685c494bcb
C#: Make the trap compression algorithm configurable.
2019-08-30 10:11:00 +01:00
Calum Grant
fe7e90e25a
C#: Remove the tuples from the C# extractor.
2019-08-30 10:11:00 +01:00
Calum Grant
486c192dda
C#: Refactoring expression and statement population.
2019-08-30 10:11:00 +01:00
Calum Grant
e41e8d6547
C#: Remove ITrapBuilder in favour of TextWriter.
2019-08-30 10:00:06 +01:00
Calum Grant
aeb38a1757
C#: Refactoring tuple writing to remove Tuple intermediate object and write straight to trap file.
2019-08-30 10:00:06 +01:00
Calum Grant
bd1b0018b0
C#: Rename some methods.
2019-08-30 10:00:06 +01:00
Calum Grant
58e6d236ff
C#: Tidy up CommentProcessing.
2019-08-30 10:00:06 +01:00
Calum Grant
dfbb1946d3
C#: Minor edits
2019-08-29 18:11:00 +01:00
Calum Grant
0e62377dd2
C#: Treat _ as an ordinary variable in a foreach.
2019-08-29 18:11:00 +01:00
Calum Grant
8aeeec01ff
C#: Add namespace_access_expr because of nameof(Namespace)
2019-08-29 18:11:00 +01:00
Calum Grant
ae36359058
C#: Fix typementions of arrays.
2019-08-29 18:11:00 +01:00
Tom Hvitved
495e5bc628
C#: Extract assignments for field/property initializers
2019-08-15 16:18:23 +02:00
Calum Grant
169dbf1be3
C#: Remove rule CA1022, which caused the analyzer to crash, generating a compilation warning (and possibly, instability).
2019-08-02 12:14:03 +01:00
Calum Grant
ce12312ff2
C#: Disable the write-through of the logger, as this is a theoretical slowdown, and results in less readable log files when multiple extractors are running concurrently.
2019-07-08 15:58:49 +01:00
Calum Grant
620ecc8128
C#: Address review comments part 1.
2019-06-26 20:24:56 +01:00
Calum Grant
f9099653a6
C#: Do not extract type annotations that can be deduced. Put specific_type_parameter_annotation on the side of specific_type_parameter_constraints.
2019-06-26 20:24:55 +01: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
5cc11ba232
C#: Update nuget packages
2019-06-17 13:26:11 +02:00
Tom Hvitved
d333ffb57a
C#: Update to netcoreapp2.2
2019-06-17 13:21:00 +02:00
Calum Grant
d48ce859eb
C#: Implement nullable warning suppression expressions.
2019-06-11 12:12:29 +01:00
Calum Grant
73c2898666
C#: Minor edits.
2019-06-04 18:10:49 +01:00
Calum Grant
15cd1d274a
C#: Implement using declaration statements.
2019-06-04 18:10:49 +01:00
Calum Grant
ac3a06f77b
C#: Implement null coalescing assignment operator
2019-06-04 18:10:49 +01:00
Calum Grant
599a5b1eef
C#: Make @local_function @modifiable, make LocalFunction extend Modifiable, and extract modifiers for local functions.
2019-06-04 18:10:49 +01:00
Tom Hvitved
2d0554a7ee
C#: Address review comments
2019-06-03 16:00:22 +02:00
Tom Hvitved
25cb01ffea
C#: Handle discard variable declarations in switch expressions
2019-06-03 15:50:41 +02:00
Tom Hvitved
8c1cab2d03
C#: Simplify extraction of is expressions and case statements
2019-06-03 15:50:41 +02:00
Calum Grant
573646fe6a
C#: Various C#8 features:
...
- Async streams (test only)
- Unmanaged generic structs (extractor support)
- Alternate interpolated strings (test only)
- static local function (test only)
2019-05-29 08:12:11 +01:00
Calum Grant
d2aea635e4
C#: Address review comments
2019-05-24 13:49:05 +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 Grant
21203cdf0d
C#: Minor code tidy.
2019-05-24 13:49:05 +01:00
Calum Grant
aecc9e2a57
C#: Fix LGTM warnings
2019-05-24 13:49:05 +01:00
calum
1428d0ba93
C#: Implement recursive patterns
2019-05-24 13:49:05 +01:00
calum
318068b52f
C#: Implement range operator
2019-05-24 13:49:04 +01:00
Calum Grant
fcfb7b2b8a
C#: Fix error caused by Roslyn upgrade.
2019-05-22 16:17:16 +01:00
Calum Grant
e5aa7f3ba7
C#: Upgrade to Roslyn 3.1
2019-05-22 15:54:30 +01:00
calum
39bb3f2d52
C#: Fix elapsed timings and add a test for it.
2019-05-13 09:18:52 +01:00