MingaAgent.ToolRouter.SearchContext (Minga v0.1.0)

Copy Markdown View Source

Trusted execution and filtering context for routed search tools.

exec_path is the physical directory searched by tools. It may be a ProjectView or changeset overlay. filter_root is the logical project path used for ignore filtering and result interpretation.

Summary

Types

t()

Types

t()

@type t() :: %MingaAgent.ToolRouter.SearchContext{
  exec_path: String.t(),
  filter_root: String.t()
}