public Translator getTranslator(Sink sink, IDictionary<IUnit, IContractProvider> contractProviders, IDictionary<IUnit, PdbReader> pdbReaders) {
TraverserFactory factory;
if (isWholeProgram)
factory= new WholeProgram();
else
factory= new CLRSemantics();
// Translator translator= factory.MakeMetadataTraverser(sink, contractProviders, pdbReaders);
Translator translator= factory.getTranslator(sink, contractProviders, pdbReaders);
return translator;
}
public Translator getTranslator(Sink sink, IDictionary <IUnit, IContractProvider> contractProviders, IDictionary <IUnit, PdbReader> pdbReaders)
{
TraverserFactory factory;
if (isWholeProgram)
{
factory = new WholeProgram();
}
else
{
factory = new CLRSemantics();
}
// Translator translator= factory.MakeMetadataTraverser(sink, contractProviders, pdbReaders);
Translator translator = factory.getTranslator(sink, contractProviders, pdbReaders);
return(translator);
}
