liquid-java / liquid-java/liquidjava
Separating logging information from other function arguments
未关闭
@FrogOfJuly 已经在做这个了。
开始于 2022年10月13日。
- 主要语言
- Java
- 星标
- 67
- 派生
- 36
- 平均合并
- 10 天 18 小时
- 30 天内合并 PR
- 3
描述
There are multiple places where `CtElement` is passed only for logging information. I think it is better to create separate type and pass it around instead.
Examples:
`liquidjava.processor.context.Contex.addVarToContext`
`liquidjava.processor.refinement_checker.object_checkers.AuxStateHandler.createStatePredicate`
`liquidjava.processor.refinement_checker.TypeChecker.checksStateSMT` (changed to other other type already)
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
评估
这个 Issue 还没有评估数据。