<?php
// This file is part of Stack - http://stack.maths.ed.ac.uk//
//
// Stack 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.
//
// Stack 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 Stack.  If not, see <http://www.gnu.org/licenses/>.

namespace qtype_stack;

use castext2_evaluatable;
use qtype_stack_testcase;
use stack_ast_container;
use stack_cas_session2;
use stack_options;
use stack_subscripts_test_data;

defined('MOODLE_INTERNAL') || die();

require_once(__DIR__ . '/../locallib.php');
require_once(__DIR__ . '/../stack/answertest/controller.class.php');
require_once(__DIR__ . '/../stack/options.class.php');
require_once(__DIR__ . '/fixtures/test_base.php');
require_once(__DIR__ . '/fixtures/subscriptsfixtures.class.php');
require_once(__DIR__ . '/../stack/cas/castext2/castext2_evaluatable.class.php');
require_once(__DIR__ . '/../stack/cas/cassession2.class.php');
require_once(__DIR__ . '/../stack/cas/keyval.class.php');
require_once(__DIR__ . '/../stack/cas/secure_loader.class.php');
require_once(__DIR__ . '/../stack/cas/ast.container.class.php');

/**
 * Add in all the tests from subscriptsfixtures.php into the unit testing framework.
 * These are exposed to users as documentation and google-ci should also run all the tests.
 *
 * @package    qtype_stack
 * @copyright 2016 The University of Edinburgh.
 * @license   http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later.
 * @group qtype_stack
 * @covers \stack_ast_container
 */
final class subscript_test extends qtype_stack_testcase {

    /**
     * Add description
     * @codingStandardsIgnoreStart
     * Provider in another class/file throws false code check error.
     * @dataProvider stack_subscripts_test_data::get_raw_test_data
     * @codingStandardsIgnoreEnd
     */
    public function test_subscripts(): void {

        $this->skip_if_old_maxima('5.40.0');

        $test1 = stack_subscripts_test_data::test_from_raw(func_get_args());
        $resultfalse = stack_subscripts_test_data::run_test($test1, false);

        $test2 = stack_subscripts_test_data::test_from_raw(func_get_args());
        $resulttrue = stack_subscripts_test_data::run_test($test2, true);

        if ('invalid' == $resultfalse->maxima) {
            $this->assertFalse($resultfalse->valid);
        } else {
            $this->assertEquals($resultfalse->maxima, $resultfalse->value);
            $this->assertEquals($resultfalse->tex, $resultfalse->display);
        }

        if ('invalid' == $resulttrue->maxima) {
            $this->assertFalse($resulttrue->valid);
        } else {
            $target = $resulttrue->maxima;
            if ($resulttrue->maximasimp != '!') {
                $target = $resulttrue->maximasimp;
            }
            $this->assertEquals($target, $resulttrue->value);
            $target = $resulttrue->tex;
            if ($resulttrue->maximasimp != '!') {
                $target = $resulttrue->texsimp;
            }
            $this->assertEquals($target, $resulttrue->display);
            $target = $resulttrue->tex;
            if ($resulttrue->texplain != '!') {
                $target = $resulttrue->texplain;
            }
            $this->assertEquals($target, $resulttrue->plaindisplay);
        }
    }

    public function test_texput_overide(): void {

        $preamble   = [];
        $preamble[] = 'texput(F, "{\\mathcal F}");';
        $preamble[] = 'texput(F_1, "F_1");';
        $preamble[] = 'texput(F_x, "F_x");';
        $statements = [];
        foreach ($preamble as $statement) {
            $statements[] = stack_ast_container::make_from_teacher_source($statement, 'castext-test-case');
        }
        $code = '{@F@}, {@F_1@}, {@F_2@}, {@F_x@}, {@F_y@}.';
        $result = castext2_evaluatable::make_from_source($code, 'castext-test-case');

        $options = new stack_options(['simplify' => false]);
        $statements[] = $result;
        $session = new stack_cas_session2($statements, $options);
        $session->instantiate();

        $rendered = $result->get_rendered();

        $output = '\({{mathcal F}}\), \({F_1}\), \({{{mathcal F}}_{2}}\), \({F_x}\), \({{{mathcal F}}_{y}}\).';
        $this->assertEquals($output, $rendered);
    }

    public function test_texput_overide_units(): void {

        $preamble   = [];
        $preamble[] = 'stack_unit_si_declare(true);';
        $preamble[] = 'texput(F_1, "F_1");';
        $preamble[] = 'texput(F_x, "F_x");';
        $statements = [];
        foreach ($preamble as $statement) {
            $statements[] = stack_ast_container::make_from_teacher_source($statement, 'castext-test-case');
        }
        $code = '{@F@}, {@F_1@}, {@F_2@}, {@F_x@}, {@F_y@}.';
        $result = castext2_evaluatable::make_from_source($code, 'castext-test-case');

        $options = new stack_options(['simplify' => false]);
        $statements[] = $result;
        $session = new stack_cas_session2($statements, $options);
        $session->instantiate();

        $rendered = $result->get_rendered();

        $output = '\({\mathrm{F}}\), \({F_1}\), \({{\mathrm{F}}_{2}}\), \({F_x}\), \({{\mathrm{F}}_{y}}\).';
        $this->assertEquals($output, $rendered);
    }
}
