basic_auxiliary.sa


Generated by gen_html_sa_files from ICSI. Contact gomes@icsi.berkeley.edu for details
 
------------------------->  GNU Sather - sourcefile  <-------------------------
-- Copyright (C) 2000 by K Hopper, University of Waikato, New Zealand        --
-- This file is part of the GNU Sather library. It is free software; you may --
-- redistribute  and/or modify it under the terms of the GNU Library General --
-- Public  License (LGPL)  as published  by the  Free  Software  Foundation; --
-- either version 2 of the license, or (at your option) any later version.   --
-- This  library  is distributed  in the  hope that it will  be  useful, but --
-- WITHOUT ANY WARRANTY without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See Doc/LGPL for more details.       --
-- The license text is also available from:  Free Software Foundation, Inc., --
-- 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA                     --
-------------->  Please email comments to <bug-sather@gnu.org>  <--------------


abstract class $HASH < $IS_EQ

abstract class $HASH < $IS_EQ is -- Subtypes of this abstract class must provide a hash routine. This is -- a subtype of $IS_EQ so that all subtypes must redefine both hash and -- is_eq. These two routines must work together - is_eq must refer to an -- immutable equality. -- Version 1.0 Jan 97. Copyright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 16 Dec 96 kh Original from Sather dist abstract.sa -- 3 Jan 97 kh Made cardinal! hash : CARD ; end ; -- $HASH

abstract class $SUPPORTS_REHASH

abstract class $SUPPORTS_REHASH is -- This abstract class provides for rehashing of its values, when its -- internal state has been changed (possibly mysteriously, such as by being -- restored from a string). -- Version 1.0 Sep 98. Copyright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 2 Sep 98 kh Original from 1.2 distrib rehash ; end ; -- $SUPPORTS_REHASH

abstract class $COPY

abstract class $COPY is -- This abstract class reuires that a subtype provide a copy routine -- Version 1.0 Dec 96. Copyright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 16 Dec 96 kh Original from Sather dist abstract.sa copy : SAME ; -- This returns a copy of self end ; -- $COPY

abstract class $VAR

abstract class $VAR is -- This class is defined in order that subtypes are reference classes -- that may be viewed as variables with a particular value. The value of -- the reference object is an object with value semantics. -- Version 1.0 Sep 98. Copyright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 2 Sep 98 kh Original from Sather distrib 1.2 as_value : $OB ; -- This routine returns the value of self end ; -- $VAR