A view type has the format:

(glispobjects
 (< name>  (< gensym>  < concrete> )
   prop  ( (< abstract-prop>   < concrete-prop> )
           ... )
   supers (< abstract> ) )
)

where the parts are:

< name>	name of the view type
< gensym>	unique name, e.g. a gensym
< concrete>	the concrete type
< abstract-prop>	property name needed by abstract type
< concrete-prop>	definition of property in terms of concrete
	type, referred to using < gensym>
< abstract>	the abstract type

Contents    Page-10    Prev    Next    Page+10    Index