com.sri.gradle.daikon.internal

Class MainExecSpec

java.lang.Object

com.sri.gradle.daikon.internal.MainExecSpec

Direct Known Subclasses:

ChicoryExecSpec, DaikonExecSpec, DynCompExecSpec, PrintInvariantsExecSpec

public class MainExecSpec
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MainExecSpec()

Method Summary

Modifier and Type	Method and Description
void	args(java.lang.Object... args)
void	forkOptions(org.gradle.api.Action<org.gradle.process.JavaForkOptions> configureFork)
java.lang.Object[]	getArgs()
org.gradle.api.file.FileCollection	getClasspath()
java.util.List<org.gradle.api.Action<org.gradle.process.JavaForkOptions>>	getConfigureFork()
java.lang.String	getMain()
java.io.File	getWorkingDir()
protected java.nio.file.Path	relativizeFile(java.nio.file.Path directory, java.lang.String filename)
void	setArgs(java.lang.Object... args)
void	setClasspath(org.gradle.api.file.FileCollection classpath)
void	setForkOptions()
void	setMain(java.lang.String main)
void	setSelectedClasses(java.util.List<java.lang.String> fullyQualifiedClassNames)
void	setSelectedClasses(java.lang.String... fullyQualifiedClassNames)
void	setTargetClass(java.lang.String targetClass)
void	setWorkingDir(java.io.File workingDir)
void	setWorkingDir(java.nio.file.Path workingDir)

Methods inherited from class java.lang.Object

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

Constructor Detail

MainExecSpec

public MainExecSpec()

Method Detail

args

public void args(java.lang.Object... args)

forkOptions

public void forkOptions(org.gradle.api.Action<org.gradle.process.JavaForkOptions> configureFork)

getArgs

public java.lang.Object[] getArgs()

getClasspath

public org.gradle.api.file.FileCollection getClasspath()

getConfigureFork

public java.util.List<org.gradle.api.Action<org.gradle.process.JavaForkOptions>> getConfigureFork()

getMain

public java.lang.String getMain()

getWorkingDir

public java.io.File getWorkingDir()

relativizeFile

protected java.nio.file.Path relativizeFile(java.nio.file.Path directory,
                                            java.lang.String filename)

setArgs

public void setArgs(java.lang.Object... args)

setClasspath

public void setClasspath(org.gradle.api.file.FileCollection classpath)

setForkOptions

public void setForkOptions()

setMain

public void setMain(java.lang.String main)

setSelectedClasses

public void setSelectedClasses(java.lang.String... fullyQualifiedClassNames)

setSelectedClasses

public void setSelectedClasses(java.util.List<java.lang.String> fullyQualifiedClassNames)

setTargetClass

public void setTargetClass(java.lang.String targetClass)

setWorkingDir

public void setWorkingDir(java.nio.file.Path workingDir)

setWorkingDir

public void setWorkingDir(java.io.File workingDir)