A B C D E F G I J L M N O P Q R S T U W

A

AbstractNamedTask - Class in com.sri.gradle.daikon.tasks

AbstractNamedTask() - Constructor for class com.sri.gradle.daikon.tasks.AbstractNamedTask

addClass(String) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addClassDeclaration() - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addComment(String) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addError(Throwable) - Method in interface com.sri.gradle.daikon.tasks.TaskExecutor

Caches an error.

addError(Throwable) - Method in class com.sri.gradle.daikon.tasks.TaskExecutorImpl

addImport(String) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addImports(String...) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addImports(List<String>) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addLine(String) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addLineBreak() - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addMethod(String, String...) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addPackageName(String) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addStaticImport(String) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

addStaticMainMethod(String...) - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

apply(Project) - Method in class com.sri.gradle.daikon.DaikonPlugin

args(Object...) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

B

BAD_DAIKON_ERROR - Static variable in class com.sri.gradle.daikon.Constants

build() - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

C

CHECK_DAIKON_TASK - Static variable in class com.sri.gradle.daikon.Constants

CHECK_DAIKON_TASK_DESCRIPTION - Static variable in class com.sri.gradle.daikon.Constants

CheckForDaikon - Class in com.sri.gradle.daikon.tasks

CheckForDaikon() - Constructor for class com.sri.gradle.daikon.tasks.CheckForDaikon

CHICORY_JAR_FILE - Static variable in class com.sri.gradle.daikon.Constants

CHICORY_MAIN_CLASS - Static variable in class com.sri.gradle.daikon.Constants

ChicoryExecSpec - Class in com.sri.gradle.daikon.internal

ChicoryExecSpec() - Constructor for class com.sri.gradle.daikon.internal.ChicoryExecSpec

classBuilder(String) - Static method in class com.sri.gradle.daikon.utils.JavaCode

CODE_GEN_TASK - Static variable in class com.sri.gradle.daikon.Constants

CODE_GEN_TASK_DESCRIPTION - Static variable in class com.sri.gradle.daikon.Constants

com.sri.gradle.daikon - package com.sri.gradle.daikon

com.sri.gradle.daikon.extensions - package com.sri.gradle.daikon.extensions

com.sri.gradle.daikon.internal - package com.sri.gradle.daikon.internal

com.sri.gradle.daikon.tasks - package com.sri.gradle.daikon.tasks

com.sri.gradle.daikon.utils - package com.sri.gradle.daikon.utils

compare(Throwable, Throwable) - Method in class com.sri.gradle.daikon.tasks.TaskExecutor.ThrowableComparator

COMPILE_TEST_DRIVER - Static variable in class com.sri.gradle.daikon.Constants

CompileTestDriverJavaExtension - Class in com.sri.gradle.daikon.extensions

CompileTestDriverJavaExtension(Project) - Constructor for class com.sri.gradle.daikon.extensions.CompileTestDriverJavaExtension

CompileTestJavaTaskMutator - Class in com.sri.gradle.daikon.tasks

CompileTestJavaTaskMutator(Project, FileCollection) - Constructor for class com.sri.gradle.daikon.tasks.CompileTestJavaTaskMutator

concat(Stream<? extends T>, Stream<? extends T>) - Static method in class com.sri.gradle.daikon.utils.ImmutableStream

Concatenation of two sets using their Stream API.

configure(TaskExecutor) - Method in interface com.sri.gradle.daikon.tasks.TaskConfiguration

Constants - Class in com.sri.gradle.daikon

D

DAIKON_FILES_EXIST - Static variable in class com.sri.gradle.daikon.Constants

DAIKON_IN_CLASSPATH - Static variable in class com.sri.gradle.daikon.Constants

DAIKON_JAR_FILE - Static variable in class com.sri.gradle.daikon.Constants

DAIKON_MAIN_CLASS - Static variable in class com.sri.gradle.daikon.Constants

DAIKON_TASK - Static variable in class com.sri.gradle.daikon.Constants

DAIKON_TASK_DESCRIPTION - Static variable in class com.sri.gradle.daikon.Constants

daikonCheck() - Method in class com.sri.gradle.daikon.tasks.CheckForDaikon

DaikonExecSpec - Class in com.sri.gradle.daikon.internal

DaikonExecSpec() - Constructor for class com.sri.gradle.daikon.internal.DaikonExecSpec

DaikonPlugin - Class in com.sri.gradle.daikon

DaikonPlugin() - Constructor for class com.sri.gradle.daikon.DaikonPlugin

DaikonPluginExtension - Class in com.sri.gradle.daikon.extensions

DaikonPluginExtension(Project) - Constructor for class com.sri.gradle.daikon.extensions.DaikonPluginExtension

daikonRun() - Method in class com.sri.gradle.daikon.tasks.RunDaikon

deleteFile(Path) - Static method in class com.sri.gradle.daikon.utils.MoreFiles

Deletes file in path.

DOUBLE_SPACE - Static variable in class com.sri.gradle.daikon.Constants

DRIVER_EXIST - Static variable in class com.sri.gradle.daikon.Constants

DYN_COMP_MAIN_CLASS - Static variable in class com.sri.gradle.daikon.Constants

DYN_COMP_PRE_MAIN_JAR_FILE - Static variable in class com.sri.gradle.daikon.Constants

DYN_COMP_RT_JAR_FILE - Static variable in class com.sri.gradle.daikon.Constants

DynCompExecSpec - Class in com.sri.gradle.daikon.internal

DynCompExecSpec() - Constructor for class com.sri.gradle.daikon.internal.DynCompExecSpec

E

ERROR_MARKER - Static variable in class com.sri.gradle.daikon.Constants

execChicory(List<File>, List<String>, String, String, Path) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execChicory(Action<ChicoryExecSpec>) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execChicory(ChicoryExecSpec) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execDaikon(String, List<File>, Path) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execDaikon(Action<DaikonExecSpec>) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execDaikon(DaikonExecSpec) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execDynComp(List<File>, List<String>, String, Path, Path) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execDynComp(Action<DynCompExecSpec>) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execDynComp(DynCompExecSpec) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execPrintDaikonXml(List<File>, String, Path) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execPrintDaikonXml(Action<PrintInvariantsExecSpec>) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execPrintDaikonXml(PrintInvariantsExecSpec) - Method in class com.sri.gradle.daikon.internal.MainExecutor

execute() - Method in interface com.sri.gradle.daikon.tasks.TaskExecutor

Executes installed configuration

execute() - Method in class com.sri.gradle.daikon.tasks.TaskExecutorImpl

EXPECTED_JUNIT4_NAME_REGEX - Static variable in class com.sri.gradle.daikon.Constants

extension(Project, Class<T>) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

extension(Project, String, Class<T>) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

F

FILE_SEPARATOR - Static variable in class com.sri.gradle.daikon.Constants

fileCount(Path) - Static method in class com.sri.gradle.daikon.utils.MoreFiles

Gets count of files in a directory

Filefinder - Class in com.sri.gradle.daikon.utils

findDriverClass() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

findJavaClasses(Path, String...) - Static method in class com.sri.gradle.daikon.utils.Filefinder

List all Java classes found in a directory.

findJavaFiles(Path, String...) - Static method in class com.sri.gradle.daikon.utils.Filefinder

List all Java files found in a directory.

findJavaJars(Path, String...) - Static method in class com.sri.gradle.daikon.utils.Filefinder

List all jar files found in a directory.

findTask(Project, String) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

findTask(String, Class<T>) - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

forkOptions(Action<JavaForkOptions>) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

G

generateTestDriverCode() - Method in class com.sri.gradle.daikon.tasks.SourceGeneratingTask

getArgs() - Method in class com.sri.gradle.daikon.internal.MainExecSpec

getBuildDir() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getBuildDir(Project) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getBuildMainDir() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getBuildMainDir(DirectoryProperty) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getBuildTestDir() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getBuildTestDir(DirectoryProperty) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getClassName(String, String, String) - Static method in class com.sri.gradle.daikon.utils.MoreFiles

getClasspath() - Method in class com.sri.gradle.daikon.internal.MainExecSpec

getClasspath() - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

getCompileTestDriverSeparately() - Method in class com.sri.gradle.daikon.extensions.CompileTestDriverJavaExtension

getConfigureFork() - Method in class com.sri.gradle.daikon.internal.MainExecSpec

getDriverDir() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getDriverDir(Project) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getDriverOutputDir(Project, String) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getGradleProject() - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

getJarfile(String) - Method in class com.sri.gradle.daikon.tasks.AbstractNamedTask

getMain() - Method in class com.sri.gradle.daikon.internal.MainExecSpec

getMainSourceSet() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getOutputDir() - Method in class com.sri.gradle.daikon.extensions.DaikonPluginExtension

getOutputDir() - Method in class com.sri.gradle.daikon.tasks.RunDaikon

getOutputDir() - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

getProject() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getProjectDir() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getProjectHelper() - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

getRequires() - Method in class com.sri.gradle.daikon.extensions.DaikonPluginExtension

getRequires() - Method in class com.sri.gradle.daikon.tasks.RunDaikon

getRuntimeClasspath() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getSourceSet(String, Project) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getSrcMainDir() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getTaskDescription() - Method in class com.sri.gradle.daikon.tasks.AbstractNamedTask

getTaskDescription() - Method in class com.sri.gradle.daikon.tasks.CheckForDaikon

getTaskDescription() - Method in class com.sri.gradle.daikon.tasks.RunDaikon

getTaskDescription() - Method in class com.sri.gradle.daikon.tasks.SourceGeneratingTask

getTaskName() - Method in class com.sri.gradle.daikon.tasks.AbstractNamedTask

getTaskName() - Method in class com.sri.gradle.daikon.tasks.CheckForDaikon

getTaskName() - Method in class com.sri.gradle.daikon.tasks.RunDaikon

getTaskName() - Method in class com.sri.gradle.daikon.tasks.SourceGeneratingTask

getTestClassesDir() - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

getTestClassName(File) - Static method in class com.sri.gradle.daikon.utils.MoreFiles

getTestClassNames(List<File>) - Static method in class com.sri.gradle.daikon.utils.MoreFiles

getTestDriverPackage() - Method in class com.sri.gradle.daikon.extensions.DaikonPluginExtension

getTestDriverPackage() - Method in class com.sri.gradle.daikon.tasks.RunDaikon

getTestDriverPackage() - Method in class com.sri.gradle.daikon.tasks.SourceGeneratingTask

getTestDriverPackage() - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

getTestDriverPackageClassesDir(Property<String>, Directory) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getTestDriverPackageDir(Property<String>, Directory) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getTestMainDir() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getTestSourceSet() - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

getWorkingDir() - Method in class com.sri.gradle.daikon.internal.MainExecSpec

GROUP - Static variable in class com.sri.gradle.daikon.Constants

I

ImmutableStream - Class in com.sri.gradle.daikon.utils

Immutable collections and maps from Stream objects

indent() - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

install(TaskConfiguration) - Method in interface com.sri.gradle.daikon.tasks.TaskExecutor

Installs a new Task configuration

J

JavaCode - Class in com.sri.gradle.daikon.utils

JavaCode.Builder - Class in com.sri.gradle.daikon.utils

JavaProjectHelper - Class in com.sri.gradle.daikon.utils

JavaProjectHelper(Project) - Constructor for class com.sri.gradle.daikon.utils.JavaProjectHelper

L

listCopyOf(Stream<? extends T>) - Static method in class com.sri.gradle.daikon.utils.ImmutableStream

Converts stream of objects into an immutable list.

M

MainExecSpec - Class in com.sri.gradle.daikon.internal

MainExecSpec() - Constructor for class com.sri.gradle.daikon.internal.MainExecSpec

MainExecutor - Class in com.sri.gradle.daikon.internal

MainExecutor(Project) - Constructor for class com.sri.gradle.daikon.internal.MainExecutor

mapCopyOf(Stream<? extends Map.Entry<? extends K, ? extends V>>) - Static method in class com.sri.gradle.daikon.utils.ImmutableStream

Converts a stream of Map.Entry objects into an immutable map.

MoreFiles - Class in com.sri.gradle.daikon.utils

mutateJavaCompileTask(JavaCompile) - Method in class com.sri.gradle.daikon.tasks.CompileTestJavaTaskMutator

N

NEW_LINE - Static variable in class com.sri.gradle.daikon.Constants

O

OutputBuilder - Interface in com.sri.gradle.daikon.tasks

P

PATH_SEPARATOR - Static variable in class com.sri.gradle.daikon.Constants

PLUGIN_DESCRIPTION - Static variable in class com.sri.gradle.daikon.Constants

PLUGIN_EXTENSION - Static variable in class com.sri.gradle.daikon.Constants

PRINT_INVARIANTS_MAIN_CLASS - Static variable in class com.sri.gradle.daikon.Constants

PrintInvariantsExecSpec - Class in com.sri.gradle.daikon.internal

PrintInvariantsExecSpec() - Constructor for class com.sri.gradle.daikon.internal.PrintInvariantsExecSpec

PROJECT_LIB_DIR - Static variable in class com.sri.gradle.daikon.Constants

PROJECT_MAIN_CLASS_DIR - Static variable in class com.sri.gradle.daikon.Constants

PROJECT_MAIN_SRC_DIR - Static variable in class com.sri.gradle.daikon.Constants

PROJECT_TEST_CLASS_DIR - Static variable in class com.sri.gradle.daikon.Constants

PROJECT_TEST_SRC_DIR - Static variable in class com.sri.gradle.daikon.Constants

Q

QUIET_OUTPUT - Static variable in class com.sri.gradle.daikon.Constants

R

relativizeFile(Path, String) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

RunDaikon - Class in com.sri.gradle.daikon.tasks

RunDaikon() - Constructor for class com.sri.gradle.daikon.tasks.RunDaikon

runDaikonOn(InputProvider) - Method in interface com.sri.gradle.daikon.tasks.TaskExecutor

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

runDaikonOn(InputProvider) - Method in class com.sri.gradle.daikon.tasks.TaskExecutorImpl

S

setArgs(Object...) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setClasspath(FileCollection) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setComparabilityFile(Path, String) - Method in class com.sri.gradle.daikon.internal.ChicoryExecSpec

setCompileTestDriverSeparately(boolean) - Method in class com.sri.gradle.daikon.extensions.CompileTestDriverJavaExtension

setCopyOf(Stream<? extends T>) - Static method in class com.sri.gradle.daikon.utils.ImmutableStream

Converts stream of object into an immutable set.

setDtraceFile(Path, String) - Method in class com.sri.gradle.daikon.internal.DaikonExecSpec

setForkOptions() - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setInvariantsFile(Path, String) - Method in class com.sri.gradle.daikon.internal.PrintInvariantsExecSpec

setMain(String) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setOutputDirectory(Path) - Method in class com.sri.gradle.daikon.internal.DynCompExecSpec

setSelectedClasses(String...) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setSelectedClasses(List<String>) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setStandardOutput(Path, String) - Method in class com.sri.gradle.daikon.internal.DaikonExecSpec

setTargetClass(String) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setWorkingDir(Path) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setWorkingDir(File) - Method in class com.sri.gradle.daikon.internal.MainExecSpec

setWrapXml() - Method in class com.sri.gradle.daikon.internal.PrintInvariantsExecSpec

setXmlOutput(Path, String) - Method in class com.sri.gradle.daikon.internal.PrintInvariantsExecSpec

SourceGeneratingTask - Class in com.sri.gradle.daikon.tasks

SourceGeneratingTask() - Constructor for class com.sri.gradle.daikon.tasks.SourceGeneratingTask

sourceSet(Project, String) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

sourceSets(Project) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

SPACE - Static variable in class com.sri.gradle.daikon.Constants

SUCCESSFUL_CODE_GENERATION - Static variable in class com.sri.gradle.daikon.Constants

SUCCESSFUL_DAIKON_EXECUTION - Static variable in class com.sri.gradle.daikon.Constants

T

task(Project, String) - Static method in class com.sri.gradle.daikon.utils.JavaProjectHelper

task(String, Class<T>) - Method in class com.sri.gradle.daikon.utils.JavaProjectHelper

TaskBuilder - Interface in com.sri.gradle.daikon.tasks

TaskBuilderImpl - Class in com.sri.gradle.daikon.tasks

TaskBuilderImpl(InputProvider, TaskExecutorImpl) - Constructor for class com.sri.gradle.daikon.tasks.TaskBuilderImpl

TaskConfiguration - Interface in com.sri.gradle.daikon.tasks

TaskExecutor - Interface in com.sri.gradle.daikon.tasks

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

TaskExecutor.TaskConfigurationError - Exception in com.sri.gradle.daikon.tasks

TaskExecutor.ThrowableComparator - Class in com.sri.gradle.daikon.tasks

TaskExecutorImpl - Class in com.sri.gradle.daikon.tasks

TaskExecutorImpl() - Constructor for class com.sri.gradle.daikon.tasks.TaskExecutorImpl

TEST_DRIVER - Static variable in class com.sri.gradle.daikon.Constants

TEST_DRIVER_CLASSNAME - Static variable in class com.sri.gradle.daikon.Constants

ThrowableComparator() - Constructor for class com.sri.gradle.daikon.tasks.TaskExecutor.ThrowableComparator

toDir(File) - Method in interface com.sri.gradle.daikon.tasks.OutputBuilder

Sets work's output directory.

toDir(File) - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

toString() - Method in class com.sri.gradle.daikon.tasks.AbstractNamedTask

toString() - Method in class com.sri.gradle.daikon.utils.JavaCode

U

UNEXPECTED_ERROR - Static variable in class com.sri.gradle.daikon.Constants

unindent() - Method in class com.sri.gradle.daikon.utils.JavaCode.Builder

USER_WORKING_DIR - Static variable in class com.sri.gradle.daikon.Constants

W

withClasspath(File...) - Method in interface com.sri.gradle.daikon.tasks.TaskBuilder

Builds the classpath needed to run the Daikon tools.

withClasspath(List<File>) - Method in interface com.sri.gradle.daikon.tasks.TaskBuilder

Builds classpath from a list of files

withClasspath(List<File>) - Method in class com.sri.gradle.daikon.tasks.TaskBuilderImpl

writeTo(File) - Method in class com.sri.gradle.daikon.utils.JavaCode

Writes this to directory.

A B C D E F G I J L M N O P Q R S T U W