1
1
// Copyright (c) Microsoft Corporation. All rights reserved.
2
2
// Licensed under the MIT License.
3
3
4
- import { CancellationToken , Event , Uri , WorkspaceFolder , QuickPickItem , extensions } from 'vscode' ;
4
+ import { CancellationToken , Event , Uri , WorkspaceFolder , extensions } from 'vscode' ;
5
5
6
6
/*
7
7
* Do not introduce any breaking changes to this API.
@@ -12,9 +12,6 @@ export interface PythonExtension {
12
12
* Promise indicating whether all parts of the extension have completed loading or not.
13
13
*/
14
14
ready : Promise < void > ;
15
- jupyter : {
16
- registerHooks ( ) : void ;
17
- } ;
18
15
debug : {
19
16
/**
20
17
* Generate an array of strings for commands to pass to the Python executable to launch the debugger for remote debugging.
@@ -33,20 +30,6 @@ export interface PythonExtension {
33
30
getDebuggerPackagePath ( ) : Promise < string | undefined > ;
34
31
} ;
35
32
36
- datascience : {
37
- /**
38
- * Launches Data Viewer component.
39
- * @param dataProvider Instance that will be used by the Data Viewer component to fetch data.
40
- * @param title Data Viewer title
41
- */
42
- showDataViewer ( dataProvider : IDataViewerDataProvider , title : string ) : Promise < void > ;
43
- /**
44
- * Registers a remote server provider component that's used to pick remote jupyter server URIs
45
- * @param serverProvider object called back when picking jupyter server URI
46
- */
47
- registerRemoteServerProvider ( serverProvider : IJupyterUriProvider ) : void ;
48
- } ;
49
-
50
33
/**
51
34
* These APIs provide a way for extensions to work with by python environments available in the user's machine
52
35
* as found by the Python extension. See
@@ -123,47 +106,6 @@ export interface PythonExtension {
123
106
} ;
124
107
}
125
108
126
- interface IJupyterServerUri {
127
- baseUrl : string ;
128
- token : string ;
129
-
130
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
131
- authorizationHeader : any ; // JSON object for authorization header.
132
- expiration ?: Date ; // Date/time when header expires and should be refreshed.
133
- displayName : string ;
134
- }
135
-
136
- type JupyterServerUriHandle = string ;
137
-
138
- export interface IJupyterUriProvider {
139
- readonly id : string ; // Should be a unique string (like a guid)
140
- getQuickPickEntryItems ( ) : QuickPickItem [ ] ;
141
- handleQuickPick ( item : QuickPickItem , backEnabled : boolean ) : Promise < JupyterServerUriHandle | 'back' | undefined > ;
142
- getServerUri ( handle : JupyterServerUriHandle ) : Promise < IJupyterServerUri > ;
143
- }
144
-
145
- interface IDataFrameInfo {
146
- columns ?: { key : string ; type : ColumnType } [ ] ;
147
- indexColumn ?: string ;
148
- rowCount ?: number ;
149
- }
150
-
151
- export interface IDataViewerDataProvider {
152
- dispose ( ) : void ;
153
- getDataFrameInfo ( ) : Promise < IDataFrameInfo > ;
154
- getAllRows ( ) : Promise < IRowsResponse > ;
155
- getRows ( start : number , end : number ) : Promise < IRowsResponse > ;
156
- }
157
-
158
- enum ColumnType {
159
- String = 'string' ,
160
- Number = 'number' ,
161
- Bool = 'bool' ,
162
- }
163
-
164
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
165
- type IRowsResponse = any [ ] ;
166
-
167
109
export type RefreshOptions = {
168
110
/**
169
111
* When `true`, force trigger a refresh regardless of whether a refresh was already triggered. Note this can be expensive so
0 commit comments