BCT/BytecodeTranslator/TranslationPlugins/PhoneTranslator/PhoneInitializationPlugin.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Cci;
using Microsoft.Cci.Contracts;
using BytecodeTranslator.TranslationPlugins.Translators;

namespace BytecodeTranslator.TranslationPlugins.PhoneTranslator {
  class PhoneInitializationPlugin : ITranslationPlugin {
    public Translator getTranslator(Sink sink, IDictionary<IUnit, IContractProvider> contractProviders, IDictionary<IUnit, PdbReader> pdbReaders) {
      return new PhoneInitializationTranslator(sink);
    }
  }

  class PhoneNavigationPlugin : ITranslationPlugin {
    public Translator getTranslator(Sink sink, IDictionary<IUnit, IContractProvider> contractProviders, IDictionary<IUnit, PdbReader> pdbReaders) {
      return new PhoneNavigationTranslator(sink);
    }
  }
}