with Ada.Text_IO;

procedure Hello is
  use Ada.Text_IO;
begin
  Put_Line("Hello, world!");
end Hello.

[2011-01-18 21:32:02] Could not determine the project for file: C:\ADA\projects\Test\test.gpr
[2011-01-18 21:32:02] Invalid context, cannot build

with Ada.Text_IO;
use Ada.Text_IO;

procedure Test is
  i: integer;   
   
begin
  i := -7;
  Put_Line(integer'Image(i)); 
  i := i / 2; 
  Put_Line(integer'Image(i));  
end Test;

with Ada.Text_IO;
use Ada.Text_IO;

procedure Test is
  i: integer; 
  j: float;
   
begin
  i := -7;
  Put_Line(integer'Image(i)); 
  j := i / 2; 
  Put_Line(float'Image(j));  
end Test;

declare S: string := My_Cool_Func_Which_Returns_String_With_Unknown_Length;
begin
 Do_Something_Cool_With_S;
end;

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

   function F return Unbounded_String is
   begin
      return To_Unbounded_String("test");
   end F;   

   ubs : Unbounded_String;

   -- ...

   ubs := F;
   -- работай с ubs дальше...

procedure Main is
   ubs2 : Unbounded_String;
   
   procedure P is
      s : Unbounded_String;
   begin
      s := To_Unbounded_String("just a test");
      ubs2 := s;
      Put_Line ("Inside : " & To_String(ubs2));
   end P;   

begin
   
   P;
   Put_Line ("Outside : " & To_String(ubs2));

end Main;

   generic
      type Element is private;
      with function "+" (Left, Right : Element) return Element is <>; -- Использовать стандартную для Element
   function Sum(A, B : Element) return Element;
   
   function Sum(A, B : Element) return Element is
   begin
      return A + B;
   end Sum; 
   
   function MySum is new Sum(Integer); -- Здесь все нормально, у Integer-а есть "+"
   function OtherSum is new Sum(Float); -- Здесь тоже нормально, "+" присутствует
   function TryThisSum is new Sum(String); -- А вот тут - облом. Нет предопределенного "+"

  function StrSum is new Sum(Unbounded_String, "&");

generic
   type KeyBase is (<>); -- любой дискретный тип
...
  -- где-то тут определяется aNode, не суть;
...
   type KeyArr is array (KeyBase) of aNode;

procedure Main is
   type Int_Ptr is access Integer;
   type Int_Ref is access all Integer;
   
   AI : aliased Integer; -- косвенно доступная переменная. Статическая !!!
   P_Ptr : Int_Ptr;
   P_Ref : Int_Ref;
begin
   -- попробуем получить ссылку на AI через Int_Ptr
   P_Ptr := AI'Access;
   -- Облом: access - только для дин. переменных
   
   -- А теперь ссылку на AI через access all ?
   P_Ref := AI'Access;
   -- Все нормально, ошибки нет...

  -- ...
end Main;

-- auto.ads
package Auto is
   
   type Auto is private;

private

with ADA.Finalization; use ADA.Finalization;

   type Auto is new Controlled with record
      null;
   end record;
   
   procedure Initialize(a: in out Auto);
   procedure Finalize(a: in out Auto);

end package;

with ADA.Text_IO; use ADA.Text_IO;
with ADA.Finalization; use ADA.Finalization;

-- auto.adb
package body Auto is
   procedure Initialize(a: in out Auto) is
   begin
      Put_Line("initialization");
   end;
   
   procedure Finalize(a: in out Auto) is
   begin
      Put_Line("finalization");
   end;
   
end package;
-- test.adb
with Auto; use Auto;

procedure Test is
begin
   declare
      a: auto;
   begin
      null;
   end;
end Test;

gnatmake -d -PF:\\Programs\\Ada\\forum\\forum.gpr main.adb --subdirs=debug -cargs -g -O0
gcc -c -g -gnatVn -gnat05 -gnata -g -g -O0 -I- -gnatA F:\Programs\Ada\forum\main.adb
main.adb:177:04: warning: variable "P_Ptr" is never read and never assigned
gcc -c -g -gnatVn -gnat05 -gnata -g -g -O0 -I- -gnatA F:\Programs\Ada\forum\myobj.adb
gcc -c -g -gnatVn -gnat05 -gnata -g -g -O0 -I- -gnatA F:\Programs\Ada\forum\mypck.ads
gnatbind -shared -I- -x F:\Programs\Ada\forum\debug\main.ali
gnatlink F:\Programs\Ada\forum\debug\main.ali -shared-libgcc -g -g -o F:\Programs\Ada\forum\debug\main.exe

[2011-01-26 12:04:32] process terminated successfully (elapsed time: 00.98s)

with Ada.Finalization; use Ada.Finalization;

package Auto is

   type Auto is private;
   
private
   type Auto is new Controlled with record
      null;
   end record;

   procedure Initialize(a: in out Auto);
   procedure Finalize(a: in out Auto);

end Auto;

with Ada.Text_IO; use Ada.Text_IO;

package body Auto is
   
   procedure Initialize(a: in out Auto) is
   begin
      Put_Line("initialization");
   end;

   procedure Finalize(a: in out Auto) is
   begin
      Put_Line("finalization");
   end;

end Auto;

with auto; use auto;

procedure Main is
begin
   declare
      A : Auto.Auto;
   begin
      null;
   end;
end main;

generic
   type KeyBase is (<>);
   type Value is private;

package Dictionaries is

   type Dictionary is private;
   type KeyArr is array (Positive range <>) of KeyBase;
   type ItemFunc is access procedure(K: KeyArr; V: Value);

...

   procedure EnumNodes(D: Dictionary; P: ItemFunc);
   -- обойти словарь по алфавиту, для каждого узла применить P

procedure Test is

   package DCI is new Dictionaries(Character, Integer);
   use DCI;
     
   procedure OutPair(S: string; i: integer) is
   begin
      null;
   end;
   
   D: Dictionary;
begin
   EnumNodes(D, OutPair'access);
end Test;

   procedure EnumNodes(D: Dictionary;
                       P: access procedure(K: KeyArr; V: Value));

   procedure OutPair(S: DCI.KeyArr; I: integer) is
   begin
      null;
   end;

package pDemo is
   type tDemo is (dDemo, dRelease, dTest);
   type aDemo is access TDemo;
   Demo: tDemo;

pragma Convention (Stdcall, Func_Type);

declare
   R : SomeType renames Very_Long_Path_To_Rec;
begin
   R.field1 := value;
   -- ...
end;