com.sri.gradle.daikon.internal

Class PrintInvariantsExecSpec

java.lang.Object

com.sri.gradle.daikon.internal.MainExecSpec

com.sri.gradle.daikon.internal.PrintInvariantsExecSpec

public class PrintInvariantsExecSpec
extends MainExecSpec

Constructor Summary

Constructors

Constructor and Description
PrintInvariantsExecSpec()

Method Summary

Modifier and Type	Method and Description
void	setInvariantsFile(java.nio.file.Path directory, java.lang.String filename)
void	setWrapXml()
void	setXmlOutput(java.nio.file.Path directory, java.lang.String filename)

Methods inherited from class com.sri.gradle.daikon.internal.MainExecSpec

args, forkOptions, getArgs, getClasspath, getConfigureFork, getMain, getWorkingDir, relativizeFile, setArgs, setClasspath, setForkOptions, setMain, setSelectedClasses, setSelectedClasses, setTargetClass, setWorkingDir, setWorkingDir

Methods inherited from class java.lang.Object

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

Constructor Detail

PrintInvariantsExecSpec

public PrintInvariantsExecSpec()

Method Detail

setInvariantsFile

public void setInvariantsFile(java.nio.file.Path directory,
                              java.lang.String filename)

setXmlOutput

public void setXmlOutput(java.nio.file.Path directory,
                         java.lang.String filename)

setWrapXml

public void setWrapXml()