aboutsummaryrefslogtreecommitdiff
path: root/ajax.php
blob: 92310124c68dc3a0887bbf3a0d9514bdedfc2c47 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
<?php
// This file is part of Moodle - http://moodle.org/
//
// Moodle 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.
//
// Moodle 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 Moodle.  If not, see <http://www.gnu.org/licenses/>.

/**
 * @package    qtype_algebra
 * @copyright  2018 Jean-Michel Vedrine
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */

define('AJAX_SCRIPT', true);

require_once(__DIR__ . '/../../../config.php');
require_once(__DIR__ . '/parser.php');

$p = new qtype_algebra_parser;

$vars  = required_param('vars', PARAM_RAW);
$expr  = required_param('expr', PARAM_RAW);
/*
if (!confirm_sesskey()) {
    header('HTTP/1.1 403 Forbidden');
    die();
}
*/
try {
    $vars = explode(',', $vars);
    if (empty($expr)) {
        $texexp = ' ';
    } else {
        $exp = $p->parse($expr, $vars);
        $texexp = $exp->tex();
    }
} catch (Exception $e) {
    $texexp = ' ';
}

$delimiters = $CFG->qtype_algebra_texdelimiters;
switch($delimiters) {
    case 'old':
        $texexp = '$$' . $texexp . '$$';
        break;
    case 'new':
        $texexp = '\\[' . $texexp . '\\]';
        break;
    case 'simple';
        $texexp = '$' . $texexp . '$';
        break;
    case 'inline':
        $texexp = '\\(' . $texexp . '\\)';
        break;
}

header('Content-Type: application/json; charset: utf-8');
echo json_encode($texexp);