invariant_index.ads

来自「用于进行gcc测试」· ADS 代码 · 共 9 行

package Invariant_Index is

   Name_Buffer : String (1 .. 100);
   Name_Len : Natural;

   procedure Proc (S : String);

end Invariant_Index;