summaryrefslogtreecommitdiff
path: root/BCT/BytecodeTranslator/BytecodeTranslator.csproj
diff options
context:
space:
mode:
authorGravatar t-espave <unknown>2011-08-15 15:19:51 -0700
committerGravatar t-espave <unknown>2011-08-15 15:19:51 -0700
commit53f5604e99f3ec04fde6305dfa4b1223e0722d27 (patch)
treeed2002e84b9dcd785b1a5fe5b7edee0772dcf629 /BCT/BytecodeTranslator/BytecodeTranslator.csproj
parent5678701c60e425f98bc04e1257a0f3cf34de0ca1 (diff)
(BCT) starting translators-as-plugins impl
Diffstat (limited to 'BCT/BytecodeTranslator/BytecodeTranslator.csproj')
-rw-r--r--BCT/BytecodeTranslator/BytecodeTranslator.csproj4
1 files changed, 4 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/BytecodeTranslator.csproj b/BCT/BytecodeTranslator/BytecodeTranslator.csproj
index 9e5babc1..ff49e4c3 100644
--- a/BCT/BytecodeTranslator/BytecodeTranslator.csproj
+++ b/BCT/BytecodeTranslator/BytecodeTranslator.csproj
@@ -138,6 +138,10 @@
<Compile Include="Program.cs" />
<Compile Include="TranslationException.cs" />
<Compile Include="TranslationHelper.cs" />
+ <Compile Include="TranslationPlugins\BytecodeTranslator\BytecodeTranslatorPlugin.cs" />
+ <Compile Include="TranslationPlugins\IContractAwareTranslator.cs" />
+ <Compile Include="TranslationPlugins\ITranslationPlugin.cs" />
+ <Compile Include="TranslationPlugins\ITranslator.cs" />
<Compile Include="TraverserFactory.cs" />
<Compile Include="WholeProgram.cs" />
</ItemGroup>