home *** CD-ROM | disk | FTP | other *** search
/ Otherware / Otherware_1_SB_Development.iso / amiga / programm / programi / adaed.lzh / Ada / man / appendf.doc < prev   
Encoding:
Text File  |  1992-03-01  |  5.5 KB  |  139 lines
  1. ADAED
  2.  
  3.   Appendix_F
  4.  
  5.     (1)  The form, allowed places, and effect of implementation dependent
  6.          pragmas.
  7.  
  8.        NYU Ada/Ed does not recognize any implementation dependent pragmas.
  9.        The language  defined  pragmas  are  correctly recognized and their
  10.        legality is checked, but, with the exception of LIST, PRIORITY, and
  11.        INTERFACE they  have  no  effect  on  the execution of the program. 
  12.        A warning message  is  generated  to  indicate  that  the  pragma  
  13.        is ignored by Ada/Ed.
  14.  
  15.     (2)  The name and the type of every implementation dependent attribute.
  16.  
  17.        There are no implementation dependent attributes in NYU Ada/Ed.
  18.  
  19.     (3)  The specification of the package system (see 13.7).
  20.  
  21.  
  22.              package SYSTEM is
  23.  
  24.                 type SEGMENT_TYPE is new INTEGER range 0..255;
  25.                 type OFFSET_TYPE  is new INTEGER range 0..32767;
  26.                 type ADDRESS is record
  27.                    SEGMENT: SEGMENT_TYPE := SEGMENT_TYPE'LAST;
  28.                    OFFSET: OFFSET_TYPE := OFFSET_TYPE'LAST;
  29.                 end record;
  30.  
  31.            type NAME    is (ELXSI_BSD, ELXSI_ENIX, PC_DOS, 
  32.                       SUN_UNIX, VAX_UNIX, VAX_VMS) ; 
  33.  
  34.            SYSTEM_NAME  : constant NAME := SUN_UNIX;
  35.  
  36.                 STORAGE_UNIT    : constant  :=  8;
  37.                 MEMORY_SIZE     : constant  :=  2**16 - 1;
  38.  
  39.                 -- System Dependent Named Numbers:
  40.  
  41.                 MIN_INT         : constant  :=  -2**31;
  42.                 MAX_INT         : constant  :=  2**31 - 1;
  43.                 MAX_DIGITS      : constant  :=  6;
  44.                 MAX_MANTISSA    : constant  :=  31;
  45.                 FINE_DELTA      : constant  :=  2.0 ** (-30);
  46.                 TICK            : constant  :=  0.01;
  47.  
  48.                 -- Other System Dependent Declarations
  49.  
  50.                 subtype PRIORITY is INTEGER range 0 .. 4;
  51.  
  52.                 SYSTEM_ERROR  :  exception;
  53.                                 -- raised if internal check fails
  54.  
  55.              end SYSTEM;
  56.  
  57.  
  58.     (4)  The list of all restrictions on representation clauses (see 13.1).
  59.  
  60.        NYU Ada/Ed-C supports the representation clauses for SMALL for
  61.        fixed points specifying powers of 2 and 10.  NYU Ada/Ed-C  supports 
  62.        no other representation  clauses,  and  a  program containing any
  63.        instance of any representation clause is  considered to be illegal.
  64.  
  65.     (5)  The  conventions  used  for  any   implementation-generated  name
  66.          denoting  implementation-dependent  components (see 13.4).
  67.  
  68.        NYU Ada/Ed  does  not  provide  any system generated names denoting
  69.        system   dependent  entities,  since  in  any case,  representation
  70.        specifications  are not permitted.
  71.  
  72.     (6)  The interpretation of expressions that appear in address clauses.
  73.  
  74.        Addresses  in  NYU  Ada/Ed  are  fully  supported. The ADDRESS type
  75.        defined in the package SYSTEM is a record consisting of two fields.
  76.        The  first  is  an unsigned byte which contains the segment number.
  77.        The  second  is  the  offset  within  the  segment,  ranging from 0
  78.        to 32767.
  79.  
  80.     (7)  Any restriction on unchecked conversions (see 13.10.2).
  81.  
  82.        NYU Ada/Ed will correctly recognize and check the validity  of  any
  83.        use  of unchecked  conversion.  However, any program which executes
  84.        an  unchecked  conversion  is  considered to be erroneous, and  the
  85.        exception  PROGRAM_ERROR  will be raised.
  86.  
  87.     (8)  Any implementation-dependent characteristics of the  input-output
  88.          packages (see 14).
  89.  
  90.        A) Temporary files are fully supported. The naming convention is as
  91.           follows:
  92.  
  93.           ADATEMP_XXXXL where XXXXX is the Unix process identification and
  94.           L is a unique letter.
  95.  
  96.        B) Deletion of files is fully supported.
  97.  
  98.        C) Only one internal file may be associated  with the same external
  99.           file (No multiple accessing of files allowed).
  100.  
  101.        D) File names used in the CREATE and OPEN procedures  are  standard
  102.           Unix file names.  The  function FORM returns the string given as
  103.           FORM  parameter  when  a  file  is  created. No system-dependent
  104.           characteristics  are  associated  with that parameter.
  105.  
  106.        E) A  maximum  of  20  files  can  be open at any given time during
  107.           program execution.
  108.  
  109.        F) The  standard  input file is  stdin; the  standard  output  file
  110.           is stdout.
  111.  
  112.        G) SEQUENTIAL_IO  and  DIRECT_IO  support  constrained array types,
  113.           record  types  without  discriminants  and  record  types  with
  114.           discriminants with defaults. SEQUENTIAL_IO and DIRECT_IO are not
  115.           supported for unconstrained types.
  116.  
  117.        H) I/O on  access types is possible, but  usage  of  access  values
  118.           read  in  another program execution is erroneous.
  119.  
  120.        I) Normal termination of the main  program  causes  all  open files
  121.           to  be closed, and all temporary files to be deleted.
  122.  
  123.        J) LOW_LEVEL_IO is not supported.
  124.  
  125.        K) The  form  feed  character  (ASCII.FF)  is  used  as  the  page
  126.           terminator  indicator.  Its  use as a data element of a file is
  127.           therefore undefined.
  128.  
  129.     (9)  The Implementation Limitations.
  130.  
  131.        The maximum identifier length (number of characters):   120
  132.        The maximum number of characters in a source line:      120
  133.        The maximum number of lines in a source file:         32767
  134.  
  135.        Generic  declarations  and  their corresponding bodies must appear
  136.        in the same compilation. Subunits of a generic must be part of the
  137.        same compilation (see 10.3(9)).
  138.  
  139.