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)