Skip to content

Commit

Permalink
Maintain a manifest of generated files (#234)
Browse files Browse the repository at this point in the history
This is signifiant rewrite of the compiler task to support manifests,
making us a better mix citizen and adding support for `mix clean`-based
file cleanup.

Our manifest is written as a binary-encoded Erlang term to give us the
most forward-compatible file format. At the moment, we only store a
manifest version number and the list of generated files, but we may
expand this in the future to include additional dependency information
such as the "version" of the code that was used to generate these files.

See #138 for a more detailed discussion.
  • Loading branch information
jparise authored Feb 12, 2017
1 parent 2b4479a commit 359d70a
Show file tree
Hide file tree
Showing 2 changed files with 118 additions and 29 deletions.
133 changes: 104 additions & 29 deletions lib/mix/tasks/compile.thrift.ex
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,10 @@ defmodule Mix.Tasks.Compile.Thrift do
use Mix.Task
alias Thrift.Parser.FileGroup

@recursive true
@manifest ".compile.thrift"
@manifest_vsn :v1

@moduledoc """
Compiler task that generates Elixir source files from Thrift schema files
(`.thrift`).
Expand All @@ -27,54 +31,125 @@ defmodule Mix.Tasks.Compile.Thrift do
source files will be generated. Defaults to `"lib"`.
"""

@switches [force: :boolean, verbose: :boolean]

@spec run(OptionParser.argv) :: :ok
def run(args) do
{opts, _, _} = OptionParser.parse(args,
switches: [force: :boolean, verbose: :boolean])
{opts, _, _} = OptionParser.parse(args, switches: @switches)

config = Keyword.get(Mix.Project.config, :thrift, [])
files = Keyword.get(config, :files, [])
output_path = Keyword.get(config, :output_path, "lib")
parser_opts = Keyword.take(config, [:include_paths, :namespace])
config = Keyword.get(Mix.Project.config, :thrift, [])
input_files = Keyword.get(config, :files, [])
output_path = Keyword.get(config, :output_path, "lib")
parser_opts = Keyword.take(config, [:include_paths, :namespace])

file_groups =
files
mappings =
input_files
|> Enum.map(&parse(&1, parser_opts))
|> Enum.reject(&is_nil/1)
|> extract_targets(output_path, opts[:force])

stale_groups = Enum.filter(file_groups, fn file_group ->
opts[:force] || stale?(file_group, output_path)
end)
generate(manifest(), mappings, output_path, opts)
end

unless Enum.empty?(stale_groups) do
File.mkdir_p!(output_path)
Mix.Utils.compiling_n(length(stale_groups), :thrift)
Enum.each(stale_groups, &generate(&1, output_path, opts))
end
@doc "Returns the Thrift compiler's manifests."
@spec manifests :: [Path.t]
def manifests, do: [manifest()]
defp manifest, do: Path.join(Mix.Project.manifest_path, @manifest)

@doc "Cleans up generated files."
@spec clean :: :ok | {:error, File.posix}
def clean, do: clean(manifest())
defp clean(manifest) do
Enum.each(read_manifest(manifest), &File.rm/1)
File.rm(manifest)
end

defp parse(thrift_file, opts) do
@spec parse(Path.t, OptionParser.parsed) :: FileGroup.t
defp parse(file, opts) do
try do
Thrift.Parser.parse_file(thrift_file, opts)
Thrift.Parser.parse_file(file, opts)
rescue
e ->
Mix.shell.error "Failed to parse #{thrift_file}: #{Exception.message(e)}"
Mix.shell.error "Failed to parse #{file}: #{Exception.message(e)}"
nil
end
end

defp stale?(%FileGroup{initial_file: thrift_file} = group, output_path) do
targets =
group
|> Thrift.Generator.targets
|> Enum.map(&Path.join(output_path, &1))
Mix.Utils.stale?([thrift_file], targets)
@typep mappings ::
[{:stale, FileGroup.t, [Path.t]} | {:ok, FileGroup.t, [Path.t]}]

@spec extract_targets([FileGroup.t], Path.t, boolean) :: mappings
defp extract_targets(groups, output_path, force) when is_list(groups) do
for %FileGroup{initial_file: file} = group <- groups do
targets =
group
|> Thrift.Generator.targets
|> Enum.map(&Path.join(output_path, &1))

if force || Mix.Utils.stale?([file], targets) do
{:stale, group, targets}
else
{:ok, group, targets}
end
end
end

defp generate(%FileGroup{} = group, output_path, opts) do
Thrift.Generator.generate!(group, output_path)
if opts[:verbose] do
Mix.shell.info "Compiled #{group.initial_file}"
@spec generate(Path.t, mappings, Path.t, OptionParser.parsed) :: :ok | :noop
defp generate(manifest, mappings, output_path, opts) do
timestamp = :calendar.universal_time()
verbose = opts[:verbose]

# Load the list of previously-generated files.
previous = read_manifest(manifest)

# Determine which of our current targets are in need of (re)generation.
stale = for {:stale, group, targets} <- mappings, do: {group, targets}

# Determine if there are any files that appear in our existing manifest
# that are no longer relevant based on our current target mappings.
removed = Enum.filter(previous, fn file ->
not Enum.any?(mappings, fn {_, _, targets} -> file in targets end)
end)

if stale == [] && removed == [] do
:noop
else
# Ensure we have an output directory and remove old target files.
File.mkdir_p!(output_path)
Enum.each(removed, &File.rm/1)

unless Enum.empty?(stale) do
Mix.Utils.compiling_n(length(stale), :thrift)
Enum.each(stale, fn {group, _targets} ->
Thrift.Generator.generate!(group, output_path)
verbose && Mix.shell.info "Compiled #{group.initial_file}"
end)
end

# Update and rewrite the manifest.
entries = (previous -- removed) ++ Enum.flat_map(stale, &elem(&1, 1))
write_manifest(manifest, :lists.usort(entries), timestamp)
:ok
end
end

@spec read_manifest(Path.t) :: [Path.t]
defp read_manifest(manifest) do
try do
manifest |> File.read! |> :erlang.binary_to_term
rescue
_ -> []
else
[@manifest_vsn | paths] -> paths
_ -> []
end
end

@spec write_manifest(Path.t, [Path.t], :calendar.datetime) :: :ok
defp write_manifest(manifest, paths, timestamp) do
data = [@manifest_vsn | paths] |> :erlang.term_to_binary(compressed: 9)
Path.dirname(manifest) |> File.mkdir_p!
File.write!(manifest, data)
File.touch!(manifest, timestamp)
end
end
14 changes: 14 additions & 0 deletions test/mix/tasks/compile.thrift_test.exs
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,20 @@ defmodule Mix.Tasks.Compile.ThriftTest do
end
end

test "cleaning generated files" do
in_fixture fn ->
with_project_config [], fn ->
run([])
assert File.exists?("lib/thrift_test/thrift_test.ex")
assert Enum.all?(Mix.Tasks.Compile.Thrift.manifests, &File.exists?/1)

Mix.Tasks.Compile.Thrift.clean()
refute File.exists?("lib/thrift_test/thrift_test.ex")
refute Enum.any?(Mix.Tasks.Compile.Thrift.manifests, &File.exists?/1)
end
end
end

test "specifying an empty :files list" do
in_fixture fn ->
with_project_config [thrift: [files: []]], fn ->
Expand Down

0 comments on commit 359d70a

Please sign in to comment.