summaryrefslogtreecommitdiff
path: root/lang/gnat/pkg-descr
diff options
context:
space:
mode:
authorSatoshi Asami <asami@FreeBSD.org>1997-09-25 08:48:00 +0000
committerSatoshi Asami <asami@FreeBSD.org>1997-09-25 08:48:00 +0000
commit31f08be6a309375d03f730cefdbae2a6ad49d1d5 (patch)
treefaa7a768db1892a98dce84bf352d0c9665f6c2d1 /lang/gnat/pkg-descr
parentMake 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-descr184
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