Changeset 37348 in project


Ignore:
Timestamp:
03/03/19 11:54:55 (3 months ago)
Author:
juergen
Message:

messages docu updated

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/5/messages

    r37330 r37348  
    6969=== messages
    7070
     71==== messages
     72
     73<procedure>(messages sym ..)</procedure>
     74
     75documenatation procedure.
     76shows the list of available exported symbols of the module when called
     77without argument or the signature of that very argument.
     78
    7179==== make-message
    7280
     
    104112<procedure>(message-data msg)</procedure>
    105113
    106 returns the data vector of the message
    107 
    108 === messages
    109 
    110 <procedure>(messages sym ..)</procedure>
    111 
    112 shows the list of available exported symbols of the module when called
    113 without argument or the signature of that very argument.
     114returns the data vector of the message.
    114115
    115116==== case-variant
     
    186187respectively.
    187188
    188 ==== Dependencies
     189==== define-object-type
     190
     191<macro>(define-object-type Child Parent .. state pair ....)</macro>
     192
     193where state is either
     194* (state ((a a? ...) ...) inv ...)
     195or
     196* (state ((a a? ...) ... as as? ...)
     197
     198and each pair is a message constructor paired with code
     199* ((#:x (x x? ...) ...) xpr ....)
     200or
     201* ((#:x (x x? ...) ... xs xs? ...) xpr ....)
     202
     203Here, a, ..., as ... are the instance variables, checked with
     204a? ... and as? ... respectively and inv .... is the body of the
     205invariant.
     206
     207Creates an instance constructor, Child-instance, an instance predicate,
     208Child-instance?, as well as an algebraic type, Child. An instance,
     209child say, is a message dispatcher with state, which dispatches against
     210messages created by Child's constructors.
     211
     212Note that this object model is similar to Oberon's.
     213
     214=== Dependencies
    189215
    190216bindings, checks, symbol-utils
Note: See TracChangeset for help on using the changeset viewer.