Skip to content

Commit

Permalink
Clarify use of matches_with_opts
Browse files Browse the repository at this point in the history
  • Loading branch information
MarkusPettersson98 committed Mar 15, 2024
1 parent c3aa205 commit 00dca1a
Show file tree
Hide file tree
Showing 2 changed files with 46 additions and 13 deletions.
39 changes: 26 additions & 13 deletions mullvad-relay-selector/src/relay_selector/matcher.rs
Original file line number Diff line number Diff line change
Expand Up @@ -69,17 +69,18 @@ impl<T: EndpointMatcher> RelayMatcher<T> {
.filter(|relay| self.endpoint_matcher.is_matching_relay(relay));

// The last filtering to be done is on the `include_in_country` attribute found on each
// relay. A regular, user-facing relay will have `include_in_country` set to true.
// If a relay has `include_in_country` set to false, they are purposely hidden than
// other relays. We should only consider those if there are no regular candidates left.
let ignore_include_in_country = !shortlist.clone().any(|relay| relay.include_in_country);
shortlist
.filter(|relay| {
self.locations
.matches_with_opts(relay, ignore_include_in_country)
})
.cloned()
.collect()
// relay. When the location constraint is based on country, a relay which has `include_in_country`
// set to true should always be prioritized over relays which has this flag set to false.
// We should only consider relays with `include_in_country` set to false if there are no
// other candidates left.
if !shortlist.clone().any(|relay| relay.include_in_country) {
shortlist.cloned().collect()
} else {
shortlist
.filter(|relay| filter_on_include_in_country(&self.locations, relay))
.cloned()
.collect()
}
}
}

Expand Down Expand Up @@ -211,8 +212,20 @@ pub const fn filter_on_active(relay: &Relay) -> bool {

/// Returns whether `relay` satisfy the location constraint posed by `filter`.
pub fn filter_on_location(filter: &Constraint<ResolvedLocationConstraint>, relay: &Relay) -> bool {
let ignore_include_in_countries = true;
filter.matches_with_opts(relay, ignore_include_in_countries)
filter.matches_with_opts(relay, true)
}

/// Returns whether `relay` has the `include_in_country` flag set to true.
///
/// # Note
/// This filter only applies if the underlying [location constraint][`ResolvedLocationConstraint`]
/// is based on country. I.e., this filter does not have any effect if the underlying constraint
/// is scoped to a specific hostname or city.
pub fn filter_on_include_in_country(
filter: &Constraint<ResolvedLocationConstraint>,
relay: &Relay,
) -> bool {
filter.matches_with_opts(relay, false)
}

/// Returns whether `relay` satisfy the ownership constraint posed by `filter`.
Expand Down
20 changes: 20 additions & 0 deletions mullvad-types/src/relay_constraints.rs
Original file line number Diff line number Diff line change
Expand Up @@ -160,6 +160,16 @@ impl Set<Constraint<ResolvedLocationConstraint>> for Constraint<ResolvedLocation
}

impl Constraint<ResolvedLocationConstraint> {
/// # Note
///
/// The following statements are true iff `self` is based on [country][`GeographicLocationConstraint::Country`].
///
/// * If `ignore_include_in_country` is true, the `include_in_country` property of `relay` is
/// disregarded. The outcome of `matches_with_opts` is only based on the geographical location of `relay`.
///
/// * If `ignore_include_in_country` is false, any [relay][`Relay`] which has the
/// `include_in_country` property set to false will cause `matches_with_opts` to return false
/// regardless of the geographical location of `relay`.
pub fn matches_with_opts(&self, relay: &Relay, ignore_include_in_country: bool) -> bool {
match self {
Constraint::Any => true,
Expand Down Expand Up @@ -347,6 +357,16 @@ impl GeographicLocationConstraint {
GeographicLocationConstraint::Hostname(country.into(), city.into(), hostname.into())
}

/// # Note
///
/// The following statements are true iff `self` is based on [country][`GeographicLocationConstraint::Country`].
///
/// * If `ignore_include_in_country` is true, the `include_in_country` property of `relay` is
/// disregarded. The outcome of `matches_with_opts` is only based on the geographical location of `relay`.
///
/// * If `ignore_include_in_country` is false, any [relay][`Relay`] which has the
/// `include_in_country` property set to false will cause `matches_with_opts` to return false
/// regardless of the geographical location of `relay`.
pub fn matches_with_opts(&self, relay: &Relay, ignore_include_in_country: bool) -> bool {
match self {
GeographicLocationConstraint::Country(ref country) => {
Expand Down

0 comments on commit 00dca1a

Please sign in to comment.