ComplexSentenceTest.java

package aima.test.core.unit.logic.propositional.parsing;

import org.junit.Test;

import aima.core.logic.propositional.parsing.ast.ComplexSentence;
import aima.core.logic.propositional.parsing.ast.Connective;
import aima.core.logic.propositional.parsing.ast.PropositionSymbol;
import aima.core.logic.propositional.parsing.ast.Sentence;

public class ComplexSentenceTest {
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_1() {
		new ComplexSentence(null, new Sentence[] {new PropositionSymbol("A"), new PropositionSymbol("B")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_2() {
		new ComplexSentence(Connective.NOT, (Sentence[]) null);
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_3() {
		new ComplexSentence(Connective.NOT, new Sentence[]{});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_4() {
		new ComplexSentence(Connective.NOT, new Sentence[] {new PropositionSymbol("A"), new PropositionSymbol("B")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_5() {
		new ComplexSentence(Connective.AND, new Sentence[]{new PropositionSymbol("A")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_6() {
		new ComplexSentence(Connective.AND, new Sentence[]{new PropositionSymbol("A"), new PropositionSymbol("B"), new PropositionSymbol("C")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_7() {
		new ComplexSentence(Connective.OR, new Sentence[]{new PropositionSymbol("A")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_8() {
		new ComplexSentence(Connective.OR, new Sentence[]{new PropositionSymbol("A"), new PropositionSymbol("B"), new PropositionSymbol("C")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_9() {
		new ComplexSentence(Connective.IMPLICATION, new Sentence[]{new PropositionSymbol("A")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_10() {
		new ComplexSentence(Connective.IMPLICATION, new Sentence[]{new PropositionSymbol("A"), new PropositionSymbol("B"), new PropositionSymbol("C")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_11() {
		new ComplexSentence(Connective.BICONDITIONAL, new Sentence[]{new PropositionSymbol("A")});
	}
	
	@Test(expected = IllegalArgumentException.class)
	public void test_IllegalArgumentOnConstruction_12() {
		new ComplexSentence(Connective.BICONDITIONAL, new Sentence[]{new PropositionSymbol("A"), new PropositionSymbol("B"), new PropositionSymbol("C")});
	}
}