BCT/BytecodeTranslator/Prelude.cs


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

using System;
using System.Collections.Generic;
using System.IO;
using System.Text;

namespace BytecodeTranslator {
  public class Prelude {

    /// <summary>
    /// Prelude that is shared by all translated programs, no matter
    /// what the heap representation is.
    /// </summary>
    public static void Emit(Microsoft.Boogie.TokenTextWriter wr) {
      wr.Write(@"// Copyright (c) 2010, Microsoft Corp.
// Bytecode Translator prelude

");
    }
  }
}