maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Is it possible to use variable of a class type in the place of a parameter of Oid sort.

From: Mihoub Mazouz <mazouz_mihoub AT hotmail.fr>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Is it possible to use variable of a class type in the place of a parameter of Oid sort.
Date: Fri, 3 Jul 2015 19:13:18 +0100
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

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] Is it possible to use variable of a class type in the place of a parameter of Oid sort., Mihoub Mazouz, 07/03/2015
- Re: [Maude-help] Is it possible to use variable of a class type in the place of a parameter of Oid sort., Francisco Durán, 07/06/2015