EditFileTool

Tool to enable the agent to edit files.

Takes a file path and two strings: original and replacement. And searches for the original string in the file and replaces it with the replacement.

Also handles case and white space mismatches in the original string.

Constructors

Link copied to clipboard

Types

Link copied to clipboard
data class Args(val path: String, val original: String, val replacement: String)

Arguments required to perform a single edit operation on a file.

Link copied to clipboard
object Companion

Descriptor for the edit file tool.

Link copied to clipboard

Result of applying the edit patch to the target file.

Properties

Link copied to clipboard
Link copied to clipboard
open override val description: String
Link copied to clipboard
open override val descriptor: ToolDescriptor
Link copied to clipboard
open override val name: String
Link copied to clipboard

Functions

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard