156157158159160161162163164165
// done return new TranslationResult(graph, context.getHotspotMap()); } public int getLineNumber(Unit s) { LineNumberTag tag = (LineNumberTag)s.getTag("LineNumberTag"); if (tag != null) return tag.getLineNumber(); return -1; }