私はfor ***'Address use ***の新機能です。そして、私はこの使用の限界が何であるか疑問に思っていました。 100長さの文字列と同じコードがそれを上げていないながら procedure letshack (A : System.Address) is
My_String : String(1..100000);
for My_String'Address
アレイの要素を合計する関数に対して、どのようにしてSpark事後条件を書いていますか？ （。スパーク2014、誰かが、私はそれを適応させることができる必要があり、以前のスパークのためにそれを行う方法を私に示している場合） だから私は持っている場合： type Positive_Array is array (Positive range <>) of Positive;
function Ar
私はWindows 10（64ビット）を使用していますが、http://libre.adacore.com/download/configurations#からGNAT GPL 2017、ARM ELF形式（Windowsでホスト）をダウンロードしました。 私は、サンプルコードを作成しました：私は私のファイルをビルドするとき with Ada.Text_IO; use Ada.Text_IO;
複数のエントリーを選択する方法を探しています。私は次のタスクを持ってブロックを選択しました。が only allowed alternative in timed entry call is delay
"or" not allowed here
何：意図は、これは以下のコンパイルエラーになり、 task type t_startup_task is
entry start;
私はタスクに限られたプライベートタイプを与えたいので、さまざまな機能を呼び出すことができます（特にGNAT.Serial_Communicationsのシリアルポート）。私はそれを動作させる方法を理解しているようには思えません。それが動作しませんでしたので task body MyTask is
MyT : LPType;
begin
accept MyEntry (t :