bazel skylarkinterface processor: check parameter types match annotations

The SkylarkCallable annotation processor historically did not
check statically that the annotation types in Param.type and
Param.allowed_types are assignable to the parameter variable,
resulting in bugs such as
https://github.com/bazelbuild/bazel/issues/9463
in which the annotation type check succeeds but then the
reflective call explodes.

This change causes the annotation processor to ensure
that the annotation types are assignable to the variable,
and fixes up a number of places that violated the rule.
(A prettier fix for the SkylarkAttr violations is in unknown commit.)

Also:
- fold verifyParamGenericTypes into the mass of parameter checks.
- allow reporting of errors against any element.
- report multiple errors in one run; don't throw exceptions.
- report parameter errors against parameters, not the method.
- rename parameter to paramAnnot and methodParam to param.
- use proper type equality not string equality checks.
PiperOrigin-RevId: 286193084
7 files changed
tree: e49329cecfd04586a46a994137ee1d6bdd675c17
  1. .bazelci/
  2. examples/
  3. scripts/
  4. site/
  5. src/
  6. third_party/
  7. tools/
  8. .bazelrc
  9. .gitattributes
  10. .gitignore
  11. AUTHORS
  12. BUILD
  13. CHANGELOG.md
  14. CODEOWNERS
  15. combine_distfiles.py
  16. combine_distfiles_to_tar.sh
  17. compile.sh
  18. CONTRIBUTING.md
  19. CONTRIBUTORS
  20. distdir.bzl
  21. ISSUE_TEMPLATE.md
  22. LICENSE
  23. README.md
  24. WORKSPACE
README.md

Bazel

{Fast, Correct} - Choose two

Build and test software of any size, quickly and reliably.

  • Speed up your builds and tests: Bazel rebuilds only what is necessary. With advanced local and distributed caching, optimized dependency analysis and parallel execution, you get fast and incremental builds.

  • One tool, multiple languages: Build and test Java, C++, Android, iOS, Go, and a wide variety of other language platforms. Bazel runs on Windows, macOS, and Linux.

  • Scalable: Bazel helps you scale your organization, codebase, and continuous integration solution. It handles codebases of any size, in multiple repositories or a huge monorepo.

  • Extensible to your needs: Easily add support for new languages and platforms with Bazel's familiar extension language. Share and re-use language rules written by the growing Bazel community.

Getting Started

Documentation

Contributing to Bazel

See CONTRIBUTING.md

Build status