Index

A C D E G H I M O S T U V
All Classes and Interfaces|All Packages|Constant Field Values

A

apply(Project) - Method in class org.dafny.gradle.plugin.DafnyPlugin

C

checkVersion() - Method in class org.dafny.gradle.plugin.DafnyVersionCheckTask

D

DafnyBaseTask - Class in org.dafny.gradle.plugin

DafnyBaseTask() - Constructor for class org.dafny.gradle.plugin.DafnyBaseTask

DafnyBaseTask.DafnyCLIResult - Record Class in org.dafny.gradle.plugin

DafnyCLIResult(int, String, String) - Constructor for record class org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult

Creates an instance of a DafnyCLIResult record class.

DafnyExtension - Class in org.dafny.gradle.plugin

DafnyExtension() - Constructor for class org.dafny.gradle.plugin.DafnyExtension

DafnyPlugin - Class in org.dafny.gradle.plugin

DafnyPlugin() - Constructor for class org.dafny.gradle.plugin.DafnyPlugin

DafnyTranslateTask - Class in org.dafny.gradle.plugin

DafnyTranslateTask() - Constructor for class org.dafny.gradle.plugin.DafnyTranslateTask

DafnyVerifyTask - Class in org.dafny.gradle.plugin

DafnyVerifyTask() - Constructor for class org.dafny.gradle.plugin.DafnyVerifyTask

DafnyVersionCheckTask - Class in org.dafny.gradle.plugin

DafnyVersionCheckTask() - Constructor for class org.dafny.gradle.plugin.DafnyVersionCheckTask

dooFilesForClasspath(Collection<File>) - Static method in class org.dafny.gradle.plugin.Utils

E

equals(Object) - Method in record class org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult

Indicates whether some other object is "equal to" this one.

exitCode() - Method in record class org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult

Returns the value of the exitCode record component.

G

getClasspath() - Method in class org.dafny.gradle.plugin.DafnyBaseTask

getCommonArguments(FileCollection, Map<String, Object>) - Static method in class org.dafny.gradle.plugin.Utils

getCompileClasspath(Project) - Static method in class org.dafny.gradle.plugin.Utils

getDafnyVersion() - Method in class org.dafny.gradle.plugin.DafnyExtension

getDooFile() - Method in class org.dafny.gradle.plugin.DafnyTranslateTask

getOptions() - Method in class org.dafny.gradle.plugin.DafnyBaseTask

getOptionsMap() - Method in class org.dafny.gradle.plugin.DafnyExtension

getOutputPath() - Method in class org.dafny.gradle.plugin.DafnyTranslateTask

getOutputPath() - Method in class org.dafny.gradle.plugin.DafnyVerifyTask

getRequiredVersion() - Method in class org.dafny.gradle.plugin.DafnyVersionCheckTask

getSourceFiles() - Method in class org.dafny.gradle.plugin.DafnyVerifyTask

H

hashCode() - Method in record class org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult

Returns a hash code value for this object.

I

invokeDafnyCLI(List<String>) - Method in class org.dafny.gradle.plugin.DafnyBaseTask

M

META_INF_DOO_FILE_NAME - Static variable in class org.dafny.gradle.plugin.DafnyPlugin

O

org.dafny.gradle.plugin - package org.dafny.gradle.plugin

S

stderr() - Method in record class org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult

Returns the value of the stderr record component.

stdout() - Method in record class org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult

Returns the value of the stdout record component.

T

toString() - Method in record class org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult

Returns a string representation of this record class.

translateToJava() - Method in class org.dafny.gradle.plugin.DafnyTranslateTask

U

Utils - Class in org.dafny.gradle.plugin

Utils() - Constructor for class org.dafny.gradle.plugin.Utils

V

verify() - Method in class org.dafny.gradle.plugin.DafnyVerifyTask

A C D E G H I M O S T U V
All Classes and Interfaces|All Packages|Constant Field Values