public class InferDistTool extends Object implements Tool
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 and Description |
---|
InferDistTool(SourcePath path,
String binary) |
InferDistTool(java.util.function.Supplier<? extends SourcePath> path,
String binary) |
Modifier and Type | Method and Description |
---|---|
com.google.common.collect.ImmutableList<String> |
getCommandPrefix(SourcePathResolverAdapter resolver) |
com.google.common.collect.ImmutableMap<String,String> |
getEnvironment(SourcePathResolverAdapter resolver) |
public InferDistTool(java.util.function.Supplier<? extends SourcePath> path, String binary)
path
- Path to the directory of infer distributionbinary
- Name of the infer binary within distribution folderpublic InferDistTool(SourcePath path, String binary)
public com.google.common.collect.ImmutableList<String> getCommandPrefix(SourcePathResolverAdapter resolver)
getCommandPrefix
in interface Tool
public com.google.common.collect.ImmutableMap<String,String> getEnvironment(SourcePathResolverAdapter resolver)
getEnvironment
in interface Tool