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;