public virtual void RefreshCode(ISymbolProvider symbolProvider, SourceFileInfo file)
 {
     _symbolProvider = symbolProvider;
     if (file == null)
     {
         this._provider = new CodeDataProvider(CpuType.Cpu);
     }
     else
     {
         this._provider = new SymbolCodeDataProvider(CpuType.Cpu, symbolProvider, file);
     }
 }
 public virtual void RefreshCode(DbgImporter symbolProvider, DbgImporter.FileInfo file)
 {
     _symbolProvider = symbolProvider;
     if (file == null)
     {
         this._provider = new CodeDataProvider(CpuType.Cpu);
     }
     else
     {
         this._provider = new DbgCodeDataProvider(CpuType.Cpu, symbolProvider, file);
     }
 }