C# (CSharp) Microsoft.PSharp.VisualStudio CompletionSourceProvider示例

示例#1

文件： CompletionSource.cs 项目： huangpf/PSharp

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="sourceProvider">SourceProvider</param>
 /// <param name="textBuffer">TextBuffer</param>
 public CompletionSource(CompletionSourceProvider sourceProvider, ITextBuffer textBuffer)
 {
     this.SourceProvider = sourceProvider;
     this.Buffer = textBuffer;
     this.IsDisposed = false;
 }

示例#2

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="sourceProvider">SourceProvider</param>
 /// <param name="textBuffer">TextBuffer</param>
 public CompletionSource(CompletionSourceProvider sourceProvider, ITextBuffer textBuffer)
 {
     this.SourceProvider = sourceProvider;
     this.Buffer         = textBuffer;
     this.IsDisposed     = false;
 }

示例#3

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="sourceProvider">SourceProvider</param>
 /// <param name="textBuffer">TextBuffer</param>
 public CompletionSource(CompletionSourceProvider sourceProvider, ITextBuffer textBuffer)
 {
     this.SourceProvider = sourceProvider;
     this.Buffer         = textBuffer;
 }