1 files changed, 92 insertions, 0 deletions
diff --git a/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy b/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
new file mode 100644
index 0000000..e06236f
--- /dev/null
+++ b/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
@@ -0,0 +1,92 @@
+package frege.gradle.tasks
+import org.gradle.api.DefaultTask
+import org.gradle.api.internal.file.FileResolver
+import org.gradle.api.tasks.TaskAction
+import org.gradle.process.internal.DefaultJavaExecAction
+import org.gradle.process.internal.JavaExecAction
+
+class FregeQuickCheck extends DefaultTask {
+
+    // more options to consider:
+/*
+     Looks up quick check predicates in the given modules and tests them.
+
+    [Usage:] java -cp fregec.jar frege.tools.Quick [ option ... ] modulespec ...
+
+    Options:
+
+    -    -v      print a line for each pedicate that passed
+    -    -n num  run _num_ tests per predicate, default is 100
+    -    -p pred1,pred2,... only test the given predicates
+    -    -x pred1,pred2,... do not test the given predicates
+    -    -l  just print the names of the predicates available.
+
+    Ways to specify modules:
+
+    - module  the module name (e.g. my.great.Module), will be lookup up in
+              the current class path.
+    - dir/    A directory path. The directory is searched for class files,
+              and for each class files an attempt is made to load it as if
+              the given directory was in the class path. The directory must
+              be the root of the classes contained therein, otherwise the
+              classes won't get loaded.
+    - path-to.jar A jar or zip file is searched for class files, and for each
+              class file found an attempt is made to load it as if the
+              jar was in the class path.
+
+     The number of passed/failed tests is reported. If any test failed or other
+     errors occured, the exit code will be non zero.
+
+     The code will try to heat up your CPU by running tests on all available cores.
+     This should be faster on multi-core computers than running the tests
+     sequentially. It makes it feasable to run more tests per predicate.
+
+     */
+
+    Boolean verbose = true
+    Boolean listAvailable = false
+    Boolean help = false
+    Integer num = 100
+    List<String> includePredicates
+    List<String> excludePredicates
+    String moduleName
+    String moduleDirectory
+    String moduleJar
+    List<String> classpathDirectories = ["$project.buildDir/classes/main", "$project.buildDir/classes/test"]
+    String moduleDir = "$project.buildDir/classes/test"
+    List<String> allJvmArgs = []
+
+    @TaskAction
+    void runQuickCheck() {
+
+        FileResolver fileResolver = getServices().get(FileResolver.class)
+        JavaExecAction action = new DefaultJavaExecAction(fileResolver)
+        action.setMain("frege.tools.Quick")
+
+        action.standardInput = System.in
+        action.standardOutput = System.out
+        action.errorOutput = System.err
+
+        def f = project.files(classpathDirectories.collect { s -> new File(s) })
+        action.setClasspath(project.files(project.configurations.compile).plus(project.files(project.configurations.testRuntime)).plus(f))
+
+
+        project.configurations.testRuntime.each { println it }
+
+        def args = []
+        if (help) {
+
+        } else {
+            if (verbose) args << "-v"
+            if (listAvailable) args << "-l"
+            if (!allJvmArgs.isEmpty()) {
+                action.setJvmArgs(allJvmArgs)
+            }
+            args = args + [moduleDir]
+        }
+        logger.info("Calling Frege QuickCheck with args: '$args'")
+        action.args args
+        action.execute()
+    }
+
+}
+\ No newline at end of file