--Rotter Gyorgy
--Keresest/kereseseket megvalosito generikus csomag
--olyan generikus csomag bemutatasa, amely tartalmaz generkus eljarast is

generic                                                                                       --A generikus csomag parameterei, ezek az egesz csomagban hasznalhatoak, mindenhol!!!
  type ElemTipus is private;                                                                  --ilyen tipusu elemek kozott lehet majd az aktualis csomagpeldannyal keresni
  with function "<" ( A, B: ElemTipus ) return Boolean is <>;                                 --A rendezes az ElemTipus-on,  Alapertelmezett fv. parameterrel!!!!

package Keresesek_Csomag is

  --generikus csomag specifikacioba agyazott generikus eljasas specifikacio  (hasznalhatja a "kulso" generikus parametereket)
  
  --generikus felteteles maximum kereses
  generic
	type IndexTipus is (<>);                                                                     --a kapando tomb parameter indextipusa  (diszkret tipus)
	type TombTipus is array (IndexTipus range <>) of ElemTipus;                                  --ElemTipus-u elemekbol allo tomb parameter IndexTipus-sal indekszelve
       with function Feltetel ( A: ElemTipus ) return Boolean;                                      --a felt. max. ker. feltetele (egy ElemTipus-ra mondott feltetel)
  procedure FeltetelesMaximumKeresesTombon ( T: in TombTipus; volt: out Boolean; max: out ElemTipus; maxhely: out IndexTipus  ); 

end Keresesek_csomag;