[Wala-wala] Where to find the implementation of InstructionPosition() abstract method?

[narmadha s. <nar...@gm...>]

Hello,

I need to extract the instruction string for forming annotations to be
inserted into the source code. If the input i have is a path and a predicate
node from CFG, is there any method available to help me extract the
instruction (string) pertaining to that node in Wala?

One option i thought of, was to determine the source code line number during
cfg construction and then parse the source file to extract the string. I
came across an abstract method  "protected abstract String
instructionPosition(int instructionIndex);" in the ir.java file. But i am
not able to find the implementation of the same.

Regards
Narmadha