EditResult
public record EditResult(String path, String error, Integer occurrences)源码Source
io/agentscope/harness/agent/filesystem/model/EditResult.java:25–38承载 Edit 结果数据的记录类型。位于 io.agentscope.harness.agent.filesystem.model 包。核心成员包括 path、error、occurrences、ok、fail、isSuccess。
Result of a file edit (string replacement) operation.
记录组件摘要Record Component Summary
| 组件Component | 类型Type | 说明Description |
|---|---|---|
path | String | 执行路径相关操作。 absolute path of edited file, `null` on failure |
error | String | 执行错误相关操作。 error message on failure, `null` on success |
occurrences | Integer | 执行 `occurrences` 方法。 number of replacements made, `null` on failure |
方法摘要Method Summary
| 方法Method | 说明Description |
|---|---|
public static EditResult ok(String path, int occurrences)static | 执行 `ok` 方法。 Performs the ok operation. |
public static EditResult fail(String error)static | 设置该参数。 Performs the fail operation. |
public boolean isSuccess() | 判断是否成功。 Returns whether the success. |
记录组件详情Record Component Detail
path
String path执行路径相关操作。
absolute path of edited file, null on failure
源码Source
io/agentscope/harness/agent/filesystem/model/EditResult.java:25–38error
String error执行错误相关操作。
error message on failure, null on success
源码Source
io/agentscope/harness/agent/filesystem/model/EditResult.java:25–38occurrences
Integer occurrences执行 occurrences 方法。
number of replacements made, null on failure
源码Source
io/agentscope/harness/agent/filesystem/model/EditResult.java:25–38方法详情Method Detail
ok
public static EditResult ok(String path, int occurrences)static
执行 ok 方法。
Performs the ok operation.
参数Parameters
| 名称Name | 类型Type | 说明Description |
|---|---|---|
path | String | 路径（类型 `String`）。The path. |
occurrences | int | occurrences（类型 `int`）。The occurrences. |
EditResult返回EditResult。Returns edit result.
源码Source
io/agentscope/harness/agent/filesystem/model/EditResult.java:27–29fail
public static EditResult fail(String error)static
设置该参数。
Performs the fail operation.
参数Parameters
| 名称Name | 类型Type | 说明Description |
|---|---|---|
error | String | 错误（类型 `String`）。The error. |
EditResult返回EditResult。Returns edit result.
源码Source
io/agentscope/harness/agent/filesystem/model/EditResult.java:31–33isSuccess
public boolean isSuccess()判断是否成功。
Returns whether the success.
boolean返回布尔值，表示判断结果。Returns a boolean result.
源码Source
io/agentscope/harness/agent/filesystem/model/EditResult.java:35–37