Path: news.daimi.aau.dk!news-b.uni-c.dk!news.uni-c.dk!nntp-oslo.UNINETT.no!nntp-trd.UNINETT.no!sn.no!www.nntp.primenet.com!nntp.primenet.com!news.mathworks.com!fu-berlin.de!news.belwue.de!news.informatik.uni-stuttgart.de!news
From: Bernd Holzmueller <holzmuel@informatik.uni-stuttgart.de>
Newsgroups: comp.lang.beta
Subject: Redefinition of attributes in BETA (Q)
Date: Wed, 09 Oct 1996 14:50:16 +0200
Organization: University of Stuttgart
Lines: 27
Message-ID: <325B9F88.1C10@informatik.uni-stuttgart.de>
NNTP-Posting-Host: kafka.informatik.uni-stuttgart.de
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Mozilla 3.0 (X11; I; SunOS 5.5.1 sun4m)

Is it possible to give a completely new attribute definition in a
subpattern for a non-virtual attribute? And, if so, does the subpattern
then contain both attribute definitions (like in SIMULA)? And, if so,
how can one access the overriden attribute? 

E.g., is it allowed to write

  	V: (# A: @Integer; #)

  	W: V (# A: @Real; #)

and does then the W pattern look like 

	(# A: @Integer; A: @Real; #) ?


Thanks,

Bernd

-- 
-------------------------------------------------------------------
Bernd Holzmueller, Computer Science Institute, Stuttgart University
Breitwiesenstr. 20-22, D-70565 Stuttgart (Germany)
holzmuel@informatik.uni-stuttgart.de	    Phone: +49-711-7816-375
http://www.informatik.uni-stuttgart.de/ifi/ps/bernd.html
-------------------------------------------------------------------