tree: 215143a77fb978e957c0d63aa0dcdd97eb8412a2 [path history] [tgz]
  1. specs/
  2. style/
  3. abstract1.adb
  4. abstract1.ads
  5. abstract_with_anonymous_result.adb
  6. access1.adb
  7. access2.adb
  8. access3.adb
  9. access3.ads
  10. access4.adb
  11. access_discr.adb
  12. access_discr2.adb
  13. access_func.adb
  14. access_test.adb
  15. addr1.adb
  16. addr1.ads
  17. addr2.adb
  18. addr2_p.adb
  19. addr2_p.ads
  20. addr3.adb
  21. addr4.adb
  22. addr5.adb
  23. addr_slice.adb
  24. address_conversion.adb
  25. address_null_init.ads
  26. aggr1.adb
  27. aggr10.adb
  28. aggr10_pkg.ads
  29. aggr2.adb
  30. aggr3.adb
  31. aggr4.adb
  32. aggr7.adb
  33. aggr8.adb
  34. aggr9.adb
  35. aggr9.ads
  36. aggr9_pkg.ads
  37. aliased1.adb
  38. aliased_prefix_accessibility.adb
  39. aliasing1.adb
  40. aliasing1.ads
  41. aliasing2.adb
  42. aliasing2.ads
  43. aliasing3.adb
  44. aliasing3_pkg.adb
  45. aliasing3_pkg.ads
  46. align_check.adb
  47. aligned_vla.adb
  48. alignment1.adb
  49. alignment2.adb
  50. alignment3.adb
  51. alignment4.adb
  52. alignment5.adb
  53. alignment6.adb
  54. allocator_maxalign1.adb
  55. allocator_maxalign2.adb
  56. allocator_maxalign2.ads
  57. ancestor_type.adb
  58. ancestor_type.ads
  59. anon1.ads
  60. anon2.adb
  61. array1.adb
  62. array1.ads
  63. array2.ads
  64. array3.adb
  65. array4.adb
  66. array5.adb
  67. assert.ads
  68. assert1.adb
  69. assign_from_packed.adb
  70. assign_from_packed_pixels.ads
  71. asynch.adb
  72. asynch.ads
  73. bad_array.adb
  74. biased_uc.adb
  75. bip_aggregate_bug.adb
  76. bip_prim_func.adb
  77. bip_prim_func.ads
  78. bit_packed_array.adb
  79. bit_packed_array.ads
  80. bit_packed_array2.adb
  81. bit_packed_array3.adb
  82. blkextract_from_reg.adb
  83. bltins.adb
  84. boolean_bitfield.adb
  85. boolean_expr1.adb
  86. boolean_expr1.ads
  87. boolean_expr2.adb
  88. boolean_subtype.adb
  89. bug_elaboration_code.adb
  90. bug_elaboration_code.ads
  91. c_words.adb
  92. c_words.ads
  93. capture_value.adb
  94. case_null.adb
  95. case_null.ads
  96. case_optimization1.adb
  97. case_optimization1.ads
  98. case_optimization_pkg1.ads
  99. check1.adb
  100. check1.ads
  101. check_displace_generation.adb
  102. check_elaboration_code.adb
  103. class_wide.adb
  104. compose.adb
  105. concat1.adb
  106. concat1_pkg.adb
  107. concat1_pkg.ads
  108. concat_length.adb
  109. const1.adb
  110. controlled1.ads
  111. controlled2.adb
  112. controlled2.ads
  113. controlled3.ads
  114. controlled4.adb
  115. controlled4.ads
  116. controlled_record.adb
  117. controlled_record.ads
  118. conv_bug.adb
  119. conv_decimal.adb
  120. conv_integer.adb
  121. conv_real.adb
  122. curr_task.adb
  123. debug1.ads
  124. decl_ctx_def.ads
  125. decl_ctx_use.adb
  126. decl_ctx_use.ads
  127. deep_old.adb
  128. deferred_const1.adb
  129. deferred_const2.adb
  130. deferred_const2_pkg.adb
  131. deferred_const2_pkg.ads
  132. deferred_const3.adb
  133. deferred_const3_pkg.adb
  134. deferred_const3_pkg.ads
  135. deques.ads
  136. deref1.ads
  137. deref2.ads
  138. deref3.adb
  139. derived_aggregate.adb
  140. dg.exp
  141. discr1.ads
  142. discr10.adb
  143. discr10.ads
  144. discr2.adb
  145. discr2.ads
  146. discr3.ads
  147. discr4.adb
  148. discr5.adb
  149. discr6.adb
  150. discr6_pkg.ads
  151. discr7.adb
  152. discr8.adb
  153. discr8.ads
  154. discr8_pkg1.ads
  155. discr8_pkg2.ads
  156. discr8_pkg3.ads
  157. discr9.adb
  158. discr9.ads
  159. discr_range_check.adb
  160. discr_test.adb
  161. discr_test2.adb
  162. dispatch1.adb
  163. dispatch1_p.ads
  164. dispatch2.adb
  165. dispatch2_p.adb
  166. dispatch2_p.ads
  167. div_no_warning.adb
  168. dynamic_elab1.adb
  169. dynamic_elab1.ads
  170. dynamic_elab2.adb
  171. dynamic_elab2.ads
  172. dynamic_elab_pkg.ads
  173. elab1.ads
  174. elab2.adb
  175. elim1.adb
  176. elim1.ads
  177. elim2.adb
  178. empty_vector_length.adb
  179. enclosing_record_reference.adb
  180. enclosing_record_reference.ads
  181. entry_queues.adb
  182. env_compile_capacity.adb
  183. env_compile_capacity.ads
  184. equal1.ads
  185. equal_access.adb
  186. exp0_eval.adb
  187. expect1.adb
  188. ext1.ads
  189. fatp_sra.adb
  190. finalized.adb
  191. fixce.adb
  192. fixedpnt.adb
  193. forward_anon.adb
  194. forward_anon.ads
  195. forward_vla.adb
  196. frame_overflow.adb
  197. frunaligned.adb
  198. frunaligned1.ads
  199. g_tables.adb
  200. g_tables.ads
  201. gen_disp.adb
  202. gen_disp.ads
  203. generic_dispatch.adb
  204. generic_dispatch_p.adb
  205. generic_dispatch_p.ads
  206. gnat_malloc.adb
  207. gnatg.adb
  208. graphic.adb
  209. graphic.ads
  210. handle_raise_from_pure.adb
  211. hyper_flat.adb
  212. ice_type.adb
  213. ice_types.ads
  214. iface1.ads
  215. iface2.adb
  216. iface2.ads
  217. iface_test.adb
  218. iface_test.ads
  219. ifaces.adb
  220. ifaces.ads
  221. in_mod_conv.adb
  222. in_out_parameter.adb
  223. incomplete1.ads
  224. incomplete2.adb
  225. incomplete2.ads
  226. init_scalar1.adb
  227. inline_scope.adb
  228. inline_scope_p.adb
  229. inline_scope_p.ads
  230. inline_tagged.adb
  231. interface1.adb
  232. interface2.adb
  233. interface3.adb
  234. interface4.adb
  235. interface5.adb
  236. interface5.ads
  237. interface_conv.adb
  238. invariant_index.adb
  239. invariant_index.ads
  240. iprot_test.adb
  241. itypes.adb
  242. itypes.ads
  243. kill_value.adb
  244. late_overriding.adb
  245. layered_abstraction.adb
  246. layered_abstraction.ads
  247. layered_abstraction_p.ads
  248. layered_instance.adb
  249. lhs_view_convert.adb
  250. limited_with.adb
  251. limited_with.ads
  252. loop_address.adb
  253. loop_address2.adb
  254. loop_boolean.adb
  255. loop_bound.adb
  256. loop_optimization1.adb
  257. loop_optimization1.ads
  258. loop_optimization2.adb
  259. loop_optimization2.ads
  260. loop_optimization3.adb
  261. loop_optimization3_pkg.adb
  262. loop_optimization3_pkg.ads
  263. loop_optimization4.adb
  264. loop_optimization4_pkg.adb
  265. loop_optimization4_pkg.ads
  266. loop_optimization5.adb
  267. loop_optimization5_pkg.ads
  268. loop_unchecked_conversion.adb
  269. loop_unchecked_conversion.ads
  270. machine_code1.adb
  271. max_align.adb
  272. md5_test.adb
  273. missing_acc_check.adb
  274. modify_a_constant.adb
  275. modular1.adb
  276. modular2.adb
  277. mutable1.adb
  278. my_env_versioned_value_set_g.ads
  279. named_test.adb
  280. nat1.ads
  281. nat1r.adb
  282. nested_agg_bitfield_constructor.adb
  283. nested_controlled_alloc.adb
  284. nested_return_test.adb
  285. nested_subtype_byref.adb
  286. nested_subtype_byref.ads
  287. no_exc_prop.adb
  288. no_exc_prop.ads
  289. no_final.adb
  290. not_null.adb
  291. notnot.adb
  292. oalign1.ads
  293. oalign2.ads
  294. object_overflow.adb
  295. old_errors.adb
  296. old_errors.ads
  297. opt1.adb
  298. opt1.ads
  299. outer_agg_bitfield_constructor.adb
  300. overriding_ops.adb
  301. overriding_ops.ads
  302. overriding_ops_p.ads
  303. pack1.ads
  304. pack10.adb
  305. pack11.adb
  306. pack12.adb
  307. pack2.adb
  308. pack3.adb
  309. pack4.adb
  310. pack5.adb
  311. pack6.adb
  312. pack7.adb
  313. pack8.adb
  314. pack9.adb
  315. pack9.ads
  316. packed_subtype.adb
  317. pak.adb
  318. pak.ads
  319. parameterlessfunc.adb
  320. parent_ltd_with-child_full_view.adb
  321. parent_ltd_with-child_full_view.ads
  322. parent_ltd_with.ads
  323. pointer_array.adb
  324. pointer_conversion.adb
  325. pointer_protected.adb
  326. pointer_protected_p.ads
  327. pointer_variable_bounds.adb
  328. pointer_variable_bounds.ads
  329. pointer_variable_bounds_q.ads
  330. prefix1.adb
  331. prefix1.ads
  332. prefix2.adb
  333. prefix2.ads
  334. profile_warning.adb
  335. profile_warning.ads
  336. profile_warning_p.adb
  337. profile_warning_p.ads
  338. prot1.adb
  339. prot_def.adb
  340. protected_self_ref1.adb
  341. protected_self_ref2.adb
  342. quote.adb
  343. raise_from_pure.adb
  344. raise_from_pure.ads
  345. range_check.adb
  346. range_check2.adb
  347. rational_arithmetic.ads
  348. ref_type.adb
  349. ref_type.ads
  350. regpat1.adb
  351. release_unc_maxalign.adb
  352. remote_type.adb
  353. remote_type.ads
  354. renaming1.adb
  355. renaming1.ads
  356. renaming2.adb
  357. renaming3.adb
  358. renaming4.ads
  359. rep_clause1.adb
  360. rep_clause2.adb
  361. rep_clause2.ads
  362. requeue1.adb
  363. return1.adb
  364. return1.ads
  365. rt1.adb
  366. rt1.ads
  367. scalar_mode_agg_compare.adb
  368. scalar_mode_agg_compare_loop.adb
  369. self.adb
  370. self.ads
  371. self1.adb
  372. self_aggregate_with_array.adb
  373. self_aggregate_with_call.adb
  374. self_aggregate_with_pointer.adb
  375. self_aggregate_with_zeros.adb
  376. set_in_pproc.adb
  377. show_deques_priority.adb
  378. size_attribute.adb
  379. sizetype.adb
  380. slice1.adb
  381. slice2.adb
  382. slice2.ads
  383. slice3.adb
  384. slice4.adb
  385. slice5.adb
  386. slice_enum.adb
  387. small_alignment.adb
  388. socket1.adb
  389. sort1.adb
  390. sort1.ads
  391. sort2.adb
  392. spipaterr.adb
  393. statically_matching.ads
  394. str1.adb
  395. string_comparison.adb
  396. string_slice.adb
  397. string_slice2.adb
  398. sync1.adb
  399. sync1.ads
  400. sync_iface_test.adb
  401. sync_iface_test.ads
  402. tag1.adb
  403. tagged_type_pkg.adb
  404. tagged_type_pkg.ads
  405. tail_call.adb
  406. tail_call_p.adb
  407. tail_call_p.ads
  408. tamdt.adb
  409. tamdt.ads
  410. tamdt_aux.ads
  411. task_name.adb
  412. task_name.ads
  413. task_stack_align.adb
  414. test_8bitlong_overflow.adb
  415. test_address_null_init.adb
  416. test_ai254.adb
  417. test_allocator_maxalign2.adb
  418. test_bip_no_alloc.adb
  419. test_bounded.adb
  420. test_call.adb
  421. test_debug1.adb
  422. test_delay.adb
  423. test_direct_io.adb
  424. test_enum_io.adb
  425. test_equal1.adb
  426. test_ext1.adb
  427. test_fixed_io.adb
  428. test_iface_aggr.adb
  429. test_ifaces.adb
  430. test_image.adb
  431. test_image_p.adb
  432. test_image_p.ads
  433. test_nested_subtype_byref.adb
  434. test_oalign.adb
  435. test_overflow_sum.adb
  436. test_prefix1.adb
  437. test_prio.adb
  438. test_prio_p.adb
  439. test_prio_p.ads
  440. test_raise_from_pure.adb
  441. test_rational_arithmetic.adb
  442. test_self.adb
  443. test_self_ref.adb
  444. test_table1.adb
  445. test_tables.adb
  446. test_tamdt.adb
  447. test_time_stamp.adb
  448. test_unknown_discrs.adb
  449. test_version.adb
  450. testint.adb
  451. tf_interface_1.adb
  452. tf_interface_1.ads
  453. tfren.adb
  454. thin_pointer.adb
  455. thin_pointer.ads
  456. timing_events.adb
  457. trampoline1.adb
  458. trampoline2.adb
  459. tree_static_def.adb
  460. tree_static_def.ads
  461. tree_static_use.adb
  462. type_conv.adb
  463. unaligned_rep_clause.adb
  464. unc.adb
  465. unc_memfree.adb
  466. unc_memops.adb
  467. unc_memops.ads
  468. unchecked_convert1.adb
  469. unchecked_convert2.adb
  470. unchecked_convert3.adb
  471. unchecked_union1.adb
  472. uninit_func.adb
  473. valid1.adb
  474. varsize_copy.adb
  475. varsize_copy.ads
  476. varsize_temp.adb
  477. volatile1.ads
  478. volatile2.adb
  479. volatile2.ads
  480. volatile3.adb
  481. volatile_aggregate.adb
  482. warn1.adb
  483. warn2.adb
  484. warn3.adb
  485. warn4.adb
  486. warn5.adb
  487. wide_pi.adb
  488. wide_test.adb