Skip to content

Feature/pattern matching support#154

Draft
PhenX wants to merge 19 commits intomasterfrom
feature/pattern-matching-support
Draft

Feature/pattern matching support#154
PhenX wants to merge 19 commits intomasterfrom
feature/pattern-matching-support

Conversation

@PhenX
Copy link
Collaborator

@PhenX PhenX commented Feb 16, 2026

No description provided.

Copilot AI and others added 19 commits February 14, 2026 11:26
- Created BlockStatementConverter to transform block bodies to expressions
- Added support for simple return statements
- Added support for if-else statements (converted to ternary)
- Added support for local variable declarations (inlined)
- Added diagnostics for unsupported statements (EFP0003)
- Added comprehensive test cases
- Updated existing test that expected block methods to fail

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Created 7 functional tests demonstrating EF Core SQL translation
- Added comprehensive documentation explaining feature, limitations, and benefits
- All 174 tests passing across all projects

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Support if statements without else clause (uses default or fallback return)
- Support switch statements (converted to nested conditionals)
- Handle if { return x; } return y; pattern
- Added 5 generator tests and 4 functional tests
- Updated documentation with new features and SQL examples
- All 182 tests passing (84 generator + 76 functional + 22 unit)

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Rename test to better reflect implicit return pattern
- Add clarifying comment about control flow in BlockStatementConverter
- All tests still passing

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
…tion

# Conflicts:
#	tests/EntityFrameworkCore.Projectables.Generator.Tests/ProjectionExpressionGeneratorTests.cs
- Add diagnostic for empty block bodies (EFP0003)
- Fix transitive local variable inlining (var a = 1; var b = a + 2; now fully expands)
- Add warning when local variables are used multiple times (semantics preservation)
- Prevent locals in nested blocks from leaking into outer scopes
- Fix documentation to show compilable C# code (no implicit returns)
- Add tests for transitive locals and nested block restrictions
- All 197 tests passing (96 net8.0 + 101 net10.0)

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Apply ReplaceLocalVariables to if statement conditions
- Apply ReplaceLocalVariables to switch expressions
- Apply ReplaceLocalVariables to case label values
- Remove double BOM character from ExpressionSyntaxRewriter.cs
- Fix documentation to match actual behavior (no multiple usage warning)
- Add tests for locals in if conditions and switch expressions
- All 201 tests passing (98 net8.0 + 103 net10.0)

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Add specific diagnostics (EFP0004, EFP0005) for side effects
- Detect property assignments with clear error messages
- Detect compound assignments (+=, -=, etc.)
- Detect increment/decrement operators (++, --)
- Warn about non-projectable method calls
- Error messages now point to the exact problematic line
- All 209 tests passing (102 net8.0 + 107 net10.0)

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Document all detected side effects with examples
- Show before/after comparison of error messages
- Explain diagnostic codes EFP0004 and EFP0005
- Provide clear guidance for developers

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Add VisitIsPatternExpression to ExpressionSyntaxRewriter
- Convert pattern matching to equivalent expressions:
  - RecursivePattern: entity is { Prop: value } → null check + property checks
  - RelationalPattern: value is > 100 → value > 100
  - ConstantPattern: entity is null → entity == null
  - UnaryPattern: entity is not null → !(entity == null)
- Add comprehensive tests for all pattern types
- All 217 tests passing (106 net8.0 + 111 net10.0)

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
- Document all supported pattern types with examples
- Explain conversion logic and benefits
- Provide complex examples showing nested patterns
- Document limitations and error handling

Co-authored-by: PhenX <42170+PhenX@users.noreply.github.com>
@PhenX PhenX added this to the v6.0.0 milestone Feb 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments