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