 韩天峰
|
b1dcaaa37e
|
test(aot): 新增 Symfony 模式测试及 PHPT 产物清理脚本
|
2 months ago |
|
韩天峰
|
f22499bdf9
|
feat(foreach): 支持动态类型表达式和IteratorAggregate嵌套
修复foreach遍历动态表达式时的类型分发，正确处理IteratorAggregate嵌套及无效返回值检测
|
2 months ago |
|
韩天峰
|
6baaa9a221
|
test: 添加 Symfony 模式及引用相关测试
|
2 months ago |
|
韩天峰
|
952210f1ff
|
test(aot): 添加 Symfony 模式测试
|
2 months ago |
|
韩天峰
|
cb03f9452c
|
test(aot): 添加Symfony模式测试
|
2 months ago |
|
韩天峰
|
5ee74b2d9d
|
fix(parser): 修复引用赋值时的类型推断错误
|
2 months ago |
|
韩天峰
|
ac5bfa6c68
|
test(aot): 添加 Symfony 数组与箭头函数模式测试
|
2 months ago |
|
韩天峰
|
7d20c4e994
|
feat(preprocessor): 添加属性参数中数组和新表达式的校验
|
2 months ago |
|
韩天峰
|
4fc0acc47f
|
fix(optimizer): 修复含占位符参数的函数调用优化
在 FuncCallOptimizer 中遇到占位符表达式(如 First-class callable)时跳过优化，
避免参数遍历中的类型处理错误导致运行时异常。
|
2 months ago |
|
韩天峰
|
1d2dab4875
|
test(symfony): 添加 AOT 模式兼容性测试与文档
|
2 months ago |
|
韩天峰
|
67d795a506
|
test(aot): 添加Symfony模式测试
|
2 months ago |
|
韩天峰
|
4c806c8e16
|
test(symfony): 添加AOT编译器Symfony模式测试
|
2 months ago |
|
韩天峰
|
db4d92b616
|
chore(test): 将编译器测试移至 aot 目录
|
2 months ago |
|
韩天峰
|
6afb8e3689
|
fix(aot): 修复数组复合赋值表达式返回值
修复复合赋值运算符（如 +=）在数组元素上使用时返回值错误的问题。
之前代码使用了存储变量而非读取变量进行运算，并且未正确返回运算结果。
现在通过使用读取变量参与计算并返回临时变量值来修复此问题，
同时添加了 FFI 和数组相关的测试用例。
|
2 months ago |
|
韩天峰
|
4ceb938009
|
refactor(tests): 将测试从 aot 目录移动到 compiler 目录
|
2 months ago |
|
韩天峰
|
d5590b52c5
|
chore(tests): 将测试从 aot 目录迁移至 compiler 目录
|
2 months ago |
|
韩天峰
|
d55bb041f6
|
test(aot): 添加字符串与函数解析等单元测试
|
2 months ago |
|
韩天峰
|
7ccdd3add9
|
test: 添加AOT多项功能验证测试
|
2 months ago |
|
韩天峰
|
934628e2c2
|
test: 添加数组、异常、过滤及箭头函数测试
|
2 months ago |
|
韩天峰
|
bc6d15c81a
|
fix(compiler): preserve finally semantics for catch throws
|
2 months ago |
|
韩天峰
|
72db18c22a
|
fix(php): validate composite parameter variance
|
2 months ago |
|
韩天峰
|
e95f996c06
|
fix(aot): skip comment-only else branch
|
2 months ago |
 Yurun
|
61099c4c9e
|
fix(php): 修复参数类型重写兼容性检查以遵循逆变规则
|
2 months ago |
|
Yurun
|
d0cb1395e5
|
fix(compiler): 修复 finally 使用变量
|
2 months ago |
|
韩天峰
|
bc799fda0a
|
fix:修复静态回调解析及拼接赋值等编译问题
|
2 months ago |
|
韩天峰
|
2a75143036
|
fix(aot): 处理类常量引用的全限定类名
|
2 months ago |
|
韩天峰
|
2e85940bff
|
refactor(foreach): 提取键值赋值与循环体解析为独立方法
|
2 months ago |
|
韩天峰
|
7937f05282
|
fix: 修复解构键提取、switch默认分支及finally控制流
正确处理数组/foreach解构中的键名与嵌套结构，
修复switch中default位于匹配case前时执行顺序错误的问题，
确保finally块在break/continue/goto离开try/catch时被注入，
并支持动态静态方法与属性调用。
|
2 months ago |
 NathanFreeman
|
c73dedc306
|
如果else分支只有注释，那就不渲染这个分支
|
2 months ago |
|
韩天峰
|
bd1a4db9d4
|
fix(compiler): 修复函数use导入及declare编码解析
修复 `use function` 导入时完整命名空间解析错误，存储完整FQN而非仅命名空间部分。
修复 `declare` 语句中字符串/整数类型值的解析，支持 `encoding="UTF-8"` 等声明。
新增相关功能的AOT测试覆盖。
|
2 months ago |
|
韩天峰
|
c94be9c6a9
|
fix(compiler):注入finally块到return路径并修复属性注册
|
2 months ago |
|
韩天峰
|
b6d0488ea6
|
fix(compiler): 修复多处运算符和表达式编译副作用处理
|
2 months ago |
|
韩天峰
|
aab412084f
|
fix: 修复变参参数缺失命名参数及闭包副作用等问题
|
2 months ago |
|
韩天峰
|
c740a24501
|
fix: 修复异常处理与exit语义，重构动态属性操作
|
2 months ago |
|
韩天峰
|
8df3e8bfef
|
refactor(parser): 重构赋值操作符解析逻辑并调整测试文件结构
- 调整 AssignOpTrait.php 中变量解析顺序，优化代码执行流程
- 将 inAssignExpr 上下文切换移到属性写入检查之后
- 移除比较操作符测试文件中的太空船操作符测试用例
- 创建独立的太空船操作符测试文件 spaceship.phpt
- 重新组织测试用例结构以提高可维护性
|
2 months ago |
|
韩天峰
|
6e5b186c91
|
refactor(php): 重构PHP解析器的表达式处理和动态属性访问
- 将parseExpr替换为parseExprAsValue方法，统一处理void表达式转换为null
- 移除多处trimBrackets调用，简化表达式解析流程
- 添加emitDynamicPropertyFetchRead/Write/Unset等统一动态属性访问方法
- 重构PropertyWriteTarget类，将objectExpr和propertyExpr设为私有并添加getter方法
- 合并动态属性访问的目标路径和传统回退路径
- 修改测试框架中的exec方法为compile方法，更新相关测试用例
- 移除void表达式相关的错误检查，在运行时将其转换为null值
- 优化类型转换表达式的括号处理，移除不必要的trimBrackets调用
- 统一动态属性读取、写入、引用和取消设置的操作方法
|
2 months ago |
|
Yurun
|
c59184bed7
|
fix(compiler): 支持数组和属性数组追加同时链式赋值
|
2 months ago |
|
Yurun
|
8684d1652c
|
fix(compiler): 支持属性和数组元素作为赋值表达式右值
|
2 months ago |
|
Yurun
|
b6e937a4cc
|
fix(compiler): 修复对象::class获取类名
|
2 months ago |
|
Yurun
|
580f1fb64f
|
fix(compiler): 修复引用参数是对象时调用方法错误
|
2 months ago |
|
Yurun
|
bbc9ab61a4
|
fix(tests): 更新测试预期与改进跨平台兼容性
|
2 months ago |
|
韩天峰
|
9c5bf37b6f
|
fix(generator): 修复代码生成器中的引用传递问题
- 在函数、参数、常量和属性的代码生成中添加refval包装器
- 确保use引用变量正确传递给代码生成函数
- 解决闭包中通过回调使用引用捕获的功能问题
- 添加测试用例验证闭包引用捕获的正确性
|
2 months ago |
|
韩天峰
|
903af8c477
|
test(closure): 添加闭包use值和引用捕获功能测试
- 新增closure-use-reference-capture.phpt测试文件验证闭包捕获行为
- 添加ClosureTest类实现use引用捕获编译测试
- 在CompilerBase中添加stringifyParsedExpr方法处理表达式字符串化
- 重构函数调用参数处理逻辑提取为独立方法确保数组和命名参数正确处理
- 修改for循环条件和迭代部分的表达式解析确保正确转换
- 添加use-reference-capture.php测试代码验证闭包引用捕获功能
|
2 months ago |
|
韩天峰
|
4b1b20c7ca
|
refactor(php): 重构属性访问解析逻辑并引入编译阶段管理
- 引入 PropertyAccessResolver 类统一处理属性访问逻辑
- 添加编译阶段管理 (idle/prepare/convert) 确保模块正确使用时机
- 将 isSameClassName、isSameOrSubclassOf、canAccessProtectedProperty 方法委托给 resolver
- 实现 PropertyAccessResult DTO 承载属性访问解析结果
- 为 Preprocessor 和 Translator 添加编译阶段进入/恢复逻辑
- 创建 CompilerPhaseTest 验证阶段管理功能
- 更新文档说明重构计划和模块拆分方向
- 修改函数返回值测试以适配重构后的测试需求
|
2 months ago |
|
韩天峰
|
4214e1e278
|
feat(php): 添加对构造函数析构函数返回类型和魔术方法的严格检查
- 实现构造函数和析构函数不能声明返回类型的检查
- 实现克隆方法返回类型必须为void的验证
- 添加魔术方法静态性和可见性检查规则
- 实现魔术方法参数数量和类型的严格校验
- 添加魔术方法参数类型检查如__get方法必须接受字符串参数
- 实现可选参数不能在必需参数之前的检查
- 添加闭包引用参数和变长引用参数的错误检查
- 优化参数计数错误消息中的预期参数数量提示
- 添加AOT编译器语言设计原则文档说明
|
2 months ago |
|
韩天峰
|
399f77d5c5
|
feat(php): 实现对函数参数引用传递的支持
- 添加了 AOT 调用参数信息获取功能
- 实现了按索引和名称获取参数信息的方法
- 增加了对命名参数引用传递的判断支持
- 添加了引用参数值解析功能
- 优化了新对象构造函数参数传递逻辑
- 完善了对动态调用和继承链的参数分析
- 新增静态函数、方法和构造函数引用参数测试用例
|
2 months ago |
|
韩天峰
|
3d6e0b5689
|
feat(php): 添加对参数解包后位置参数的验证支持
- 在函数调用参数验证中添加了对参数解包的支持
- 实现了 hasUnpackCallArg 方法用于检测参数解包
- 添加了 shouldUseDynamicCallForNativeArgs 方法优化动态调用判断
- 修复了参数解包后不能跟位置参数的错误检查逻辑
- 更新了命名参数和解包参数的验证顺序
- 添加了多个测试用例验证参数解包功能的正确性
- 增加了 AOT 测试确保多异常捕获和抛出异常对象的功能正常
|
2 months ago |
|
韩天峰
|
f8c37f91c3
|
test(type): 添加类型检查和属性赋值相关测试用例
- 添加实例属性类型检查消息包含类名的测试用例
- 添加属性联合赋值操作使用运行时类型检查的测试用例
- 添加动态属性赋值TypeError捕获的测试用例
- 添加二元运算符操作数从左到右求值顺序的测试用例
- 添加原生优化调用参数从左到右求值的测试用例
- 添加构造函数属性提升联合参数检查的测试用例
fix(assign): 修复属性赋值时的类型检查问题
- 在属性赋值操作中添加对象属性类型检查包装
- 修复属性赋值表达式中的类型验证逻辑
- 添加静态属性赋值的类型检查支持
fix(ctor): 修复构造函数属性提升的参数验证顺序
- 将构造函数属性提升移到参数类型验证之后执行
- 在数组初始化计划后添加错误检查机制
|
2 months ago |
|
韩天峰
|
54bca6942e
|
feat(parser): 添加对象属性赋值类型检查和二元运算操作数处理
- 实现对象属性赋值时的类型验证检查机制
- 添加静态属性赋值的类型安全保护
- 引入有序操作数解析以支持复杂表达式计算
- 增加对函数调用参数的类型安全检查
- 优化二元运算符操作数的类型转换处理
- 添加测试用例验证类型检查功能正确性
- 扩展属性定义实体以支持类型检查配置
- 实现操作数材料化以处理副作用表达式
|
2 months ago |
|
韩天峰
|
cff27c7c79
|
refactor(parser): 重构二元操作符和控制流的解析逻辑
- 实现逻辑运算符短路求值功能，支持 && 和 || 操作符的惰性求值
- 添加 parseShortCircuitLogicalOp 方法处理逻辑运算符的特殊解析逻辑
- 新增 parseExprWithCapturedStmts 方法捕获表达式解析过程中的语句
- 实现 appendCapturedStmtLines 和 genConditionWithCapturedStmts 辅助方法
- 重构 for 循环条件和循环体表达式的解析逻辑
- 修改三元运算符解析以支持条件表达式的语句捕获
- 重构 if 语句解析使用递归函数处理 if-elseif-else 链
- 更新 while 和 do-while 循环处理条件表达式中的副作用
- 重构 switch 语句解析逻辑，改进 case 条件的匹配机制
- 添加多个测试用例验证条件表达式副作用的执行时机
|
2 months ago |
