Re: [Jastadd] Build failure due to renamed attributes

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

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

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