Hi Jesper.
Max Schäfer moved the refactoring tools into a different code base a while ago:
http://code.google.com/p/jrrt/
Hope that helps. Thanks for taking care of this!
Eric
On 2 January 2012 11:34, Jesper Öqvist <jesper.oqvist_at_cs.lth.se> wrote:
> Nevermind that, I think I know where the ControlFlowGraph extension is!
>
> /Jesper
>
>
> On 01/02/2012 11:33 AM, Jesper Öqvist wrote:
>>
>> What is this ABC extension? Is it Open Source? If so where can I fetch it?
>>
>> /Jesper
>>
>> On 01/02/2012 11:22 AM, Eric Bodden wrote:
>>>
>>> Hi all.
>>>
>>> Jesper renamed some attributes of AssertStmt, but I think the renaming
>>> was incomplete. Our abc build now shows the following build errors:
>>>
>>> [jastadd]
>>> Program->CompilationUnit->TypeDecl->ConstructorDecl->AssertStmt->Expr
>>> [jastadd]
>>> /mnt/sdb1/var/lib/jenkins/jobs/ABC/workspace/Refactoring/util/Precedence.jrag:49
>>> Missing inherited equation for attribute maxPrecedence in class Expr
>>> when being child of AssertStmt
>>> [jastadd] Semantic errors:
>>> [jastadd]
>>> /mnt/sdb1/var/lib/jenkins/jobs/ABC/workspace/Refactoring/util/Precedence.jrag:49
>>> Missing inherited equation for attribute maxPrecedence in class Expr
>>> when being child of AssertStmt
>>> [jastadd]
>>> /mnt/sdb1/var/lib/jenkins/jobs/ABC/workspace/JastAddExtensions/ControlFlowGraph/ControlFlowGraph.jrag:505
>>> Inherited equation for unknown son first in class AssertStmt
>>> [jastadd] Expr Expr
>>> [jastadd] Expr Message
>>> [jastadd]
>>> /mnt/sdb1/var/lib/jenkins/jobs/ABC/workspace/JastAddExtensions/ControlFlowGraph/ControlFlowGraph.jrag:506
>>> Inherited equation for unknown son first in class AssertStmt
>>> [jastadd] Expr Expr
>>> [jastadd] Expr Message
>>> [jastadd]
>>> /mnt/sdb1/var/lib/jenkins/jobs/ABC/workspace/JastAddExtensions/ControlFlowGraph/ControlFlowGraph.jrag:508
>>> Inherited equation for unknown son first in class AssertStmt
>>> [jastadd] Expr Expr
>>> [jastadd] Expr Message
>>> [jastadd]
>>> /mnt/sdb1/var/lib/jenkins/jobs/ABC/workspace/Refactoring/util/Precedence.jrag:76
>>> Inherited equation for unknown son first in class AssertStmt
>>> [jastadd] Expr Expr
>>>
>>> Would it be a lot of trouble for you to fix this?
>>>
>>> Best wishes,
>>> Eric
>>> _______________________________________________
>>> JastAdd mailing list
>>> JastAdd_at_cs.lth.se
>>> https://mail1.cs.lth.se/cgi-bin/mailman/listinfo/jastadd
>>
>>
>> _______________________________________________
>> JastAdd mailing list
>> JastAdd_at_cs.lth.se
>> https://mail1.cs.lth.se/cgi-bin/mailman/listinfo/jastadd
>
>
> _______________________________________________
> JastAdd mailing list
> JastAdd_at_cs.lth.se
> https://mail1.cs.lth.se/cgi-bin/mailman/listinfo/jastadd
--
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422 Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
Received on Mon Jan 02 2012 - 11:51:08 CET