Class ExecuteCommandArguments
Represents the arguments for executing a command on a document.
public abstract class ExecuteCommandArguments
- Inheritance
-
ExecuteCommandArguments
- Inherited Members
Properties
Context
ParseContext of the Document
public ParseContext Context { get; set; }
Property Value
DocumentUri
URI of the document.
public string DocumentUri { get; set; }
Property Value
End
Ending position of the Range.
public ParsePosition End { get; set; }
Property Value
OtherOptions
Additional options for the command execution.
public Dictionary<string, object> OtherOptions { get; set; }
Property Value
RuleApplication
RuleApplication of the Action
public RuleApplication RuleApplication { get; set; }
Property Value
Start
Starting position of the Range.
public ParsePosition Start { get; set; }
Property Value
Methods
SendLog(string, MessageType)
Sends a log to the client
public abstract Task SendLog(string message, MessageType messageType = MessageType.Info)
Parameters
messagestringthe message to log
messageTypeMessageTypethe type of the message
Returns
ShowDocument(string, ParseRange?, bool, bool)
Requests a client to open a document
public abstract Task ShowDocument(string uri, ParseRange? selection = null, bool external = false, bool takeFocus = false)
Parameters
uristringThe URI of the document to show.
selectionParseRange?The optional selection range in the document.
externalboolIf true, requests to open the document externally.
takeFocusboolIf true, requests the client to take focus.
Returns
ShowNotification(string, MessageType)
Shows a notification to the client
public abstract Task ShowNotification(string message, MessageType messageType = MessageType.Info)
Parameters
messagestringthe notification
messageTypeMessageTypethe type of the message
Returns
ShowReferences(ParsePosition)
Requests a client to show references of a symbol
public abstract Task ShowReferences(ParsePosition position)
Parameters
positionParsePositionThe position of the symbol in the document
Returns
ShowRequest(string, MessageType, params string[])
Shows a message to the client
public abstract Task<string> ShowRequest(string message, MessageType messageType = MessageType.Info, params string[] buttons)
Parameters
messagestringthe message to show
messageTypeMessageTypethe type of the message
buttonsstring[]the available buttons for the user