Package org.dafny.gradle.plugin

Class DafnyExtension

java.lang.Object

org.dafny.gradle.plugin.DafnyExtension

public abstract class DafnyExtension
extends Object

Constructor Summary

Constructors

Constructor	Description
DafnyExtension()

Method Summary

Modifier and Type	Method	Description
abstract org.gradle.api.provider.Property<String>	getDafnyVersion()
abstract org.gradle.api.provider.MapProperty<String,Object>	getOptionsMap()

Methods inherited from class java.lang.Object

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

Constructor Details

DafnyExtension

public DafnyExtension()

Method Details

getDafnyVersion

public abstract org.gradle.api.provider.Property<String> getDafnyVersion()

getOptionsMap

public abstract org.gradle.api.provider.MapProperty<String,Object> getOptionsMap()