|
Re: [TCS] Problem at TCS2Problem transformation [message #380499 is a reply to message #380498] |
Fri, 07 December 2007 09:28 |
Eclipse User |
|
|
|
Originally posted by: mikael.barbero.gmail.com
Hi Gustavo,
Could you please fill a bug for this? (you can even provide a patch to
the transformation if you want to. The transformation is available here:
http://dev.eclipse.org/viewcvs/indextech.cgi/org.eclipse.gmt /org.eclipse.gmt.tcs/dsls/TCS/WFR/TCS2Problem.atl?view=log
;))
Thanks.
Mikael
Gustavo Cabral wrote:
> Hi,
>
> I think the TCS2Problem ATL transformation is not verifying if
> the class related to the "operatorTemplate" statement exists the KM3
> corresponding file. It is only verifying for "template" statements!
>
> I forgot to specify the class for a new operator I defined at the
> TCS file, and I was getting no error message after running the DSL
> script. Not a fun situation, hehehe. :(
>
> Regards,
> Gustavo
>
--
Mikaël Barbero - PhD Candidate
ATLAS Group (INRIA & LINA) - University of Nantes
2, rue de la Houssinière
44322 Nantes Cedex 3 - France
tel. +33 2 51 12 58 08 /\ cell.+33 6 07 63 19 00
email: Mikael.Barbero@{gmail.com, univ-nantes.fr}
http://www.sciences.univ-nantes.fr/lina/atl/
|
|
|
Re: [TCS] Problem at TCS2Problem transformation [message #611008 is a reply to message #380498] |
Fri, 07 December 2007 09:28 |
Eclipse User |
|
|
|
Originally posted by: mikael.barbero.gmail.com
Hi Gustavo,
Could you please fill a bug for this? (you can even provide a patch to
the transformation if you want to. The transformation is available here:
http://dev.eclipse.org/viewcvs/indextech.cgi/org.eclipse.gmt /org.eclipse.gmt.tcs/dsls/TCS/WFR/TCS2Problem.atl?view=log
;))
Thanks.
Mikael
Gustavo Cabral wrote:
> Hi,
>
> I think the TCS2Problem ATL transformation is not verifying if
> the class related to the "operatorTemplate" statement exists the KM3
> corresponding file. It is only verifying for "template" statements!
>
> I forgot to specify the class for a new operator I defined at the
> TCS file, and I was getting no error message after running the DSL
> script. Not a fun situation, hehehe. :(
>
> Regards,
> Gustavo
>
--
Mikaël Barbero - PhD Candidate
ATLAS Group (INRIA & LINA) - University of Nantes
2, rue de la Houssinière
44322 Nantes Cedex 3 - France
tel. +33 2 51 12 58 08 /\ cell.+33 6 07 63 19 00
email: Mikael.Barbero@{gmail.com, univ-nantes.fr}
http://www.sciences.univ-nantes.fr/lina/atl/
|
|
|
Powered by
FUDForum. Page generated in 0.02882 seconds