1 files changed, 0 insertions, 52 deletions
diff --git a/testrunner/src/test/java/com/galois/fiveui/testrunner/JSTestResult.java b/testrunner/src/test/java/com/galois/fiveui/testrunner/JSTestResult.java
deleted file mode 100644
index 251d135..0000000
--- a/testrunner/src/test/java/com/galois/fiveui/testrunner/JSTestResult.java
+++ /dev/null
@@ -1,52 +0,0 @@
-/**
- * Module     : JSTestResult.java
- * Copyright  : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability  : Provisional
- * Portability: Portable
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *      http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-package com.galois.fiveui.testrunner;
-
-import org.junit.runner.Description;
-
-/**
- * @author creswick
- *
- */
-public class JSTestResult {
-
-	private final Description _name;
-	private final PassFail _passFail;
-	private final String _details;
-
-	public JSTestResult(Description name, PassFail passFail, String details) {
-		_name = name;
-		_passFail = passFail;
-		_details = details;
-	}
-
-	public Description getDescription() {
-		return _name;
-	}
-
-	public PassFail getPassFail() {
-		return _passFail;
-	}
-
-	public String getDetails() {
-		return _details;
-	}
-}