The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based bytecode translator.

1 files changed, 150 insertions, 0 deletions

diff --git a/BCT/BytecodeTranslator/BytecodeTranslator.csproj b/BCT/BytecodeTranslator/BytecodeTranslator.csproj
new file mode 100644
index 00000000..69c8e077
--- /dev/null
+++ b/BCT/BytecodeTranslator/BytecodeTranslator.csproj
@@ -0,0 +1,150 @@
+<?xml version="1.0" encoding="utf-8"?>

+<Project ToolsVersion="3.5" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">

+  <PropertyGroup>

+    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>

+    <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>

+    <ProductVersion>9.0.30729</ProductVersion>

+    <SchemaVersion>2.0</SchemaVersion>

+    <ProjectGuid>{9C8E4D74-0251-479D-ADAC-A9A469977301}</ProjectGuid>

+    <OutputType>Exe</OutputType>

+    <AppDesignerFolder>Properties</AppDesignerFolder>

+    <RootNamespace>BytecodeTranslator</RootNamespace>

+    <AssemblyName>BytecodeTranslator</AssemblyName>

+    <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>

+    <FileAlignment>512</FileAlignment>

+  </PropertyGroup>

+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">

+    <DebugSymbols>true</DebugSymbols>

+    <DebugType>full</DebugType>

+    <Optimize>false</Optimize>

+    <OutputPath>bin\Debug\</OutputPath>

+    <DefineConstants>DEBUG;TRACE</DefineConstants>

+    <ErrorReport>prompt</ErrorReport>

+    <WarningLevel>4</WarningLevel>

+    <CodeContractsEnableRuntimeChecking>False</CodeContractsEnableRuntimeChecking>

+    <CodeContractsCustomRewriterAssembly>

+    </CodeContractsCustomRewriterAssembly>

+    <CodeContractsCustomRewriterClass>

+    </CodeContractsCustomRewriterClass>

+    <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>

+    <CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>

+    <CodeContractsRuntimeThrowOnFailure>False</CodeContractsRuntimeThrowOnFailure>

+    <CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>

+    <CodeContractsRunCodeAnalysis>False</CodeContractsRunCodeAnalysis>

+    <CodeContractsBuildReferenceAssembly>False</CodeContractsBuildReferenceAssembly>

+    <CodeContractsNonNullObligations>False</CodeContractsNonNullObligations>

+    <CodeContractsBoundsObligations>False</CodeContractsBoundsObligations>

+    <CodeContractsArithmeticObligations>False</CodeContractsArithmeticObligations>

+    <CodeContractsLibPaths>

+    </CodeContractsLibPaths>

+    <CodeContractsPlatformPath>

+    </CodeContractsPlatformPath>

+    <CodeContractsExtraAnalysisOptions>

+    </CodeContractsExtraAnalysisOptions>

+    <CodeContractsBaseLineFile>

+    </CodeContractsBaseLineFile>

+    <CodeContractsUseBaseLine>False</CodeContractsUseBaseLine>

+    <CodeContractsRunInBackground>True</CodeContractsRunInBackground>

+    <CodeContractsShowSquigglies>False</CodeContractsShowSquigglies>

+  </PropertyGroup>

+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">

+    <DebugType>pdbonly</DebugType>

+    <Optimize>true</Optimize>

+    <OutputPath>bin\Release\</OutputPath>

+    <DefineConstants>TRACE</DefineConstants>

+    <ErrorReport>prompt</ErrorReport>

+    <WarningLevel>4</WarningLevel>

+  </PropertyGroup>

+  <ItemGroup>

+    <Reference Include="AbsInt, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">

+      <SpecificVersion>False</SpecificVersion>

+      <HintPath>..\Imported\Boogie\AbsInt.dll</HintPath>

+    </Reference>

+    <Reference Include="AIFramework, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">

+      <SpecificVersion>False</SpecificVersion>

+      <HintPath>..\Imported\Boogie\AIFramework.dll</HintPath>

+    </Reference>

+    <Reference Include="Basetypes, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">

+      <SpecificVersion>False</SpecificVersion>

+      <HintPath>..\Imported\Boogie\Basetypes.dll</HintPath>

+    </Reference>

+    <Reference Include="Core, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">

+      <SpecificVersion>False</SpecificVersion>

+      <HintPath>..\Imported\Boogie\Core.dll</HintPath>

+    </Reference>

+    <Reference Include="System" />

+    <Reference Include="System.Core">

+      <RequiredTargetFramework>3.5</RequiredTargetFramework>

+    </Reference>

+    <Reference Include="System.Xml.Linq">

+      <RequiredTargetFramework>3.5</RequiredTargetFramework>

+    </Reference>

+    <Reference Include="System.Data.DataSetExtensions">

+      <RequiredTargetFramework>3.5</RequiredTargetFramework>

+    </Reference>

+    <Reference Include="System.Data" />

+    <Reference Include="System.Xml" />

+  </ItemGroup>

+  <ItemGroup>

+    <Compile Include="ExpressionTraverser.cs" />

+    <Compile Include="ClassTraverser.cs" />

+    <Compile Include="MethodTraverser.cs" />

+    <Compile Include="StatementTraverser.cs" />

+    <Compile Include="Program.cs" />

+    <Compile Include="ToplevelTraverser.cs" />

+    <Compile Include="TranslationException.cs" />

+    <Compile Include="TranslationHelper.cs" />

+  </ItemGroup>

+  <ItemGroup>

+    <Content Include="Readme.txt" />

+  </ItemGroup>

+  <ItemGroup>

+    <ProjectReference Include="..\..\..\Felt\ILToCodeModel\ILToCodeModel.csproj">

+      <Project>{27F2A417-B6ED-43AD-A38E-A0B6142216F6}</Project>

+      <Name>ILToCodeModel</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\ModuleReadWrite\ModuleReadWrite\PeReader.csproj">

+      <Project>{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}</Project>

+      <Name>PeReader</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\MutableMetadataModel\MutableMetadataModel.csproj">

+      <Project>{319E151C-8F33-49E7-81C9-30F02F9BA90A}</Project>

+      <Name>MutableMetadataModel</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\MutableObjectModel\MutableCodeModel.csproj">

+      <Project>{319E150C-8F33-49E7-81CA-30F02F9BA90A}</Project>

+      <Name>MutableCodeModel</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\ObjectModelHelper\MetadataHelper.csproj">

+      <Project>{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}</Project>

+      <Name>MetadataHelper</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\ObjectModel\MetadataModel.csproj">

+      <Project>{33CAB640-0D03-43DF-81BD-22CDC6C0A597}</Project>

+      <Name>MetadataModel</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\PdbReader\PdbReader.csproj">

+      <Project>{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}</Project>

+      <Name>PdbReader</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\SourceModel\SourceModel.csproj">

+      <Project>{4B0054FD-124A-4037-9965-BDB55E6BF389}</Project>

+      <Name>SourceModel</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\..\Felt\SourceObjectModel\CodeModel.csproj">

+      <Project>{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}</Project>

+      <Name>CodeModel</Name>

+    </ProjectReference>

+  </ItemGroup>

+  <ItemGroup>

+    <Folder Include="Properties\" />

+  </ItemGroup>

+  <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />

+  <!-- To modify your build process, add your task inside one of the targets below and uncomment it. 

+       Other similar extension points exist, see Microsoft.Common.targets.

+  <Target Name="BeforeBuild">

+  </Target>

+  <Target Name="AfterBuild">

+  </Target>

+  -->

+</Project>
\ No newline at end of file