liquid-java / liquid-java/liquidjava
Separating logging information from other function arguments
Abierto
@FrogOfJuly ya está trabajando en esto.
Desde el 13/10/2022.
- Lenguaje dominante
- Java
- Estrellas
- 67
- Forks
- 36
- Merge medio
- 10 d 18 h
- PR fusionados (30 d)
- 3
Descripción
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)
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Evaluación
Este issue todavía no se ha evaluado.