Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/ai-core
common/language-model
ToolResultMessage
Interface ToolResultMessage
interface
ToolResultMessage
{
actor
:
"user"
;
content
?:
ToolCallResult
;
is_error
?:
boolean
;
name
:
string
;
tool_use_id
:
string
;
type
:
"tool_result"
;
}
Index
Properties
actor
content?
is_
error?
name
tool_
use_
id
type
Properties
actor
actor
:
"user"
Optional
content
content
?:
ToolCallResult
Optional
is_
error
is_error
?:
boolean
name
name
:
string
tool_
use_
id
tool_use_id
:
string
type
type
:
"tool_result"
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
actor
content
is_
error
name
tool_
use_
id
type
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...