Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/ai-ide
browser/workspace-search-provider
WorkspaceSearchProvider
Class WorkspaceSearchProvider
Implements
ToolProvider
Index
Constructors
constructor
Properties
file
Service
preference
Service
search
Service
workspace
Scope
Methods
get
Tool
Constructors
constructor
new
WorkspaceSearchProvider
()
:
WorkspaceSearchProvider
Returns
WorkspaceSearchProvider
Properties
Protected
Readonly
file
Service
fileService
:
FileService
Protected
Readonly
preference
Service
preferenceService
:
PreferenceService
Protected
Readonly
search
Service
searchService
:
SearchInWorkspaceService
Protected
Readonly
workspace
Scope
workspaceScope
:
WorkspaceFunctionScope
Methods
get
Tool
getTool
()
:
ToolRequest
Returns
ToolRequest
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
file
Service
preference
Service
search
Service
workspace
Scope
Methods
get
Tool
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...