問題タブ [ada]

Write in Adaを呼び出してレコードをシリアル化すると、結果のバイナリがどうなるかを予測できるようにしたいと思います。私がこれをどこで調べることができるか知っていますか？

レコードを書き込むことによってバイナリファイルを生成するレガシーAdaソフトウェアがいくつかあり、互換性のあるバイナリファイルを書き込むことになっているC++プログラムをデバッグする必要があります。したがって、C ++コードが機能的に同等のレコードを生成することを確認できるように、Adaがレコードをシリアル化するときにどのようなルールに従うかを理解したいと思います。

タイトル通り。知らない人のために説明すると、これは基本的に Ada for .Net です。

注: 私は GCC ツールチェーンについてほとんど知らないので、この質問はあまり意味がないかもしれません。

GCC には Ada フロント エンドが含まれており、ARM を発行でき、devKitPro は GCC に基づいているため、DS でコードを記述するために C/C++ の代わりに Ada を使用することは可能ですか?

編集: devKitARM が使用するターゲットは arm-eabi のようです。

AdaCore のサイトと A# (現在は AdaCore が所有しているようです) を調べましたが、どちらも無料ではないようです (何かを読み違えた可能性はありますが)。推奨事項はありますか？

私は完全なAda初心者ですが、HS中にPascalを2〜3年間使用しています。

IIRC、C /C++からPascalコンパイル済み関数を呼び出すことが可能です。C ++からAdaで記述されたプロシージャと関数を呼び出すことは可能ですか？

C/C++ で複数のプラットフォームをサポートするには、プリプロセッサを使用して条件付きコンパイルを有効にします。例えば、

Adaでこれをどのように行うことができますか? Ada にはプリプロセッサがありますか?

ある時点で、Ada と同じように動作する Enum をサポートするクラス/テンプレートを C++ で実装することを検討していました。この問題について考えてからしばらく経ちましたが、誰かがこの問題を解決したことがあるかどうか疑問に思っていましたか?

編集：

申し訳ありませんが、Enum の Ada 実装で役立つと思われる機能を明確にする必要があります。列挙を考えると

果物は、リストされている果物の 1 つであることを知っています: リンゴ、バナナ、チェリー、モモ、グレープ。C++ と特に違いはありません。

非常に便利なのは、追加作業なしで Ada のすべての列挙型で取得できる次の機能です。

• 列挙値を出力すると、文字列バージョンが生成されます
• 列挙変数をインクリメントできます
• 列挙された変数を減らすことができます

これで問題がもう少し明確になることを願っています。

コメントから追加されたメモ:

• 参照:ウィキペディア (ユダ・ヒマンゴ、2008 年 11 月 19 日 0:09)
• 参照:ウィキブックス

Ada 列挙の便利な機能

• 列挙の最初の値は、fruit'firstを与えるものappleです。
• 列挙の最後の値は、fruit'lastを与えるものgrapeです。
• インクリメント操作はfruit'succ(apple)を与えるものbananaです。
• デクリメント操作はfruit'pred(cherry)、 も与えbananaます。
• 列挙から整数への変換は、Ada が 0 から始まる列挙を使用するため、fruit'pos(cherry)これを返します。2
• 整数から列挙型への変換は、fruit'val(2)を返しますcherry。
• 列挙型から文字列への変換fruit'Image(apple)は、(大文字の) string を返します"APPLE"。
• 文字列から列挙型への変換fruit'Value("apple")は、値を返すものですapple。

関連する SO の質問も参照してください。

• C++ でどの Typesafe Enum を使用していますか?
• 次または前の列挙型

Ada について考えるとき、通常はアビオニクスを思い浮かべます。

私が興味を持っているのは、Ada の他のアプリケーションですか? どこで使用されますか？Ada で書かれた出荷済みアプリケーションはありますか?

たとえば、そこに書かれた CRUD アプリはありますか? それともゲーム？等。