Unimplemented required entities - ytomino/drake GitHub Wiki

Contents

Ada.Dispatching.EDF が未実装。taskingなので後回し。

Ada.Real_Time.Timing_Events が未実装。taskingなので後回し。

パッケージ構成が違うので Ada.Strings.Superbounded, Ada.Strings.Wide_Superbounded, Ada.Strings.Wide_Wide_Superbounded で型を宣言するのが難しい。 subtypeを使った別名ではダメ。 警告の判定にしか使われてないので実装する必要もなさげ。

For use on VMS only. VMS is not a target of drake.

For ragma Overflow_Mode (Eliminated);.

System.Checked_Pools.Checked_Pool から派生したストレージプールを使うアクセス型を使うと、自動で Dereference が呼ばれる。

-O0 の時しか使われない。 無くてもインラインで文字列を結合するコードが生成されるので問題ない。 むしろ無い方が最適化できる。

同上。

Distributedなので後回し。

raise 文の使用箇所にフックを埋め込む機能。 無い方が最適化できる。

浮動小数点数がIEEE準拠でない環境用。

浮動小数点数がVAX準拠な環境用。

For Dimension_System.

必要。 しかし量がですね……。

Distributedなので後回し。

For use on VMS only. VMS is not a target of drake.

Distributedなので後回し。

For pragma Initialize_Scalars.

浮動小数点数がVAX準拠な環境用。

For use on VMS only. VMS is not a target of drake.

System.Multiprocessors.Dispatching_Domains が未実装。taskingなので後回し。

For pragma Profile (Restricted);.

⚠️ **GitHub.com Fallback** ⚠️