com.sri.gradle.daikon.tasks

Class TaskExecutorImpl

java.lang.Object

com.sri.gradle.daikon.tasks.TaskExecutorImpl

All Implemented Interfaces:

TaskExecutor

public class TaskExecutorImpl
extends java.lang.Object
implements TaskExecutor

Nested Class Summary

Nested classes/interfaces inherited from interface com.sri.gradle.daikon.tasks.TaskExecutor

TaskExecutor.TaskConfigurationError, TaskExecutor.ThrowableComparator

Constructor Summary

Constructors

Constructor and Description
TaskExecutorImpl()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.sri.gradle.daikon.tasks.TaskExecutor

install

Constructor Detail

TaskExecutorImpl

public TaskExecutorImpl()

Method Detail

addError

public void addError(java.lang.Throwable cause)

Description copied from interface: TaskExecutor

Caches an error.

Specified by:

addError in interface TaskExecutor

Parameters:

cause - thrown exception.

runDaikonOn

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

Description copied from interface: TaskExecutor

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

Specified by:

runDaikonOn in interface TaskExecutor

Parameters:

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

Returns:

a new TaskBuilder object.

execute

public void execute()
             throws TaskExecutor.TaskConfigurationError

Description copied from interface: TaskExecutor

Executes installed configuration

Specified by:

execute in interface TaskExecutor

Throws:

TaskExecutor.TaskConfigurationError