liquid-java / liquid-java/liquidjava
Separating logging information from other function arguments
Aberta
@FrogOfJuly já está trabalhando nisso.
Desde 13/10/2022.
- Linguagem predominante
- Java
- Estrelas
- 67
- Forks
- 36
- Merge médio
- 10d 18h
- PRs com merge (30d)
- 3
Descrição
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)
Guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Avaliação
Esta issue ainda não foi avaliada.