-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathenv.ali
180 lines (175 loc) · 7.85 KB
/
env.ali
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
V "GNAT Lib v2021"
A -gnatA
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_PRAGMAS
U env%b env.adb abb19421 NE OO PK
W ada%s ada.ads ada.ali
Z ada.exceptions%s a-except.adb a-except.ali
Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali
W ada.text_io%s a-textio.adb a-textio.ali
Z ada.text_io.generic_aux%s a-tigeau.adb a-tigeau.ali
Z ada.text_io.integer_aux%s
Z ada.text_io.integer_io%s
W reset%s reset.adb reset.ali
W sensors%s sensors.adb sensors.ali
W speedo%s speedo.adb speedo.ali
W system%s system.ads system.ali
Z system.img_biu%s s-imgbiu.ads s-imgbiu.ali
Z system.img_int%s s-imgint.ads s-imgint.ali
Z system.img_llb%s s-imgllb.ads s-imgllb.ali
Z system.img_lli%s s-imglli.ads s-imglli.ali
Z system.img_lllb%s s-imglllb.ads s-imglllb.ali
Z system.img_llli%s s-imgllli.ads s-imgllli.ali
Z system.img_lllw%s s-imglllw.ads s-imglllw.ali
Z system.img_llw%s s-imgllw.ads s-imgllw.ali
Z system.img_wiu%s s-imgwiu.ads s-imgwiu.ali
Z system.val_int%s s-valint.ads s-valint.ali
Z system.val_lli%s s-vallli.ads s-vallli.ali
Z system.val_llli%s s-valllli.ads s-valllli.ali
W text_io%s text_io.ads text_io.ali
U env%s env.ads 49709549 EE NE OO PK
Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali
D ada.ads 20210520051132 76789da1 ada%s
D a-except.ads 20210520051128 946f3014 ada.exceptions%s
D a-ioexce.ads 20210520051128 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20210520051130 119b8fb3 ada.streams%s
D a-string.ads 20210520051130 90ac6797 ada.strings%s
D a-sttebu.ads 20210520051130 18209c64 ada.strings.text_buffers%s
D a-stuten.ads 20210520051130 808c40ad ada.strings.utf_encoding%s
D a-tags.ads 20210520051130 9eaa38c6 ada.tags%s
D a-textio.ads 20210520051130 aef4d56d ada.text_io%s
D a-tigeau.ads 20210520051130 e643cdf3 ada.text_io.generic_aux%s
D a-tiinau.ads 20210520051130 1c79f78d ada.text_io.integer_aux%s
D a-tiinau.adb 20210520051130 89004916 ada.text_io.integer_aux%b
D a-tiinio.ads 20210520051130 390edddb ada.text_io.integer_io%s
D a-tiinio.adb 20210520051130 b79731f4 ada.text_io.integer_io%b
D a-unccon.ads 20210520051130 0e9b276f ada.unchecked_conversion%s
D env.ads 20220912093224 49709549 env%s
D env.adb 20220912093224 d2b33b72 env%b
D interfac.ads 20210520051132 edec285f interfaces%s
D i-cstrea.ads 20210520051132 e53d8b8e interfaces.c_streams%s
D reset.ads 20220912093224 762a66e1 reset%s
D sensors.ads 20220912093224 3f8c5bfd sensors%s
D speedo.ads 20220912093224 5866cf9e speedo%s
D system.ads 20210520051136 2ffa5114 system%s
D s-crtl.ads 20210520051132 0ebbdb71 system.crtl%s
D s-exctab.ads 20210520051132 54135002 system.exception_table%s
D s-ficobl.ads 20210520051132 078245e4 system.file_control_block%s
D s-imageb.ads 20210520051134 3953e0e6 system.image_b%s
D s-imagei.ads 20210520051134 0d3f86a7 system.image_i%s
D s-imagew.ads 20210520051134 9d2dd267 system.image_w%s
D s-imgbiu.ads 20210520051134 0a8e1c41 system.img_biu%s
D s-imgint.ads 20210520051134 bdb6f5ec system.img_int%s
D s-imgllb.ads 20210520051134 47d0db9f system.img_llb%s
D s-imglli.ads 20210520051134 3723d9ff system.img_lli%s
D s-imglllb.ads 20210520051134 30212eed system.img_lllb%s
D s-imgllli.ads 20210520051134 5cf3dc07 system.img_llli%s
D s-imglllw.ads 20210520051134 9e2b0560 system.img_lllw%s
D s-imgllw.ads 20210520051134 bf9c9c15 system.img_llw%s
D s-imgwiu.ads 20210520051134 912a95f2 system.img_wiu%s
D s-parame.ads 20210520051134 4752c4cb system.parameters%s
D s-putima.ads 20210520051134 4e095881 system.put_images%s
D s-secsta.ads 20210520051134 9b3ab94b system.secondary_stack%s
D s-soflin.ads 20210520051134 a7318a92 system.soft_links%s
D s-stache.ads 20210520051134 a37c21ec system.stack_checking%s
D s-stalib.ads 20210520051134 472fbca8 system.standard_library%s
D s-stoele.ads 20210520051134 2dc34a04 system.storage_elements%s
D s-stoele.adb 20210520051134 ed88f8fb system.storage_elements%b
D s-traent.ads 20210520051134 26a8d361 system.traceback_entries%s
D s-unstyp.ads 20210520051134 2b077493 system.unsigned_types%s
D s-valint.ads 20210520051134 e7fcadb7 system.val_int%s
D s-vallli.ads 20210520051134 0767e6f3 system.val_lli%s
D s-valllli.ads 20210520051134 f758e795 system.val_llli%s
D s-vallllu.ads 20210520051134 87566fa4 system.val_lllu%s
D s-valllu.ads 20210520051134 660d930f system.val_llu%s
D s-valuns.ads 20210520051134 dac7b45d system.val_uns%s
D s-valuei.ads 20210520051134 978dd0a6 system.value_i%s
D s-valueu.ads 20210520051134 7b8fccf5 system.value_u%s
D s-wchcon.ads 20210520051136 1b7d22d2 system.wch_con%s
D text_io.ads 20210520051136 21b2c898 text_io%s
D unchconv.ads 20210520051136 ca2f9e18 unchecked_conversion%s
G a e
G c Z s b [update env 22 13 none]
G c Z s b [at_end env 24 12 none]
G c Z s b [open_file env 26 13 none]
G c Z s b [close_file env 28 13 none]
G c Z b b [get env__integer_inout 51 14 27_4]
G c Z b b [get env__integer_inout 59 14 27_4]
G c Z b b [put env__integer_inout 68 14 27_4]
G c Z b b [put env__integer_inout 80 14 27_4]
G c Z b b [get env__integer_inout 90 14 27_4]
G c Z b b [put env__integer_inout 97 14 27_4]
G c Z b b [get env__integer_inout__aux_int 52 14 48_4_27_4]
G c Z b b [gets env__integer_inout__aux_int 57 14 48_4_27_4]
G c Z b b [put env__integer_inout__aux_int 62 14 48_4_27_4]
G c Z b b [puts env__integer_inout__aux_int 68 14 48_4_27_4]
G c Z b b [get env__integer_inout__aux_lli 52 14 56_4_27_4]
G c Z b b [gets env__integer_inout__aux_lli 57 14 56_4_27_4]
G c Z b b [put env__integer_inout__aux_lli 62 14 56_4_27_4]
G c Z b b [puts env__integer_inout__aux_lli 68 14 56_4_27_4]
G c Z b b [get env__integer_inout__aux_llli 52 14 64_4_27_4]
G c Z b b [gets env__integer_inout__aux_llli 57 14 64_4_27_4]
G c Z b b [put env__integer_inout__aux_llli 62 14 64_4_27_4]
G c Z b b [puts env__integer_inout__aux_llli 68 14 64_4_27_4]
G r c none [update env 22 13 none] [write_sensors sensors 30 14 none]
G r c none [update env 22 13 none] [write_speed speedo 25 14 none]
G r c none [update env 22 13 none] [enable reset 25 14 none]
G r c none [update env 22 13 none] [disable reset 31 14 none]
X 9 a-textio.ads
65P9*File_Type 17|25r22
67n23*In_File{67E9} 17|71r38
112U14*Open 17|71s15
127U14*Close 17|76s15
310V13*End_Of_File{boolean} 17|66s22
390U14*Put 17|61s15
506U14*Put_Line 17|77s15
X 13 a-tiinio.ads
46k21*Integer_IO 108e27 17|27r41
51U14 Get 17|47s21[27] 48s21[27] 49s21[27] 50s21[27] 51s21[27]
X 16 env.ads
18K9*Env 30l5 30e8 17|23b14 80l5 80t8
20I11*Sensor_Range{integer} 17|37r41
22U13*Update 17|29b14 62l8 62t14
24V12*At_End{boolean} 17|64b13 67l8 67t14
26U13*Open_File 17|69b14 72l8 72t17
28U13*Close_File 17|74b14 78l8 78t18
X 17 env.adb
25p4 Env_File{9|65P9} 47r25 48r25 49r25 50r25 51r25 66r34 71m20 71r20 76m21
. 76r21
27K12 Integer_INOUT[13|46] 47r7 48r7 49r7 50r7 51r7
31i7 Sensor_1{integer} 47m35 52r48
32i7 Sensor_2{integer} 48m35 53r48
33i7 Sensor_3{integer} 49m35 54r48
34i7 Speed{22|21I12} 50m35 55r26
35i7 ResetSig{integer} 51m35 56r10
37V16 Int_To_Sensor_Type{21|23E9} 37b16 37>35 44l11 44t29 52s29 53s29 54s29
37i35 X{16|20I11} 39r15
X 20 reset.ads
18K9*Reset 17|19w32 57r10 59r10 20|42e11
25U14*Enable 17|57s16
31U14*Disable 17|59s16
X 21 sensors.ads
19K9*Sensors 17|19w15 20r10 37r62 40r30 41r30 42r30 52r7 21|47e12
23E9*Sensor_Type 17|20r18 37r70 21|23e46
23n25*Enable{23E9} 17|41r38
23n33*Nosig{23E9} 17|40r38
23n40*Undef{23E9} 17|42r38
30U14*Write_Sensors 17|52s15
X 22 speedo.ads
16K9*Speedo 17|19w24 34r17 55r7 22|36e11
21I12*Speed_Type{integer} 17|34r24
25U14*Write_Speed 17|55s14
X 58 text_io.ads
24K9*Text_IO=24:29 17|19w6 25r14 27r33 61r7 66r14 71r7 71r30 76r7 77r7