Top Prev Next Up Down

Y2018.Text.Jets.RangeVectorPack

001| with Ada.Containers;
002| with Ada.Containers.Ordered_Sets;
003| with Ada.Text_IO; use Ada.Text_IO;
004| with Ada.Containers.Ordered_Maps;
005| with Y2018.Text.Core; use Y2018.Text.Core;
006| with Y2018.Text.Core.CVarPack;
007| with Y2018.Text.Core.Str;
008| package Y2018.Text.Jets.RangeVectorPack is
009| __type RangeVector is tagged private;
010| __type Velem is
011| __record
012| __f: Integer;
013| __l: Integer;
014| __end record;
015| __null_velem:constant Velem:=(f=>Integer'First,l=>Integer'First);
016| __function less(f,l:Velem) return Boolean;
017| __function equal (f,l:Velem) return Boolean;
018| __package Set_TY is new Ada.Containers.Ordered_Sets(
019| _____Element_type => Velem,
020| _____"<" => less,
021| _____"=" => equal);
022| __function lessUR(f,l:Y2018.Text.Core.CVarPack.CVar) return Boolean;
023| __function equalUR (f,l:Set_TY.Set) return Boolean;
024| __package Map_TY is new Ada.Containers.Ordered_Maps(
025| _____Key_Type=> Y2018.Text.Core.CVarPack.CVar,
026| _____Element_Type=> Set_TY.Set,
027| _____"<"=> lessUR,
028| _____"="=> equalUR);
029| __function verify(rvA: RangeVector) return Boolean;
030| __procedure putC(rvA:in out RangeVector;f:CodePoint;l:CodePoint);
031| __procedure putC(rvA:in out RangeVector;val:CodePoint);
032| __procedure putGC(rvA:in out RangeVector;val:CFix);
033| __procedure putGC(rvA:in out RangeVector;val:CodePoint);
034| __procedure putSET(rvA:in out RangeVector;val:Y2018.Text.Core.CVarPack.CVar;urv:RangeVectorPack.Map_TY.Map);
035| __function exists(rvA:RangeVector;val:CodePoint) return Boolean;
036| __function Is_Empty(rvA:RangeVector) return Boolean;
037| __function length(rvA:RangeVector) return Integer;
038| __function clone(rvA:RangeVector) return RangeVector;
039| __procedure clear(rvA:in out RangeVector);
040| __procedure To_CList(CMap:in out Y2018.Text.Core.Str.CList.map;rvA:RangeVector;head:String:="";cntMax:Integer:=Integer'Last);
041| __procedure merge(rvA:in out RangeVector);
042| __function equal (f,l:RangeVector) return Boolean;
043| __function less (f,l:RangeVector) return Boolean;
044| __function reserved_urvId(s:CFix) return Boolean;
045| __function verify(s: Set_TY.Set) return Boolean;
046| __private type RangeVector is tagged
047| __record
048| _____v: Set_TY.Set;
049| __end record;
050| end Y2018.Text.Jets.RangeVectorPack;