[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Extend Jimple keywords
VO Duc Duy <duy.voduc@epfl.ch> wrote:
> I am using jimple in my project (integration of our synchonous java
> language to Bandera), but the input file is not 100% java syntax, it has
> some new keywords, so I have to extend jimple in order to cover my
> keywords.
How are you producing Jimple from Java code in general? Are you using
some kind of Java2Jimple frontend? Are you expecting to output
bytecode with your extended Jimple?
The reason I ask is that, typically in Soot, Jimple would be generated
from a class file (ie bytecode) and not the Java source, although the
next release will also have JavaToJimple.
In your case, if you can produce valid bytecode from your Extended
Java, you should have nothing left to do for Soot/Jimple.
Cheers,
Navin.