1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
|
-- spec obtenu de jvm2ada
pragma Extensions_Allowed (On);
with Java.Lang.Object;
package Foo is
pragma Preelaborate;
-----------------------
-- Type Declarations --
-----------------------
type Typ;
type Ref is access all Typ'Class;
------------------------
-- Array Declarations --
------------------------
type Arr_Obj is array (Natural range <>) of Ref;
type Arr is access all Arr_Obj;
type Arr_2_Obj is array (Natural range <>) of Arr;
type Arr_2 is access all Arr_2_Obj;
type Arr_3_Obj is array (Natural range <>) of Arr_2;
type Arr_3 is access all Arr_3_Obj;
type Typ is new Java.Lang.Object.Typ with record
------------------------
-- Field Declarations --
------------------------
X : Java.Int;
pragma Import (Java, X, "x");
Y : Java.Int;
pragma Import (Java, Y, "Y");
end record;
------------------------------
-- Constructor Declarations --
------------------------------
function New_Foo (This : Ref := null)
return Ref;
-------------------------
-- Method Declarations --
-------------------------
procedure SomeProcedure (This : access Typ;
P1_Int : Java.Int);
---------------------------
-- Variable Declarations --
---------------------------
Global : Java.Int;
private
pragma Convention (Java, Typ);
pragma Java_Constructor (New_Foo);
pragma Import (Java, SomeProcedure, "someProcedure");
end Foo;
pragma Import (Java, Foo, "Foo");
pragma Extensions_Allowed (Off); |
Partager