Changeset 2651

Timestamp:

05/29/08 10:12:10 (7 months ago)

Author:

maxr

Message:

ada: import Ada-2005 predefined library specifications

Files:

• trunk/tendra/regression/ada/asis/cases/a0001.name (modified) (view diffs)
• trunk/tendra/regression/ada/asis/cases/a0009.name (modified) (view diffs)
• trunk/tendra/regression/ada/asis/cases/a0016.adb (modified) (view diffs)
• trunk/tendra/regression/ada/asis/cases/a0022.adb (modified) (view diffs)
• trunk/tendra/regression/ada/asis/cases/a0022a.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-assertions.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-calendar-arithmetic.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-calendar-formatting.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-calendar-time_zones.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-calendar.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-characters-conversions.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-characters-handling.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-characters-latin_1.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-characters.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-command_line.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-containers-doubly_linked_lists.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-generic_array_sort.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-generic_constrained_array_sort.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-hashed_maps.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-hashed_sets.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-indefinite_doubly_linked_lists.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-indefinite_hashed_maps.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-indefinite_hashed_sets.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-indefinite_ordered_maps.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-indefinite_ordered_sets.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-indefinite_vectors.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-ordered_maps.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-ordered_sets.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers-vectors.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-containers.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-direct_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-directories-information.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-directories.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-environment_variables.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-exceptions.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-finalization.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-float_text_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-float_wide_text_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-float_wide_wide_text_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-integer_text_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-integer_wide_text_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-integer_wide_wide_text_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-io_exceptions.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-numerics-discrete_random.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-numerics-elementary_functions.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-numerics-float_random.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-numerics-generic_complex_types.ads (deleted)
• trunk/tendra/src/lib/libada/spec/ada-numerics-generic_elementary_functions.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-numerics.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-sequential_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-storage_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-streams-stream_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-streams.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-bounded-hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-bounded.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-fixed-hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-fixed.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-maps-constants.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-maps.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-unbounded-hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-unbounded.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_bounded-wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_bounded.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_fixed-wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_fixed.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_maps-wide_constants.ads (moved) (moved from trunk/tendra/src/lib/libada/spec/ada-strings-wide_maps-constants.ads) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_maps.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_unbounded-wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_unbounded.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_bounded-wide_wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_bounded.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_fixed-wide_wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_fixed.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_maps-wide_wide_constants.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_maps.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_unbounded-wide_wide_hash.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings-wide_wide_unbounded.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-strings.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-tags-generic_dispatching_constructor.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-tags.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-text_io-bounded_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-text_io-text_streams.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-text_io-unbounded_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-text_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-unchecked_conversion.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-unchecked_deallocation.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-wide_characters.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-wide_text_io-bounded_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-wide_text_io-text_streams.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-wide_text_io-unbounded_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-wide_text_io.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/ada-wide_wide_characters.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-wide_wide_text_io-bounded_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-wide_wide_text_io-text_streams.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-wide_wide_text_io-unbounded_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada-wide_wide_text_io.ads (added)
• trunk/tendra/src/lib/libada/spec/ada.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/annex_c (added)
• trunk/tendra/src/lib/libada/spec/annex_c/ada-interrupts-names.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_c/ada-interrupts.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_c/ada-task_attributes.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_c/ada-task_identification.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_c/ada-task_termination.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-asynchronous_task_control.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-dispatching-edf.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-dispatching-round_robin.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-dispatching.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-dynamic_priorities.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-execution_time-group_budgets.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-execution_time-timers.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-execution_time.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-real_time-timing_events.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-real_time.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_d/ada-synchronous_task_control.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_e (added)
• trunk/tendra/src/lib/libada/spec/annex_e/system-rpc.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_f (added)
• trunk/tendra/src/lib/libada/spec/annex_f/ada-decimal.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_f/ada-text_io-editing.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_f/ada-wide_text_io-editing.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_f/ada-wide_wide_text_io-editing.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-complex_text_io.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-complex_arrays.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-complex_elementary_functions.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-complex_types.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-generic_complex_arrays.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-generic_complex_elementary_functions.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-generic_complex_types.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-generic_real_arrays.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-numerics-real_arrays.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-text_io-complex_io.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-wide_text_io-complex_io.ads (added)
• trunk/tendra/src/lib/libada/spec/annex_g/ada-wide_wide_text_io-complex_io.ads (added)
• trunk/tendra/src/lib/libada/spec/interfaces-c-pointers.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/interfaces-c-strings.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/interfaces-c.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/interfaces-cobol.ads (deleted)
• trunk/tendra/src/lib/libada/spec/interfaces-fortran.ads (deleted)
• trunk/tendra/src/lib/libada/spec/interfaces.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/obsolescent (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/calendar.ads (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/direct_io.ads (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/io_exceptions.ads (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/machine_code.ads (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/sequential_io.ads (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/text_io.ads (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/unchecked_conversion.ads (added)
• trunk/tendra/src/lib/libada/spec/obsolescent/unchecked_deallocation.ads (added)
• trunk/tendra/src/lib/libada/spec/standard.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/system-address_to_access_conversions.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/system-machine_code.ads (added)
• trunk/tendra/src/lib/libada/spec/system-storage_elements.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/system-storage_pools.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/system.ads (modified) (view diffs)
• trunk/tendra/src/lib/libada/spec/text_io.ads (deleted)
• trunk/tendra/src/producers/ada/asis/asis-gela-implicit.adb (modified) (view diffs)
• trunk/tendra/src/producers/ada/asis/asis-gela-overloads-walk-down.adb (modified) (view diffs)
• trunk/tendra/src/producers/ada/asis/asis-gela-visibility-create.adb (modified) (view diffs)
• trunk/tendra/src/producers/ada/asis/asis-gela-visibility-utils.adb (modified) (view diffs)
• trunk/tendra/src/producers/ada/asis/asis-gela-visibility.adb (modified) (view diffs)
• trunk/tendra/src/producers/ada/asis/asis-gela-visibility.ads (modified) (view diffs)
• trunk/tendra/src/producers/ada/xasis/xasis-types.adb (modified) (view diffs)