ReadFileTool

Provides functionality to read file contents with configurable start and end line parameters, returning structured file metadata and content.

Type Parameters

Path

the filesystem path type used by the provider

Constructors

Link copied to clipboard

Types

Link copied to clipboard
data class Args(val path: String, val startLine: Int = 0, val endLine: Int = -1)

Specifies which file to read and what portion of its content to extract.

Link copied to clipboard
data class Result(val file: FileSystemEntry.File, val warningMessage: String? = null)

Contains the successfully read file with its metadata and extracted content.

Properties

Link copied to clipboard
val argsType: TypeToken
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
val resultType: TypeToken

Functions

Link copied to clipboard
open fun decodeArgs(rawArgs: JSONObject, serializer: JSONSerializer): ReadFileTool.Args
Link copied to clipboard
open fun decodeResult(rawResult: JSONElement, serializer: JSONSerializer): ReadFileTool.Result
Link copied to clipboard
open fun encodeArgs(args: ReadFileTool.Args, serializer: JSONSerializer): JSONObject
Link copied to clipboard
fun encodeArgsToString(args: ReadFileTool.Args, serializer: JSONSerializer): String
Link copied to clipboard
fun encodeArgsToStringUnsafe(args: Any?, serializer: JSONSerializer): String
Link copied to clipboard
fun encodeArgsUnsafe(args: Any?, serializer: JSONSerializer): JSONObject
Link copied to clipboard
open fun encodeResult(result: ReadFileTool.Result, serializer: JSONSerializer): JSONElement
Link copied to clipboard
open override fun encodeResultToString(result: ReadFileTool.Result, serializer: JSONSerializer): String
Link copied to clipboard
fun encodeResultToStringUnsafe(result: Any?, serializer: JSONSerializer): String
Link copied to clipboard
fun encodeResultUnsafe(result: Any?, serializer: JSONSerializer): JSONElement
Link copied to clipboard
open suspend override fun execute(args: ReadFileTool.Args): ReadFileTool.Result

Reads file content from the filesystem with optional line range filtering.

Link copied to clipboard