mirror of
https://github.com/rust-lang/rust-analyzer.git
synced 2025-11-18 03:13:31 +00:00
157 lines
5.2 KiB
Rust
157 lines
5.2 KiB
Rust
//! The condition expression used in `#[cfg(..)]` attributes.
|
|
//!
|
|
//! See: <https://doc.rust-lang.org/reference/conditional-compilation.html#conditional-compilation>
|
|
|
|
use std::fmt;
|
|
|
|
use intern::Symbol;
|
|
|
|
/// A simple configuration value passed in from the outside.
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
|
pub enum CfgAtom {
|
|
/// eg. `#[cfg(test)]`
|
|
Flag(Symbol),
|
|
/// eg. `#[cfg(target_os = "linux")]`
|
|
///
|
|
/// Note that a key can have multiple values that are all considered "active" at the same time.
|
|
/// For example, `#[cfg(target_feature = "sse")]` and `#[cfg(target_feature = "sse2")]`.
|
|
KeyValue { key: Symbol, value: Symbol },
|
|
}
|
|
|
|
impl PartialOrd for CfgAtom {
|
|
fn partial_cmp(&self, other: &Self) -> Option<std::cmp::Ordering> {
|
|
Some(self.cmp(other))
|
|
}
|
|
}
|
|
|
|
impl Ord for CfgAtom {
|
|
fn cmp(&self, other: &Self) -> std::cmp::Ordering {
|
|
match (self, other) {
|
|
(CfgAtom::Flag(a), CfgAtom::Flag(b)) => a.as_str().cmp(b.as_str()),
|
|
(CfgAtom::Flag(_), CfgAtom::KeyValue { .. }) => std::cmp::Ordering::Less,
|
|
(CfgAtom::KeyValue { .. }, CfgAtom::Flag(_)) => std::cmp::Ordering::Greater,
|
|
(CfgAtom::KeyValue { key, value }, CfgAtom::KeyValue { key: key2, value: value2 }) => {
|
|
key.as_str().cmp(key2.as_str()).then(value.as_str().cmp(value2.as_str()))
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
impl fmt::Display for CfgAtom {
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
match self {
|
|
CfgAtom::Flag(name) => name.fmt(f),
|
|
CfgAtom::KeyValue { key, value } => write!(f, "{key} = {value:?}"),
|
|
}
|
|
}
|
|
}
|
|
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
|
|
#[cfg_attr(test, derive(derive_arbitrary::Arbitrary))]
|
|
pub enum CfgExpr {
|
|
Invalid,
|
|
Atom(CfgAtom),
|
|
All(Box<[CfgExpr]>),
|
|
Any(Box<[CfgExpr]>),
|
|
Not(Box<CfgExpr>),
|
|
}
|
|
|
|
impl From<CfgAtom> for CfgExpr {
|
|
fn from(atom: CfgAtom) -> Self {
|
|
CfgExpr::Atom(atom)
|
|
}
|
|
}
|
|
|
|
impl CfgExpr {
|
|
#[cfg(feature = "tt")]
|
|
pub fn parse<S: Copy>(tt: &tt::TopSubtree<S>) -> CfgExpr {
|
|
next_cfg_expr(&mut tt.iter()).unwrap_or(CfgExpr::Invalid)
|
|
}
|
|
|
|
#[cfg(feature = "tt")]
|
|
pub fn parse_from_iter<S: Copy>(tt: &mut tt::iter::TtIter<'_, S>) -> CfgExpr {
|
|
next_cfg_expr(tt).unwrap_or(CfgExpr::Invalid)
|
|
}
|
|
|
|
/// Fold the cfg by querying all basic `Atom` and `KeyValue` predicates.
|
|
pub fn fold(&self, query: &dyn Fn(&CfgAtom) -> bool) -> Option<bool> {
|
|
match self {
|
|
CfgExpr::Invalid => None,
|
|
CfgExpr::Atom(atom) => Some(query(atom)),
|
|
CfgExpr::All(preds) => {
|
|
preds.iter().try_fold(true, |s, pred| Some(s && pred.fold(query)?))
|
|
}
|
|
CfgExpr::Any(preds) => {
|
|
preds.iter().try_fold(false, |s, pred| Some(s || pred.fold(query)?))
|
|
}
|
|
CfgExpr::Not(pred) => pred.fold(query).map(|s| !s),
|
|
}
|
|
}
|
|
}
|
|
|
|
#[cfg(feature = "tt")]
|
|
fn next_cfg_expr<S: Copy>(it: &mut tt::iter::TtIter<'_, S>) -> Option<CfgExpr> {
|
|
use intern::sym;
|
|
use tt::iter::TtElement;
|
|
|
|
let name = match it.next() {
|
|
None => return None,
|
|
Some(TtElement::Leaf(tt::Leaf::Ident(ident))) => ident.sym.clone(),
|
|
Some(_) => return Some(CfgExpr::Invalid),
|
|
};
|
|
|
|
let ret = match it.peek() {
|
|
Some(TtElement::Leaf(tt::Leaf::Punct(punct)))
|
|
// Don't consume on e.g. `=>`.
|
|
if punct.char == '='
|
|
&& (punct.spacing == tt::Spacing::Alone
|
|
|| it.remaining().flat_tokens().get(1).is_none_or(|peek2| {
|
|
!matches!(peek2, tt::TokenTree::Leaf(tt::Leaf::Punct(_)))
|
|
})) =>
|
|
{
|
|
match it.remaining().flat_tokens().get(1) {
|
|
Some(tt::TokenTree::Leaf(tt::Leaf::Literal(literal))) => {
|
|
it.next();
|
|
it.next();
|
|
CfgAtom::KeyValue { key: name, value: literal.symbol.clone() }.into()
|
|
}
|
|
_ => return Some(CfgExpr::Invalid),
|
|
}
|
|
}
|
|
Some(TtElement::Subtree(_, mut sub_it)) => {
|
|
it.next();
|
|
let mut subs = std::iter::from_fn(|| next_cfg_expr(&mut sub_it));
|
|
match name {
|
|
s if s == sym::all => CfgExpr::All(subs.collect()),
|
|
s if s == sym::any => CfgExpr::Any(subs.collect()),
|
|
s if s == sym::not => {
|
|
CfgExpr::Not(Box::new(subs.next().unwrap_or(CfgExpr::Invalid)))
|
|
}
|
|
_ => CfgExpr::Invalid,
|
|
}
|
|
}
|
|
_ => CfgAtom::Flag(name).into(),
|
|
};
|
|
|
|
// Eat comma separator
|
|
if let Some(TtElement::Leaf(tt::Leaf::Punct(punct))) = it.peek()
|
|
&& punct.char == ','
|
|
{
|
|
it.next();
|
|
}
|
|
Some(ret)
|
|
}
|
|
|
|
#[cfg(test)]
|
|
impl arbitrary::Arbitrary<'_> for CfgAtom {
|
|
fn arbitrary(u: &mut arbitrary::Unstructured<'_>) -> arbitrary::Result<Self> {
|
|
if u.arbitrary()? {
|
|
Ok(CfgAtom::Flag(Symbol::intern(<_>::arbitrary(u)?)))
|
|
} else {
|
|
Ok(CfgAtom::KeyValue {
|
|
key: Symbol::intern(<_>::arbitrary(u)?),
|
|
value: Symbol::intern(<_>::arbitrary(u)?),
|
|
})
|
|
}
|
|
}
|
|
}
|