BCT/BytecodeTranslator/TranslationPlugins/ITranslationPlugin.cs


1
2
3
4
5
6
7
8
9
10
11
12

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Cci;
using Microsoft.Cci.Contracts;

namespace BytecodeTranslator.TranslationPlugins {
  public interface ITranslationPlugin {
    Translator getTranslator(Sink sink, IDictionary<IUnit, IContractProvider> contractExtractors=null, IDictionary<IUnit, PdbReader> pdbReaders=null);
  }
}