A float ghost crashes the verifier: "Ghost not implemented for type float"
I maintainer di solito rispondono entro 2 giorni
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 72/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Stack tecnologico
- java
- Ambito
- testing-qa
Direzione di ricerca
Inizia dalla gestione predefinita di Ghost in TypeChecker.java, dove viene generata l’eccezione segnalata, e confronta come i ghost di tipo int e boolean ricevono valori predefiniti. Usa il riproduttore fornito per verificare il caso float; il lavoro è terminato quando un ghost di tipo float riceve un valore predefinito oppure l’annotazione @Ghost segnala chiaramente un errore elencando i tipi supportati.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Declaring a float ghost crashes the verifier when the ghost needs its default value. The result should be either support for the type or a proper error at the @Ghost annotation.
Reproducer:
import liquidjava.specification.Ghost;
import liquidjava.specification.StateRefinement;
@Ghost("float level")
class Tank {
@StateRefinement(to = "true")
public void fill() {}
}
public class Main {
public static void main(String[] args) { Tank t = new Tank(); t.fill(); }
}
Found on main @ f7f366c (also on 1a506fe):
Exception in thread "main" java.lang.RuntimeException:
Error while checking CtConstructorImpl
on null
at (no source position: CtConstructorImpl)
with Ghost not implemented for type float
at liquidjava.processor.refinement_checker.TypeChecker.scan(TypeChecker.java:99)
...
int and boolean ghosts get defaults (0, false); double was not tried. Expected: a default for float too (or a user-facing error naming the supported ghost types).
Found while cataloguing spec forms for co-specification (probe V19 there). Low priority.
- Lingua principale
- Java
- Stelle
- 71
- Fork
- 37
- Merge medio
- 1g 19h
- PR unite (30g)
- 57
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Leggi 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.
Altre issue di liquid-java/liquidjava
-
bug real-world-finding
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
liquid-java/liquidjava#395 ·
I maintainer di solito rispondono entro 2 giorni
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
liquid-java/liquidjava#373 ·
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
liquid-java/liquidjava#451 ·
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 4/5 1-2 giorni Idoneità per principianti 58/100
liquid-java/liquidjava#450 ·
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
liquid-java/liquidjava#449 ·
I maintainer di solito rispondono entro 2 giorni
Tutte le issue di liquid-java/liquidjava
Issue simili
-
Update samples to Citrus 5.1.0Forse già presa @asuruceanu l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
snowflakedb/snowflake-kafka-connector#1610 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
swagger-api/swagger-petstore#245 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 84/100