Maude-help mailing list

["Bettaz, Mohamed" <bettamoh AT fit.cvut.cz>]

Hello,

I am trying the simple example below on OO programming with Maude.

The execution of the code gives the error "rac2.maude", line 12 (mod RAC2): didn't expect token >:

rl [ request ] : < A : OCDTRANS | state : ini > <---*HERE*"

Here is the example:

===========

mod RAC2 is  

    protecting INT .  

    inc CONFIGURATION .

    sorts Act Value .

    op inRq exPr exDc exDa inAc inRj : -> Act .

    op ini rqd dcd dad acd rjd  : -> Value .

    op OCDTRANS : -> Cid [ctor] .

    op state :_ : Value -> Attribute [ctor gather (&)] .

    op modif : Oid Act -> Msg [ctor] .  

    var A : Oid .

   rl [request] :

         < A : OCDTRANS | state : ini >

         modif(A, inRq)

         => < A : OCDTRANS | state : rqd > .    

endm

===========

Could you please advise?

Thank you for your time and help.

Best regards,

Mohamed Bettaz

Czech Technical University in Prague

Czech Republic