Commit 1ab55bfb authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Deleted bad files

parent 64c0dbee
representation_clauses
pragma all
hidden_parts
declare_annotations
real_rtcs
\ No newline at end of file
This diff is collapsed.
pragma Ada_95;
pragma Source_File_Name (ada_main, Spec_File_Name => "b~trafficlight.ads");
pragma Source_File_Name (ada_main, Body_File_Name => "b~trafficlight.adb");
package body ada_main is
pragma Warnings (Off);
E31 : Short_Integer; pragma Import (Ada, E31, "system__soft_links_E");
E15 : Short_Integer; pragma Import (Ada, E15, "system__fat_lflt_E");
E41 : Short_Integer; pragma Import (Ada, E41, "system__exception_table_E");
E47 : Short_Integer; pragma Import (Ada, E47, "system__exceptions_E");
E35 : Short_Integer; pragma Import (Ada, E35, "system__secondary_stack_E");
E06 : Short_Integer; pragma Import (Ada, E06, "adaasn1rtl_E");
E21 : Short_Integer; pragma Import (Ada, E21, "taste_basictypes_E");
E23 : Short_Integer; pragma Import (Ada, E23, "taste_dataview_E");
E02 : Short_Integer; pragma Import (Ada, E02, "trafficlight_E");
Local_Priority_Specific_Dispatching : constant String := "";
Local_Interrupt_States : constant String := "";
Is_Elaborated : Boolean := False;
procedure adafinal is
begin
if not Is_Elaborated then
return;
end if;
Is_Elaborated := False;
null;
end adafinal;
type No_Param_Proc is access procedure;
procedure adainit is
Main_Priority : Integer;
pragma Import (C, Main_Priority, "__gl_main_priority");
Time_Slice_Value : Integer;
pragma Import (C, Time_Slice_Value, "__gl_time_slice_val");
WC_Encoding : Character;
pragma Import (C, WC_Encoding, "__gl_wc_encoding");
Locking_Policy : Character;
pragma Import (C, Locking_Policy, "__gl_locking_policy");
Queuing_Policy : Character;
pragma Import (C, Queuing_Policy, "__gl_queuing_policy");
Task_Dispatching_Policy : Character;
pragma Import (C, Task_Dispatching_Policy, "__gl_task_dispatching_policy");
Priority_Specific_Dispatching : System.Address;
pragma Import (C, Priority_Specific_Dispatching, "__gl_priority_specific_dispatching");
Num_Specific_Dispatching : Integer;
pragma Import (C, Num_Specific_Dispatching, "__gl_num_specific_dispatching");
Main_CPU : Integer;
pragma Import (C, Main_CPU, "__gl_main_cpu");
Interrupt_States : System.Address;
pragma Import (C, Interrupt_States, "__gl_interrupt_states");
Num_Interrupt_States : Integer;
pragma Import (C, Num_Interrupt_States, "__gl_num_interrupt_states");
Unreserve_All_Interrupts : Integer;
pragma Import (C, Unreserve_All_Interrupts, "__gl_unreserve_all_interrupts");
Detect_Blocking : Integer;
pragma Import (C, Detect_Blocking, "__gl_detect_blocking");
Default_Stack_Size : Integer;
pragma Import (C, Default_Stack_Size, "__gl_default_stack_size");
Leap_Seconds_Support : Integer;
pragma Import (C, Leap_Seconds_Support, "__gl_leap_seconds_support");
procedure Install_Handler;
pragma Import (C, Install_Handler, "__gnat_install_handler");
Handler_Installed : Integer;
pragma Import (C, Handler_Installed, "__gnat_handler_installed");
Finalize_Library_Objects : No_Param_Proc;
pragma Import (C, Finalize_Library_Objects, "__gnat_finalize_library_objects");
begin
if Is_Elaborated then
return;
end if;
Is_Elaborated := True;
Main_Priority := -1;
Time_Slice_Value := -1;
WC_Encoding := 'b';
Locking_Policy := ' ';
Queuing_Policy := ' ';
Task_Dispatching_Policy := ' ';
Priority_Specific_Dispatching :=
Local_Priority_Specific_Dispatching'Address;
Num_Specific_Dispatching := 0;
Main_CPU := -1;
Interrupt_States := Local_Interrupt_States'Address;
Num_Interrupt_States := 0;
Unreserve_All_Interrupts := 0;
Detect_Blocking := 0;
Default_Stack_Size := -1;
Leap_Seconds_Support := 0;
if Handler_Installed = 0 then
Install_Handler;
end if;
if E31 = 0 then
System.Soft_Links'Elab_Spec;
end if;
if E15 = 0 then
System.Fat_Lflt'Elab_Spec;
end if;
E15 := E15 + 1;
if E41 = 0 then
System.Exception_Table'Elab_Body;
end if;
E41 := E41 + 1;
if E47 = 0 then
System.Exceptions'Elab_Spec;
end if;
E47 := E47 + 1;
if E31 = 0 then
System.Soft_Links'Elab_Body;
end if;
E31 := E31 + 1;
if E35 = 0 then
System.Secondary_Stack'Elab_Body;
end if;
E35 := E35 + 1;
E06 := E06 + 1;
E21 := E21 + 1;
E23 := E23 + 1;
if E02 = 0 then
trafficlight'elab_body;
end if;
E02 := E02 + 1;
end adainit;
-- BEGIN Object file/option list
-- ./adaasn1rtl.o
-- ./taste_basictypes.o
-- ./taste_dataview.o
-- ./trafficlight.o
-- -L./
-- -L/usr/lib/gcc/i486-linux-gnu/4.8/adalib/
-- -shared
-- -lgnat-4.8
-- END Object file/option list
end ada_main;
pragma Ada_95;
with System;
package ada_main is
pragma Warnings (Off);
procedure adainit;
pragma Export (C, adainit, "adainit");
procedure adafinal;
pragma Export (C, adafinal, "adafinal");
type Version_32 is mod 2 ** 32;
u00001 : constant Version_32 := 16#27bd011c#;
pragma Export (C, u00001, "trafficlightB");
u00002 : constant Version_32 := 16#a037fda2#;
pragma Export (C, u00002, "trafficlightS");
u00003 : constant Version_32 := 16#3935bd10#;
pragma Export (C, u00003, "system__standard_libraryB");
u00004 : constant Version_32 := 16#b31646c6#;
pragma Export (C, u00004, "system__standard_libraryS");
u00005 : constant Version_32 := 16#498fe5cc#;
pragma Export (C, u00005, "adaasn1rtlB");
u00006 : constant Version_32 := 16#a22390c3#;
pragma Export (C, u00006, "adaasn1rtlS");
u00007 : constant Version_32 := 16#3ffc8e18#;
pragma Export (C, u00007, "adaS");
u00008 : constant Version_32 := 16#129923ea#;
pragma Export (C, u00008, "interfacesS");
u00009 : constant Version_32 := 16#bd760655#;
pragma Export (C, u00009, "systemS");
u00010 : constant Version_32 := 16#0be1b996#;
pragma Export (C, u00010, "system__exn_llfB");
u00011 : constant Version_32 := 16#3cf218ba#;
pragma Export (C, u00011, "system__exn_llfS");
u00012 : constant Version_32 := 16#47eac585#;
pragma Export (C, u00012, "system__exp_lluB");
u00013 : constant Version_32 := 16#3da1b8a5#;
pragma Export (C, u00013, "system__exp_lluS");
u00014 : constant Version_32 := 16#d7975a23#;
pragma Export (C, u00014, "system__unsigned_typesS");
u00015 : constant Version_32 := 16#189d768f#;
pragma Export (C, u00015, "system__fat_lfltS");
u00016 : constant Version_32 := 16#12c24a43#;
pragma Export (C, u00016, "ada__charactersS");
u00017 : constant Version_32 := 16#051b1b7b#;
pragma Export (C, u00017, "ada__characters__latin_1S");
u00018 : constant Version_32 := 16#d7aac20c#;
pragma Export (C, u00018, "system__ioB");
u00019 : constant Version_32 := 16#2334f11a#;
pragma Export (C, u00019, "system__ioS");
u00020 : constant Version_32 := 16#47fda709#;
pragma Export (C, u00020, "taste_basictypesB");
u00021 : constant Version_32 := 16#ea7368bd#;
pragma Export (C, u00021, "taste_basictypesS");
u00022 : constant Version_32 := 16#4b642254#;
pragma Export (C, u00022, "taste_dataviewB");
u00023 : constant Version_32 := 16#4e7b5f72#;
pragma Export (C, u00023, "taste_dataviewS");
u00024 : constant Version_32 := 16#3d0b17cc#;
pragma Export (C, u00024, "system__memoryB");
u00025 : constant Version_32 := 16#77fdba40#;
pragma Export (C, u00025, "system__memoryS");
u00026 : constant Version_32 := 16#0381b3eb#;
pragma Export (C, u00026, "ada__exceptionsB");
u00027 : constant Version_32 := 16#813e0b0c#;
pragma Export (C, u00027, "ada__exceptionsS");
u00028 : constant Version_32 := 16#16173147#;
pragma Export (C, u00028, "ada__exceptions__last_chance_handlerB");
u00029 : constant Version_32 := 16#1f42fb5e#;
pragma Export (C, u00029, "ada__exceptions__last_chance_handlerS");
u00030 : constant Version_32 := 16#0071025c#;
pragma Export (C, u00030, "system__soft_linksB");
u00031 : constant Version_32 := 16#d02d7c88#;
pragma Export (C, u00031, "system__soft_linksS");
u00032 : constant Version_32 := 16#27940d94#;
pragma Export (C, u00032, "system__parametersB");
u00033 : constant Version_32 := 16#0b940a95#;
pragma Export (C, u00033, "system__parametersS");
u00034 : constant Version_32 := 16#17775d6d#;
pragma Export (C, u00034, "system__secondary_stackB");
u00035 : constant Version_32 := 16#a91821fb#;
pragma Export (C, u00035, "system__secondary_stackS");
u00036 : constant Version_32 := 16#ace32e1e#;
pragma Export (C, u00036, "system__storage_elementsB");
u00037 : constant Version_32 := 16#47bb7bcd#;
pragma Export (C, u00037, "system__storage_elementsS");
u00038 : constant Version_32 := 16#4f750b3b#;
pragma Export (C, u00038, "system__stack_checkingB");
u00039 : constant Version_32 := 16#1ed4ba79#;
pragma Export (C, u00039, "system__stack_checkingS");
u00040 : constant Version_32 := 16#7b9f0bae#;
pragma Export (C, u00040, "system__exception_tableB");
u00041 : constant Version_32 := 16#2c18daf0#;
pragma Export (C, u00041, "system__exception_tableS");
u00042 : constant Version_32 := 16#5665ab64#;
pragma Export (C, u00042, "system__htableB");
u00043 : constant Version_32 := 16#3ede485b#;
pragma Export (C, u00043, "system__htableS");
u00044 : constant Version_32 := 16#8b7dad61#;
pragma Export (C, u00044, "system__string_hashB");
u00045 : constant Version_32 := 16#9beadec1#;
pragma Export (C, u00045, "system__string_hashS");
u00046 : constant Version_32 := 16#aad75561#;
pragma Export (C, u00046, "system__exceptionsB");
u00047 : constant Version_32 := 16#b188cee2#;
pragma Export (C, u00047, "system__exceptionsS");
u00048 : constant Version_32 := 16#010db1dc#;
pragma Export (C, u00048, "system__exceptions_debugB");
u00049 : constant Version_32 := 16#85062381#;
pragma Export (C, u00049, "system__exceptions_debugS");
u00050 : constant Version_32 := 16#b012ff50#;
pragma Export (C, u00050, "system__img_intB");
u00051 : constant Version_32 := 16#bfade697#;
pragma Export (C, u00051, "system__img_intS");
u00052 : constant Version_32 := 16#dc8e33ed#;
pragma Export (C, u00052, "system__tracebackB");
u00053 : constant Version_32 := 16#dcf1d220#;
pragma Export (C, u00053, "system__tracebackS");
u00054 : constant Version_32 := 16#907d882f#;
pragma Export (C, u00054, "system__wch_conB");
u00055 : constant Version_32 := 16#029d2868#;
pragma Export (C, u00055, "system__wch_conS");
u00056 : constant Version_32 := 16#22fed88a#;
pragma Export (C, u00056, "system__wch_stwB");
u00057 : constant Version_32 := 16#2f8c0469#;
pragma Export (C, u00057, "system__wch_stwS");
u00058 : constant Version_32 := 16#b8a9e30d#;
pragma Export (C, u00058, "system__wch_cnvB");
u00059 : constant Version_32 := 16#1c63aebe#;
pragma Export (C, u00059, "system__wch_cnvS");
u00060 : constant Version_32 := 16#75729fba#;
pragma Export (C, u00060, "system__wch_jisB");
u00061 : constant Version_32 := 16#481135aa#;
pragma Export (C, u00061, "system__wch_jisS");
u00062 : constant Version_32 := 16#ada34a87#;
pragma Export (C, u00062, "system__traceback_entriesB");
u00063 : constant Version_32 := 16#ef57e814#;
pragma Export (C, u00063, "system__traceback_entriesS");
u00064 : constant Version_32 := 16#1530815b#;
pragma Export (C, u00064, "system__crtlS");
-- BEGIN ELABORATION ORDER
-- ada%s
-- ada.characters%s
-- ada.characters.latin_1%s
-- interfaces%s
-- system%s
-- system.exn_llf%s
-- system.exn_llf%b
-- system.htable%s
-- system.img_int%s
-- system.img_int%b
-- system.io%s
-- system.io%b
-- system.parameters%s
-- system.parameters%b
-- system.crtl%s
-- system.standard_library%s
-- system.exceptions_debug%s
-- system.exceptions_debug%b
-- system.storage_elements%s
-- system.storage_elements%b
-- system.stack_checking%s
-- system.stack_checking%b
-- system.string_hash%s
-- system.string_hash%b
-- system.htable%b
-- system.traceback_entries%s
-- system.traceback_entries%b
-- ada.exceptions%s
-- system.soft_links%s
-- system.unsigned_types%s
-- system.exp_llu%s
-- system.exp_llu%b
-- system.fat_lflt%s
-- system.wch_con%s
-- system.wch_con%b
-- system.wch_cnv%s
-- system.wch_jis%s
-- system.wch_jis%b
-- system.wch_cnv%b
-- system.wch_stw%s
-- system.wch_stw%b
-- ada.exceptions.last_chance_handler%s
-- ada.exceptions.last_chance_handler%b
-- system.exception_table%s
-- system.exception_table%b
-- system.exceptions%s
-- system.exceptions%b
-- system.memory%s
-- system.memory%b
-- system.standard_library%b
-- system.secondary_stack%s
-- system.soft_links%b
-- system.secondary_stack%b
-- system.traceback%s
-- ada.exceptions%b
-- system.traceback%b
-- adaasn1rtl%s
-- adaasn1rtl%b
-- taste_basictypes%s
-- taste_basictypes%b
-- taste_dataview%s
-- taste_dataview%b
-- trafficlight%s
-- trafficlight%b
-- END ELABORATION ORDER
end ada_main;
package Standard is
type Integer is range -2147483648 .. 2147483647;
type Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
type Short_Short_Integer is range -128 .. 127;
type Short_Integer is range -32768 .. 32767;
type Long_Integer is range -9223372036854775808 .. 9223372036854775807;
type Short_Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
type Long_Float is digits 15 range -1.79769313486232E+308 .. 1.79769313486232E+308;
end Standard;
package System is
Min_Int : constant := -9223372036854775808;
Max_Int : constant := 9223372036854775807;
Max_Binary_Modulus : constant := 2 ** 64;
Max_Mantissa : constant := 63;
Word_Size : constant := 64;
end System;
#!/bin/bash
rm -rf examiner/*
#sparkmake || exit 1
for file in $(ls *.adb)
do
if [ "$file" == "mainprogram.adb" -o "$file" == "adaasn1rtl.adb" ] ; then
continue
fi
#spark -sparklib -output=examiner -conf=gnat.cfg -vcg -dpc -i=spark.idx -language=2005 -warning_file=IgnoredExaminerWarnings.wrn $file
spark -sparklib -output=examiner -conf=gnat.cfg -vcg -i=spark.idx -language=2005 -warning_file=IgnoredExaminerWarnings.wrn $file
if [ $? -ne 0 -a $? -ne 1 ] ; then
exit 1
fi
done
sparksimp -a -p=4 -victor || exit 1
pogs -d=examiner -i -o=pogs.sum || exit 1
tail -20 examiner/pogs.sum
V=$(tail -20 examiner/pogs.sum | grep ^Totals: | awk '{print $(NF-1) $NF;}' )
if [ "$V" != "00" ] ; then exit 1 ; fi
exit 0
\ No newline at end of file
adaasn1rtl specification is in adaasn1rtl.ads
adaasn1rtl body is in adaasn1rtl.adb
taste_basictypes specification is in taste_basictypes.ads
taste_basictypes body is in taste_basictypes.adb
taste_dataview specification is in taste_dataview.ads
taste_dataview body is in taste_dataview.adb
\ No newline at end of file
V "GNAT Lib v4.8"
P ZX
RN
RV NO_DIRECT_BOOLEAN_OPERATORS
U taste_basictypes%b taste_basictypes.adb 47fda709 NE OO PK KU
W adaasn1rtl%s adaasn1rtl.adb adaasn1rtl.ali
W system.unsigned_types%s s-unstyp.ads s-unstyp.ali
U taste_basictypes%s taste_basictypes.ads ea7368bd EE NE OO PK KU
W adaasn1rtl%s adaasn1rtl.adb adaasn1rtl.ali
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20070912115821 2825df20
D adaasn1rtl.ads 20140519142328 989f6c09
D interfac.ads 20110906094621 129923ea
D system.ads 20140212114732 bd760655
D s-unstyp.ads 20090409150019 6ae15c76
D taste_basictypes.ads 20140519142328 72ec04b4
D taste_basictypes.adb 20140519142328 ad8ecfb4
X 4 adaasn1rtl.ads
7K9*adaasn1rtl 908e15 8|2w6 2r27 2r57 2r85 11r27 21r75 29r28 39r77 47r26
. 57r73 65r27 75r75 83r29 9|2w6 3r10 4r10 5r10 12r36 21r75 23r11 31r12 47r77
. 49r11 57r12 73r73 75r11 83r12 99r75 101r11 109r12
20M10*BIT 8|2r96 9|5r21
21A10*BitArray(20M10)<integer> 9|12r47
28I13*Asn1Int{5|52I9} 8|2r68 11r38 29r39 47r37 65r38 9|4r21
29M13*Asn1UInt{5|64M9} 8|2r38 9|3r21
69B13*Asn1Boolean{boolean} 8|83r40
94R10*ASN1_RESULT 97e15 8|21r86 39r88 57r84 75r86 9|21r86 23r22 31r23 47r88
. 49r22 57r23 73r84 75r22 83r23 99r86 101r22 109r23
95b10*Success{boolean} 9|31m36 57m36 83m36 109m36
96i10*ErrorCode{integer} 9|31m91 57m81 83m77 109m74
X 5 interfac.ads
52I9*Integer_64<long_long_integer>
64M9*Unsigned_64
X 8 taste_basictypes.ads
6K9*TASTE_BasicTypes 104l5 104e21 9|8b14 133l5 133t21
11I9*asn1SccT_Int32{4|28I13} 19r37 21r52 23r46 9|15r37 21r52 35r46
13i1*asn1SccT_Int32_REQUIRED_BYTES_FOR_ENCODING{integer}
14i1*asn1SccT_Int32_REQUIRED_BITS_FOR_ENCODING{integer}
15i1*asn1SccT_Int32_REQUIRED_BYTES_FOR_ACN_ENCODING{integer}
16i1*asn1SccT_Int32_REQUIRED_BITS_FOR_ACN_ENCODING{integer}
17i1*asn1SccT_Int32_REQUIRED_BYTES_FOR_XER_ENCODING{integer}
19V10*asn1SccT_Int32_Init{11I9} 9|15b10 19l5 19t24
21V10*asn1SccT_Int32_IsConstraintValid{4|94R10} 21>43 9|21b10 33l5 33t37
21i43 val{11I9} 9|21b43 31r63 31r71
23V10*asn1SccT_Int32_Equal{boolean} 23>31 23>37 9|35b10 39l5 39t25
23i31 val1{11I9} 9|35b31 38r12
23i37 val2{11I9} 9|35b37 38r19
26i1*ERR_asn1SccT_Int32{integer} 9|31r104
29I9*asn1SccT_UInt32{4|28I13} 37r38 39r53 41r47 9|41r38 47r53 61r47
31i1*asn1SccT_UInt32_REQUIRED_BYTES_FOR_ENCODING{integer}
32i1*asn1SccT_UInt32_REQUIRED_BITS_FOR_ENCODING{integer}
33i1*asn1SccT_UInt32_REQUIRED_BYTES_FOR_ACN_ENCODING{integer}
34i1*asn1SccT_UInt32_REQUIRED_BITS_FOR_ACN_ENCODING{integer}
35i1*asn1SccT_UInt32_REQUIRED_BYTES_FOR_XER_ENCODING{integer}
37V10*asn1SccT_UInt32_Init{29I9} 9|41b10 45l5 45t25
39V10*asn1SccT_UInt32_IsConstraintValid{4|94R10} 39>44 9|47b10 59l5 59t38
39i44 val{29I9} 9|47b44 57r53 57r61
41V10*asn1SccT_UInt32_Equal{boolean} 41>32 41>38 9|61b10 65l5 65t26
41i32 val1{29I9} 9|61b32 64r12
41i38 val2{29I9} 9|61b38 64r19
44i1*ERR_asn1SccT_UInt32{integer} 9|57r94
47I9*asn1SccT_Int8{4|28I13} 55r36 57r51 59r45 9|67r36 73r51 87r45
49i1*asn1SccT_Int8_REQUIRED_BYTES_FOR_ENCODING{integer}
50i1*asn1SccT_Int8_REQUIRED_BITS_FOR_ENCODING{integer}
51i1*asn1SccT_Int8_REQUIRED_BYTES_FOR_ACN_ENCODING{integer}
52i1*asn1SccT_Int8_REQUIRED_BITS_FOR_ACN_ENCODING{integer}
53i1*asn1SccT_Int8_REQUIRED_BYTES_FOR_XER_ENCODING{integer}
55V10*asn1SccT_Int8_Init{47I9} 9|67b10 71l5 71t23
57V10*asn1SccT_Int8_IsConstraintValid{4|94R10} 57>42 9|73b10 85l5 85t36
57i42 val{47I9} 9|73b42 83r56 83r64
59V10*asn1SccT_Int8_Equal{boolean} 59>30 59>36 9|87b10 91l5 91t24
59i30 val1{47I9} 9|87b30 90r12
59i36 val2{47I9} 9|87b36 90r19
62i1*ERR_asn1SccT_Int8{integer} 9|83r90
65I9*asn1SccT_UInt8{4|28I13} 73r37 75r52 77r46 9|93r37 99r52 113r46
67i1*asn1SccT_UInt8_REQUIRED_BYTES_FOR_ENCODING{integer}
68i1*asn1SccT_UInt8_REQUIRED_BITS_FOR_ENCODING{integer}
69i1*asn1SccT_UInt8_REQUIRED_BYTES_FOR_ACN_ENCODING{integer}
70i1*asn1SccT_UInt8_REQUIRED_BITS_FOR_ACN_ENCODING{integer}
71i1*asn1SccT_UInt8_REQUIRED_BYTES_FOR_XER_ENCODING{integer}
73V10*asn1SccT_UInt8_Init{65I9} 9|93b10 97l5 97t24
75V10*asn1SccT_UInt8_IsConstraintValid{4|94R10} 75>43 9|99b10 111l5 111t37
75i43 val{65I9} 9|99b43 109r53 109r61
77V10*asn1SccT_UInt8_Equal{boolean} 77>31 77>37 9|113b10 117l5 117t25
77i31 val1{65I9} 9|113b31 116r12
77i37 val2{65I9} 9|113b37 116r19
80i1*ERR_asn1SccT_UInt8{integer} 9|109r87
83B9*asn1SccT_Boolean{4|69E13} 91r39 93r48 9|119r39 125r48
85i1*asn1SccT_Boolean_REQUIRED_BYTES_FOR_ENCODING{integer}
86i1*asn1SccT_Boolean_REQUIRED_BITS_FOR_ENCODING{integer}
87i1*asn1SccT_Boolean_REQUIRED_BYTES_FOR_ACN_ENCODING{integer}
88i1*asn1SccT_Boolean_REQUIRED_BITS_FOR_ACN_ENCODING{integer}
89i1*asn1SccT_Boolean_REQUIRED_BYTES_FOR_XER_ENCODING{integer}
91V10*asn1SccT_Boolean_Init{83E9} 9|119b10 123l5 123t26
93V10*asn1SccT_Boolean_Equal{boolean} 93>33 93>39 9|125b10 129l5 129t27
93b33 val1{83E9} 9|125b33 128r12
93b39 val2{83E9} 9|125b39 128r19
X 9 taste_basictypes.adb
11I9 T_Boolean_pattern_array_range{natural} 12r56
12A9 T_Boolean_pattern_array{4|21A10}<integer> 13r28 13r55
13a1 T_Boolean_pattern{12A9}
23r5 ret{4|94R10} 31m5 32r12
49r5 ret{4|94R10} 57m5 58r12
75r5 ret{4|94R10} 83m5 84r12
101r5 ret{4|94R10} 109m5 110r12
V "GNAT Lib v4.8"
P ZX
RN
U taste_dataview%b taste_dataview.adb 4b642254 NE OO PK KU
W adaasn1rtl%s adaasn1rtl.adb adaasn1rtl.ali
W taste_basictypes%s taste_basictypes.adb taste_basictypes.ali
U taste_dataview%s taste_dataview.ads 4e7b5f72 EE NE OO PK KU
W adaasn1rtl%s adaasn1rtl.adb adaasn1rtl.ali
W taste_basictypes%s taste_basictypes.adb taste_basictypes.ali
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20070912115821 2825df20
D adaasn1rtl.ads 20140519142328 989f6c09
D interfac.ads 20110906094621 129923ea
D system.ads 20140212114732 bd760655
D s-unstyp.ads 20090409150019 6ae15c76
D taste_basictypes.ads 20140519142328 72ec04b4
D taste_dataview.ads 20140519142328 a40837cf
D taste_dataview.adb 20140519142328 051f7d26
X 4 adaasn1rtl.ads
7K9*adaasn1rtl 908e15 9|2w6 2r27 2r57 2r85 10|2w6 4r10 5r10 6r10
20M10*BIT 9|2r96 10|6r21
28I13*Asn1Int{5|52I9} 9|2r68 10|5r21
29M13*Asn1UInt{5|64M9} 9|2r38 10|4r21
X 5 interfac.ads
52I9*Integer_64<long_long_integer>
64M9*Unsigned_64
X 8 taste_basictypes.ads
6K9*TASTE_BasicTypes 104e21 9|3w6 10|3w6
X 9 taste_dataview.ads
7K9*TASTE_Dataview 38l5 38e19 10|9b14 27l5 27t19
12I9*asn1SccLight_index_range{integer}
13E6*asn1SccLight 13e79 14r5 16r5 24r35 26r44 10|13r35 19r44
13n23*asn1Sccred{13E6} 15r6 10|16r12
13n35*asn1Sccyellow{13E6} 15r23
13n50*asn1Sccgreen{13E6} 15r43
13n64*asn1Sccall_off{13E6} 15r62
18i1*asn1SccLight_REQUIRED_BYTES_FOR_ENCODING{integer}
19i1*asn1SccLight_REQUIRED_BITS_FOR_ENCODING{integer}
20i1*asn1SccLight_REQUIRED_BYTES_FOR_ACN_ENCODING{integer}
21i1*asn1SccLight_REQUIRED_BITS_FOR_ACN_ENCODING{integer}
22i1*asn1SccLight_REQUIRED_BYTES_FOR_XER_ENCODING{integer}
24V10*asn1SccLight_Init{13E6} 10|13b10 17l5 17t22
26V10*asn1SccLight_Equal{boolean} 26>29 26>35 10|19b10 23l5 23t23
26e29 val1{13E6} 10|19b29 22r12
26e35 val2{13E6} 10|19b35 22r19
29i1*ERR_asn1SccLight_unknown_enumeration_value{integer}
V "GNAT Lib v4.8"
P ZX
RN
RV NO_STANDARD_STORAGE_POOLS