com.sri.gradle.daikon.extensions

Class DaikonPluginExtension

java.lang.Object

com.sri.gradle.daikon.extensions.DaikonPluginExtension

public class DaikonPluginExtension
extends java.lang.Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
org.gradle.api.file.DirectoryProperty	getOutputDir()
org.gradle.api.file.DirectoryProperty	getRequires()
org.gradle.api.provider.Property<java.lang.String>	getTestDriverPackage()

Methods inherited from class java.lang.Object

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

Constructor Detail

DaikonPluginExtension

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

Method Detail

getOutputDir

public org.gradle.api.file.DirectoryProperty getOutputDir()

getRequires

public org.gradle.api.file.DirectoryProperty getRequires()

getTestDriverPackage

public org.gradle.api.provider.Property<java.lang.String> getTestDriverPackage()