ada

0熱

1答えて

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

1熱

1答えて

Ada 2012マップを静的に初期化する方法

レベルを構築するプロシージャで参照できるグローバルマップを作成しようとしています。このグローバルマップを仕様（.ads）に静的に設定できるのが理想的です。ここでは、静的な初期化部分を行う方法を推測しようとしている私のいくつかの壊れたコードです： package Positive_to_Positive_Type is new Ada.Containers.Formal_Ordered_Maps

1熱

2答えて

Adaタグ付きタイプの2D配列フィールドの作成

Adaで同等のJava/Cクラスを作成しようとしています。私が調査したことから、同等のものはタグ付きレコードになります。私は2D配列であるフィールドを作成したいと思っていますが、以下のコードでは以下のエラーが出ます。コード： package Foo is type Bar is tagged record field1 : Integer; field2 :

1熱

1答えて

GPRBuildがLinux用のWindowsサブシステムから呼び出されたときにgprconfigを見つけられない

Windows 10システムにGNAT GPL 2017をインストールしました。今、私はLinuxのWindowsサブシステム上で実行されているLinuxシェルの中からコンパイラを呼びたいと思っています。 PATHに私のGNATのインストールのbinディレクトリを追加することで、私は仕事に次しまっ： $ gnatmake.exe -P yaml.gpr しかし、GPRBuildを使用することは

0熱

1答えて

LogLevelをAdaライブラリalogに設定する方法

プロジェクトで初めてalogというライブラリを使用しています。すべての後続のログコマンドのログレベルを設定する方法に問題があります。私は、すべての5件のメッセージが最初に表示され、エラーメッセージのみが二度目に表示されていることを期待 with Alog; use Alog; with Alog.Logger; with Alog.Policy_DB; use Alog.Po

2熱

3答えて

Ada Last_Chance_Handlerに例外メッセージを出力する

私はAdaCore GPS（GPL）IDEを使用して、ARM "ベアボード"ハードウェア（Ravenscar SFPランタイムを使用するSTM32F4）を対象としたGNATコンパイラを使用してAdaを学習中です。私のARMベースの埋め込み作業では、私はC/C++バックグラウンドから来ています。とにかく、私は次のように定義されています "最後のチャンスハンドラ"、ここで procedure La

1熱

1答えて

gdbのデバッグ - 使用中のソースディレクトリのリスト

adaプログラムをデバッグしようとすると、gdbはソースを見つけることができません。私は実行中の実行可能ファイルが今作成されたものと同じものであることを確認しました。それが使用されているソースディレクトリを私に伝えるために、GDBを取得する方法はあります (gdb) attach 804 0x0000003de620b68c in ??() (gdb) frame 1 #1 0x000000

0熱

1答えて

SPARK.Text_IO手順の前提条件は、私が2017年</p> <p>私の問題SPARKの発見にspark_io例からSPARK.Text_IOを使用してい

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

2熱

3答えて

上限を無制限にしてAda範囲を宣言することは可能ですか？

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

4熱

3答えて

英数字のサブタイプを定義する上品な方法はありますか？

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