com.sri.gradle.daikon.tasks

Interface TaskExecutor

All Known Implementing Classes:

TaskExecutorImpl

public interface TaskExecutor

Wraps DynComp, Chicory, and Daikon into a single task:

runDaikonOn(new InputProvider(inputDirectory, testDriverPackage (optional), GradleProject)) .withClasspath(file1, file2, ...) or .withClasspath(Collection(File)) .toDir(..)

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	TaskExecutor.TaskConfigurationError
static class	TaskExecutor.ThrowableComparator

Method Summary

Modifier and Type	Method and Description
void	addError(java.lang.Throwable cause) Caches an error.
void	execute() Executes installed configuration
default void	install(TaskConfiguration configuration) Installs a new Task configuration
TaskBuilder	runDaikonOn(com.sri.gradle.daikon.tasks.InputProvider provider) Likely-Invariants extraction is applied to a type of input (specified by Provider).

Method Detail

addError

void addError(java.lang.Throwable cause)

Caches an error.

Parameters:

cause - thrown exception.

install

default void install(TaskConfiguration configuration)

Installs a new Task configuration

Parameters:

configuration - install configuration into task executor.

runDaikonOn

TaskBuilder runDaikonOn(com.sri.gradle.daikon.tasks.InputProvider provider)

Likely-Invariants extraction is applied to a type of input (specified by Provider).

Parameters:

provider - the input provider, which contains an input directory, testDriverPackage (Optional), and the gradle project.

Returns:

a new TaskBuilder object.

execute

void execute()
      throws TaskExecutor.TaskConfigurationError

Executes installed configuration

Throws:

TaskExecutor.TaskConfigurationError