Hierarchy For Package org.dafny.gradle.plugin

Class Hierarchy

• java.lang.Object
  • org.gradle.api.internal.AbstractTask (implements org.gradle.api.internal.DynamicObjectAware, org.gradle.api.internal.TaskInternal)
    • org.gradle.api.DefaultTask (implements org.gradle.api.Task)
      • org.dafny.gradle.plugin.DafnyBaseTask
        • org.dafny.gradle.plugin.DafnyTranslateTask
        • org.dafny.gradle.plugin.DafnyVerifyTask
        • org.dafny.gradle.plugin.DafnyVersionCheckTask
  • org.dafny.gradle.plugin.DafnyExtension
  • org.dafny.gradle.plugin.DafnyPlugin (implements org.gradle.api.Plugin<T>)
  • java.lang.Record
    • org.dafny.gradle.plugin.DafnyBaseTask.DafnyCLIResult
  • org.dafny.gradle.plugin.Utils