with Ada.Text_IO;
use Ada.Text_IO;

procedure Hello_Main is
begin
  Put_Line("Hello world!");
end;

type Integer is range -2**31 .. 2**31-1;

type so_bac_si is new Integer;
type so_giuong_benh is new Integer;

declare
  n_bac_si : so_bac_si := 10;
  n_giuong_benh : so_giuong_benh;
begin
  n_giuong_benh := n_bac_si; -- lỗi ngữ nghĩa tĩnh
end;

n_giuong_benh := so_giuong_benh(n_bac_si); -- đổi kiểu tường minh

type so_bac_si is new Integer range 0..50;
type so_giuong_benh is new Integer range 0..1000;

n_giuong_benh := 1001;

n_bac_si := So_bac_si(n_giuong_benh); -- có thể gây ngoại lệ Constraint_Error

type Integer is range -2**31 .. 2**31-1;
subtype Natural is Integer range 0 .. 2**31-1; -- so tự nhiên, bao gồm cả số 0.
subtype Positive is Integer range 1 .. 2**31-1; -- số dương

-- Số dấu chấm động:
type Real is digits 10;                        -- không ràng buộc
type He_so is digits 8 range -1.0 .. 1.0; -- có ràng buộc
type Khoi_luong is digits 7 range 0.0 .. 1.0E35; 
type Goc is new Real range 0.0 .. 2.0 * pi; 
subtype Xac_suat is Real range 0.0 .. 1.0; -- có ràng buộc

-- Số dấu chấm tĩnh:
type Volt is delta 0.125 range 0.0 .. 255.0; -- có ràng buộc
type Fraction is delta System.Fine_Delta range -1.0 .. 1.0; 
     -- Fraction’First = 0.0
     -- Fraction’Last  = 1.0 – System.Fine_Delta

-- Số dấu chấm tĩnh thập phân:
type Money is delta 0.01 digits 18; -- có ràng buộc
     -- Money’First = -10.0**16 + 0.01
     -- Money’Last = 10.0**16 – 0.01
subtype Salary is Money digits 10; -- có ràng buộc
     -- Salary’First = -10.0**8 + 0.01
     -- Salary’Last  =  10.0**8 – 0.01

type Metres is new Float;
type Metres_vuong is new Float;

declare
  chieu_dai  : Metres := 10.0;
  chieu_rong : Metres := 15.0;
  dien_tich  : Metres_vuong;
begin
  dien_tich := Metres_vuong (chieu_dai * chieu_rong); -- buộc phải đổi kiểu
end;

function "*" (Left, Right : Metres) return Metres_vuong is
begin
  return Metres_vuong(Float(Left)*Float(Right)); -- Float để tránh đệ quy
end;

declare
  chieu_dai  : Metres := 10.0;
  chieu_rong : Metres := 15.0;
  dien_tich  : Metres;
begin
  dien_tich := chieu_dai * chieu_rong; -- lỗi ngữ nghĩa tĩnh
end;

type Integer is range -2**31 .. 2**31-1;
subtype Natural is Integer range 0 .. 2**31-1; -- số tự nhiên, kể cả số 0
subtype Positive is Integer range 1 .. 2**31-1; -- số nguyên dương

type Integer is range -2**31 .. 2**31-1;
subtype Natural is Integer range 0 .. Integer’Last; -- số tự nhiên, kể cả số 0
subtype Positive is Integer range 1 .. Integer’Last; -- số nguyên dương

type BlackHat is range 200 .. 1_000;

declare
  type Mang_ky_tu is array (1..100) of Character;
  type Ma_tran    is array(1..100, 1..100) of Float;

  S, S2  : Mang_ky_tu;
  M, M2  : Ma_tran;
begin
  S(1) := ‘A’;           -- gán 1 kí tự
  S2 := S;               -- gán toàn bộ mảng
  S(11..15) := S(1..5);  -- gán một phân mảng (slice)
  S(1..5) := "Hello";    -- xâu kí tự là mảng 1 chiều
  M(55, 55) := 100.0;    -- chỉ số 2 chiều
end;

for i in 1..20 loop
    -- hành động lặp (khi chạy sẽ được lặp 20 lần)
end loop;

for i in S’Range loop
   -- hành động trên phần tử S(i)
end loop;

type Index is new Integer;
type Value is new String(1..10);
type Table is array(Index) of Value;

function Middle (X, Y: in Index) return Index is 
begin 
  return (X + Y)/2; 
end;

procedure Increment(X: in out Index) is
begin 
  X := X+1; 
end;

procedure Decrement(X: in out Index) is
begin 
  X := X-1; 
end;

procedure Exchange (A, B : in out Value) is
  C: Value;
begin
  C:=A; A:=B; B:=C;
end;

procedure QuickSort(A: in out Table) is
  procedure Sort(l, h: Index) is
    i, j : Index;
    x    : Value;
  begin
    i := l;
    j := h; 
    x := A(Middle(l,h));
    loop 
      while A(i) < x loop Increment(i); end loop;
      while x < A(j) loop Decrement(j); end loop;
      if i <= j then
        Exchange(A(i),A(j));
        Increment(i); 
        Decrement(j);
      end if;
      exit when i > j;   -- lệnh exit thoát khỏi vòng lặp
    end loop;
    if l < j then Sort(l, j); end if;
    if i < h then Sort(i, h); end if;
  end Sort;
begin                    -- QuickSort
  if A'Length > 1 then
    Sort(A'First, A'Last);
  end if;
end QuickSort;

with Ada.Text_IO;
use Ada.Text_IO;

procedure Hello_Example is

   task type Hello_Task is       -- đặc tả tác vụ
     -- giao diện (rỗng)
   end Hello_Task;

   task body Hello_Task is       -- thân tác vụ
   begin
      Put_Line("Hello from thread");
   end Hello_Task;

   H1, H2, H3 : Hello_Task;      -- 3 tác vụ (3 luồng) giống nhau
                                 -- song song với luồng chính
begin    -- Tại đây, cả 4 luồng cùng khởi động
   Put_Line("Hello from main thread");
end Hello_Example;

Hello from thread
Hello from thread
Hello from main thread
Hello from thread

task type QuickSort_Task is
   entry Input  (A : in  Table);
   entry Output (A : out Table);
end QuickSort_Task;

task body QuickSort_Task is
   Buffer : Table;
begin
   accept Input (A : in Table) do
     Buffer := A;       
   end Input;

   QuickSort(Buffer);    

   accept Output(A : out Table) do
      A := Buffer;      
   end Output;
end QuickSort_Task;

declare
   T1, T2 : QuickSort_Task;
   A, B   : Table;
begin
   A :=...;
   B :=...;
   T1.Input(A);
   T2.Input(B);
   ...
   T1.Output(A);
   T2.Output(B); 
end;

task type Teller is
   entry Deposit  (A : in Money);
   entry Withdraw (A : in Money);
   entry Balance  (B : out Money);
end Teller;

task body Teller is
   Current_Balance : Money;
begin
   select
     accept Deposit (A : in Money) do
       Current_Balance := Current_Balance + A;
     end Deposit;
   or
     accept Withdraw(A : in Money) do
       Current_Balance := Current_Balance - A;
     end Withdraw;
   or
     accept Balance(B : out Money) do
       B := Current_Balance;
     end Balance;
   or
     delay 10.0;  -- chờ đợi 10 giây
   end select;
end Hello_Task;

protected type Account is         -- spec
   procedure Deposit  (A : Money);
   procedure Withdraw (A : Money);
   function  Balance return Money;
private
   Current_Balance : Money := 0.0;
end Account;

protected body Account is
   procedure Deposit (A : Money) is
   begin
     Current_Balance := Current_Balance + A;   
   end;

   procedure Withdraw (A : Money) is
   begin
     Current_Balance := Current_Balance - A;
   end;

   function Balance return Money is
   begin
     return Current_Balance;
   end;
end Account;

declare
   A : Account;
   -- khai báo nhiều tác vụ làm việc với A
begin
   if A.Balance >= 10_000_000.0 then
      A.Withdraw(100_000.0);
   end if;
end;