本文整理汇总了C#中Microsoft.Write方法的典型用法代码示例。如果您正苦于以下问题:C# Microsoft.Write方法的具体用法?C# Microsoft.Write怎么用?C# Microsoft.Write使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Microsoft
的用法示例。
在下文中一共展示了Microsoft.Write方法的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: Emit
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: Emit
/// <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: WritePropertyBag
/// <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: WriteCommand
// 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 });
}