jj_cli/
revset_util.rs

1// Copyright 2022-2024 The Jujutsu Authors
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// https://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15//! Utility for parsing and evaluating user-provided revset expressions.
16
17use 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
72/// Wrapper around `UserRevsetExpression` to provide convenient methods.
73pub 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    /// Returns the underlying expression.
96    pub fn expression(&self) -> &Arc<UserRevsetExpression> {
97        &self.expression
98    }
99
100    /// Intersects the underlying expression with the `other` expression.
101    pub fn intersect_with(&mut self, other: &Arc<UserRevsetExpression>) {
102        self.expression = self.expression.intersection(other);
103    }
104
105    /// Resolves user symbols in the expression, returns new expression.
106    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    /// Evaluates the expression.
117    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    /// Evaluates the expression to an iterator over commit ids. Entries are
125    /// sorted in reverse topological order.
126    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    /// Evaluates the expression to an iterator over commit objects. Entries are
136    /// sorted in reverse topological order.
137    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    // Load from all config layers in order. 'f(x)' in default layer should be
183    // overridden by 'f(a)' in user.
184    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
215/// Wraps the given `IdPrefixContext` in `SymbolResolver` to be passed in to
216/// `evaluate()`.
217pub 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
225/// Parses user-configured expression defining the heads of the immutable set.
226/// Includes the root commit.
227pub 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
239/// Prints warning if `trunk()` alias cannot be resolved. This alias could be
240/// generated by `jj git init`/`clone`.
241pub(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        // Parse error would have been reported.
252        return Ok(());
253    };
254    // Not using IdPrefixContext since trunk() revset shouldn't contain short
255    // prefixes.
256    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
333/// Parses bookmark name specified in revset syntax.
334pub 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
349/// Parses tag name specified in revset syntax.
350pub 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
356/// Parses bookmark/tag/remote name patterns and unions them all.
357pub 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            // From<RevsetParseError>, but with different message
369            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
379/// Parses the given `remotes.<name>.auto-track-bookmarks` settings into a map
380/// of string matchers.
381pub 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            // From<RevsetParseError>, but with different message and error kind
393            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}