diff options
author | Satoshi Asami <asami@FreeBSD.org> | 1997-09-25 08:48:00 +0000 |
---|---|---|
committer | Satoshi Asami <asami@FreeBSD.org> | 1997-09-25 08:48:00 +0000 |
commit | 31f08be6a309375d03f730cefdbae2a6ad49d1d5 (patch) | |
tree | faa7a768db1892a98dce84bf352d0c9665f6c2d1 /lang/gnat/pkg-descr | |
parent | Make it possible to install the standalone navigator by defining (diff) |
Upgrade to 3.09. This port is no longer broken.
Note you need an existing gnat compiler to build this. (A package will do.)
PR: 3687
Submitted by: Maurice Castro <maurice@planet.serc.rmit.edu.au> and
Daniel M. Eischen <deischen@iworks.InterWorks.org>
Diffstat (limited to 'lang/gnat/pkg-descr')
-rw-r--r-- | lang/gnat/pkg-descr | 184 |
1 files changed, 5 insertions, 179 deletions
diff --git a/lang/gnat/pkg-descr b/lang/gnat/pkg-descr index c5c10dd7e77d..a38a4e8b6b50 100644 --- a/lang/gnat/pkg-descr +++ b/lang/gnat/pkg-descr @@ -1,181 +1,7 @@ -GNAT IMPLEMENTED FEATURES LIST -Current as of 01/26/95 +The GNU ada compiler Gnat 3.09 built on GCC 2.7.2.1. -Here is the list of implemented and not implemented features. A more precise -description of the GNAT system is provided in the file 'gnatinfo.txt', which -is part of the GNAT distribution. - -Latest features in GNAT version 2.02 -==================================== - - Extension aggregates are implemented (not much tested so far) - The Storage_Pool mechanism is in place - Functions returning unconstrained values shouldn't leak anymore - Enumeration representation clauses are fully implemented - Record representation clauses are implemented (currently there is - a restriction that all fields must be given a position and tagged - records cannot yet be given representation clauses) - The constrained attribute is implemented - Conformance checking is fully implemented - Shared variables (pragmas Shared, Atomic, Atomic_Components, - Volatile, and Volatile_Components) are implemented - User-defined Initialize/Adjust/Finalize is now almost complete for - controlled types as well as for types containing controlled components. - (aggregates involving controlled types and functions returning objects - with controlled components may still cause trouble). - Alignment attribute and attribute definition clause are implemented - Pred and Succ for fixed-point types are implemented - Discard_Names pragma is implemented - Arrays are passed properly to convention C routines - Pragma Inspection_Point is implemented - Pragma Locking_Policy is implemented - Pragma Task_Dispatching_Policy is implemented - Pragma Memory_Size is implemented (it is ignored anyway) - Derived types from private types are impelmented - Floating-point attribute functions are implemented: - Adjacent, Ceiling, Compose, Copy_Sign, Exponent, Floor, Fraction, - Leading_Part, Machine, Model, Pred, Remainder, Rounding, Scaling, Succ, - Truncation, Unbiased_Rounding - Pragma Optimize is implemented (checks that GCC optimization level is - consistent) - Pragma Reviewable is implemented (checks that GCC debug option "-g" is set) - Pragma Controlled is implemented (but ignored so far) - The attributes Version and Body_Version are implemented - Pragma Linker_Options is implemented - Attribute Max_Size_In_Storage_Elements is implemented - The attribute Valid is implemented - Requeue without abort is implemented - Delay statement on OS/2 is now working correctly. - The attribute Bit_Order is implemented - Range checking for modular types - Length checks are now implemented - Pragma Import Fortran and COBOL are implemented - Pragma Convention is now fully implemented (for C, Fortran, COBOL), - Pragma Convention for Fortran correctly maps multi-dimensional arrays - -======================================================================= - -Status of Features - -============================================================================ -= All of Ada 83 is implemented EXCEPT the following unimplemented features = -============================================================================ - - The following language-defined checks are not implemented: - - Discriminant Checks - Elaboration Checks - Range Checks on the elaboration of a subtype_indication - Stack overflow checking - - Language-Defined Pragmas - Pack for arrays - - Input-Output for Integer for type Long_Long_Integer. - (only Put currently supported for Long_Long_Integer not Get) - - Delay is not yet fixed-point as required (the current temporary - implementation uses floating-point to represent Delay). - - Tasking is currently implemented only on the following platforms - SGI IRIX 5.2, Sun Sparc (SunOS 4.1), i386 running IBM OS/2 - -========================================================================= -= All of Ada 95 implemented EXCEPT the following unimplemented features = -========================================================================= - - CORE - - Protected entry families - Protected subprogram pointers - Condition protected entry calls - Requeue Statement involving task entries - Delay until - - Input-Output for Modular Types - (Only Put is supported currently, Get not yet supported) - - Input-Output for Decimal Types - Input-Output for Wide Text - - Objects of type with unknown discriminants - - Unimplemented subprograms in package Ada.Text_IO - Flush - Look_Ahead - Get_Immediate - - Accessibility checks - - Stream-Oriented Attributes of Specific Types - Stream-Oriented Attributes of Class-Wide Types - - ANNEX A. PREDEFINED LANGUAGE ENVIRONMENT - - Ada.Exceptions - Ada.Interrupts - Ada.Streams.Stream_IO - Ada.Wide_Text_IO - Ada.Wide_Text_IO.Complex_IO - - ANNEX B. INTERFACING TO OTHER LANGUAGES - - The body of Interfaces.COBOL is not yet implemented - - ANNEX C. SYSTEMS PROGRAMMING - - Machine intrinsic subprograms - Interrupt support - The body of package Interrupts is not implemented - Preelaboration requirements are not fully met - - ANNEX D. REAL-TIME SYSTEMS - - Tasking restrictions - Synchronous task control - - ANNEX E. DISTRIBUTED SYSTEMS - - The distribution annex is under active development. Stub generation - is not yet implemented, and there is no configuration control program. - All pragmas are fully implemented. - - ANNEX F. INFORMATION SYSTEMS - - Ada.Text_IO.Editing - Ada.Wide_Text_IO.Editing - - ANNEX G. NUMERICS - - Accuracy requirements for floating-point and complex not fully met - - ANNEX H. SAFETY AND SECURITY - - pragma Normalize_Scalars - Safety and security restrictions - - ANNEX I. OBSOLESCENT FEATURES - - Interrupt entries - - ANNEX J. LANGUAGE-DEFINED ATTRIBUTES - - Caller - Definite - External_Tag - Identity - Input - Output - Read - Storage_Pool - Write - - ANNEX K. LANGUAGE DEFINED PRAGMAS - - Attach_Handler - Export - Interrupt_Handler - Normalize_Scalars - Queuing_Policy - Restrictions +The libraries supplied with this version of GNAT support tasking if +minor modifications are made to FreeBSD's libc_r. +Maurice Castro +maurice@serc.rmit.edu.au |