/*******************************************************************************
Copyright by Telesoft Europe AB 1990, 1991.
Copyright by Telelogic Malmoe AB 1991, 1992, 1993, 1994.
Copyright by Telelogic AB 1994 - 1999.
This Program is owned by Telelogic and is protected by national
copyright laws and international copyright treaties. Telelogic
grants you the right to use this Program on one computer or in
one local computer network at any one time.
Under this License you may only modify the source code for the purpose
of adapting it to your environment. You must reproduce and include
any copyright and trademark notices on all copies of the source code.
You may not use, copy, merge, modify or transfer the Program except as
provided in this License.
Telelogic does not warrant that the Program will meet your
requirements or that the operation of the Program will be
uninterrupted and error free. You are solely responsible that the
selection of the Program and the modification of the source code
will achieve your intended results and that the results are actually
obtained.
*******************************************************************************/

/**************************** Ref ***************************
 * Corresponds to C pointers                                *
 ************************************************************/

GENERATOR Ref (TYPE Itemsort)
  LITERALS
     Null,
     Alloc;
  OPERATORS
    modify!  : Ref, Integer, Itemsort -> Ref;
    extract! : Ref, Integer -> Itemsort;
    "*>"     : Ref, Itemsort -> Ref;
    "*>"     : Ref -> Itemsort;
    "&"      : Itemsort -> Ref;
    make!    : Itemsort -> Ref;
    free     : in/out Ref;
    "+"      : Ref, Integer -> Ref;
    "-"      : Ref, Integer -> Ref;
    cast     : Ref -> ptr_void;
    cast     : ptr_void -> Ref;
  DEFAULT Null;
ENDGENERATOR Ref;