Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

A float ghost crashes the verifier: "Ghost not implemented for type float"

オープン 初心者向け
  • 何か問題がありますか？
#443 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

メンテナーはふだん 2 日以内に返信

まだ誰も着手していません。

評価

難易度
2/5
見積もり時間
1〜3時間
初心者へのやさしさ
72/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
活発
技術スタック
java
領域
testing-qa

調査の方向性

報告された例外が発生する TypeChecker.java の Ghost のデフォルト処理から始め、int と boolean の ghost がどのようにデフォルト値を得るかを比較してください。提供された再現コードを使って float のケースを確認してください。float の ghost がデフォルト値を得るか、@Ghost アノテーションがサポートされる型を列挙した明確なエラーを報告すれば完了です。

索引モデルが issue の本文から書いたものです。

説明

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.

主要言語
Java
スター
71
フォーク
37
平均マージ
1日 19時間
マージ済み PR（30日）
57

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

liquid-java/liquidjava のほかの issue

liquid-java/liquidjava の issue をすべて見る

似ている issue

Java の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。