1use std::collections::HashMap;
18use std::io;
19use std::sync::Arc;
20
21use itertools::Itertools as _;
22use jj_lib::backend::CommitId;
23use jj_lib::commit::Commit;
24use jj_lib::config::ConfigGetError;
25use jj_lib::config::ConfigNamePathBuf;
26use jj_lib::config::ConfigSource;
27use jj_lib::config::StackedConfig;
28use jj_lib::id_prefix::IdPrefixContext;
29use jj_lib::ref_name::RefNameBuf;
30use jj_lib::ref_name::RemoteNameBuf;
31use jj_lib::repo::Repo;
32use jj_lib::revset;
33use jj_lib::revset::ResolvedRevsetExpression;
34use jj_lib::revset::Revset;
35use jj_lib::revset::RevsetAliasesMap;
36use jj_lib::revset::RevsetDiagnostics;
37use jj_lib::revset::RevsetEvaluationError;
38use jj_lib::revset::RevsetExpression;
39use jj_lib::revset::RevsetExtensions;
40use jj_lib::revset::RevsetIteratorExt as _;
41use jj_lib::revset::RevsetParseContext;
42use jj_lib::revset::RevsetParseError;
43use jj_lib::revset::RevsetResolutionError;
44use jj_lib::revset::SymbolResolver;
45use jj_lib::revset::SymbolResolverExtension;
46use jj_lib::revset::UserRevsetExpression;
47use jj_lib::settings::RemoteSettingsMap;
48use jj_lib::str_util::StringExpression;
49use jj_lib::str_util::StringMatcher;
50use thiserror::Error;
51
52use crate::command_error::CommandError;
53use crate::command_error::config_error_with_message;
54use crate::command_error::print_parse_diagnostics;
55use crate::command_error::revset_parse_error_hint;
56use crate::command_error::user_error;
57use crate::command_error::user_error_with_message;
58use crate::formatter::Formatter;
59use crate::templater::TemplateRenderer;
60use crate::ui::Ui;
61
62const USER_IMMUTABLE_HEADS: &str = "immutable_heads";
63
64#[derive(Debug, Error)]
65pub enum UserRevsetEvaluationError {
66 #[error(transparent)]
67 Resolution(RevsetResolutionError),
68 #[error(transparent)]
69 Evaluation(RevsetEvaluationError),
70}
71
72pub struct RevsetExpressionEvaluator<'repo> {
74 repo: &'repo dyn Repo,
75 extensions: Arc<RevsetExtensions>,
76 id_prefix_context: &'repo IdPrefixContext,
77 expression: Arc<UserRevsetExpression>,
78}
79
80impl<'repo> RevsetExpressionEvaluator<'repo> {
81 pub fn new(
82 repo: &'repo dyn Repo,
83 extensions: Arc<RevsetExtensions>,
84 id_prefix_context: &'repo IdPrefixContext,
85 expression: Arc<UserRevsetExpression>,
86 ) -> Self {
87 Self {
88 repo,
89 extensions,
90 id_prefix_context,
91 expression,
92 }
93 }
94
95 pub fn expression(&self) -> &Arc<UserRevsetExpression> {
97 &self.expression
98 }
99
100 pub fn intersect_with(&mut self, other: &Arc<UserRevsetExpression>) {
102 self.expression = self.expression.intersection(other);
103 }
104
105 pub fn resolve(&self) -> Result<Arc<ResolvedRevsetExpression>, RevsetResolutionError> {
107 let symbol_resolver = default_symbol_resolver(
108 self.repo,
109 self.extensions.symbol_resolvers(),
110 self.id_prefix_context,
111 );
112 self.expression
113 .resolve_user_expression(self.repo, &symbol_resolver)
114 }
115
116 pub fn evaluate(&self) -> Result<Box<dyn Revset + 'repo>, UserRevsetEvaluationError> {
118 self.resolve()
119 .map_err(UserRevsetEvaluationError::Resolution)?
120 .evaluate(self.repo)
121 .map_err(UserRevsetEvaluationError::Evaluation)
122 }
123
124 pub fn evaluate_to_commit_ids(
127 &self,
128 ) -> Result<
129 Box<dyn Iterator<Item = Result<CommitId, RevsetEvaluationError>> + 'repo>,
130 UserRevsetEvaluationError,
131 > {
132 Ok(self.evaluate()?.iter())
133 }
134
135 pub fn evaluate_to_commits(
138 &self,
139 ) -> Result<
140 impl Iterator<Item = Result<Commit, RevsetEvaluationError>> + use<'repo>,
141 UserRevsetEvaluationError,
142 > {
143 Ok(self.evaluate()?.iter().commits(self.repo.store()))
144 }
145}
146
147fn warn_user_redefined_builtin(
148 ui: &Ui,
149 source: ConfigSource,
150 name: &str,
151) -> Result<(), CommandError> {
152 match source {
153 ConfigSource::Default => (),
154 ConfigSource::EnvBase
155 | ConfigSource::User
156 | ConfigSource::Repo
157 | ConfigSource::Workspace
158 | ConfigSource::EnvOverrides
159 | ConfigSource::CommandArg => {
160 let checked_mutability_builtins =
161 ["mutable()", "immutable()", "builtin_immutable_heads()"];
162
163 if checked_mutability_builtins.contains(&name) {
164 writeln!(
165 ui.warning_default(),
166 "Redefining `revset-aliases.{name}` is not recommended; redefine \
167 `immutable_heads()` instead",
168 )?;
169 }
170 }
171 }
172
173 Ok(())
174}
175
176pub fn load_revset_aliases(
177 ui: &Ui,
178 stacked_config: &StackedConfig,
179) -> Result<RevsetAliasesMap, CommandError> {
180 let table_name = ConfigNamePathBuf::from_iter(["revset-aliases"]);
181 let mut aliases_map = RevsetAliasesMap::new();
182 for layer in stacked_config.layers() {
185 let table = match layer.look_up_table(&table_name) {
186 Ok(Some(table)) => table,
187 Ok(None) => continue,
188 Err(item) => {
189 return Err(ConfigGetError::Type {
190 name: table_name.to_string(),
191 error: format!("Expected a table, but is {}", item.type_name()).into(),
192 source_path: layer.path.clone(),
193 }
194 .into());
195 }
196 };
197 for (decl, item) in table.iter() {
198 warn_user_redefined_builtin(ui, layer.source, decl)?;
199
200 let r = item
201 .as_str()
202 .ok_or_else(|| format!("Expected a string, but is {}", item.type_name()))
203 .and_then(|v| aliases_map.insert(decl, v).map_err(|e| e.to_string()));
204 if let Err(s) = r {
205 writeln!(
206 ui.warning_default(),
207 "Failed to load `{table_name}.{decl}`: {s}"
208 )?;
209 }
210 }
211 }
212 Ok(aliases_map)
213}
214
215pub fn default_symbol_resolver<'a>(
218 repo: &'a dyn Repo,
219 extensions: &[impl AsRef<dyn SymbolResolverExtension>],
220 id_prefix_context: &'a IdPrefixContext,
221) -> SymbolResolver<'a> {
222 SymbolResolver::new(repo, extensions).with_id_prefix_context(id_prefix_context)
223}
224
225pub fn parse_immutable_heads_expression(
228 diagnostics: &mut RevsetDiagnostics,
229 context: &RevsetParseContext,
230) -> Result<Arc<UserRevsetExpression>, RevsetParseError> {
231 let (_, _, immutable_heads_str) = context
232 .aliases_map
233 .get_function(USER_IMMUTABLE_HEADS, 0)
234 .unwrap();
235 let heads = revset::parse(diagnostics, immutable_heads_str, context)?;
236 Ok(heads.union(&RevsetExpression::root()))
237}
238
239pub(super) fn warn_unresolvable_trunk(
242 ui: &Ui,
243 repo: &dyn Repo,
244 context: &RevsetParseContext,
245) -> io::Result<()> {
246 let (_, _, revset_str) = context
247 .aliases_map
248 .get_function("trunk", 0)
249 .expect("trunk() should be defined by default");
250 let Ok(expression) = revset::parse(&mut RevsetDiagnostics::new(), revset_str, context) else {
251 return Ok(());
253 };
254 let symbol_resolver = SymbolResolver::new(repo, context.extensions.symbol_resolvers());
257 if let Err(err) = expression.resolve_user_expression(repo, &symbol_resolver) {
258 writeln!(
259 ui.warning_default(),
260 "Failed to resolve `revset-aliases.trunk()`: {err}"
261 )?;
262 writeln!(
263 ui.hint_default(),
264 "Use `jj config edit --repo` to adjust the `trunk()` alias."
265 )?;
266 }
267 Ok(())
268}
269
270pub(super) fn evaluate_revset_to_single_commit<'a>(
271 revision_str: &str,
272 expression: &RevsetExpressionEvaluator<'_>,
273 commit_summary_template: impl FnOnce() -> TemplateRenderer<'a, Commit>,
274) -> Result<Commit, CommandError> {
275 let mut iter = expression.evaluate_to_commits()?.fuse();
276 match (iter.next(), iter.next()) {
277 (Some(commit), None) => Ok(commit?),
278 (None, _) => Err(user_error(format!(
279 "Revset `{revision_str}` didn't resolve to any revisions"
280 ))),
281 (Some(commit0), Some(commit1)) => {
282 let mut iter = [commit0, commit1].into_iter().chain(iter);
283 let commits: Vec<_> = iter.by_ref().take(5).try_collect()?;
284 let elided = iter.next().is_some();
285 Err(format_multiple_revisions_error(
286 revision_str,
287 &commits,
288 elided,
289 &commit_summary_template(),
290 ))
291 }
292 }
293}
294
295fn format_multiple_revisions_error(
296 revision_str: &str,
297 commits: &[Commit],
298 elided: bool,
299 template: &TemplateRenderer<'_, Commit>,
300) -> CommandError {
301 assert!(commits.len() >= 2);
302 let mut cmd_err = user_error(format!(
303 "Revset `{revision_str}` resolved to more than one revision"
304 ));
305 let write_commits_summary = |formatter: &mut dyn Formatter| {
306 for commit in commits {
307 write!(formatter, " ")?;
308 template.format(commit, formatter)?;
309 writeln!(formatter)?;
310 }
311 if elided {
312 writeln!(formatter, " ...")?;
313 }
314 Ok(())
315 };
316 cmd_err.add_formatted_hint_with(|formatter| {
317 writeln!(
318 formatter,
319 "The revset `{revision_str}` resolved to these revisions:"
320 )?;
321 write_commits_summary(formatter)
322 });
323 cmd_err
324}
325
326#[derive(Debug, Error)]
327#[error("Failed to parse bookmark name: {}", source.kind())]
328pub struct BookmarkNameParseError {
329 pub input: String,
330 pub source: RevsetParseError,
331}
332
333pub fn parse_bookmark_name(text: &str) -> Result<RefNameBuf, BookmarkNameParseError> {
335 revset::parse_symbol(text)
336 .map(Into::into)
337 .map_err(|source| BookmarkNameParseError {
338 input: text.to_owned(),
339 source,
340 })
341}
342
343#[derive(Debug, Error)]
344#[error("Failed to parse tag name: {}", source.kind())]
345pub struct TagNameParseError {
346 pub source: RevsetParseError,
347}
348
349pub fn parse_tag_name(text: &str) -> Result<RefNameBuf, TagNameParseError> {
351 revset::parse_symbol(text)
352 .map(Into::into)
353 .map_err(|source| TagNameParseError { source })
354}
355
356pub fn parse_union_name_patterns<I>(ui: &Ui, texts: I) -> Result<StringExpression, CommandError>
358where
359 I: IntoIterator,
360 I::Item: AsRef<str>,
361{
362 let mut diagnostics = RevsetDiagnostics::new();
363 let expressions = texts
364 .into_iter()
365 .map(|text| revset::parse_string_expression(&mut diagnostics, text.as_ref()))
366 .try_collect()
367 .map_err(|err| {
368 let hint = revset_parse_error_hint(&err);
370 let message = format!("Failed to parse name pattern: {}", err.kind());
371 let mut cmd_err = user_error_with_message(message, err);
372 cmd_err.extend_hints(hint);
373 cmd_err
374 })?;
375 print_parse_diagnostics(ui, "In name pattern", &diagnostics)?;
376 Ok(StringExpression::union_all(expressions))
377}
378
379pub fn parse_remote_auto_track_bookmarks_map(
382 ui: &Ui,
383 remote_settings: &RemoteSettingsMap,
384) -> Result<HashMap<RemoteNameBuf, StringMatcher>, CommandError> {
385 let mut matchers = HashMap::new();
386 for (name, settings) in remote_settings {
387 let Some(text) = &settings.auto_track_bookmarks else {
388 continue;
389 };
390 let mut diagnostics = RevsetDiagnostics::new();
391 let expr = revset::parse_string_expression(&mut diagnostics, text).map_err(|err| {
392 let hint = revset_parse_error_hint(&err);
394 let message = format!(
395 "Invalid `remotes.{}.auto-track-bookmarks`: {}",
396 name.as_symbol(),
397 err.kind()
398 );
399 let mut cmd_err = config_error_with_message(message, err);
400 cmd_err.extend_hints(hint);
401 cmd_err
402 })?;
403 print_parse_diagnostics(
404 ui,
405 &format!("In `remotes.{}.auto-track-bookmarks`", name.as_symbol()),
406 &diagnostics,
407 )?;
408 matchers.insert(name.clone(), expr.to_matcher());
409 }
410 Ok(matchers)
411}