diff options
author | 2011-05-24 14:46:12 +0530 | |
---|---|---|
committer | 2011-05-24 14:46:12 +0530 | |
commit | 40e4151cb1072695f1a2aed297206203481cdd66 (patch) | |
tree | a89f729fd386fd1ede2421faee65c4fc69e428db /BCT/BytecodeTranslator/TraverserFactory.cs | |
parent | 5cfbcc0fed2cc711ddcd6702ebd821cff95103ab (diff) | |
parent | 356651d4f4e2d9825f18858603f506332d582ad5 (diff) |
merge
Diffstat (limited to 'BCT/BytecodeTranslator/TraverserFactory.cs')
-rw-r--r-- | BCT/BytecodeTranslator/TraverserFactory.cs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs index cdc1c8a3..78c818bd 100644 --- a/BCT/BytecodeTranslator/TraverserFactory.cs +++ b/BCT/BytecodeTranslator/TraverserFactory.cs @@ -18,9 +18,11 @@ using Bpl = Microsoft.Boogie; namespace BytecodeTranslator {
public abstract class TraverserFactory {
- public virtual MetadataTraverser MakeMetadataTraverser(Sink sink, IContractProvider contractProvider, PdbReader/*?*/ pdbReader)
+ public virtual MetadataTraverser MakeMetadataTraverser(Sink sink,
+ IDictionary<IUnit, IContractProvider> contractProviders, // TODO: remove this parameter?
+ IDictionary<IUnit, PdbReader> sourceLocationProviders)
{
- return new MetadataTraverser(sink, pdbReader);
+ return new MetadataTraverser(sink, sourceLocationProviders);
}
public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader, bool contractContext) {
return new StatementTraverser(sink, pdbReader, contractContext);
|