C# (CSharp) MetadataToFox 예제들

예제 #1

파일: Program.cs 프로젝트: wang-xinhong/CodeContracts

    public static void Main(string[] args)
    {
        string file = args[0];

        //System.Diagnostics.Debugger.Break();

        if (!File.Exists(file))
        {
            Console.WriteLine("File {0} does not exist", file);
            Environment.Exit(-1);
        }

        var transformer = new MetadataToFox(file);

        transformer.Transform();
    }

예제 #2

파일: Program.cs 프로젝트: asvishnyakov/CodeContracts

  public static void Main(string[] args) {

    string file = args[0];

    //System.Diagnostics.Debugger.Break();

    if (!File.Exists(file)) {
      Console.WriteLine("File {0} does not exist", file);
      Environment.Exit(-1);
    }

    var transformer = new MetadataToFox(file);

    transformer.Transform();
  }