Top Prev Next Up Down

Y2018.Text.Util.UrvPack


001| with Ada.Containers.Ordered_Sets;
002| with Y2018.Text; use Y2018.Text;
003| with Y2018.Text.Core; use Y2018.Text.Core;
004| with Y2018.Text.Core.Str; use Y2018.Text.Core.Str;
005| with Y2018.Text.Core.CVarPack; use Y2018.Text.Core.CVarPack;
006| with Y2018.Text.Jets.RangeVectorPack;
007| package Y2018.Text.Util.UrvPack is
008| __type MapPool is tagged private; --limited private;
009| __type LSE_TY is (LSENONE,LSECOMP,LSESIZE);
010| __TAB:constant String:=(1=>Character'Val(16#09#)); -- "\t"
011| __function lessMapName(Left,Right:CVar) return Boolean;
012| __function equalMapName(Left,Right:CVar) return Boolean;
013| __package MapName is new Ada.Containers.Ordered_Sets(
014| _____Element_type => CVar,
015| _____"<"=> lessMapName,
016| _____"="=> equalMapName);
017| __function copy_Map(mp:in out MapPool) return Jets.RangeVectorPack.Map_TY.Map;
018| __procedure list_Map(mp:in out MapPool;path:String:="";topTitle:String:="-- Top --";BottomTitle:String:="-- Bottom --";prefix:String:=TAB);
019| __function map_Names(mp:in out MapPool) return MapName.Set;
020| __function Is_Empty(mp:in out MapPool) return Boolean;
021| __function Contains(mp:in out MapPool;key:CVar) return Boolean;
022| __function Length(mp:in out MapPool) return Integer;
023| __procedure delete(mp:in out MapPool;key:CVar);
024| __procedure insert(mp:in out MapPool;key:CVar);
025| __procedure load(mp:in out MapPool;path:String;overwrite:TRINITY:=TRI_TRUE);
026| __procedure store(mp:in out MapPool;path:String);
027| __procedure clear(mp:in out MapPool);
028| __function Contains(mp:in out MapPool;key:CFix) return Boolean;
029| __procedure delete(mp:in out MapPool;key:CFix);
030| __procedure insert(mp:in out MapPool;key:CFix);
031| __function Contains(mp:in out MapPool;key:String) return Boolean ;
032| __procedure delete(mp:in out MapPool;key:String) ;
033| __procedure insert(mp:in out MapPool;key:String) ;
034| __function get_Set(mp:in out MapPool;key:CVar) return Jets.RangeVectorPack.Set_TY.Set;
035| __procedure put_Set(mp:in out MapPool;key:CVar;value:Jets.RangeVectorPack.Set_TY.Set);
036| __function make_Set(s:CFix) return Jets.RangeVectorPack.Set_TY.Set;
037| __procedure list_Set(elementSet:Jets.RangeVectorPack.Set_TY.Set;title:CFix;path:String:="";lse:LSE_TY:=LSENONE);
038| __function get_Set(mp:in out MapPool;key:CFix) return Jets.RangeVectorPack.Set_TY.Set;
039| __procedure put_Set(mp:in out MapPool;key:CFix;value:Jets.RangeVectorPack.Set_TY.Set);
040| __function get_Set(mp:in out MapPool;key:String) return Jets.RangeVectorPack.Set_TY.Set ;
041| __procedure put_Set(mp:in out MapPool;key:String;value:Jets.RangeVectorPack.Set_TY.Set) ;
042| __function compress(inSet:Jets.RangeVectorPack.Set_TY.Set) return Jets.RangeVectorPack.Set_TY.Set;
043| __function add(alfaSet:Jets.RangeVectorPack.Set_TY.Set;betaSet:Jets.RangeVectorPack.Set_TY.Set) return Jets.RangeVectorPack.Set_TY.Set;
044| __function add(alfaSet:Jets.RangeVectorPack.Set_TY.Set;peta:Jets.RangeVectorPack.Velem) return Jets.RangeVectorPack.Set_TY.Set;
045| __function sub(alfaSet:Jets.RangeVectorPack.Set_TY.Set;betaSet:Jets.RangeVectorPack.Set_TY.Set) return Jets.RangeVectorPack.Set_TY.Set;
046| __function sub(alfaSet:Jets.RangeVectorPack.Set_TY.Set;beta:Jets.RangeVectorPack.Velem) return Jets.RangeVectorPack.Set_TY.Set;
047| __function slice(alfaSet:Jets.RangeVectorPack.Set_TY.Set;betaSet:Jets.RangeVectorPack.Set_TY.Set) return Jets.RangeVectorPack.Set_TY.Set;
048| __function slice(alfaSet:Jets.RangeVectorPack.Set_TY.Set;beta:Jets.RangeVectorPack.Velem) return Jets.RangeVectorPack.Set_TY.Set;
049| __function UnicodeData(filename:String;
050| ________Character_name:CFix:=null_CFix;
051| ________General_Category:CFix:=null_CFix;
052| ________Canonical_Combining:CFix:=null_CFix;
053| ________Bidirectional_Category:CFix:=null_CFix;
054| ________Character_Decomposition:CFix:=null_CFix;
055| ________Decimal_digit:CFix:=null_CFix;
056| ________Digit_value:CFix:=null_CFix;
057| ________Numeric_value:CFix:=null_CFix;
058| ________Mirrored:CFix:=null_CFix;
059| ________Old_name:CFix:=null_CFix;
060| ________Comment:CFix:=null_CFix;
061| ________Uppercase:CFix:=null_CFix;
062| ________Lowercase:CFix:=null_CFix;
063| ________Titlecase:CFix:=null_CFix;
064| ________ShowLineCount:Integer:=0
065| ________) return Jets.RangeVectorPack.Set_TY.Set;
066| __function Block(filename:String;
067| ________Block_name:CFix:=null_CFix;
068| ________ShowLineCount:Integer:=0
069| ________) return Jets.RangeVectorPack.Set_TY.Set;
070| __function verifyDatFileContents(path:String) return TRINITY;
071| __private type MapPool is tagged
072| _____record
073| ________u:Jets.RangeVectorPack.Map_TY.Map;
074| _____end record;
075| end Y2018.Text.Util.UrvPack;