Map
Index
Random
Help
th

Quote: a subtype declaration is opaque; a REVEAL clause introduces information about an opaque type into a scope

topics > all references > references c-d > QuoteRef: cardL_1991 , p. 39 (2.4.6)



Topic:
opaque and partially-opaque data types
Topic:
data type by access rights

Quotation Skeleton

An opaque type declaration has the form: 'TYPE … … [p. 40 (2.4.7)] A revelation introduces information about an opaque … A partial revelation has the form: 'REVEAL T … A complete revelation has the form: 'REVEAL T … A revelation is allowed only in an interface … For example, consider: … 'INTERFACE IClass; IMPORT I; REVEAL I.T <: MUTEX; … An importer of ICLASS sees that every I.T …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: opaque and partially-opaque data types (14 items)
Topic: data type by access rights (20 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.