Ejemplos de Microsoft.Boogie.TokenTextWriter.Write en C# (CSharp)

Ejemplo n.º 1

Archivo: Prelude.cs Proyecto: vishalishere/bytecodetranslator

        /// <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

");
        }