WorkspaceEdit Classe
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Classe che rappresenta una richiesta inviata da un server di lingua per modificare le risorse nell'area di lavoro.
Per altre informazioni, vedere la specifica del protocollo di Language Server .
public ref class WorkspaceEdit
[System.Runtime.Serialization.DataContract]
public class WorkspaceEdit
[<System.Runtime.Serialization.DataContract>]
type WorkspaceEdit = class
Public Class WorkspaceEdit
- Ereditarietà
-
WorkspaceEdit
- Attributi
Costruttori
WorkspaceEdit() |
Classe che rappresenta una richiesta inviata da un server di lingua per modificare le risorse nell'area di lavoro. Per altre informazioni, vedere la specifica del protocollo di Language Server . |
Proprietà
Changes |
Ottiene o imposta un dizionario che contiene modifiche alle risorse esistenti |
DocumentChanges |
Ottiene o imposta una matrice che rappresenta le modifiche del documento con versione |