diff options
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 26 |
1 files changed, 19 insertions, 7 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 2d342c347bc..8a51161a8fa 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -374,6 +374,7 @@ The GNAT Library * GNAT.Exception_Traces (g-exctra.ads):: * GNAT.Exceptions (g-except.ads):: * GNAT.Expect (g-expect.ads):: +* GNAT.Expect.TTY (g-exptty.ads):: * GNAT.Float_Control (g-flocon.ads):: * GNAT.Heap_Sort (g-heasor.ads):: * GNAT.Heap_Sort_A (g-hesora.ads):: @@ -6372,12 +6373,11 @@ refer to the value of the prefix on entry. So for example if you have an argument of a record type X called Arg1, you can refer to Arg1.Field'Old which yields the value of Arg1.Field on entry. The implementation simply involves generating -an object declaration which captures the value on entry. Any -prefix is allowed except one of a limited type (since limited -types cannot be copied to capture their values) or an expression -which references a local variable -(since local variables do not exist at subprogram entry time). - +an object declaration which captures the value on entry. +The prefix must denote an object of a nonlimited type (since limited types +cannot be copied to capture their values) and it must not reference a local +variable (since local variables do not exist at subprogram entry time). Note +that the variable introduced by a quantified expression is a local variable. The following example shows the use of 'Old to implement a test of a postcondition: @@ -9633,7 +9633,8 @@ separate section on Intrinsic Subprograms. @item Stdcall Stdcall (used for Windows implementations only). This convention correspond to the WINAPI (previously called Pascal convention) C/C++ convention under -Windows. A function with this convention cleans the stack before exit. +Windows. A routine with this convention cleans the stack before +exit. This pragma cannot be applied to a dispatching call. @item DLL Synonym for Stdcall @item Win32 @@ -14187,6 +14188,7 @@ of GNAT, and will generate a warning message. * GNAT.Exception_Traces (g-exctra.ads):: * GNAT.Exceptions (g-except.ads):: * GNAT.Expect (g-expect.ads):: +* GNAT.Expect.TTY (g-exptty.ads):: * GNAT.Float_Control (g-flocon.ads):: * GNAT.Heap_Sort (g-heasor.ads):: * GNAT.Heap_Sort_A (g-hesora.ads):: @@ -15054,6 +15056,16 @@ is implemented on all native GNAT ports except for OpenVMS@. It is not implemented for cross ports, and in particular is not implemented for VxWorks or LynxOS@. +@node GNAT.Expect.TTY (g-exptty.ads) +@section @code{GNAT.Expect.TTY} (@file{g-exptty.ads}) +@cindex @code{GNAT.Expect.TTY} (@file{g-exptty.ads}) + +@noindent +As GNAT.Expect but using pseudo-terminal. +Currently @code{GNAT.Expect.TTY} is implemented on all native GNAT +ports except for OpenVMS@. It is not implemented for cross ports, and +in particular is not implemented for VxWorks or LynxOS@. + @node GNAT.Float_Control (g-flocon.ads) @section @code{GNAT.Float_Control} (@file{g-flocon.ads}) @cindex @code{GNAT.Float_Control} (@file{g-flocon.ads}) |