Package org.dafny.gradle.plugin

Class DafnyPlugin

java.lang.Object

org.dafny.gradle.plugin.DafnyPlugin

All Implemented Interfaces:

org.gradle.api.Plugin<org.gradle.api.Project>

public class DafnyPlugin
extends Object
implements org.gradle.api.Plugin<org.gradle.api.Project>

Field Summary

Fields

Modifier and Type	Field	Description
static final String	META_INF_DOO_FILE_NAME

Constructor Summary

Constructors

Constructor	Description
DafnyPlugin()

Method Summary

Modifier and Type	Method	Description
void	apply(org.gradle.api.Project project)

Methods inherited from class java.lang.Object

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

Field Details

META_INF_DOO_FILE_NAME

public static final String META_INF_DOO_FILE_NAME

See Also:

• Constant Field Values

Constructor Details

DafnyPlugin

public DafnyPlugin()

Method Details

apply

public void apply(org.gradle.api.Project project)

Specified by:

apply in interface org.gradle.api.Plugin<org.gradle.api.Project>