View source

This is the simplified ticket masters example in the [[Introduction to Lyra#Example: Ticket Masters|Introduction]]. This example uses one rendezvous for all transactions.


 template <int age, int wealth>
 module customer(oi<int, int> ticket)
 {
    reg int money;
    reg int t[wealth];<br/>
    init
    {
        money = wealth;
    }<br/>
    fsm
    {
        init S0:
            when (ticket, money > 0)
            {
                ticket.write(age);
                t[wealth - money] = ticket.read();
                money = money - 1;
                goto S1;
            }<br/>
        state S1:
            goto S0;
    }
 }

 template <int tbase>
 module ticket_master(io<int, int> ticket)
 {
    reg int money;
    reg int t[10];<br/>
    init
    {
        money = 0;
        t = {tbase, tbase+1, tbase+2, tbase+3, tbase+4,
             tbase+5, tbase+6, tbase+7, tbase+8, tbase+9};
    }<br/>
    fsm
    {
        init S:
            when (ticket, ticket.read() > 18, money < 10)
            {
                ticket.write(t[money]);
                money = money + 1;
                goto S;
            }
    }
 }

 module toplevel                                               
 {
    rendv ticket;<br/>
    ticket_master #<0>  t1(ticket);                           
    ticket_master #<10> t2(ticket);<br/>
    customer #<20, 8>  c1(ticket);                            
    customer #<25, 12> c2(ticket);
    customer #<17, 2>  c3(ticket);
 }