if (instruction instanceof CodeAddress)
{
// We put debug information about source code positions into the
// code so that we can control the debugger.
SourcePosition sourcePosition= instruction.getPosition();
CstUtf8 sourceFile= sourcePosition.getSourceFile();
int sourceLine= sourcePosition.getLine();
if (sourceFile != null && !sourceLinesAlreadyPut.contains(sourceLine))
{
dexInstruction= new Element("source-position", NS_XMLVM);
dexInstruction.setAttribute("file", sourceFile.toHuman());
dexInstruction.setAttribute("line", String.valueOf(sourceLine));
sourceLinesAlreadyPut.add(sourceLine);
}
}
else if (instruction instanceof LocalSnapshot)