text_document


Description:

public TextDocumentIdentifier text_document { get; set; }

The text document.