Class InferDistTool

  • All Implemented Interfaces:
    AddsToRuleKey, Tool

    public class InferDistTool
    extends Object
    implements Tool
    A tool based on path to the distribution directory and the binary name within this directory.

    Infer is not a standalone binary, it is usually distributed as a tarball that has a binary and various dependencies (e.g. shared libs). To run infer from such distribution we need to specify the whole distribution directory as a dependency for #nullsafe flavored targets.

    In case when infer needs to be executed both locally and remotely, a cross platform distribution should be provided.

    • Constructor Detail

      • InferDistTool

        public InferDistTool​(java.util.function.Supplier<? extends SourcePath> path,
                             String binary)
        path - Path to the directory of infer distribution
        binary - Name of the infer binary within distribution folder