Method ValidateInput

tools/builtin.go:166–225

(execCtx ExecutionContext, input any)

}

func (t *EditFileTool) ValidateInput(execCtx ExecutionContext, input any) (bool, string) {
	in := deref[EditFileInput](input)
	path := resolveToolPath(execCtx, in.FilePath)
	if ok, msg := checkAllowedWriteRoots(path, execCtx["allowed_write_roots"]); !ok {
		return false, formatEditError(editFileNotFound, msg)
	}
	if in.OldString == in.NewString {
		return false, formatEditError(editNoOp, "old_string and new_string must be different.")
	}
	info, err := os.Stat(path)
	if err != nil {
		hint := ""
		if !filepath.IsAbs(in.FilePath) {
			hint = " (path is relative — use absolute paths)"
		}
		return false, formatEditError(editFileNotFound, fmt.Sprintf("File not found: %s%s", in.FilePath, hint))
	}
	if !info.Mode().IsRegular() {
		return false, formatEditError(editFileNotFound, fmt.Sprintf("Not a file: %s", in.FilePath))
	}
	if strings.EqualFold(filepath.Ext(path), ".ipynb") {
		return false, formatEditError(editNotebookRedirect, fmt.Sprintf("Notebook files must use notebook_edit tool: %s", in.FilePath))
	}
	if in.OldString != "" && !truthy(execCtx["skip_read_before_edit"]) {
		owner, _ := execCtx["parent_state"].(readFileStateOwner)
		if owner == nil {
			return false, formatEditError(editUnreadFile, "File has not been read yet. Read it first before editing.")
		}
		fileState, ok := owner.GetReadFileState(path)
		if !ok {
			fileState, ok = owner.GetReadFileState(in.FilePath)
		}
		if !ok {
			return false, formatEditError(editUnreadFile, "File has not been read yet. Read it first before editing.")
		}
		if fileState.IsPartialView {
			return false, formatEditError(editUnreadFile, "File was only partially read. Re-read the full file before editing.")
		}
		currentMTime := fileMTime(path)
		if currentMTime > fileState.TimeStamp {
			if runtime.GOOS == "windows" {
				data, err := os.ReadFile(path)
				if err != nil {
					return false, formatEditError(editStaleRead, "File has been modified since it was last read. Re-read the file before editing.")
				}
				currentContent := strings.ReplaceAll(decodeToolBytes(data), "\r\n", "\n")
				cachedContent := strings.ReplaceAll(fileState.Content, "\r\n", "\n")
				if currentContent == cachedContent {
					fileState.TimeStamp = currentMTime
					owner.SetReadFileState(path, fileState)
				} else {
					return false, formatEditError(editStaleRead, "File has been modified since it was last read. Re-read the file before editing.")
				}
			} else {
				return false, formatEditError(editStaleRead, "File has been modified since it was last read. Re-read the file before editing.")
			}
		}
	}