Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Mihoub, 

Messages do not need to have an Oid as one of its arguments. You could use 
the Cid sort for that. Something like

msg m : Cid -> Msg .

or directly 

msg m : Account -> Msg .

Then you could do

rl < O:Oid : V:Account | > m(V:Account) => < O:Oid : V:Account | > .

Cheers,

Francisco



(omod ACCOUNT is
  class Account .
  msg m : Account -> Msg .
  rl < O:Oid : V:Account | > m(V:Account) => < O:Oid : V:Account | > .
endom)
 
Maude> (rew < O:Oid : Account | none > m(Account) .)
rewrite in MODULE-NAME :
  < O:Oid : Account | none > m(Account)
result Object :
  < O:Oid : Account | none >



> On 3/7/2015, at 20:13, Mihoub Mazouz 
> <mazouz_mihoub AT hotmail.fr>
>  wrote:
> 
> Hello.
> Looking to thes models :
> 
> (omod MODULE-NAME is
>   class className  .
>   msg messagename : className -> Msg .  
> endom)
> ---------------------
> (fmod MESSAGE is
>   including STRING .
>   including CONFIGURATION .
> 
>   msg Message : String Msg Oid -> Msg .
> 
> endfm)
> ---------------------------
> (omod TEST is
>  protecting  MODULE-NAME .
> 
> var acc : Account . 
>   
> endom)
> ------------------------
> Is it possible to use the <acc> variable as the third parameter of the 
> <Message> message.
> In general, 
>  Is it possible to use variable of a class type in the place of a parameter 
> of Oid sort.
> Thank you so much. 
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help