コード例 #1
0
ファイル: 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
0
 /// <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
0
 /// <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;
 }