/*
 *  Copyright (C) 2011-2012 The Animo Project
 *  http://animotron.org
 *  	
 *  This file is part of Animotron.
 *  
 *  Animotron is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Affero General Public License as 
 *  published by the Free Software Foundation, either version 3 of 
 *  the License, or (at your option) any later version.
 *  
 *  Animotron 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 Affero General Public License for more details.
 *  
 *  You should have received a copy of 
 *  the GNU Affero General Public License along with Animotron.  
 *  If not, see <http://www.gnu.org/licenses/>.
 */
package org.animotron.statement.operator;

import org.animotron.ATest;
import org.animotron.expression.JExpression;
import org.junit.Test;

import static org.animotron.expression.AnimoExpression.__;
import static org.animotron.expression.JExpression._;
import static org.animotron.expression.JExpression.value;

/**
 * @author <a href="mailto:shabanovd@gmail.com">Dmitriy Shabanov</a>
 * @author <a href="mailto:gazdovsky@gmail.com">Evgeny Gazdovsky</a>
 *
 */
public class AnTest extends ATest {

    @Test
    public void testAN() throws Throwable {

        __(
                new JExpression(
                        _(DEF._, "A", _(AN._, "value", value("B")))
                )
        );

        JExpression test = new JExpression(
                _(AN._, "A")
        );
        assertAnimoResultOneStep(test, "def A value \"B\".");
    }

    @Test
    public void test_00() throws Throwable {

        testAnimo("def e f.");
        testAnimo("def d e.");
        testAnimo("def c d.");
        testAnimo("def b c.");
        testAnimo("def a b.");

        assertAnimoResult("a", "def a def b def c def d def e def f.");
    }

    @Test
    public void test_01() throws Throwable {

        testAnimo("def e all a.");
        testAnimo("def d a.");
        testAnimo("def c a.");
        testAnimo("def b a.");

        assertAnimoResult("e", "def e (def d def a) (def c def a) (def b def a).");
    }
}
/*
 *  Copyright (C) 2011-2012 The Animo Project
 *  http://animotron.org
 *  	
 *  This file is part of Animotron.
 *  
 *  Animotron is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Affero General Public License as 
 *  published by the Free Software Foundation, either version 3 of 
 *  the License, or (at your option) any later version.
 *  
 *  Animotron 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 Affero General Public License for more details.
 *  
 *  You should have received a copy of 
 *  the GNU Affero General Public License along with Animotron.  
 *  If not, see <http://www.gnu.org/licenses/>.
 */
package org.animotron.statement.operator;

import org.animotron.ATest;
import org.animotron.expression.JExpression;
import org.junit.Test;

import static org.animotron.expression.AnimoExpression.__;
import static org.animotron.expression.JExpression._;
import static org.animotron.expression.JExpression.value;

/**
 * @author <a href="mailto:shabanovd@gmail.com">Dmitriy Shabanov</a>
 * @author <a href="mailto:gazdovsky@gmail.com">Evgeny Gazdovsky</a>
 *
 */
public class AnTest extends ATest {

    @Test
    public void testAN() throws Throwable {

        __(
                new JExpression(
                        _(DEF._, "A", _(AN._, "value", value("B")))
                )
        );

        JExpression test = new JExpression(
                _(AN._, "A")
        );
        assertAnimoResultOneStep(test, "def A value \"B\".");
    }

    @Test
    public void test_00() throws Throwable {

        testAnimo("def e f.");
        testAnimo("def d e.");
        testAnimo("def c d.");
        testAnimo("def b c.");
        testAnimo("def a b.");

        assertAnimoResult("a", "def a b c d e f.");
    }

    @Test
    public void test_01() throws Throwable {

        testAnimo("def e all a.");
        testAnimo("def d a.");
        testAnimo("def c a.");
        testAnimo("def b a.");

        assertAnimoResult("e", "def e (d a) (c a) (b a).");
    }
}
update tests