com.sri.gradle.daikon.internal

Class MainExecutor

java.lang.Object

com.sri.gradle.daikon.internal.MainExecutor

public class MainExecutor
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MainExecutor(org.gradle.api.Project project)

Method Summary

Modifier and Type	Method and Description
void	execChicory(org.gradle.api.Action<ChicoryExecSpec> action)
void	execChicory(ChicoryExecSpec chicorySpec)
void	execChicory(java.util.List<java.io.File> classPath, java.util.List<java.lang.String> allClassnames, java.lang.String targetClass, java.lang.String classNamePrefix, java.nio.file.Path outputDir)
void	execDaikon(org.gradle.api.Action<DaikonExecSpec> action)
void	execDaikon(DaikonExecSpec daikonSpec)
void	execDaikon(java.lang.String classNamePrefix, java.util.List<java.io.File> classPath, java.nio.file.Path outputDir)
void	execDynComp(org.gradle.api.Action<DynCompExecSpec> action)
void	execDynComp(DynCompExecSpec dynCompSpec)
void	execDynComp(java.util.List<java.io.File> classPath, java.util.List<java.lang.String> allClassnames, java.lang.String targetClass, java.nio.file.Path testClassDir, java.nio.file.Path outputDir)
void	execPrintDaikonXml(org.gradle.api.Action<PrintInvariantsExecSpec> action)
void	execPrintDaikonXml(java.util.List<java.io.File> classPath, java.lang.String classNamePrefix, java.nio.file.Path outputDir)
void	execPrintDaikonXml(PrintInvariantsExecSpec printSpec)

Methods inherited from class java.lang.Object

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

Constructor Detail

MainExecutor

public MainExecutor(org.gradle.api.Project project)

Method Detail

execChicory

public void execChicory(java.util.List<java.io.File> classPath,
                        java.util.List<java.lang.String> allClassnames,
                        java.lang.String targetClass,
                        java.lang.String classNamePrefix,
                        java.nio.file.Path outputDir)

execChicory

public void execChicory(org.gradle.api.Action<ChicoryExecSpec> action)

execChicory

public void execChicory(ChicoryExecSpec chicorySpec)

execDaikon

public void execDaikon(java.lang.String classNamePrefix,
                       java.util.List<java.io.File> classPath,
                       java.nio.file.Path outputDir)

execDaikon

public void execDaikon(org.gradle.api.Action<DaikonExecSpec> action)

execDaikon

public void execDaikon(DaikonExecSpec daikonSpec)

execPrintDaikonXml

public void execPrintDaikonXml(java.util.List<java.io.File> classPath,
                               java.lang.String classNamePrefix,
                               java.nio.file.Path outputDir)

execPrintDaikonXml

public void execPrintDaikonXml(org.gradle.api.Action<PrintInvariantsExecSpec> action)

execPrintDaikonXml

public void execPrintDaikonXml(PrintInvariantsExecSpec printSpec)

execDynComp

public void execDynComp(java.util.List<java.io.File> classPath,
                        java.util.List<java.lang.String> allClassnames,
                        java.lang.String targetClass,
                        java.nio.file.Path testClassDir,
                        java.nio.file.Path outputDir)

execDynComp

public void execDynComp(org.gradle.api.Action<DynCompExecSpec> action)

execDynComp

public void execDynComp(DynCompExecSpec dynCompSpec)