blob: 8cd9e3ddad5efce48db6ec4e7b21e575e76b4066 [file] [log] [blame]
// Copyright 2014 The Bazel Authors. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package com.google.devtools.build.lib.rules.config;
import static com.google.devtools.build.lib.analysis.platform.PlatformInfo.DuplicateConstraintException.formatError;
import com.google.common.annotations.VisibleForTesting;
import com.google.common.base.Joiner;
import com.google.common.base.Preconditions;
import com.google.common.collect.HashMultiset;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableListMultimap;
import com.google.common.collect.ImmutableMap;
import com.google.common.collect.ImmutableMultimap;
import com.google.common.collect.Iterables;
import com.google.common.collect.ListMultimap;
import com.google.common.collect.Lists;
import com.google.common.collect.Maps;
import com.google.common.collect.Multiset;
import com.google.devtools.build.lib.actions.MutableActionGraph.ActionConflictException;
import com.google.devtools.build.lib.analysis.AliasProvider;
import com.google.devtools.build.lib.analysis.ConfiguredTarget;
import com.google.devtools.build.lib.analysis.FileProvider;
import com.google.devtools.build.lib.analysis.FilesToRunProvider;
import com.google.devtools.build.lib.analysis.LicensesProviderImpl;
import com.google.devtools.build.lib.analysis.RuleConfiguredTargetBuilder;
import com.google.devtools.build.lib.analysis.RuleConfiguredTargetFactory;
import com.google.devtools.build.lib.analysis.RuleContext;
import com.google.devtools.build.lib.analysis.RunfilesProvider;
import com.google.devtools.build.lib.analysis.TransitiveInfoCollection;
import com.google.devtools.build.lib.analysis.config.BuildConfigurationOptionDetails;
import com.google.devtools.build.lib.analysis.config.ConfigMatchingProvider;
import com.google.devtools.build.lib.analysis.config.FragmentOptions;
import com.google.devtools.build.lib.analysis.config.FragmentOptions.SelectRestriction;
import com.google.devtools.build.lib.analysis.config.TransitiveOptionDetails;
import com.google.devtools.build.lib.analysis.configuredtargets.RuleConfiguredTarget.Mode;
import com.google.devtools.build.lib.analysis.platform.ConstraintValueInfo;
import com.google.devtools.build.lib.analysis.platform.PlatformInfo;
import com.google.devtools.build.lib.analysis.platform.PlatformProviderUtils;
import com.google.devtools.build.lib.cmdline.Label;
import com.google.devtools.build.lib.cmdline.LabelSyntaxException;
import com.google.devtools.build.lib.cmdline.PackageIdentifier;
import com.google.devtools.build.lib.cmdline.RepositoryName;
import com.google.devtools.build.lib.packages.AttributeMap;
import com.google.devtools.build.lib.packages.BuildType;
import com.google.devtools.build.lib.packages.NonconfigurableAttributeMapper;
import com.google.devtools.build.lib.packages.RuleErrorConsumer;
import com.google.devtools.build.lib.rules.config.ConfigRuleClasses.ConfigSettingRule;
import com.google.devtools.build.lib.syntax.Type;
import com.google.devtools.build.lib.vfs.PathFragment;
import com.google.devtools.common.options.OptionsParser;
import com.google.devtools.common.options.OptionsParsingException;
import java.util.Collection;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Map;
/**
* Implementation for the config_setting rule.
*
* <p>This is a "pseudo-rule" in that its purpose isn't to generate output artifacts
* from input artifacts. Rather, it provides configuration context to rules that
* depend on it.
*/
public class ConfigSetting implements RuleConfiguredTargetFactory {
@Override
public ConfiguredTarget create(RuleContext ruleContext)
throws InterruptedException, RuleErrorException, ActionConflictException {
AttributeMap attributes = NonconfigurableAttributeMapper.of(ruleContext.getRule());
// Get the built-in Blaze flag settings that match this rule.
ImmutableMultimap<String, String> nativeFlagSettings =
ImmutableMultimap.<String, String>builder()
.putAll(attributes.get(ConfigSettingRule.SETTINGS_ATTRIBUTE, Type.STRING_DICT)
.entrySet())
.putAll(attributes.get(ConfigSettingRule.DEFINE_SETTINGS_ATTRIBUTE, Type.STRING_DICT)
.entrySet()
.stream()
.map(in -> Maps.immutableEntry("define", in.getKey() + "=" + in.getValue()))
.collect(ImmutableList.toImmutableList()))
.build();
// Get the user-defined flag settings that match this rule.
Map<Label, String> userDefinedFlagSettings =
NonconfigurableAttributeMapper.of(ruleContext.getRule())
.get(
ConfigSettingRule.FLAG_SETTINGS_ATTRIBUTE,
BuildType.LABEL_KEYED_STRING_DICT);
List<? extends TransitiveInfoCollection> flagValues =
ruleContext.getPrerequisites(
ConfigSettingRule.FLAG_SETTINGS_ATTRIBUTE, Mode.TARGET);
// Get the constraint values that match this rule
Iterable<ConstraintValueInfo> constraintValues =
PlatformProviderUtils.constraintValues(
ruleContext.getPrerequisites(
ConfigSettingRule.CONSTRAINT_VALUES_ATTRIBUTE, Mode.DONT_CHECK));
// Get the target platform
PlatformInfo targetPlatform = ruleContext.getToolchainContext().targetPlatform();
// Check that this config_setting contains at least one of {values, define_values,
// constraint_values}
if (!checkValidConditions(
nativeFlagSettings, userDefinedFlagSettings, constraintValues, ruleContext)) {
return null;
}
boolean nativeFlagsMatch =
matchesConfig(
nativeFlagSettings.entries(),
BuildConfigurationOptionDetails.get(ruleContext.getConfiguration()),
ruleContext);
ConfigFeatureFlagMatch featureFlags =
ConfigFeatureFlagMatch.fromAttributeValueAndPrerequisites(
userDefinedFlagSettings, flagValues, ruleContext);
boolean constraintValuesMatch = targetPlatform.constraints().containsAll(constraintValues);
if (ruleContext.hasErrors()) {
return null;
}
ConfigMatchingProvider configMatcher =
new ConfigMatchingProvider(
ruleContext.getLabel(),
nativeFlagSettings,
featureFlags.getSpecifiedFlagValues(),
nativeFlagsMatch && featureFlags.matches() && constraintValuesMatch);
return new RuleConfiguredTargetBuilder(ruleContext)
.addProvider(RunfilesProvider.class, RunfilesProvider.EMPTY)
.addProvider(FileProvider.class, FileProvider.EMPTY)
.addProvider(FilesToRunProvider.class, FilesToRunProvider.EMPTY)
.addProvider(LicensesProviderImpl.EMPTY)
.addProvider(ConfigMatchingProvider.class, configMatcher)
.build();
}
private boolean checkValidConditions(
ImmutableMultimap<String, String> nativeFlagSettings,
Map<Label, String> userDefinedFlagSettings,
Iterable<ConstraintValueInfo> constraintValues,
RuleErrorConsumer errors) {
if (!valuesAreSet(nativeFlagSettings, userDefinedFlagSettings, constraintValues, errors)) {
return false;
}
// The set of constraint_values in a config_setting should never contain multiple
// constraint_values that map to the same constraint_setting. This method checks if there are
// duplicates and records an error if so.
try {
PlatformInfo.Builder.validateConstraints(constraintValues);
} catch (PlatformInfo.DuplicateConstraintException e) {
errors.ruleError(formatError(e.duplicateConstraints()));
return false;
}
return true;
}
private static RepositoryName getToolsRepository(RuleContext ruleContext) {
try {
return RepositoryName.create(
ruleContext.attributes().get(ConfigSettingRule.TOOLS_REPOSITORY_ATTRIBUTE, Type.STRING));
} catch (LabelSyntaxException ex) {
throw new IllegalStateException(ex);
}
}
/**
* Returns whether the given label falls under the {@code //tools} package (including subpackages)
* of the tools repository.
*/
@VisibleForTesting
static boolean isUnderToolsPackage(Label label, RepositoryName toolsRepository) {
PackageIdentifier packageId = label.getPackageIdentifier();
if (!packageId.getRepository().equals(toolsRepository)) {
return false;
}
try {
return packageId.getPackageFragment().subFragment(0, 1).equals(PathFragment.create("tools"));
} catch (IndexOutOfBoundsException e) {
// Top-level package (//).
return false;
}
}
/**
* User error when value settings can't be properly parsed.
*/
private static final String PARSE_ERROR_MESSAGE = "error while parsing configuration settings: ";
/**
* Check to make sure this config_setting contains and sets least one of {values, define_values,
* flag_value or constraint_values}.
*/
private boolean valuesAreSet(
ImmutableMultimap<String, String> nativeFlagSettings,
Map<Label, String> userDefinedFlagSettings,
Iterable<ConstraintValueInfo> constraintValues,
RuleErrorConsumer errors) {
if (nativeFlagSettings.isEmpty()
&& userDefinedFlagSettings.isEmpty()
&& Iterables.isEmpty(constraintValues)) {
errors.ruleError(
String.format(
"Either %s, %s or %s must be specified and non-empty",
ConfigSettingRule.SETTINGS_ATTRIBUTE,
ConfigSettingRule.FLAG_SETTINGS_ATTRIBUTE,
ConfigSettingRule.CONSTRAINT_VALUES_ATTRIBUTE));
return false;
}
return true;
}
/**
* Given a list of [flagName, flagValue] pairs for native Blaze flags, returns true if flagName ==
* flagValue for every item in the list under this configuration, false otherwise.
*/
private static boolean matchesConfig(
Collection<Map.Entry<String, String>> expectedSettings,
TransitiveOptionDetails options,
RuleContext ruleContext) {
// Rather than returning fast when we find a mismatch, continue looking at the other flags
// to check they're indeed valid flag specifications.
boolean foundMismatch = false;
// Flags that appear multiple times are known as "multi-value options". Each time the options
// parser parses one of their values it adds it to an existing list. In those cases we need to
// make sure to examine only the value we just parsed: not the entire list.
Multiset<String> optionsCount = HashMultiset.create();
for (Map.Entry<String, String> setting : expectedSettings) {
String optionName = setting.getKey();
String expectedRawValue = setting.getValue();
int previousOptionCount = optionsCount.add(optionName, 1);
Class<? extends FragmentOptions> optionClass = options.getOptionClass(optionName);
if (optionClass == null) {
ruleContext.attributeError(
ConfigSettingRule.SETTINGS_ATTRIBUTE,
String.format(PARSE_ERROR_MESSAGE + "unknown option: '%s'", optionName));
foundMismatch = true;
continue;
}
SelectRestriction selectRestriction = options.getSelectRestriction(optionName);
if (selectRestriction != null) {
boolean underToolsPackage =
isUnderToolsPackage(ruleContext.getRule().getLabel(), getToolsRepository(ruleContext));
if (!(selectRestriction.isVisibleWithinToolsPackage() && underToolsPackage)) {
String errorMessage =
String.format("option '%s' cannot be used in a config_setting", optionName);
if (selectRestriction.isVisibleWithinToolsPackage()) {
errorMessage +=
String.format(
" (it is whitelisted to %s//tools/... only)",
getToolsRepository(ruleContext).getDefaultCanonicalForm());
}
if (selectRestriction.getErrorMessage() != null) {
errorMessage += ". " + selectRestriction.getErrorMessage();
}
ruleContext.attributeError(ConfigSettingRule.SETTINGS_ATTRIBUTE, errorMessage);
foundMismatch = true;
continue;
}
}
OptionsParser parser;
try {
parser = OptionsParser.newOptionsParser(optionClass);
parser.parse("--" + optionName + "=" + expectedRawValue);
} catch (OptionsParsingException ex) {
ruleContext.attributeError(
ConfigSettingRule.SETTINGS_ATTRIBUTE, PARSE_ERROR_MESSAGE + ex.getMessage());
foundMismatch = true;
continue;
}
Object expectedParsedValue = parser.getOptions(optionClass).asMap().get(optionName);
if (previousOptionCount > 0) {
// We've seen this option before, so it's a multi-value option with multiple entries.
int listLength = ((List<?>) expectedParsedValue).size();
expectedParsedValue = ((List<?>) expectedParsedValue).subList(listLength - 1, listLength);
}
if (!optionMatches(options, optionName, expectedParsedValue)) {
foundMismatch = true;
}
}
return !foundMismatch;
}
/**
* For single-value options, returns true iff the option's value matches the expected value.
*
* <p>For multi-value List options, returns true iff any of the option's values matches the
* expected value. This means, e.g. "--tool_tag=foo --tool_tag=bar" would match the expected
* condition { 'tool_tag': 'bar' }.
*
* <p>For multi-value Map options, returns true iff the last instance with the same key as the
* expected key has the same value. This means, e.g. "--define foo=1 --define bar=2" would match {
* 'define': 'foo=1' }, but "--define foo=1 --define bar=2 --define foo=3" would not match. Note
* that the definition of --define states that the last instance takes precedence.
*/
private static boolean optionMatches(
TransitiveOptionDetails options, String optionName, Object expectedValue) {
Object actualValue = options.getOptionValue(optionName);
if (actualValue == null) {
return expectedValue == null;
// Single-value case:
} else if (!options.allowsMultipleValues(optionName)) {
return actualValue.equals(expectedValue);
}
// Multi-value case:
Preconditions.checkState(actualValue instanceof List);
Preconditions.checkState(expectedValue instanceof List);
List<?> actualList = (List<?>) actualValue;
List<?> expectedList = (List<?>) expectedValue;
if (actualList.isEmpty() || expectedList.isEmpty()) {
return actualList.isEmpty() && expectedList.isEmpty();
}
// We're expecting a single value of a multi-value type: the options parser still embeds
// that single value within a List container. Retrieve it here.
Object expectedSingleValue = Iterables.getOnlyElement(expectedList);
// Multi-value map:
if (actualList.get(0) instanceof Map.Entry) {
Map.Entry<?, ?> expectedEntry = (Map.Entry<?, ?>) expectedSingleValue;
for (Map.Entry<?, ?> actualEntry : Lists.reverse((List<Map.Entry<?, ?>>) actualList)) {
if (actualEntry.getKey().equals(expectedEntry.getKey())) {
// Found a key match!
return actualEntry.getValue().equals(expectedEntry.getValue());
}
}
return false; // Never found any matching key.
}
// Multi-value list:
return actualList.contains(expectedSingleValue);
}
private static final class ConfigFeatureFlagMatch {
private final boolean matches;
private final ImmutableMap<Label, String> specifiedFlagValues;
private static final Joiner QUOTED_COMMA_JOINER = Joiner.on("', '");
private ConfigFeatureFlagMatch(
boolean matches, ImmutableMap<Label, String> specifiedFlagValues) {
this.matches = matches;
this.specifiedFlagValues = specifiedFlagValues;
}
/** Returns whether the specified flag values matched the actual flag values. */
public boolean matches() {
return matches;
}
/** Gets the specified flag values, with aliases converted to their original targets' labels. */
public ImmutableMap<Label, String> getSpecifiedFlagValues() {
return specifiedFlagValues;
}
/** Groups aliases in the list of prerequisites by the target they point to. */
private static ListMultimap<Label, Label> collectAliases(
Iterable<? extends TransitiveInfoCollection> prerequisites) {
ImmutableListMultimap.Builder<Label, Label> targetsToAliases =
new ImmutableListMultimap.Builder<>();
for (TransitiveInfoCollection target : prerequisites) {
targetsToAliases.put(target.getLabel(), AliasProvider.getDependencyLabel(target));
}
return targetsToAliases.build();
}
public static ConfigFeatureFlagMatch fromAttributeValueAndPrerequisites(
Map<Label, String> attributeValue,
Iterable<? extends TransitiveInfoCollection> prerequisites,
RuleErrorConsumer errors) {
Map<Label, String> specifiedFlagValues = new LinkedHashMap<>();
boolean matches = true;
boolean foundDuplicate = false;
for (TransitiveInfoCollection target : prerequisites) {
ConfigFeatureFlagProvider provider = ConfigFeatureFlagProvider.fromTarget(target);
// We know the provider exists because only labels with ConfigFeatureFlagProvider can be
// added to this attribute.
assert provider != null;
Label actualLabel = target.getLabel();
Label specifiedLabel = AliasProvider.getDependencyLabel(target);
String specifiedValue = attributeValue.get(specifiedLabel);
if (specifiedFlagValues.containsKey(actualLabel)) {
foundDuplicate = true;
}
specifiedFlagValues.put(actualLabel, specifiedValue);
if (!provider.isValidValue(specifiedValue)) {
errors.attributeError(
ConfigSettingRule.FLAG_SETTINGS_ATTRIBUTE,
String.format(
"error while parsing user-defined configuration values: "
+ "'%s' is not a valid value for '%s'",
specifiedValue, specifiedLabel));
matches = false;
continue;
}
if (!provider.getFlagValue().equals(specifiedValue)) {
matches = false;
}
}
// attributeValue is the source of the prerequisites in prerequisites, so the final map built
// from iterating over prerequisites should always be the same size, barring duplicates.
assert foundDuplicate || attributeValue.size() == specifiedFlagValues.size();
if (foundDuplicate) {
ListMultimap<Label, Label> aliases = collectAliases(prerequisites);
for (Label actualLabel : aliases.keySet()) {
List<Label> aliasList = aliases.get(actualLabel);
if (aliasList.size() > 1) {
errors.attributeError(
ConfigSettingRule.FLAG_SETTINGS_ATTRIBUTE,
String.format(
"flag '%s' referenced multiple times as ['%s']",
actualLabel, QUOTED_COMMA_JOINER.join(aliasList)));
}
}
matches = false;
}
return new ConfigFeatureFlagMatch(matches, ImmutableMap.copyOf(specifiedFlagValues));
}
}
}