liquid-java / liquid-java/liquidjava
Separating logging information from other function arguments
Offen
@FrogOfJuly arbeitet bereits daran.
Seit 13.10.2022.
- Vorherrschende Sprache
- Java
- Sterne
- 67
- Forks
- 36
- Ø Merge
- 10 T. 18 Std.
- Gemergte PRs (30 T.)
- 3
Beschreibung
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)
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Bewertung
Dieses Issue wurde noch nicht bewertet.