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