Cedar Abstract Machine: Private for AMProcess to call AMEvent
AMEventsPrivate.mesa
Andrew Birrell August 1, 1983 3:50 pm
Paul Rovner December 7, 1983 4:30 pm
DIRECTORY
AMEvents USING[ Outcome ],
Rope USING[ ROPE ],
AMTypes USING[ TV ];
AMEventsPrivate: DEFINITIONS =
BEGIN
Outcome: TYPE = AMEvents.Outcome;
DuplicateBreakpoint: ERROR;
ProvokeProcessEvent:
PROC[
p: AMTypes.TV,
frame: AMTypes.TV,
msg: Rope.ROPE]
RETURNS[outcome: Outcome];
END.