Support `LinkedList<@Refined(“x>0”) Integer>`
まだ誰も着手していません。
評価
調査の方向性
ソースファイルやテストは指定されていません。まず既存のrefinement処理と、LiquidHaskellがリストのrefinementをどのように扱うかを調べ、次にリストのSMT-LIBへの変換とIntegerのintへのアンボックス化を調査してください。LinkedListの例が10を受け入れ、-100を拒否すれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Add support for refining all the items inside a List.
This is a large task with several challenges inside, some of them include:
- supporting list refinements, see how LiquidHaskell handles them;
- how to translate lists to SMT lib;
- unboxing Integer to int.
Small example code:
LinkedList<@Refinement(“x>0”) Integer> li = new ArrayList<Integer>();
li.add(10); // okay
li.add(-100; // error
- 主要言語
- Java
- スター
- 67
- フォーク
- 36
- 平均マージ
- 10日 18時間
- マージ済み PR（30日）
- 3
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
liquid-java/liquidjava のほかの issue
-
enhancement
liquid-java/liquidjava#240 · 担当者 1 名 ·
-
enhancement ide
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
liquid-java/liquidjava#206 ·
-
tests
難易度 2/5 1〜3時間 初心者へのやさしさ 25/100
liquid-java/liquidjava#198 ·
-
tests
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
liquid-java/liquidjava#197 ·
-
tests
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
liquid-java/liquidjava#196 · コメント 2 件 ·
liquid-java/liquidjava の issue をすべて見る
似ている issue
-
bug untriaged
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
opensearch-project/ml-commons#5094 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
-
emitter:client:csharp feature
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
affects/8.10 affects/8.9 component/clients kind/bug likelihood/mid severity/mid
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
Two open-case totals on one screen: the Programs tile says 15,858 and the nav badge says 15,868 オープンbug frontend maui-pilot
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100