Re: [Jastadd] Build failure due to renamed attributes

From: Jesper qvist <jesper.oqvist_at_cs.lth.se>
Date: Mon, 02 Jan 2012 11:34:34 +0100

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
Received on Mon Jan 02 2012 - 11:34:41 CET

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