added working RMFA unit test

Author: irina-dragoste

rulewerk-integrationtests/src/test/java/org/semanticweb/rulewerk/integrationtests/acyclicity/RMFAIT.java

@@ -1,107 +1,105 @@
-package org.semanticweb.rulewerk.integrationtests.acyclicity;
-
-import static org.junit.Assert.assertFalse;
-
-/*-
- * #%L
- * Rulewerk Integration Tests
- * %%
- * Copyright (C) 2018 - 2021 Rulewerk Developers
- * %%
- * 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.
- * #L%
- */
-
-import static org.junit.Assert.assertTrue;
-
-import org.junit.Ignore;
-import org.junit.Test;
-import org.semanticweb.rulewerk.core.reasoner.Reasoner;
-import org.semanticweb.rulewerk.parser.ParsingException;
-
-public class RMFAIT extends AcyclicityTest {
-
-	@Test
-	public void isRMFA_datalog() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("datalog.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	@Test
-	public void isRMFA_nonRecursive() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("non-recursive.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	@Test
-	public void isRMFA_JA_1() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("JA-1.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	@Test
-	public void isRMFA_RJA_1() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("RJA-1.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	@Test
-	public void isRMFA_RJA_2() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("RJA-2.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	@Test
-	public void isRMFA_RJA_3() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("RJA-3.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	@Test
-	public void isRMFA_MFA_1() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("MFA-1.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	//FIXME should be RMFA
-	@Ignore
-	@Test
-	public void isRMFA_RMFA_1() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("RMFA-1.rls")) {
-			assertTrue(r.isRMFA());
-		}
-	}
-
-	// FIXME fix RMFA check
-	@Ignore
-	@Test
-	public void isNotRMFA_MFC_1() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("MFC-1.rls")) {
-			assertFalse(r.isRMFA());
-		}
-	}
-
-	@Test
-	public void isNotRMFA_RMFC_1() throws ParsingException {
-		try (Reasoner r = this.getReasonerWithKbFromResource("RMFC-1.rls")) {
-			assertFalse(r.isRMFA());
-		}
-	}
-}
+package org.semanticweb.rulewerk.integrationtests.acyclicity;
+
+import static org.junit.Assert.assertFalse;
+
+/*-
+ * #%L
+ * Rulewerk Integration Tests
+ * %%
+ * Copyright (C) 2018 - 2021 Rulewerk Developers
+ * %%
+ * 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.
+ * #L%
+ */
+
+import static org.junit.Assert.assertTrue;
+
+import org.junit.Ignore;
+import org.junit.Test;
+import org.semanticweb.rulewerk.core.reasoner.Reasoner;
+import org.semanticweb.rulewerk.parser.ParsingException;
+
+public class RMFAIT extends AcyclicityTest {
+
+	@Test
+	public void isRMFA_datalog() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("datalog.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isRMFA_nonRecursive() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("non-recursive.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isRMFA_JA_1() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("JA-1.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isRMFA_RJA_1() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("RJA-1.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isRMFA_RJA_2() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("RJA-2.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isRMFA_RJA_3() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("RJA-3.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isRMFA_MFA_1() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("MFA-1.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	//FIXME should be RMFA
+	@Ignore
+	@Test
+	public void isRMFA_RMFA_1() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("RMFA-1.rls")) {
+			assertTrue(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isNotRMFA_MFC_1() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("MFC-1.rls")) {
+			assertFalse(r.isRMFA());
+		}
+	}
+
+	@Test
+	public void isNotRMFA_RMFC_1() throws ParsingException {
+		try (Reasoner r = this.getReasonerWithKbFromResource("RMFC-1.rls")) {
+			assertFalse(r.isRMFA());
+		}
+	}
+}