Skip to content

refactor: Replace direct expression building with analysis framework and AST-based compilation #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
scoizzle merged 39 commits into from
Feb 11, 2026
Merged

refactor: Replace direct expression building with analysis framework and AST-based compilation #16

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
7a22dd7
feat: Implement variable scope management and semantic analysis middl…
scoizzle Jan 19, 2026
c52818b
Refactor: Remove unused interpretation accessors and streamline valid…
scoizzle Jan 21, 2026
2e97e80
Add arithmetic, conditional, and constant node tests; implement TypeR…
scoizzle Jan 22, 2026
664f8cd
refactor: Update interpretation context and metadata handling; stream…
scoizzle Jan 22, 2026
b9b3a63
refactor: Enhance interpretation context handling and streamline LINQ…
scoizzle Jan 22, 2026
110dd98
refactor: Introduce IInterpreterResultProvider interface and enhance …
scoizzle Jan 22, 2026
0917944
Refactor expression compilation in tests to use CompileLambda method
scoizzle Jan 22, 2026
b9deb59
refactor: Implement Children property for AST nodes to improve tree t…
scoizzle Jan 27, 2026
a7f65c7
refactor: Introduce ITypedMetadataProvider and TypedMetadataStore for…
scoizzle Jan 27, 2026
fcbb9c8
refactor: Introduce AnalysisContext, AnalysisResult, and TypeResoluti…
scoizzle Jan 27, 2026
bb5f6a4
refactor: Simplify member resolution logic and enhance type resolutio…
scoizzle Jan 27, 2026
92e8fc4
refactor: Enhance analysis framework with new analyzers and metadata …
scoizzle Jan 28, 2026
b8aad3f
refactor: Update AST node structure and enhance analysis framework wi…
scoizzle Jan 28, 2026
9b17e5f
refactor: Update documentation to clarify type resolution and semanti…
scoizzle Jan 28, 2026
4af1d10
refactor: Introduce control flow statements including Break, Continue…
scoizzle Jan 28, 2026
859d1ce
refactor: Update analyzer builder methods to use more descriptive nam…
scoizzle Jan 28, 2026
9f950a9
refactor: Implement control flow constructs including If, Switch, Whi…
scoizzle Jan 28, 2026
f321f0b
refactor: Enhance analysis framework with diagnostics support and new…
scoizzle Jan 28, 2026
39d55d1
refactor: Enhance analysis framework with diagnostics output and stre…
scoizzle Jan 28, 2026
0b0bf34
Refactor: Remove obsolete classes and middleware from the interpretat…
scoizzle Jan 28, 2026
5fc709b
refactor: Introduce NodeId for stable AST node identification and upd…
scoizzle Jan 28, 2026
5973d6c
refactor: Enhance analysis framework with new interfaces for metadata…
scoizzle Jan 28, 2026
79e4733
refactor: Update TypedMetadataStore to use IAnalysisMetadata and add …
scoizzle Jan 28, 2026
cd3fdc2
refactor: Update metadata handling in AnalysisContext to enforce IAna…
scoizzle Jan 28, 2026
b7543ef
refactor: Update NodeId to improve identifier handling and enhance Ty…
scoizzle Jan 28, 2026
75aac92
Add integration tests for arithmetic expression evaluation and Mermai…
scoizzle Jan 29, 2026
c57f801
refactor: Enhance Mermaid AST generation with metadata and styling an…
scoizzle Jan 29, 2026
ab7fb9d
refactor: Update NewId method to use GUID version 7 for unique node i…
scoizzle Jan 30, 2026
cc5a277
refactor: Replace TypedMetadataStore with NodeMetadataStore for impro…
scoizzle Jan 30, 2026
54343c5
test: Add unit tests for NodeId value comparison semantics
scoizzle Jan 30, 2026
e8fe977
refactor: Simplify parameter initialization in demo AST example
scoizzle Jan 30, 2026
481dba4
refactor: Improve LINQ expression generation and Mermaid AST visualiz…
scoizzle Jan 30, 2026
da46273
refactor: Replace ITypedMetadataProvider with INodeMetadataProvider f…
scoizzle Jan 30, 2026
16a62dc
Add control flow analysis and constant folding optimization
scoizzle Feb 1, 2026
80b0d50
feat: Introduce new type system with optional and primitive type refe…
scoizzle Feb 2, 2026
b87425d
refactor: Enhance ITypeDefinitionProvider and PrimitiveTypeId with ad…
scoizzle Feb 3, 2026
ce7b61d
refactor: Simplify type resolution logic by consolidating node type r…
scoizzle Feb 7, 2026
d3e6fee
feat: Introduce Domain Modeling components
scoizzle Feb 7, 2026
671b6e4
feat: Add TypeCategoryExtensions for enhanced type category checks
scoizzle Feb 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/copilot-instructions.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ These instructions help AI coding agents work productively in this .NET solution
- `DataTypeBuilder` → defines a type, properties, and rules.
- `PropertyBuilder` → sets property types and constraints.
- `RelationshipBuilder` → creates `HasOne/HasMany` and `WithOne/WithMany` relationships.
- **Serialization:** Portable JSON for models; see `DataModeling/DataModelPropertyPolymorphicJsonTypeResolver.cs` for custom polymorphic handling.
- **Serialization:** Portable JSON for models; see `DomainModeling/DataModelPropertyPolymorphicJsonTypeResolver.cs` for custom polymorphic handling.
- **Module boundaries (critical):** One-way dependencies are enforced.
- `Interpretation` depends on `Introspection` interfaces.
- `Validation` depends on `Interpretation` (rules and evaluation consume the DSL).
Expand Down Expand Up @@ -60,7 +60,7 @@ dotnet run --project Poly.Tests/Poly.Tests.csproj
- **New constraint:** Implement in [Poly/Validation/Constraints](Poly/Validation/Constraints) and integrate via `PropertyBuilder`.
- **New rule:** Implement in [Poly/Validation/Rules](Poly/Validation/Rules) and expose through `DataTypeBuilder.AddRule()`.
- **New operator:** Add under [Poly/Interpretation/Operators](Poly/Interpretation/Operators), ensuring compatibility with `InterpretationContext`.
- **New relationship types:** Extend `Relationship` in [Poly/DataModeling/Relationship.cs](Poly/DataModeling/Relationship.cs) and builder methods in `DataTypeBuilder`.
- **New relationship types:** Extend `Relationship` in [Poly/DomainModeling/Relationship.cs](Poly/DomainModeling/Relationship.cs) and builder methods in `DataTypeBuilder`.

## Coding Style
- Keep changes minimal and aligned to existing fluent APIs.
Expand All @@ -69,7 +69,7 @@ dotnet run --project Poly.Tests/Poly.Tests.csproj

## Useful References
- High-level intro and examples: [README.md](README.md)
- Core modeling: [Poly/DataModeling](Poly/DataModeling)
- Core modeling: [Poly/DomainModeling](Poly/DomainModeling)
- Validation: [Poly/Validation](Poly/Validation)
- Interpretation DSL: [Poly/Interpretation](Poly/Interpretation)
- Benchmarks/samples: [Poly.Benchmarks](Poly.Benchmarks)
Expand Down
Loading