liquid-java / liquid-java/liquidjava
Separating logging information from other function arguments
Aperta
@FrogOfJuly ci sta già lavorando.
Dal 13/10/2022.
- Lingua principale
- Java
- Stelle
- 67
- Fork
- 36
- Merge medio
- 10g 18h
- PR unite (30g)
- 3
Descrizione
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)
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Valutazione
Questa issue non è ancora stata valutata.