Dear JastAdders.
A few days ago "jesper" updated the code base to use JastAdd2. (change
set to revision 9146) Since then, I am seeing a lot of compile errors
in the generated Java code, due to missing expressions in
conditionals. For instance, Expr.java contains this method:
protected void
contributeTo_CFGNode_CFGNode_collPred(SmallSet<CFGNode> collection) {
super.contributeTo_CFGNode_CFGNode_collPred(collection);
if()
collection.add(this);
}
As you can see, the if()-statement is missing its expression. All the
buggy code seems to be related to "contributes" statements such as:
Expr contributes this to CFGNode.collPred() for each succ();
(By the way: This feature is still unknown to me. Is there any
documentation about what "contributes" does?)
I would appreciate if you could let me know if I am missing something
or if there is just something wrong with the current version of
JastAdd and thus this issue is beyond my control?
Best wishes,
Eric
--
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478 Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
Received on Sat Sep 24 2011 - 16:30:39 CEST