From 01708c572ede9400d3772bf7cbba66179eb734a3 Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Fri, 24 Jan 2014 14:19:18 -0500
Subject: [PATCH] Convert logic system test cases into unit tests.

Still TODO for auto-plugins/logic:

 * property-based tests for logic system
 * user documentation
 * (optional) 'about plugins' or similar to show more information about the auto-plugins for a project
 * (deferred) allow AutoPlugin to inject Commands directly?
 * (deferred) provide AutoPlugin functionality to arbitrary scopes instead of just at the Project level?
---
 .../logic/src/test/scala/sbt/logic/Test.scala | 35 ++++++++++++++++++-
 1 file changed, 34 insertions(+), 1 deletion(-)

diff --git a/util/logic/src/test/scala/sbt/logic/Test.scala b/util/logic/src/test/scala/sbt/logic/Test.scala
index 49836998a..cf50ef9fd 100644
--- a/util/logic/src/test/scala/sbt/logic/Test.scala
+++ b/util/logic/src/test/scala/sbt/logic/Test.scala
@@ -1,7 +1,40 @@
 package sbt
 package logic
 
-object Test {
+	import org.scalacheck._
+	import Prop.secure
+	import Logic.{LogicException, Matched}
+
+object LogicTest extends Properties("Logic")
+{
+	import TestClauses._
+
+	property("Handles trivial resolution.") = secure( expect(trivial, Set(A) ) )
+	property("Handles less trivial resolution.") = secure( expect(lessTrivial, Set(B,A,D)) )
+	property("Handles cycles without negation") = secure( expect(cycles, Set(F,A,B)) )
+	property("Handles basic exclusion.") = secure( expect(excludedPos, Set()) )
+	property("Handles exclusion of head proved by negation.") = secure( expect(excludedNeg, Set()) )
+		// TODO: actually check ordering, probably as part of a check that dependencies are satisifed
+	property("Properly orders results.") = secure( expect(ordering, Set(B,A,C,E,F)))
+	property("Detects cyclic negation") = secure(
+		Logic.reduceAll(badClauses, Set()) match {
+			case Right(res) => false
+			case Left(err: Logic.CyclicNegation) => true
+			case Left(err) => error(s"Expected cyclic error, got: $err")
+		}
+	)
+
+	def expect(result: Either[LogicException, Matched], expected: Set[Atom]) = result match {
+		case Left(err) => false
+		case Right(res) =>
+			val actual = res.provenSet
+			(actual == expected) || error(s"Expected to prove $expected, but actually proved $actual")
+	}
+}
+
+object TestClauses
+{
+
 	val A = Atom("A")
 	val B = Atom("B")
 	val C = Atom("C")