src/main/java/com/google/devtools/build/lib/packages/StarlarkProvider.java - bazel - Git at Google

 // Copyright 2016 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.packages;

 import static com.google.common.base.Preconditions.checkArgument;
 import static com.google.common.base.Preconditions.checkNotNull;
 import static com.google.devtools.build.lib.bugreport.BugReport.sendNonFatalBugReport;
 import static com.google.devtools.build.lib.skyframe.BzlLoadValue.keyForBuild;
 import static com.google.devtools.build.lib.skyframe.BzlLoadValue.keyForBuiltins;
 import static com.google.devtools.build.lib.skyframe.StarlarkBuiltinsValue.isBuiltinsRepo;
 import static com.google.devtools.build.lib.util.HashCodes.hashObjects;
 import static com.google.devtools.build.lib.util.TestType.isInTest;

 import com.google.common.base.Preconditions;
 import com.google.common.collect.ImmutableList;
 import com.google.common.collect.ImmutableMap;
 import com.google.devtools.build.lib.cmdline.Label;
 import com.google.devtools.build.lib.collect.nestedset.Depset;
 import com.google.devtools.build.lib.collect.nestedset.NestedSet;
 import com.google.devtools.build.lib.events.EventHandler;
 import com.google.devtools.build.lib.skyframe.BzlLoadValue;
 import com.google.devtools.build.lib.util.Fingerprint;
 import com.google.errorprone.annotations.CanIgnoreReturnValue;
 import java.util.Collection;
 import java.util.Map;
 import java.util.Objects;
 import java.util.Optional;
 import java.util.concurrent.atomic.AtomicReferenceArray;
 import javax.annotation.Nullable;
 import net.starlark.java.eval.Dict;
 import net.starlark.java.eval.EvalException;
 import net.starlark.java.eval.Printer;
 import net.starlark.java.eval.Starlark;
 import net.starlark.java.eval.StarlarkCallable;
 import net.starlark.java.eval.StarlarkThread;
 import net.starlark.java.eval.SymbolGenerator;
 import net.starlark.java.syntax.Location;

 /**
  * A provider defined in Starlark rather than in native code.
  *
  * <p>This is a result of calling the {@code provider()} function from Starlark ({@link
  * com.google.devtools.build.lib.analysis.starlark.StarlarkRuleClassFunctions#provider}).
  *
  * <p>{@code StarlarkProvider}s may be either schemaless or schemaful. Instances of schemaless
  * providers can have any set of fields on them, whereas instances of schemaful providers may have
  * only the fields that are named in the schema.
  *
  * <p>{@code StarlarkProvider} may have a custom initializer callback, which might perform
  * preprocessing or validation of field values. This callback (if defined) is automatically invoked
  * when the provider is called. To create instances of the provider without calling the initializer
  * callback, use the callable returned by {@code StarlarkProvider#createRawConstructor}.
  *
  * <p>Exporting a {@code StarlarkProvider} creates a key that is used to uniquely identify it.
  * Usually a provider is exported by calling {@link #export}, but a test may wish to just create a
  * pre-exported provider directly. Exported providers use only their key for {@link #equals} and
  * {@link #hashCode}.
  */
 public final class StarlarkProvider implements StarlarkCallable, StarlarkExportable, Provider {

   private final Location location;

   @Nullable private final String documentation;

   // For schemaful providers, the sorted list of allowed field names.
   // The requirement for sortedness comes from StarlarkInfoWithSchema and lets us bisect the fields.
   @Nullable private final ImmutableList<String> fields;

   // For schemaful providers, an optional map from field names to documentation strings (if any). In
   // accordance with the provider() Starlark API, either all schema fields have documentation
   // strings (possibly empty strings), or none do. The iteration order is the order of fields in the
   // provider() invocation in Starlark - thus, *not* the order of the `fields` list above.
   @Nullable private final ImmutableMap<String, Optional<String>> schema;

   // Optional custom initializer callback. If present, it is invoked with the same positional and
   // keyword arguments as were passed to the provider constructor. The return value must be a
   // Starlark dict mapping field names (string keys) to their values.
   @Nullable private final StarlarkCallable init;

   /**
    * An identifier for this provider.
    *
    * <p>This is a {@link Key} if exported and a {@link SymbolGenerator.Symbol} otherwise.
    *
    * <p>Mutated by {@link #export}.
    */
   private Object keyOrIdentityToken;

   /**
    * For schemaful providers, an array of metadata concerning depset optimization.
    *
    * <p>Each index in the array holds an optional (nullable) depset element type. The value at that
    * index is initialized to be the element type of the first non-empty Depset to ever be stored in
    * the corresponding field from {@link #schema} on any instance of this provider, globally. If no
    * depsets (or only empty depsets) are ever stored in a field, the value at its index in this
    * array will remain null.
    *
    * <p>Whenever a field is stored in an instance of this provider type, if the value is a depset
    * whose element type matches the one stored in this array, it is optimized by unwrapping it down
    * to its {@code NestedSet}. Upon retrieval, the depset wrapper is reconstructed using this saved
    * element type.
    *
    * <p>The optimization may (harmlessly) fail to apply for provider fields that are not strongly
    * typed across all instances.
    *
    * <p>For large builds, this optimization has been observed to save half a percent in retained
    * heap.
    *
    * <p>In the future, the ad hoc heuristic of examining the first stored non-empty depset might be
    * replaced by stronger type information in the provider's Starlark declaration. However, this
    * optimization would remain relevant for provider declarations that do not supply such type info.
    */
   @Nullable private AtomicReferenceArray<Class<?>> depsetTypePredictor;

   /**
    * Returns a new empty builder.
    *
    * <p>By default (unless {@link Builder#setExported} is called), the builder will build a provider
    * which is unexported and would need to be exported later via {@link #export}.
    *
    * <p>By default (unless {@link Builder#setSchema} is called), the builder will build a provider
    * which is schemaless.
    *
    * @param location the location of the Starlark definition for this provider (tests may use {@link
    *     Location#BUILTIN})
    */
   public static Builder builder(Location location) {
     return new Builder(location);
   }

   /** A builder which may be used to construct a StarlarkProvider. */
   public static final class Builder {
     private final Location location;

     @Nullable private String documentation;

     @Nullable private ImmutableMap<String, Optional<String>> schema;

     @Nullable private StarlarkCallable init;

     private Builder(Location location) {
       this.location = location;
     }

     /**
      * Sets the list of allowed fields for the provider built by this builder, and marks the fields'
      * documentation as empty.
      */
     @CanIgnoreReturnValue
     public Builder setSchema(Collection<String> fields) {
       ImmutableMap.Builder<String, Optional<String>> builder = ImmutableMap.builder();
       for (String field : fields) {
         builder.put(field, Optional.empty());
       }
       this.schema = builder.buildOrThrow();
       return this;
     }

     /**
      * Sets the list of allowed field names and their corresponding documentation strings for the
      * provider built by this builder.
      */
     @CanIgnoreReturnValue
     public Builder setSchema(Map<String, String> schemaWithDocumentation) {
       ImmutableMap.Builder<String, Optional<String>> builder = ImmutableMap.builder();
       for (Map.Entry<String, String> entry : schemaWithDocumentation.entrySet()) {
         builder.put(entry.getKey(), Optional.of(entry.getValue()));
       }
       this.schema = builder.buildOrThrow();
       return this;
     }

     /** Sets the documentation string for the provider built by this builder. */
     @CanIgnoreReturnValue
     public Builder setDocumentation(String documentation) {
       this.documentation = documentation;
       return this;
     }

     /**
      * Sets the custom initializer callback for the provider built by this builder.
      *
      * <p>The initializer callback will be automatically invoked when the provider is called. To
      * bypass the custom initializer callback, use the callable returned by {@link
      * StarlarkProvider#createRawConstructor}.
      *
      * @param init A callback that accepts the arguments passed to the provider constructor, and
      *     which returns a dict mapping field names to their values. The resulting provider instance
      *     is created as though the dict were passed as **kwargs to the raw constructor. In
      *     particular, for a schemaful provider, the dict may not contain keys not listed in the
      *     schema.
      */
     @CanIgnoreReturnValue
     public Builder setInit(StarlarkCallable init) {
       this.init = init;
       return this;
     }

     /** Builds an exported StarlarkProvider. */
     public StarlarkProvider buildExported(Key key) {
       return new StarlarkProvider(location, documentation, schema, init, key);
     }

     /** Builds a unexported StarlarkProvider. */
     public StarlarkProvider buildWithIdentityToken(SymbolGenerator.Symbol<?> identityToken) {
       return new StarlarkProvider(location, documentation, schema, init, identityToken);
     }
   }

   /**
    * Constructs the provider.
    *
    * <p>If {@code schema} is null, the provider is schemaless. If {@code init} is null, no custom
    * initializer callback will be used (i.e., calling the provider is the same as simply calling the
    * raw constructor). If {@code key} is null, the provider is unexported.
    */
   private StarlarkProvider(
       Location location,
       @Nullable String documentation,
       @Nullable ImmutableMap<String, Optional<String>> schema,
       @Nullable StarlarkCallable init,
       Object keyOrIdentityToken) {
     this.location = location;
     this.documentation = documentation;
     this.fields = schema != null ? ImmutableList.sortedCopyOf(schema.keySet()) : null;
     this.schema = schema;
     this.init = init;
     this.keyOrIdentityToken = keyOrIdentityToken;
     if (schema != null) {
       depsetTypePredictor = new AtomicReferenceArray<>(schema.size());
     }
   }

   private static Object[] toNamedArgs(Object value, String descriptionForError)
       throws EvalException {
     Dict<String, Object> kwargs = Dict.cast(value, String.class, Object.class, descriptionForError);
     Object[] named = new Object[2 * kwargs.size()];
     int i = 0;
     for (Map.Entry<String, Object> e : kwargs.entrySet()) {
       named[i++] = e.getKey();
       named[i++] = e.getValue();
     }
     return named;
   }

   @Override
   public Object fastcall(StarlarkThread thread, Object[] positional, Object[] named)
       throws InterruptedException, EvalException {
     if (init == null) {
       return fastcallRawConstructor(thread, positional, named);
     }

     Object initResult = Starlark.fastcall(thread, init, positional, named);
     // The code-path for providers with schema could be optimised to skip the call to toNamedArgs.
     // As it is, we copy the map to an alternating key-value Object array, and then extract just
     // the values into another array.
     return createFromNamedArgs(
         toNamedArgs(initResult, "return value of provider init()"), thread.getCallerLocation());
   }

   private Object fastcallRawConstructor(StarlarkThread thread, Object[] positional, Object[] named)
       throws EvalException {
     if (positional.length > 0) {
       throw Starlark.errorf("%s: unexpected positional arguments", getName());
     }
     return createFromNamedArgs(named, thread.getCallerLocation());
   }

   private StarlarkInfo createFromNamedArgs(Object[] named, Location loc) throws EvalException {
     return schema != null
         ? StarlarkInfoWithSchema.createFromNamedArgs(this, named, loc)
         : StarlarkInfoNoSchema.createFromNamedArgs(this, named, loc);
   }

   private static final class RawConstructor implements StarlarkCallable {
     private final StarlarkProvider provider;

     private RawConstructor(StarlarkProvider provider) {
       this.provider = provider;
     }

     @Override
     public Object fastcall(StarlarkThread thread, Object[] positional, Object[] named)
         throws EvalException {
       return provider.fastcallRawConstructor(thread, positional, named);
     }

     @Override
     public String getName() {
       StringBuilder name = new StringBuilder("<raw constructor");
       if (provider.isExported()) {
         name.append(" for ").append(provider.getName());
       }
       name.append(">");
       return name.toString();
     }

     @Override
     public Location getLocation() {
       return provider.location;
     }
   }

   public StarlarkCallable createRawConstructor() {
     return new RawConstructor(this);
   }

   /**
    * Returns the provider's custom initializer callback, or null if the provider doesn't have one.
    */
   @Nullable
   public StarlarkCallable getInit() {
     return init;
   }

   @Override
   public Location getLocation() {
     return location;
   }

   /**
    * Returns the value of the doc parameter passed to {@code provider()} in Starlark, or an empty
    * Optional if a doc parameter was not provided.
    */
   public Optional<String> getDocumentation() {
     return Optional.ofNullable(documentation);
   }

   @Override
   public boolean isExported() {
     return keyOrIdentityToken instanceof Key;
   }

   @Override
   public Key getKey() {
     Preconditions.checkState(isExported());
     return (Key) keyOrIdentityToken;
   }

   @Override
   public String getName() {
     if (keyOrIdentityToken instanceof Key key) {
       return key.getExportedName();
     }
     return "<no name>";
   }

   @Override
   public String getPrintableName() {
     return getName();
   }

   /**
    * Returns the sorted list of fields allowed by this provider, or null if the provider is
    * schemaless.
    */
   @Nullable
   public ImmutableList<String> getFields() {
     return fields;
   }

   /**
    * Returns the map of fields allowed by this provider mapping to their corresponding documentation
    * strings (if any), or null if this provider is schemaless.
    *
    * <p>The returned map's iteration order matches the order of fields in the {@code provider()}
    * invocation in Starlark - thus, different from the order of fields in {@link #getFields}.
    */
   @Nullable
   public ImmutableMap<String, Optional<String>> getSchema() {
     return schema;
   }

   @Override
   public String getErrorMessageForUnknownField(String name) {
     return String.format(
         "'%s' value has no field or method '%s'", isExported() ? getName() : "struct", name);
   }

   @Override
   public void export(EventHandler handler, Label extensionLabel, String exportedName) {
     Preconditions.checkState(!isExported());
     SymbolGenerator.Symbol<?> identifier = (SymbolGenerator.Symbol<?>) keyOrIdentityToken;
     if (identifier.getOwner() instanceof BzlLoadValue.Key bzlKey) {
       // In production code, StarlarkProviders are created only when loading .bzl files so the owner
       // of the Symbol should be a BzlLoadValue.Key.
       checkArgument(
           extensionLabel.equals(bzlKey.getLabel()),
           "export extensionLabel=%s, but owner=%s",
           extensionLabel,
           bzlKey);
       this.keyOrIdentityToken = new Key(bzlKey, exportedName);
     } else {
       // In tests, the symbol may be arbitrary.
       if (!isInTest()) {
         sendNonFatalBugReport(
             new IllegalStateException(
                 String.format(
                     "exporting StarlarkProvider defined at %s as %s:%s but thread owner=%s was not"
                         + " a BzlLoadValue.Key",
                     location, extensionLabel, exportedName, identifier.getOwner())));
       }
       this.keyOrIdentityToken =
           new Key(
               isBuiltinsRepo(extensionLabel.getRepository())
                   ? keyForBuiltins(extensionLabel)
                   : keyForBuild(extensionLabel),
               exportedName);
     }
   }

   @Override
   public int hashCode() {
     return keyOrIdentityToken.hashCode();
   }

   @Override
   public boolean equals(@Nullable Object otherObject) {
     if (this == otherObject) {
       return true;
     }
     if (otherObject instanceof StarlarkProvider that) {
       return this.keyOrIdentityToken.equals(that.keyOrIdentityToken);
     }
     return false;
   }

   @Override
   public boolean isImmutable() {
     // Hash code for non exported constructors may be changed
     return isExported();
   }

   @Override
   public void repr(Printer printer) {
     printer.append("<provider>");
   }

   @Override
   public String toString() {
     return Starlark.repr(this);
   }

   /**
    * For schemaful providers, given a value to store in the field identified by {@code index},
    * returns a possibly optimized version of the value. The result (optimized or not) should be
    * decoded by {@link #retrieveOptimizedField}.
    *
    * <p>Mutable values are never optimized.
    */
   Object optimizeField(int index, Object value) {
     if (value instanceof Depset) {
       Preconditions.checkArgument(depsetTypePredictor != null);
       Depset depset = (Depset) value;
       if (depset.isEmpty()) {
         // Most empty depsets have the empty (null) type. We can't store this type because it
         // would clash with whatever the actual element type is for non-empty depsets in that
         // field. So instead just store the optimized (unwrapped) NestedSet without any type
         // information, and assume it's the empty type upon retrieval.
         //
         // This only loses information in the relatively rare case of a native-constructed empty
         // depset with a type restriction (e.g. empty set of artifacts). In that scenario, an
         // empty depset retrieved from the provider may "incorrectly" allow itself to participate
         // in a union with depsets of other types, whereas the original depset would trigger a
         // Starlark eval error. This is a user-observable difference but a very minor one; the
         // hazard would be logical errors that are masked by the provider machinery but triggered
         // by a refactoring of Starlark code. See TODO in Depset#of(Class, NestedSet) for notes
         // about eliminating this semantic confusion.
         //
         // This problem shouldn't arise for non-empty depsets since distinct non-empty element
         // types are not compatible with one another (i.e. there's no Depset<Any> schema).
         return depset.getSet();
       }
       Class<?> elementClass = depset.getElementClass();
       if (depsetTypePredictor.compareAndExchange(index, null, elementClass) == elementClass) {
         return depset.getSet();
       }
     }
     return value;
   }

   Object retrieveOptimizedField(int index, Object value) {
     if (value instanceof NestedSet<?>) {
       // We subvert Depset.of()'s static type checking for consistency between the type token and
       // NestedSet type. This is safe because these values came from a previous Depset, so we
       // already know they're consistent.
       @SuppressWarnings("unchecked")
       NestedSet<Object> nestedSet = (NestedSet<Object>) value;
       if (nestedSet.isEmpty()) {
         // This matches empty depsets created in Starlark with `depset()`.
         return Depset.of(Object.class, nestedSet);
       }
       @SuppressWarnings("unchecked") // can't parametrize Class literal by a non-raw type
       Depset depset = Depset.of((Class<Object>) depsetTypePredictor.get(index), nestedSet);
       return depset;
     }
     return value;
   }

   boolean isOptimised(int index, Object value) {
     return value instanceof NestedSet<?>;
   }

   Object getKeyOrIdentityToken() {
     return keyOrIdentityToken;
   }

   /**
    * A serializable representation of Starlark-defined {@link StarlarkProvider} that uniquely
    * identifies all {@link StarlarkProvider}s that are exposed to SkyFrame.
    */
   // TODO: b/335901349 - this is identical to SymbolGenerator.GlobalSymbol<BzlLoadValue.Key> and
   // serves essentially the same purpose. Consider unifying these types.
   public static class Key extends Provider.Key {
     private final BzlLoadValue.Key key;
     private final String exportedName;

     public Key(BzlLoadValue.Key key, String exportedName) {
       this.key = checkNotNull(key);
       this.exportedName = checkNotNull(exportedName);
     }

     public Label getExtensionLabel() {
       return key.getLabel();
     }

     public final String getExportedName() {
       return exportedName;
     }

     @Override
     public int hashCode() {
       return hashObjects(key, exportedName);
     }

     @Override
     public boolean equals(Object obj) {
       if (this == obj) {
         return true;
       }

       if (!(obj instanceof Key)) {
         return false;
       }
       Key other = (Key) obj;
       return Objects.equals(this.key, other.key)
           && Objects.equals(this.exportedName, other.exportedName);
     }

     @Override
     final void fingerprint(Fingerprint fp) {
       // False => Not native.
       fp.addBoolean(false);
       fp.addString(getExtensionLabel().getCanonicalForm());
       fp.addString(getExportedName());
     }

     @Override
     public String toString() {
       return exportedName;
     }
   }
 }
	// Copyright 2016 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.packages;

	import static com.google.common.base.Preconditions.checkArgument;
	import static com.google.common.base.Preconditions.checkNotNull;
	import static com.google.devtools.build.lib.bugreport.BugReport.sendNonFatalBugReport;
	import static com.google.devtools.build.lib.skyframe.BzlLoadValue.keyForBuild;
	import static com.google.devtools.build.lib.skyframe.BzlLoadValue.keyForBuiltins;
	import static com.google.devtools.build.lib.skyframe.StarlarkBuiltinsValue.isBuiltinsRepo;
	import static com.google.devtools.build.lib.util.HashCodes.hashObjects;
	import static com.google.devtools.build.lib.util.TestType.isInTest;

	import com.google.common.base.Preconditions;
	import com.google.common.collect.ImmutableList;
	import com.google.common.collect.ImmutableMap;
	import com.google.devtools.build.lib.cmdline.Label;
	import com.google.devtools.build.lib.collect.nestedset.Depset;
	import com.google.devtools.build.lib.collect.nestedset.NestedSet;
	import com.google.devtools.build.lib.events.EventHandler;
	import com.google.devtools.build.lib.skyframe.BzlLoadValue;
	import com.google.devtools.build.lib.util.Fingerprint;
	import com.google.errorprone.annotations.CanIgnoreReturnValue;
	import java.util.Collection;
	import java.util.Map;
	import java.util.Objects;
	import java.util.Optional;
	import java.util.concurrent.atomic.AtomicReferenceArray;
	import javax.annotation.Nullable;
	import net.starlark.java.eval.Dict;
	import net.starlark.java.eval.EvalException;
	import net.starlark.java.eval.Printer;
	import net.starlark.java.eval.Starlark;
	import net.starlark.java.eval.StarlarkCallable;
	import net.starlark.java.eval.StarlarkThread;
	import net.starlark.java.eval.SymbolGenerator;
	import net.starlark.java.syntax.Location;

	/**
	* A provider defined in Starlark rather than in native code.
	*
	* <p>This is a result of calling the {@code provider()} function from Starlark ({@link
	* com.google.devtools.build.lib.analysis.starlark.StarlarkRuleClassFunctions#provider}).
	*
	* <p>{@code StarlarkProvider}s may be either schemaless or schemaful. Instances of schemaless
	* providers can have any set of fields on them, whereas instances of schemaful providers may have
	* only the fields that are named in the schema.
	*
	* <p>{@code StarlarkProvider} may have a custom initializer callback, which might perform
	* preprocessing or validation of field values. This callback (if defined) is automatically invoked
	* when the provider is called. To create instances of the provider without calling the initializer
	* callback, use the callable returned by {@code StarlarkProvider#createRawConstructor}.
	*
	* <p>Exporting a {@code StarlarkProvider} creates a key that is used to uniquely identify it.
	* Usually a provider is exported by calling {@link #export}, but a test may wish to just create a
	* pre-exported provider directly. Exported providers use only their key for {@link #equals} and
	* {@link #hashCode}.
	*/
	public final class StarlarkProvider implements StarlarkCallable, StarlarkExportable, Provider {

	private final Location location;

	@Nullable private final String documentation;

	// For schemaful providers, the sorted list of allowed field names.
	// The requirement for sortedness comes from StarlarkInfoWithSchema and lets us bisect the fields.
	@Nullable private final ImmutableList<String> fields;

	// For schemaful providers, an optional map from field names to documentation strings (if any). In
	// accordance with the provider() Starlark API, either all schema fields have documentation
	// strings (possibly empty strings), or none do. The iteration order is the order of fields in the
	// provider() invocation in Starlark - thus, not the order of the `fields` list above.
	@Nullable private final ImmutableMap<String, Optional<String>> schema;

	// Optional custom initializer callback. If present, it is invoked with the same positional and
	// keyword arguments as were passed to the provider constructor. The return value must be a
	// Starlark dict mapping field names (string keys) to their values.
	@Nullable private final StarlarkCallable init;

	/**
	* An identifier for this provider.
	*
	* <p>This is a {@link Key} if exported and a {@link SymbolGenerator.Symbol} otherwise.
	*
	* <p>Mutated by {@link #export}.
	*/
	private Object keyOrIdentityToken;

	/**
	* For schemaful providers, an array of metadata concerning depset optimization.
	*
	* <p>Each index in the array holds an optional (nullable) depset element type. The value at that
	* index is initialized to be the element type of the first non-empty Depset to ever be stored in
	* the corresponding field from {@link #schema} on any instance of this provider, globally. If no
	* depsets (or only empty depsets) are ever stored in a field, the value at its index in this
	* array will remain null.
	*
	* <p>Whenever a field is stored in an instance of this provider type, if the value is a depset
	* whose element type matches the one stored in this array, it is optimized by unwrapping it down
	* to its {@code NestedSet}. Upon retrieval, the depset wrapper is reconstructed using this saved
	* element type.
	*
	* <p>The optimization may (harmlessly) fail to apply for provider fields that are not strongly
	* typed across all instances.
	*
	* <p>For large builds, this optimization has been observed to save half a percent in retained
	* heap.
	*
	* <p>In the future, the ad hoc heuristic of examining the first stored non-empty depset might be
	* replaced by stronger type information in the provider's Starlark declaration. However, this
	* optimization would remain relevant for provider declarations that do not supply such type info.
	*/
	@Nullable private AtomicReferenceArray<Class<?>> depsetTypePredictor;

	/**
	* Returns a new empty builder.
	*
	* <p>By default (unless {@link Builder#setExported} is called), the builder will build a provider
	* which is unexported and would need to be exported later via {@link #export}.
	*
	* <p>By default (unless {@link Builder#setSchema} is called), the builder will build a provider
	* which is schemaless.
	*
	* @param location the location of the Starlark definition for this provider (tests may use {@link
	* Location#BUILTIN})
	*/
	public static Builder builder(Location location) {
	return new Builder(location);
	}

	/** A builder which may be used to construct a StarlarkProvider. */
	public static final class Builder {
	private final Location location;

	@Nullable private String documentation;

	@Nullable private ImmutableMap<String, Optional<String>> schema;

	@Nullable private StarlarkCallable init;

	private Builder(Location location) {
	this.location = location;
	}

	/**
	* Sets the list of allowed fields for the provider built by this builder, and marks the fields'
	* documentation as empty.
	*/
	@CanIgnoreReturnValue
	public Builder setSchema(Collection<String> fields) {
	ImmutableMap.Builder<String, Optional<String>> builder = ImmutableMap.builder();
	for (String field : fields) {
	builder.put(field, Optional.empty());
	}
	this.schema = builder.buildOrThrow();
	return this;
	}

	/**
	* Sets the list of allowed field names and their corresponding documentation strings for the
	* provider built by this builder.
	*/
	@CanIgnoreReturnValue
	public Builder setSchema(Map<String, String> schemaWithDocumentation) {
	ImmutableMap.Builder<String, Optional<String>> builder = ImmutableMap.builder();
	for (Map.Entry<String, String> entry : schemaWithDocumentation.entrySet()) {
	builder.put(entry.getKey(), Optional.of(entry.getValue()));
	}
	this.schema = builder.buildOrThrow();
	return this;
	}

	/** Sets the documentation string for the provider built by this builder. */
	@CanIgnoreReturnValue
	public Builder setDocumentation(String documentation) {
	this.documentation = documentation;
	return this;
	}

	/**
	* Sets the custom initializer callback for the provider built by this builder.
	*
	* <p>The initializer callback will be automatically invoked when the provider is called. To
	* bypass the custom initializer callback, use the callable returned by {@link
	* StarlarkProvider#createRawConstructor}.
	*
	* @param init A callback that accepts the arguments passed to the provider constructor, and
	* which returns a dict mapping field names to their values. The resulting provider instance
	* is created as though the dict were passed as **kwargs to the raw constructor. In
	* particular, for a schemaful provider, the dict may not contain keys not listed in the
	* schema.
	*/
	@CanIgnoreReturnValue
	public Builder setInit(StarlarkCallable init) {
	this.init = init;
	return this;
	}

	/** Builds an exported StarlarkProvider. */
	public StarlarkProvider buildExported(Key key) {
	return new StarlarkProvider(location, documentation, schema, init, key);
	}

	/** Builds a unexported StarlarkProvider. */
	public StarlarkProvider buildWithIdentityToken(SymbolGenerator.Symbol<?> identityToken) {
	return new StarlarkProvider(location, documentation, schema, init, identityToken);
	}
	}

	/**
	* Constructs the provider.
	*
	* <p>If {@code schema} is null, the provider is schemaless. If {@code init} is null, no custom
	* initializer callback will be used (i.e., calling the provider is the same as simply calling the
	* raw constructor). If {@code key} is null, the provider is unexported.
	*/
	private StarlarkProvider(
	Location location,
	@Nullable String documentation,
	@Nullable ImmutableMap<String, Optional<String>> schema,
	@Nullable StarlarkCallable init,
	Object keyOrIdentityToken) {
	this.location = location;
	this.documentation = documentation;
	this.fields = schema != null ? ImmutableList.sortedCopyOf(schema.keySet()) : null;
	this.schema = schema;
	this.init = init;
	this.keyOrIdentityToken = keyOrIdentityToken;
	if (schema != null) {
	depsetTypePredictor = new AtomicReferenceArray<>(schema.size());
	}
	}

	private static Object[] toNamedArgs(Object value, String descriptionForError)
	throws EvalException {
	Dict<String, Object> kwargs = Dict.cast(value, String.class, Object.class, descriptionForError);
	Object[] named = new Object[2 * kwargs.size()];
	int i = 0;
	for (Map.Entry<String, Object> e : kwargs.entrySet()) {
	named[i++] = e.getKey();
	named[i++] = e.getValue();
	}
	return named;
	}

	@Override
	public Object fastcall(StarlarkThread thread, Object[] positional, Object[] named)
	throws InterruptedException, EvalException {
	if (init == null) {
	return fastcallRawConstructor(thread, positional, named);
	}

	Object initResult = Starlark.fastcall(thread, init, positional, named);
	// The code-path for providers with schema could be optimised to skip the call to toNamedArgs.
	// As it is, we copy the map to an alternating key-value Object array, and then extract just
	// the values into another array.
	return createFromNamedArgs(
	toNamedArgs(initResult, "return value of provider init()"), thread.getCallerLocation());
	}

	private Object fastcallRawConstructor(StarlarkThread thread, Object[] positional, Object[] named)
	throws EvalException {
	if (positional.length > 0) {
	throw Starlark.errorf("%s: unexpected positional arguments", getName());
	}
	return createFromNamedArgs(named, thread.getCallerLocation());
	}

	private StarlarkInfo createFromNamedArgs(Object[] named, Location loc) throws EvalException {
	return schema != null
	? StarlarkInfoWithSchema.createFromNamedArgs(this, named, loc)
	: StarlarkInfoNoSchema.createFromNamedArgs(this, named, loc);
	}

	private static final class RawConstructor implements StarlarkCallable {
	private final StarlarkProvider provider;

	private RawConstructor(StarlarkProvider provider) {
	this.provider = provider;
	}

	@Override
	public Object fastcall(StarlarkThread thread, Object[] positional, Object[] named)
	throws EvalException {
	return provider.fastcallRawConstructor(thread, positional, named);
	}

	@Override
	public String getName() {
	StringBuilder name = new StringBuilder("<raw constructor");
	if (provider.isExported()) {
	name.append(" for ").append(provider.getName());
	}
	name.append(">");
	return name.toString();
	}

	@Override
	public Location getLocation() {
	return provider.location;
	}
	}

	public StarlarkCallable createRawConstructor() {
	return new RawConstructor(this);
	}

	/**
	* Returns the provider's custom initializer callback, or null if the provider doesn't have one.
	*/
	@Nullable
	public StarlarkCallable getInit() {
	return init;
	}

	@Override
	public Location getLocation() {
	return location;
	}

	/**
	* Returns the value of the doc parameter passed to {@code provider()} in Starlark, or an empty
	* Optional if a doc parameter was not provided.
	*/
	public Optional<String> getDocumentation() {
	return Optional.ofNullable(documentation);
	}

	@Override
	public boolean isExported() {
	return keyOrIdentityToken instanceof Key;
	}

	@Override
	public Key getKey() {
	Preconditions.checkState(isExported());
	return (Key) keyOrIdentityToken;
	}

	@Override
	public String getName() {
	if (keyOrIdentityToken instanceof Key key) {
	return key.getExportedName();
	}
	return "<no name>";
	}

	@Override
	public String getPrintableName() {
	return getName();
	}

	/**
	* Returns the sorted list of fields allowed by this provider, or null if the provider is
	* schemaless.
	*/
	@Nullable
	public ImmutableList<String> getFields() {
	return fields;
	}

	/**
	* Returns the map of fields allowed by this provider mapping to their corresponding documentation
	* strings (if any), or null if this provider is schemaless.
	*
	* <p>The returned map's iteration order matches the order of fields in the {@code provider()}
	* invocation in Starlark - thus, different from the order of fields in {@link #getFields}.
	*/
	@Nullable
	public ImmutableMap<String, Optional<String>> getSchema() {
	return schema;
	}

	@Override
	public String getErrorMessageForUnknownField(String name) {
	return String.format(
	"'%s' value has no field or method '%s'", isExported() ? getName() : "struct", name);
	}

	@Override
	public void export(EventHandler handler, Label extensionLabel, String exportedName) {
	Preconditions.checkState(!isExported());
	SymbolGenerator.Symbol<?> identifier = (SymbolGenerator.Symbol<?>) keyOrIdentityToken;
	if (identifier.getOwner() instanceof BzlLoadValue.Key bzlKey) {
	// In production code, StarlarkProviders are created only when loading .bzl files so the owner
	// of the Symbol should be a BzlLoadValue.Key.
	checkArgument(
	extensionLabel.equals(bzlKey.getLabel()),
	"export extensionLabel=%s, but owner=%s",
	extensionLabel,
	bzlKey);
	this.keyOrIdentityToken = new Key(bzlKey, exportedName);
	} else {
	// In tests, the symbol may be arbitrary.
	if (!isInTest()) {
	sendNonFatalBugReport(
	new IllegalStateException(
	String.format(
	"exporting StarlarkProvider defined at %s as %s:%s but thread owner=%s was not"
	+ " a BzlLoadValue.Key",
	location, extensionLabel, exportedName, identifier.getOwner())));
	}
	this.keyOrIdentityToken =
	new Key(
	isBuiltinsRepo(extensionLabel.getRepository())
	? keyForBuiltins(extensionLabel)
	: keyForBuild(extensionLabel),
	exportedName);
	}
	}

	@Override
	public int hashCode() {
	return keyOrIdentityToken.hashCode();
	}

	@Override
	public boolean equals(@Nullable Object otherObject) {
	if (this == otherObject) {
	return true;
	}
	if (otherObject instanceof StarlarkProvider that) {
	return this.keyOrIdentityToken.equals(that.keyOrIdentityToken);
	}
	return false;
	}

	@Override
	public boolean isImmutable() {
	// Hash code for non exported constructors may be changed
	return isExported();
	}

	@Override
	public void repr(Printer printer) {
	printer.append("<provider>");
	}

	@Override
	public String toString() {
	return Starlark.repr(this);
	}

	/**
	* For schemaful providers, given a value to store in the field identified by {@code index},
	* returns a possibly optimized version of the value. The result (optimized or not) should be
	* decoded by {@link #retrieveOptimizedField}.
	*
	* <p>Mutable values are never optimized.
	*/
	Object optimizeField(int index, Object value) {
	if (value instanceof Depset) {
	Preconditions.checkArgument(depsetTypePredictor != null);
	Depset depset = (Depset) value;
	if (depset.isEmpty()) {
	// Most empty depsets have the empty (null) type. We can't store this type because it
	// would clash with whatever the actual element type is for non-empty depsets in that
	// field. So instead just store the optimized (unwrapped) NestedSet without any type
	// information, and assume it's the empty type upon retrieval.
	//
	// This only loses information in the relatively rare case of a native-constructed empty
	// depset with a type restriction (e.g. empty set of artifacts). In that scenario, an
	// empty depset retrieved from the provider may "incorrectly" allow itself to participate
	// in a union with depsets of other types, whereas the original depset would trigger a
	// Starlark eval error. This is a user-observable difference but a very minor one; the
	// hazard would be logical errors that are masked by the provider machinery but triggered
	// by a refactoring of Starlark code. See TODO in Depset#of(Class, NestedSet) for notes
	// about eliminating this semantic confusion.
	//
	// This problem shouldn't arise for non-empty depsets since distinct non-empty element
	// types are not compatible with one another (i.e. there's no Depset<Any> schema).
	return depset.getSet();
	}
	Class<?> elementClass = depset.getElementClass();
	if (depsetTypePredictor.compareAndExchange(index, null, elementClass) == elementClass) {
	return depset.getSet();
	}
	}
	return value;
	}

	Object retrieveOptimizedField(int index, Object value) {
	if (value instanceof NestedSet<?>) {
	// We subvert Depset.of()'s static type checking for consistency between the type token and
	// NestedSet type. This is safe because these values came from a previous Depset, so we
	// already know they're consistent.
	@SuppressWarnings("unchecked")
	NestedSet<Object> nestedSet = (NestedSet<Object>) value;
	if (nestedSet.isEmpty()) {
	// This matches empty depsets created in Starlark with `depset()`.
	return Depset.of(Object.class, nestedSet);
	}
	@SuppressWarnings("unchecked") // can't parametrize Class literal by a non-raw type
	Depset depset = Depset.of((Class<Object>) depsetTypePredictor.get(index), nestedSet);
	return depset;
	}
	return value;
	}

	boolean isOptimised(int index, Object value) {
	return value instanceof NestedSet<?>;
	}

	Object getKeyOrIdentityToken() {
	return keyOrIdentityToken;
	}

	/**
	* A serializable representation of Starlark-defined {@link StarlarkProvider} that uniquely
	* identifies all {@link StarlarkProvider}s that are exposed to SkyFrame.
	*/
	// TODO: b/335901349 - this is identical to SymbolGenerator.GlobalSymbol<BzlLoadValue.Key> and
	// serves essentially the same purpose. Consider unifying these types.
	public static class Key extends Provider.Key {
	private final BzlLoadValue.Key key;
	private final String exportedName;

	public Key(BzlLoadValue.Key key, String exportedName) {
	this.key = checkNotNull(key);
	this.exportedName = checkNotNull(exportedName);
	}

	public Label getExtensionLabel() {
	return key.getLabel();
	}

	public final String getExportedName() {
	return exportedName;
	}

	@Override
	public int hashCode() {
	return hashObjects(key, exportedName);
	}

	@Override
	public boolean equals(Object obj) {
	if (this == obj) {
	return true;
	}

	if (!(obj instanceof Key)) {
	return false;
	}
	Key other = (Key) obj;
	return Objects.equals(this.key, other.key)
	&& Objects.equals(this.exportedName, other.exportedName);
	}

	@Override
	final void fingerprint(Fingerprint fp) {
	// False => Not native.
	fp.addBoolean(false);
	fp.addString(getExtensionLabel().getCanonicalForm());
	fp.addString(getExportedName());
	}

	@Override
	public String toString() {
	return exportedName;
	}
	}
	}