Change `return` to `$result` for method return values in refinements
评估
调研方向
首先定位 refinement grammar,以及替换或检查返回值的代码;issue 提到了两者,但没有指出文件或测试。将现有对 return 和 _ 的处理方式与提议的 $result 语法进行比较,并在开始前考虑已打开的 pull request。完成的标准是新语法能够正常工作,且不会破坏现有行为。
由索引模型根据 Issue 内容生成。
描述
return is a statement, and it's strange to have it as a variable to represent the return value.
Therefore, we could change it for result. But since result can be an actual variable that represents something other than the return value we, we can try using $result.
This would mean a small change in the grammar, probably, and a change in replacing the return value.
Ps: the _ should still work in any case
Example Before:
@Refinement("return > 0")
int test2 (){
return 10;
}
Example After:
@Refinement("$result > 0")
int test2 (){
return 10;
}
- 主要语言
- Java
- 星标
- 67
- 派生
- 36
- 平均合并
- 10 天 18 小时
- 30 天内合并 PR
- 3
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
liquid-java/liquidjava 的其他 Issue
-
enhancement
liquid-java/liquidjava#240 · 已指派 1 人 ·
-
enhancement ide
难度 3/5 1-2 天 新手友好度 45/100
liquid-java/liquidjava#206 ·
-
tests
难度 2/5 1-3 小时 新手友好度 25/100
liquid-java/liquidjava#198 ·
-
tests
难度 4/5 3-5 天 新手友好度 25/100
liquid-java/liquidjava#197 ·
-
tests
难度 4/5 3-5 天 新手友好度 35/100
liquid-java/liquidjava#196 · 2 条评论 ·
查看 liquid-java/liquidjava 的全部 Issue
相似的 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 85/100
-
bug frontend maui-pilot
难度 2/5 1-3 小时 新手友好度 72/100
-
难度 2/5 1-3 小时 新手友好度 76/100
objectionary/eo-graphs#74 ·
-
难度 2/5 1-3 小时 新手友好度 72/100
-
难度 2/5 1-3 小时 新手友好度 65/100