[Jastadd] Synthesized attribute + methods with the same name

From: Jon Sten <jon.sten_at_modelon.com>
Date: Fri, 19 Oct 2012 09:10:06 +0000


Consider the following AST:
abstract A;
B : A;
C : A;
and Jrag:
aspect test{
syn boolean A.m();
eq B.m() = false;
eq C.m() = true;

syn boolean A.m(boolean v) = m();
eq C.m(boolean v) = v;

The expected class for A would contain the two methods:
public abstract boolean m();
public boolean m(boolean v) = m();

However no abstract method m() is generated, only m(boolean v).
I get the feeling that something is wrong here, could you please look in to it.

Best Regards

Software Engineer
Simulation & Optimization Technology

Phone direct: +46 46 286 2211
Email: jon.sten_at_modelon.com<mailto:johan.akesson_at_modelon.com>

[Description: Description: Description: Modelon_2011_Gradient_RGB_400]
Modelon AB
Ideon Science Park
SE-223 70 Lund, Sweden

Phone: +46 46 286 2200
Fax: +46 46 286 2201

Web: http://www.modelon.com<http://www.modelon.com/>

This email and any attachments are intended solely for the use of the individual or entity to whom it is addressed and may be confidential and/or privileged. If you are not one of the named recipients or have received this email in error, (i) you should not read, disclose, or copy it, (ii) please notify sender of your receipt by reply email and delete this email and all attachments, (iii) Modelon does not accept or assume any liability or responsibility for any use of or reliance on this email.

(image/png attachment: image001.png)

Received on Fri Oct 19 2012 - 11:10:26 CEST

This archive was generated by hypermail 2.3.0 : Wed Apr 16 2014 - 17:19:06 CEST