Maude-help mailing list

[Patrick Browne <patrick.browne AT dit.ie>]

Francisco,
In OO languages, such as Java, the term reflection means that a program
can access information about objects (e.g. find its class at runtime). I
wish to know whether MEL can perform a similar task in Maude (i.e. find
the sort of a data item). Can MEL alone without explicit reference to
META-LEVEL provide this type of reflection?

My motivation is that I need to know precisely how this OO style
reflection is done in Maude.

Pat

On 10/04/2011 22:30, Francisco Durán wrote:
> Hi Pat, 
> 
> I'm not sure whether there is something more behind your question, I don't 
> get that of "the kind and object level", but I would say that the answer is 
> yes, almost everything in Maude is reflected, and can be used at Maude's 
> metalevel.
> 
> fmod FOO is 
>   sorts Foo Bar .
>   subsort Bar < Foo .
>   op f : Bool -> Foo .
>   var B : Bool .
>   cmb f(B) : Bar if B .
> endfm
> 
> fmod BAR is inc FOO + META-LEVEL . endfm
> 
> red metaReduce(upModule('FOO, false), upTerm(f(true))) .
> 
> Francisco


This message has been scanned for content and viruses by the DIT Information 
Services E-Mail Scanning Service, and is believed to be clean. 
http://www.dit.ie