Actor assertions

[daumayr]

Todo:

• get Arguments of current Message primitive
• get Sender / Message Selector primitive
• tests
• code cleanup

class Proto = Protocol(
        | cnt ::= 0. |
      )(
        public end = ('end' println.)

        A = (
             onReceive: #hungry:id: do: [:args| 'hungry' println. actors assertFuture: [(actors isMessage: #done:) and: (actors isSender: (args at: 1))] msg: 'Philosopher did not return his forks'. B: (args at: 2)].
             onReceive: #done: do: ['done' println. A].
             onReceive: #exit do: ['exit' println. numExitedPhilosophers = numPhil ifTrue: [end] ifFalse: [A]].
        )

        B: phil = (
          onSend: #eat do: ['eat' println. actors assert: [cnt < 10] msg: 'too many denied philosophers'. cnt := 0. A].
          onSend: #denied do: [('denied' + cnt) println .cnt := cnt + 1. A]
        )

        public start = (
          A.
        )
      )

[smarr]

Do you have a pointer to example code using the assertions?

[daumayr]

I have an example locally, i added a protocol for the Philosophers benchmark.

[daumayr]

@smarr should we just close this PR. I think we decided against pursuing this further, also extremely outdated

[smarr]

Yeah, probably good to close. Though, I tagged it to be findable.