(*
 *  ENIAM_LCGlexicon is a library that provides LCG lexicon form Polish
 *  Copyright (C) 2016 Wojciech Jaworski <wjaworski atSPAMfree mimuw dot edu dot pl>
 *  Copyright (C) 2016 Institute of Computer Science Polish Academy of Sciences
 *
 *  This library is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Lesser General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  This library 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 Lesser General Public License for more details.
 *
 *  You should have received a copy of the GNU Lesser General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 *)

type categories = {lemma: string; pos: string; pos2: string; cat: string list;
                   numbers: string list; cases: string list; genders: string list; persons: string list;
                   grads: string list; praeps: string list; acms: string list;
                   aspects: string list; negations: string list; moods: string list; tenses: string list;
                   nsyn: string list; nsem: string list;
                  }

type selector =
    Lemma | (*NewLemma |*) Pos | Pos2 | Cat | Number | Case | Gender | Person | Grad | Praep |
    Acm | Aspect | Negation | Mood | Tense | Nsyn | Nsem | Ctype |
    Inumber | Igender | Iperson | Nperson | Plemma |
    Unumber | Ucase | Ugender | Uperson

module OrderedSelector = struct
  type t = selector
  let compare = compare
end

module SelectorMap=Xmap.Make(OrderedSelector)

type rule =
    Bracket
  | Quant of (selector * ENIAM_LCGtypes.internal_grammar_symbol) list
  | Raised of selector list
  | Syntax of ENIAM_LCGtypes.grammar_symbol

type rule_sem =
    BasicSem of selector list
  | RaisedSem of selector list * selector list
  | QuotSem of selector list
  | InclusionSem of selector list
  | ConjSem of selector list

type selector_relation = Eq | Neq (*| StrictEq*)


(* x="s" oznacza, że żeby reguła została użyta token musi mieć "s" jako jedną z wartości atrybutu x, reguła zostanie wykonana dla x z usuniętymi pozostałymi wartościami *)
(* x!="s" oznacza, że żeby reguła została użyta token musi mieć jako jedną z wartości atrybutu x symbol inny od "s", reguła zostanie wykonana dla x z usuniętą wartością "s" *)
(* x=="s" oznacza, że żeby reguła została użyta token musi mieć "s" jako jednyną z wartość atrybutu x *)

(* wzajemne zależności między kategoriami (np między case i person w subst) są rozstrzygane w ENIAMcategories *)

(* Basic oznacza że kwantyfikacja i term są generowane zgodnie ze standardowymi regułami:
   - kwantyfikacja przebiega po wszystkich zdefiniowanych kategoriariach i wartościach wziętych z cats
   - typ jest zadany bezpośrednio
   - term tworzy wierzchołek w strukturze zależnościowej etykietowany wszystkimi zdefiniowanymi kategoriami

   Quant oznacza że typ i term są generowane zgodnie ze standardowymi regułami:
   - kwantyfikacja jest zadana bezpośrednio
   - typ jest zadany bezpośrednio
   - term tworzy wierzchołek w strukturze zależnościowej etykietowany wszystkimi zdefiniowanymi kategoriami

*)

let empty_cats = {lemma=""; pos=""; pos2=""; cat=[];
                  numbers=[]; cases=[]; genders=[]; persons=[];
                  grads=[]; praeps=[]; acms=[]; aspects=[]; negations=[]; moods=[]; tenses=[];
                  nsyn=[]; nsem=[];
                 }

let resource_path = ref
  (try Sys.getenv "ENIAM_RESOURCE_PATH"
   with Not_found -> "/usr/share/eniam")

let rules_filename = ref (!resource_path ^ "/LCGlexicon//lexicon-pl.dic")

let subst_uncountable_lexemes_filename = ref (!resource_path ^ "/LCGlexicon/subst_uncountable.dat")
let subst_uncountable_lexemes_filename2 = ref (!resource_path ^ "/LCGlexicon/subst_uncountable_stare.dat")
let subst_container_lexemes_filename = ref (!resource_path ^ "/LCGlexicon/subst_container.dat")
let subst_numeral_lexemes_filename = ref (!resource_path ^ "/LCGlexicon/subst_numeral.dat")
let subst_time_lexemes_filename = ref (!resource_path ^ "/LCGlexicon/subst_time.dat")

(*let proper_names_filename = resource_path ^ "/lexSemantics/proper_names_sgjp_polimorf.tab"
  let proper_names_filename2 = resource_path ^ "/lexSemantics/proper_names.tab"*)
