Package org.dafny.gradle.plugin

Class Utils

java.lang.Object

org.dafny.gradle.plugin.Utils

public class Utils
extends Object

Constructor Summary

Constructors

Constructor	Description
Utils()

Method Summary

Modifier and Type	Method	Description
static List<String>	dooFilesForClasspath(Collection<File> classpath)
static List<String>	getCommonArguments(org.gradle.api.file.FileCollection classpath, Map<String,Object> options)
static org.gradle.api.artifacts.Configuration	getCompileClasspath(org.gradle.api.Project project)

Methods inherited from class java.lang.Object

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

Constructor Details

Utils

public Utils()

Method Details

dooFilesForClasspath

public static List<String> dooFilesForClasspath(Collection<File> classpath)
                                         throws IOException

Throws:

IOException

getCommonArguments

public static List<String> getCommonArguments(org.gradle.api.file.FileCollection classpath,
 Map<String,Object> options)
                                       throws IOException

Throws:

IOException

getCompileClasspath

public static org.gradle.api.artifacts.Configuration getCompileClasspath(org.gradle.api.Project project)