lib/lib_options.php - master - bear/opencorpora

lib/lib_options.php
110 строк3 KB
Alex Chuchunkov
ne_tagsets are taken from database
16 июл 2016, 12:04
16 июл 2016, 12:041a0f119
<?php
require_once('constants.php');
require_once('lib_ne.php');

class OptionTypes {
    const BINARY = 1;
    const KEY_VALUE = 2;
}

class UserOption {
    public $id;
    public $type;
    public $is_active = true;  // active options can be changed by user
    public $values;  // for KEY_VALUE type
    public $default_value = 1;
    public $caption;

    public function __construct($id, $type=OptionTypes::BINARY) {
        $this->id = $id;
        $this->type = $type;
    }
}

class UserOptionsManager {
    private $options;

    public function __construct() {
        $opt = new UserOption(OPT_GRAMNAMES);
        $opt->caption = "Показывать русские названия граммем";
        $this->_add($opt);

        $opt = new UserOption(OPT_ILANG, OptionTypes::KEY_VALUE);
        $opt->values = array(1 => "Русский", 2 => "English");
        $opt->caption = "Язык/Language";
        $opt->is_active = false;
        $this->_add($opt);

        $opt = new UserOption(OPT_SAMPLES_PER_PAGE, OptionTypes::KEY_VALUE);
        $opt->values = array(1 => 5, 2 => 10, 3 => 20, 4 => 50);
        $opt->default_value = 2;
        $opt->caption = "Количество примеров для разметки";
        $this->_add($opt);

        $opt = new UserOption(OPT_MODER_SPLIT);
        $opt->caption = "Разбивать пулы на страницы при модерации";
        $this->_add($opt);

        $opt = new UserOption(OPT_NE_QUICK);
        $opt->default_value = 0;
        $opt->caption = "Быстрый режим разметки именованных сущностей";
        $this->_add($opt);

        $opt = new UserOption(OPT_NE_TAGSET, OptionTypes::KEY_VALUE);
        $opt->values = get_ne_guidelines();
        $opt->default_value = 2;
        $opt->caption = "Инструкция (tagset) разметки NER";
        $this->_add($opt);

        $opt = new UserOption(OPT_GAME_ON);
        $opt->caption = "Включить геймификацию";
        $this->_add($opt);
    }

    public function get_all_options($only_active=false) {
        $out = array();
        foreach ($this->options as $opt) {
            if (!$only_active || $opt->is_active)
                $out[$opt->id] = array(
                    'name' => $opt->caption,
                    'value_type' => $opt->type,
                    'values' => $opt->values
                );
        }
        return $out;
    }

    public function get_user_options($user_id) {
        if (!$user_id)
            throw new UnexpectedValueException();
        $out = array();

        $res = sql_query("SELECT option_id id, option_value value FROM user_options_values WHERE user_id=$user_id");
        while ($r = sql_fetch_array($res))
            $out[$r['id']] = $r['value'];

        //autovivify absent options
        sql_begin();
        $ins = sql_prepare("INSERT INTO user_options_values VALUES(?, ?, ?)");

        foreach ($this->options as $opt) {
            if (!in_array($opt->id, array_keys($out))) {
                $out[$opt->id] = $opt->default_value;
                sql_execute($ins, array($user_id, $opt->id, $opt->default_value));
            }
        }
        sql_commit();

        return $out;
    }

    public function get_default($option_id) {
        if (!isset($this->options[$option_id]))
            throw new Exception();
        return $this->options[$option_id]->default_value;
    }

    private function _add(UserOption $opt) {
        $this->options[$opt->id] = $opt;
    }
}