問題タブ [gnat-gps]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

86 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
185 参照

ada - GNATTest が自動でテスト ケースを生成する関数または手順を指定するにはどうすればよいですか。

私は非常に混乱している巨大なコード パッケージ (主に ada で書かれている) に取り組んでいます。これまでのところ単体テストは適用されておらず、既存のすべてのコードに対して単体テストを実装してはなりません。しかし、私たちのチームは、すべての新しいコードをテストと一緒に実装する必要があると判断しました。GPS 内では、GNATtest がプロジェクト内のすべての機能と手順のテスト手順を自動的に生成できるようにする可能性があります。しかし、書かれているように、この自動生成から古いコードをすべて除外する必要があります。

関数と手順に「テストが必要」というタグを付ける方法はありますか?

0 投票する
1 に答える
333 参照

dll - Ada でライブラリを動的にリンクすると、追加の依存関係が導入されます

Ada でライブラリを動的および静的にリンクするのに問題があります。最小限の作業例を用意しました。次の 3 つのファイルは、「Hello world」を出力するライブラリを定義します。

helloworld_lib.gpr :

helloworld_lib.adb :

helloworld_lib.ads :

これら 2 つのファイルは、ライブラリをインポートして実行するプロジェクトを定義します。

helloworld_interface.gpr :

helloworld_interface.adb :

Windows で GPS 19.1 GNAT Community Edition を使用しています。helloworld_interface.gpr を開いて「Build All」を実行すると、期待どおりに動作し、完全に自己完結型の exe がコンパイルされます。

helloworld_lib.gprでLibrary_Kindからstaticに変更し、前と同じようにビルドすると、exe と dll がコンパイルされます。ただし、コンパイルされたファイルは と に依存するようになりました。からコピーできるこれらの DLL がないと、プログラムは実行されません。dynamiclibgnat-2019.dlllibgcc_s_seh-1.dllC:\GNAT\2019\bin

他の依存関係なしで実行される静的にリンクされた EXE ファイルを生成できる場合、この例を他の依存関係のない EXE および DLL にコンパイルするにはどうすればよいでしょうか? これら 2 つの追加の DLL が必要になったのはなぜですか?


12345678910