[Jastadd] Problems with Literals after change to Java 7 frontend

From: Eric Bodden <eric.bodden_at_ec-spride.de>
Date: Sun, 13 Jan 2013 12:09:21 +0100


After changing Soot/abc to the Java7Frontend I am having the problems
that all numerical constants in processed Java source code get
interpreted as having the value 0.

The problem seems to be due to the field
abc.ja.cjp.jrag.NumericLiteral.digits never being assigned a value. It
is initialized to "" but then never changed afterwards. In particular
the method IntegerLiteral.buildIntegerLiteral(..) seems never to be
called. I am afraid I don't quite understand the changes to literals
between the 1.5 and 7 frontends, so it's hard for me to debug this.
Does anyone have any idea what could be causing this?


Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
Received on Sun Jan 13 2013 - 12:10:23 CET

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