Merge pull request #62 from lucidsoftware/make-dependency-checking-a-validation-action

Do dependency checking via a validation action

Author: jjudd

docs/newdocs/phases.md

@@ -15,6 +15,7 @@ def _scala_binary_implementation(ctx):
         ("ijinfo", _phase_ijinfo),
         ("binary_deployjar", _phase_binary_deployjar),
         ("binary_launcher", _phase_binary_launcher),
+        ("outputgroupinfo", _phase_outputgroupinfo),
         ("coda", _phase_coda),
     ]).coda
 ```

rules/common/private/utils.bzl

@@ -162,7 +162,6 @@ def action_singlejar(
         ctx,
         inputs,
         output,
-        phantom_inputs = depset(),
         main_class = None,
         progress_message = None,
         resources = {},
@@ -174,8 +173,6 @@ def action_singlejar(
 
     if type(inputs) == "list":
         inputs = depset(inputs)
-    if type(phantom_inputs) == "list":
-        phantom_inputs = depset(phantom_inputs)
 
     args = ctx.actions.args()
     args.add("--exclude_build_data")
@@ -190,7 +187,7 @@ def action_singlejar(
         args.set_param_file_format("multiline")
         args.use_param_file("@%s", use_always = True)
 
-    all_inputs = depset(resources.values(), transitive = [inputs, phantom_inputs])
+    all_inputs = depset(resources.values(), transitive = [inputs])
 
     ctx.actions.run(
         arguments = [args],

rules/private/phases.bzl

@@ -9,6 +9,7 @@ load(":phases/phase_ijinfo.bzl", _phase_ijinfo = "phase_ijinfo")
 load(":phases/phase_javainfo.bzl", _phase_javainfo = "phase_javainfo")
 load(":phases/phase_library_defaultinfo.bzl", _phase_library_defaultinfo = "phase_library_defaultinfo")
 load(":phases/phase_noop.bzl", _phase_noop = "phase_noop")
+load(":phases/phase_outputgroupinfo.bzl", _phase_outputgroupinfo = "phase_outputgroupinfo")
 load(":phases/phase_resources.bzl", _phase_resources = "phase_resources")
 load(":phases/phase_scalafmt_nondefault_outputs.bzl", _phase_scalafmt_nondefault_outputs = "phase_scalafmt_nondefault_outputs")
 load(":phases/phase_semanticdb.bzl", _phase_semanticdb = "phase_semanticdb")
@@ -41,6 +42,8 @@ phase_library_defaultinfo = _phase_library_defaultinfo
 
 phase_noop = _phase_noop
 
+phase_outputgroupinfo = _phase_outputgroupinfo
+
 phase_resources = _phase_resources
 
 phase_scalafmt_nondefault_outputs = _phase_scalafmt_nondefault_outputs

rules/private/phases/phase_binary_launcher.bzl

@@ -30,7 +30,7 @@ def phase_binary_launcher(ctx, g):
 
     g.out.providers.append(DefaultInfo(
         executable = ctx.outputs.bin,
-        files = depset([ctx.outputs.bin, ctx.outputs.jar]),
+        files = depset([ctx.outputs.bin, ctx.outputs.jar] + g.semanticdb.outputs),
         runfiles = ctx.runfiles(
             files = inputs + files,
             transitive_files = depset(

rules/private/phases/phase_javainfo.bzl

@@ -13,7 +13,6 @@ load(
 # PHASE: javainfo
 #
 # Builds up the JavaInfo provider. And the ScalaInfo, while we're at it.
-# And DefaultInfo.
 #
 
 def phase_javainfo(ctx, g):
@@ -61,18 +60,10 @@ def phase_javainfo(ctx, g):
         scala_configuration = g.init.scala_configuration,
     )
 
-    output_group_info = OutputGroupInfo(
-        **g.out.output_groups
-    )
-
-    g.out.providers.extend([
-        output_group_info,
-        java_info,
-        scala_info,
-    ])
+    g.out.providers.append(java_info)
+    g.out.providers.append(scala_info)
 
     return struct(
         java_info = java_info,
-        output_group_info = output_group_info,
         scala_info = scala_info,
     )

rules/private/phases/phase_library_defaultinfo.bzl

@@ -6,5 +6,5 @@
 
 def phase_library_defaultinfo(ctx, g):
     g.out.providers.append(DefaultInfo(
-        files = depset([ctx.outputs.jar]),
+        files = depset([ctx.outputs.jar] + g.semanticdb.outputs),
     ))

rules/private/phases/phase_outputgroupinfo.bzl

@@ -0,0 +1,8 @@
+#
+# PHASE: outputgroupinfo
+#
+# Generates the `OutputGroupInfo` provider.
+#
+
+def phase_outputgroupinfo(ctx, g):
+    g.out.providers.append(OutputGroupInfo(**g.out.output_groups))

rules/private/phases/phase_singlejar.bzl

@@ -21,12 +21,9 @@ def phase_singlejar(ctx, g):
     # cause the build to fail, cleanly, if any declared outputs are
     # missing from previous phases.
     inputs = [f for f in ctx.files.resource_jars if f.extension.lower() in ["jar"]]
-    phantom_inputs = []
     for v in [getattr(g, k) for k in dir(g) if k not in ["to_json", "to_proto"]]:
         if hasattr(v, "jar"):
             jar = getattr(v, "jar")
             inputs.append(jar)
-        if hasattr(v, "outputs"):
-            phantom_inputs.extend(getattr(v, "outputs"))
 
-    _action_singlejar(ctx, inputs, ctx.outputs.jar, phantom_inputs)
+    _action_singlejar(ctx, inputs, ctx.outputs.jar)

rules/private/phases/phase_test_launcher.bzl

@@ -2,12 +2,7 @@ load(
     "@rules_scala_annex//rules/private:coverage_replacements_provider.bzl",
     _coverage_replacements_provider = "coverage_replacements_provider",
 )
-load(
-    "//rules/common:private/utils.bzl",
-    _action_singlejar = "action_singlejar",
-    _collect = "collect",
-    _write_launcher = "write_launcher",
-)
+load("//rules/common:private/utils.bzl", _collect = "collect", _write_launcher = "write_launcher")
 
 #
 # PHASE: test_launcher

rules/private/phases/phase_zinc_depscheck.bzl

@@ -20,11 +20,10 @@ def phase_zinc_depscheck(ctx, g):
         return
 
     deps_configuration = ctx.attr.scala[_DepsConfiguration]
-
-    deps_checks = {}
     labeled_jar_groups = depset(transitive = [dep[_LabeledJars].values for dep in ctx.attr.deps])
-
     worker_inputs, _, worker_input_manifests = ctx.resolve_command(tools = [deps_configuration.worker])
+    outputs = []
+
     for name in ("direct", "used"):
         deps_check = ctx.actions.declare_file("{}/depscheck_{}.success".format(ctx.label.name, name))
         deps_args = ctx.actions.args()
@@ -61,21 +60,16 @@ def phase_zinc_depscheck(ctx, g):
             ),
             arguments = [deps_args],
         )
-        deps_checks[name] = deps_check
 
-    outputs = []
-    if deps_configuration.direct == "error":
-        outputs.append(deps_checks["direct"])
-    if deps_configuration.used == "error":
-        outputs.append(deps_checks["used"])
+        if getattr(deps_configuration, name) == "error":
+            outputs.append(deps_check)
 
-    g.out.output_groups["depscheck"] = depset(outputs)
+    if "_validation" in g.out.output_groups:
+        validation_transitive = [g.out.output_groups["_validation"]]
+    else:
+        validation_transitive = None
 
-    return struct(
-        checks = deps_checks,
-        outputs = outputs,
-        toolchain = deps_configuration,
-    )
+    g.out.output_groups["_validation"] = depset(outputs, transitive = validation_transitive)
 
 # If you use avoid using map_each, then labels are converted to their apparent repo name rather than
 # their canonical repo name. The apparent repo name is the human readable one that we want for use