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