From 531082b7a45d0ed3e3b68ccef191e2e960e27b9d Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 8 Jan 2013 11:08:59 +0100
Subject: [PATCH] renamed package
---
.../ltl/{unittests => tests}/CounterExampleAllUnitTests.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleAndUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleFinallyUnitTest.java | 2 +-
.../{unittests => tests}/CounterExampleGloballyUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleHistoryUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleImplyUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleNextUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleNotUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleOnceUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleOrUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleReleaseUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleSinceUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleTriggerUnitTest.java | 2 +-
.../ltl/{unittests => tests}/CounterExampleUntilUnitTest.java | 2 +-
.../{unittests => tests}/CounterExampleWeakUntilUnitTest.java | 2 +-
.../{unittests => tests}/CounterExampleYesterdayUnitTest.java | 2 +-
.../ltl/{unittests => tests}/LtlTestDescription.java | 2 +-
.../ltl/{unittests => tests}/TestCounterExample.java | 2 +-
18 files changed, 18 insertions(+), 18 deletions(-)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleAllUnitTests.java (91%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleAndUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleFinallyUnitTest.java (96%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleGloballyUnitTest.java (96%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleHistoryUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleImplyUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleNextUnitTest.java (94%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleNotUnitTest.java (93%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleOnceUnitTest.java (95%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleOrUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleReleaseUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleSinceUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleTriggerUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleUntilUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleWeakUntilUnitTest.java (97%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/CounterExampleYesterdayUnitTest.java (94%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/LtlTestDescription.java (98%)
rename de.prob.core.tests/src/de/prob/core/domainobjects/ltl/{unittests => tests}/TestCounterExample.java (92%)
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAllUnitTests.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAllUnitTests.java
similarity index 91%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAllUnitTests.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAllUnitTests.java
index 4799156d..09ed7bc3 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAllUnitTests.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAllUnitTests.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import org.junit.runner.RunWith;
import org.junit.runners.Suite;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAndUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAndUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAndUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAndUnitTest.java
index c6c14c77..d389f63a 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAndUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAndUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleFinallyUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleFinallyUnitTest.java
similarity index 96%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleFinallyUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleFinallyUnitTest.java
index 6306b099..1ddcd43c 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleFinallyUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleFinallyUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleGloballyUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleGloballyUnitTest.java
similarity index 96%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleGloballyUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleGloballyUnitTest.java
index 5688ff42..f772c06a 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleGloballyUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleGloballyUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleHistoryUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleHistoryUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleHistoryUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleHistoryUnitTest.java
index 132509c5..51e89995 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleHistoryUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleHistoryUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleImplyUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleImplyUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleImplyUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleImplyUnitTest.java
index 7c557d58..c130d52f 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleImplyUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleImplyUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNextUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNextUnitTest.java
similarity index 94%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNextUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNextUnitTest.java
index 95bb6210..d6dd660c 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNextUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNextUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import org.junit.Test;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNotUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNotUnitTest.java
similarity index 93%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNotUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNotUnitTest.java
index 8eeb19f6..3566fac5 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNotUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNotUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import org.junit.Test;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOnceUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOnceUnitTest.java
similarity index 95%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOnceUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOnceUnitTest.java
index 33229e73..4457b80b 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOnceUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOnceUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import org.junit.Test;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOrUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOrUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOrUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOrUnitTest.java
index ba5f5ad1..ccff6980 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOrUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOrUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleReleaseUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleReleaseUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleReleaseUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleReleaseUnitTest.java
index c9160c73..afedebfc 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleReleaseUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleReleaseUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import org.junit.Test;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleSinceUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleSinceUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleSinceUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleSinceUnitTest.java
index 967f9264..3752a020 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleSinceUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleSinceUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
/**
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleTriggerUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleTriggerUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleTriggerUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleTriggerUnitTest.java
index 45bc1d3d..519401e2 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleTriggerUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleTriggerUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
/**
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleUntilUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleUntilUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleUntilUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleUntilUnitTest.java
index f94c169e..d7046323 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleUntilUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleUntilUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
/**
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleWeakUntilUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleWeakUntilUnitTest.java
similarity index 97%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleWeakUntilUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleWeakUntilUnitTest.java
index db33abab..b7c91884 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleWeakUntilUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleWeakUntilUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
/**
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleYesterdayUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleYesterdayUnitTest.java
similarity index 94%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleYesterdayUnitTest.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleYesterdayUnitTest.java
index b7b7e254..798865d4 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleYesterdayUnitTest.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleYesterdayUnitTest.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import org.junit.Test;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/LtlTestDescription.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/LtlTestDescription.java
similarity index 98%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/LtlTestDescription.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/LtlTestDescription.java
index 20b7f400..7b3aeaec 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/LtlTestDescription.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/LtlTestDescription.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import java.util.ArrayList;
import java.util.Collection;
diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/TestCounterExample.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/TestCounterExample.java
similarity index 92%
rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/TestCounterExample.java
rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/TestCounterExample.java
index 2c075e9d..f7de3916 100644
--- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/TestCounterExample.java
+++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/TestCounterExample.java
@@ -1,4 +1,4 @@
-package de.prob.core.domainobjects.ltl.unittests;
+package de.prob.core.domainobjects.ltl.tests;
import de.prob.core.command.LtlCheckingCommand.PathType;
import de.prob.core.domainobjects.ltl.CounterExample;
--
GitLab