/******************************************************************************* * Copyright 2014 Felipe Takiyama * * 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 br.usp.poli.takiyama.prv; import static org.junit.Assert.assertTrue; import org.junit.Test; public class LogicalVariableTest { // @Test // public void testConstructor() { // LogicalVariable v = new LogicalVariable("Room"); // assertTrue(v.isLogicalVariable()); // } // // @Test // public void testConstructor2() { // LogicalVariable v = new LogicalVariable("B4"); // assertTrue(v.isLogicalVariable()); // } // // @Test // public void testConstructor3() { // LogicalVariable v = new LogicalVariable("The_other_side"); // assertTrue(v.isLogicalVariable()); // } // // @Test // public void testConstructor4() { // LogicalVariable v = new LogicalVariable("_weirdName"); // assertTrue(v.isLogicalVariable()); // } // // @Test(expected = IllegalArgumentException.class) // public void testConstructor5() { // new LogicalVariable("1234"); // } }