Implied Restrictions on Class Definitions 
Author Message
 Implied Restrictions on Class Definitions

Library L1
define generic f (p :: <object>, q :: <object>);
define open class <a> (<object>) end class;
define open class <b> (<object>) end class;
define open class <x> (<object>) end class;
define open class <y> (<object>) end class;
define method f (p :: <a>,q :: <x>) end method;
define sealed domain f (<b>,<y>);

Library L2 uses L1
define class <ab> (<a>, <b>) end class;

Library L3 uses L1
define class <xy> (<x>, <y>) end class;

The class-blocking rules at
< http://www.*-*-*.com/ ; correctly
prohibit use of both L2 and L3 with L1, but either one with L1 is fine. It
might be possible to include 'Implied Restrictions on Class Definitions'
in the DRM analagous to the 'Implied Restrictions on Method Definitions'
at
< http://www.*-*-*.com/ #HEADIN...>,
but since Andrew Shalit has already shown problems with the latter, I
would suggest abandoning it altogether in favour of seal-checking at
library load time.

--
Ashley Yakeley, Seattle WA



Fri, 25 May 2001 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Implied function definitions??

2. class object access in class definition?

3. CCR restrictions (was Re: Local Antenna Restrictions)

4. Generic class restriction

5. Free Class Definition Generator add-on for ReStore Released

6. Printing out a whole class definition

7. How can i write class definitions literally?

8. Smalltalk class definitions (cross-posted)

9. Global Class definitions

10. Suggested language change wrt end comments for class/routine definitions

11. -> in (polymorphic) class definition

12. FlagShip: Class Definitions

 

 
Powered by phpBB® Forum Software