compiler

1612 Commits

2 Branches

15 Tags

55 MiB

Tag: Branch: Tree: e2c32adda2

Commit Graph

Author	SHA1	Message	Date
韩天峰	d33073c021	feat(compiler): add ArrayDef compile-time array contract support - Implement ArrayDef attribute for compile-time array type contracts - Add support for list and map type definitions with key/value constraints - Create ArrayDefinition and ArrayDefWritePlan data structures - Integrate ArrayDef validation into assignment operations - Add documentation for ArrayDef usage and limitations - Support class value types, subclasses, and dynamic type checking - Enable static property array dimension assignments - Optimize literal assignments into variable declarations - Add comprehensive test cases for various ArrayDef scenarios	2 weeks ago

Author

SHA1

Message

Date

韩天峰

d33073c021

feat(compiler): add ArrayDef compile-time array contract support

- Implement ArrayDef attribute for compile-time array type contracts
- Add support for list and map type definitions with key/value constraints
- Create ArrayDefinition and ArrayDefWritePlan data structures
- Integrate ArrayDef validation into assignment operations
- Add documentation for ArrayDef usage and limitations
- Support class value types, subclasses, and dynamic type checking
- Enable static property array dimension assignments
- Optimize literal assignments into variable declarations
- Add comprehensive test cases for various ArrayDef scenarios

2 weeks ago

1 Commits (e2c32adda2b1939492832f215aaafe97053151b1)