Пример #1
0
    public static void Emit(Microsoft.Boogie.TokenTextWriter wr) {
      wr.Write(@"// Copyright (c) 2010, Microsoft Corp.
// Bytecode Translator prelude

type Ref;
const null: Ref;

type Field alpha;

type HeapType = <alpha>[Ref, Field alpha]alpha;
function IsGoodHeap(HeapType): bool;

var $Heap: HeapType where IsGoodHeap($Heap);

");
    }
Пример #2
0
    /// <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

");
    }
Пример #3
0
 /// <summary>
 /// Writes property values into a property bag.
 /// </summary>
 /// <param name="pb">Property bag.</param>
 /// <param name="propName">Name of property.</param>
 /// <param name="val">Value of property.</param>
 private static void WritePropertyBag(Microsoft.BizTalk.Component.Interop.IPropertyBag pb, string propName, object val)
 {
     try
     {
         pb.Write(propName, ref val);
     }
     catch (Exception ex)
     {
         throw new ApplicationException(ex.Message);
     }
 }
Пример #4
0
        // Write command to write
        private void WriteCommand(Microsoft.SPOT.Hardware.SPI spi, HT1632_CMD command)
        {
            ushort value = (ushort)HT1632_ID.CMD << 12;
            value += (ushort)((byte)command << 4);

            spi.Write(new ushort[] { value });
        }