Use an explicit PdbReader instead of the more general ISourceLocationProvider so that we can get the closest source location even if the location we have doesn't correspond to an exact source location.

1 files changed, 5 insertions, 5 deletions

diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs
index 953e5030..a151306d 100644
--- a/BCT/BytecodeTranslator/TraverserFactory.cs
+++ b/BCT/BytecodeTranslator/TraverserFactory.cs
@@ -18,12 +18,12 @@ using Bpl = Microsoft.Boogie;
 

 namespace BytecodeTranslator {

   public abstract class TraverserFactory {

-    public virtual MetadataTraverser MakeMetadataTraverser(IContractProvider contractProvider, ISourceLocationProvider/*?*/ sourceLocationProvider)

-    { 

-      return new MetadataTraverser(new Sink(this), contractProvider, sourceLocationProvider);

+    public virtual MetadataTraverser MakeMetadataTraverser(IContractProvider contractProvider, PdbReader/*?*/ pdbReader)

+    {

+      return new MetadataTraverser(new Sink(this), contractProvider, pdbReader);

     }

-    public virtual StatementTraverser MakeStatementTraverser(Sink sink, ISourceLocationProvider/*?*/ sourceLocationProvider) {

-      return new StatementTraverser(sink, sourceLocationProvider);

+    public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader) {

+      return new StatementTraverser(sink, pdbReader);

     }

     public virtual ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser) {

       return new ExpressionTraverser(sink, statementTraverser);