-- Rotter Gyorgy
-- A tipusokkal es a tipusmuveletekkel kapcsolatos hasznalati szabalyokat / lathatosagot bemutato program.

with Ada.Text_IO;

with Tipusok;

-- "mindenre"
-- use Tipusok;                                                                                                             -- mindent lathatova tesz

procedure tipushasznalat is

   l : Tipusok.Logikai_Tipus := Tipusok.True;                                                                               -- !!!

-- "metodusokra" és operatorokra kulon-kulon
-- function "*"(A : Tipusok.Logikai_Tipus; B : Tipusok.Logikai_Tipus) return Tipusok.Logikai_Tipus renames Tipusok."*";     -- lathatova teszi a "*" operatort

-- "operatorokra"
-- use type Tipusok.Logikai_Tipus;                                                                                          -- lathatova teszi a Tipusok.Logikai_Tipus operatorait
-- use all type Tipusok.Logikai_Tipus;                                                                                      -- Ada 2012 : lathatova teszi a Tipusok.Logikai_Tipus tipusmuveleteit

begin
  Ada.Text_IO.Put_Line("Program indul");

  l := Tipusok."*"(l,l);                                                                                                    -- mindig hasznalhato
  --l := l * l;                                                                                                             -- a kikommentezett program-reszek barmelyikenek visszaallitasa eseten hasznalhato

  Ada.Text_IO.Put_Line("l = " & Tipusok.Logikai_Tipus'Image(l));

  Ada.Text_IO.Put_Line("Program vege");
end tipushasznalat;