Justification code needs to be removed
Aperta
Nessuno ha ancora preso questa issue.
- Lingua principale
- TypeScript
- Stelle
- 153
- Fork
- 46
- Merge medio
- 1g 8h
- PR unite (30g)
- 7
Descrizione
if (statement) {
var oneStatementFormula = new UI.rdf.IndexedFormula();
oneStatementFormula.statements.push(statement); // st.asFormula()
// The following works because Formula.hashString works fine for
// one statement formula
var reasons = kb.each(oneStatementFormula, kb.sym('http://dig.csail.mit.edu/TAMI/2007/amord/tms#justification'));
if (reasons.length) {
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
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.
Direzione di ricerca
La issue fornisce solo un frammento di codice e non indica alcun file né test. Individua la formula mostrata composta da una sola istruzione e il lookup della giustificazione, quindi determina i caller interessati e il comportamento prima di rimuoverla; il lavoro è completato quando il percorso di codice della giustificazione obsoleto è stato eliminato senza interrompere il comportamento della UI circostante.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- typescript
- Ambito
- frontend
- Tipo di issue
- Refactoring
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Ferma
- Chiarezza
- Da chiarire
- Idoneità per principianti
- 25/100