Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • DebugSession
    • PluginDebugSession

Index

Constructors

  • new PluginDebugSession(id: string, options: DebugConfigurationSessionOptions, parentSession: undefined | DebugSession, connection: DebugSessionConnection, terminalServer: TerminalService, editorManager: EditorManager, breakpoints: BreakpointManager, labelProvider: LabelProvider, messages: MessageClient, fileService: FileService, terminalOptionsExt: undefined | TerminalOptionsExt, debugContributionProvider: ContributionProvider<DebugContribution>, workspaceService: WorkspaceService): PluginDebugSession
  • Parameters

    • id: string
    • options: DebugConfigurationSessionOptions
    • parentSession: undefined | DebugSession
    • connection: DebugSessionConnection
    • terminalServer: TerminalService
    • editorManager: EditorManager
    • breakpoints: BreakpointManager
    • labelProvider: LabelProvider
    • messages: MessageClient
    • fileService: FileService
    • terminalOptionsExt: undefined | TerminalOptionsExt
    • debugContributionProvider: ContributionProvider<DebugContribution>
    • workspaceService: WorkspaceService

    Returns PluginDebugSession

Properties

breakpoints: BreakpointManager
connection: DebugSessionConnection
debugContributionProvider: ContributionProvider<DebugContribution>
editorManager: EditorManager
fileService: FileService
id: string
labelProvider: LabelProvider
messages: MessageClient
options: DebugConfigurationSessionOptions
parentSession: undefined | DebugSession
terminalOptionsExt: undefined | TerminalOptionsExt
terminalServer: TerminalService
workspaceService: WorkspaceService

Methods

  • doCreateTerminal(terminalWidgetOptions: TerminalWidgetOptions): Promise<TerminalWidget>