liquid-java / liquid-java/liquidjava
Separating logging information from other function arguments
Ouverte
@FrogOfJuly y travaille déjà.
Depuis le 13/10/2022.
- Langage dominant
- Java
- Étoiles
- 67
- Forks
- 36
- Merge moyen
- 10 j 18 h
- PR mergées (30 j)
- 3
Description
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)
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Évaluation
Cette issue n'a pas encore été évaluée.