ada

    0

    1答えて

    を開催することを証明する方法はSPARK.Text_IO手順の多くは、前提条件を持っていることであるIどのようにして証明しようとするのかわからない、すなわち標準入力が読み込み可能であり、ファイルの終わりではないということです。私の試みは、以下のコードに示されているように、SPARK.Text_IOプロシージャ(この場合はGet_Immediate)の前提条件を呼び出し側プロシージャの前提条件に追加

    2

    3答えて

    私はAdaでレコードタイプの速度範囲を宣言したいと思います。以下は動作しませんが、動作させる方法はありますか? --Speed in knots, range 0 to unlimited Speed : float Range 0.0 .. unlimited ; 私はちょうどあなたがすることはできません

    0

    2答えて

    .Netでは、開発の最初の数回の間、すべてのインターフェイス関数が実装されるわけではないので、インターフェイスを徐々に実装するのが一般的です。このような例は、C#で次のようになります。 public string FutureGetString() { // Not developed yet. throw new NotImplementedException(); }

    0

    3答えて

    私は単体テストを作成しました。そのうちの1つは、一連の違法行為が発生した後に例外がスローされることをテストする必要があります。これは一連のユーティリティコードなので、将来、ある時点で無効/不正な値がプログラマによって入力されることが予想されます。 私は、Adaユニットテストフレームワークを使用しているthis questionを見ました。現状では、これはオプションではありません。しかし、私はこれを

    4

    3答えて

    これは私の最初の質問です。私はいつも私と同じような問題を抱えている人々から答えられた質問を見つけることができましたが、今回は何もないようでした。 ここでは、私はID番号として使用するために比較的短い文字列を大量に生成しようとしていますが、英数字のみを含むようにしています。 は、私のようないくつか試してみた: subtype Char is character range 'a' .. 'z' |

    1

    1答えて

    私は匿名のサブタイプの次の宣言をしている。後に続いて testConstraint : Integer Range -5 .. 5; 、それをする場合を割り当てる: testConstraint := -6; なぜ私はConstraint_Errorを得ていないのですが? 追加詳細: 何pragma suppressステートメントは、いくつかは、with経由で追加されたファイルであるものの

    1

    1答えて

    私のAdaプログラムでは、2種類のランダムを作成したいと思います:範囲内のランダムな整数と定義したランダムな型。私が持っている私のexplampleで : type servizio is (piscina, spa, entrambi); type tempo is range 2..5; は、私は次のようにランダムなインスタンスを作成しようとしました: package servizio_

    0

    1答えて

    これは、テキストブックであっても、どこにでも提示されているように、Adaの非常に基本的な保護境界バッファです。 (これはもっと大きなものの一部ですが、コードを最小限に単純化して、動作を再現しました)。 私は1つのタスクにそれを供給し、 "メイン"のボディがそれから読んでいるとうまくいくようです。しかし、パターとゲッターという2つのタスクを以下のように使用すると、1st Getでブロックされます。も

    2

    2答えて

    Adaプログラミング言語では、ランデブーはプロセス間同期/メッセージ・パッシングの方法です。どのようにしてこのメ​​カニズムをjavaで実装するのですか(タスクの中断と選択待ちと一緒に)?私はjavaのリモートメソッド呼び出しとExchangerクラスを見ていましたが、まだ適切な解決策を見つけるつもりはありません。 ADAしかしあなたはおそらくSynchronousQueue、BlockingQu

    0

    2答えて

    gprbuildはソースコード内でいくつかの変数の値を自動的に設定しようとしています。特に、コード内から特定のコマンドの出力にアクセスできるようにしたいと考えています。 MakefileとCでは、これは簡単です: ソース: #include <stdio.h> int main() { printf("%s\n", COMMAND_OUTPUT); return 0; } メイク: resu