// Path: src/main/java/jhilbert/Main.java
// public static boolean isInterface(String fileName) {
// 	return fileName.contains("Interface/") ||
// 	  fileName.contains("User interface/");
// }
// 
// Path: src/main/java/jhilbert/Main.java
// public static boolean isProofModule(String fileName) {
// 	return fileName.contains("Main/") ||
// 	  fileName.contains("User module/");
// }


import junit.framework.TestCase;
import static jhilbert.Main.isInterface;
import static jhilbert.Main.isProofModule;
/*
    JHilbert, a verifier for collaborative theorem proving

    Copyright © 2008, 2009, 2011 The JHilbert Authors
      See the AUTHORS file for the list of JHilbert authors.
      See the commit logs ("git log") for a list of individual contributions.

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.

    You may contact the author on this Wiki page:
    http://www.wikiproofs.de/w/index.php?title=User_talk:GrafZahl
*/

package jhilbert;


public class MainTest extends TestCase {

	public void testIsInterface() throws Exception {
		assertTrue(isInterface("/foo/bar/Interface/Logic"));
		assertTrue(isInterface("Interface/L/o/g/Logic"));
		assertFalse(isInterface("Main/L/o/g/Logic"));
		assertTrue(isInterface("User interface/J/o/e/Joe\u001cSandbox"));
	}

	public void testIsModule() throws Exception {
// Path: src/main/java/jhilbert/Main.java
// public static boolean isInterface(String fileName) {
// 	return fileName.contains("Interface/") ||
// 	  fileName.contains("User interface/");
// }
// 
// Path: src/main/java/jhilbert/Main.java
// public static boolean isProofModule(String fileName) {
// 	return fileName.contains("Main/") ||
// 	  fileName.contains("User module/");
// }


// Path: src/test/java/jhilbert/MainTest.java
import junit.framework.TestCase;
import static jhilbert.Main.isInterface;
import static jhilbert.Main.isProofModule;

/*
    JHilbert, a verifier for collaborative theorem proving

    Copyright © 2008, 2009, 2011 The JHilbert Authors
      See the AUTHORS file for the list of JHilbert authors.
      See the commit logs ("git log") for a list of individual contributions.

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.

    You may contact the author on this Wiki page:
    http://www.wikiproofs.de/w/index.php?title=User_talk:GrafZahl
*/

package jhilbert;


public class MainTest extends TestCase {

	public void testIsInterface() throws Exception {
		assertTrue(isInterface("/foo/bar/Interface/Logic"));
		assertTrue(isInterface("Interface/L/o/g/Logic"));
		assertFalse(isInterface("Main/L/o/g/Logic"));
		assertTrue(isInterface("User interface/J/o/e/Joe\u001cSandbox"));
	}

	public void testIsModule() throws Exception {
		assertTrue(isProofModule("Main/L/o/g/Logic"));