ActionDocument

Action Document

There is a document accociated with each place, which defines the dynamic aspects of that place.

The document conforms to mechanism/action.dtd and contains two-ari or three-ari functions. The first parameter is an object created using make-access (in case of transactions initiated by a write request) or make-reader-access (in case of read access). This parameter is used to access aspects (slots) of the place in question.

The second parameter is an object of the same structure, to access the current message. This one is always read only.

The third argument applies only the the accept method. It is the result of the propose method as it has been approved in the last voding round.

See also: mechanism/place.scm slot mind-action-document.