ENIAM_LCG_XMLof.ml
3.66 KB
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
(*
* ENIAM_LCGparser, a parser for Logical Categorial Grammar formalism
* Copyright (C) 2016-2017 Wojciech Jaworski <wjaworski atSPAMfree mimuw dot edu dot pl>
* Copyright (C) 2016-2017 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/>.
*)
open ENIAM_LCGtypes
let rec linear_term = function
Var v -> Xml.Element("Var",[],[Xml.PCData v])
| Tuple l -> Xml.Element("Tuple",[],Xlist.map l linear_term)
| Variant(e,l) ->
Xml.Element("Variant",["label",e],Xlist.map l (fun (i,t) ->
Xml.Element("option",["number",i],[linear_term t])))
| VariantVar(v,t) -> Xml.Element("VariantVar",["var",v],[linear_term t])
| Proj(n,t) -> Xml.Element("Proj",["option",string_of_int n],[linear_term t])
| ProjVar(v,t) -> Xml.Element("ProjVar",["var",v],[linear_term t])
| SubstVar v -> Xml.Element("SubstVar",[],[Xml.PCData v])
| Subst(s,v,t) -> Xml.Element("Subst",["var",v],[linear_term s;linear_term t])
| Inj(n,t) -> Xml.Element("Inj",["option",string_of_int n],[linear_term t])
| Case(t,l) ->
Xml.Element("Case",[],
Xml.Element("matched",[],[linear_term t]) ::
Xlist.map l (fun (v,t) -> Xml.Element("option",["var",v],[linear_term t])))
| Lambda(v,t) -> Xml.Element("Lambda",["var",v],[linear_term t])
| LambdaSet(l,t) -> Xml.Element("LambdaSet",[],Xlist.map l (fun v -> Xml.Element("var",[],[Xml.PCData v])) @ [linear_term t])
| LambdaRot(n,t) -> Xml.Element("LambdaRot",["number",string_of_int n],[linear_term t])
| App(s,t) -> Xml.Element("App",[],[linear_term s;linear_term t])
| Dot -> Xml.Element("Dot",[],[])
| Val s -> Xml.Element("Val",[],[Xml.PCData s])
| SetAttr(e,s,t) -> Xml.Element("SetAttr",["label",e],[linear_term s;linear_term t])
| Fix(s,t) -> Xml.Element("Fix",[],[linear_term s;linear_term t])
| Empty t -> Xml.Element("Empty",[],[linear_term t])
| Apply t -> Xml.Element("Apply",[],[linear_term t])
| Insert(s,t) -> Xml.Element("Insert",[],[linear_term s;linear_term t])
| Node t ->
Xml.Element("Node",["orth",t.orth;"lemma",t.lemma;"pos",t.pos;
"weight",string_of_float t.weight;"id",string_of_int t.id;"arg_dir",t.arg_dir],
[Xml.Element("symbol",[],[linear_term t.symbol]);
Xml.Element("arg_symbol",[],[linear_term t.arg_symbol]);
Xml.Element("attrs",[],Xlist.map t.attrs (fun (k,v) -> Xml.Element("attr",["name",k],[linear_term v])));
Xml.Element("args",[],[linear_term t.args])])
| Coord(l,t,a) -> Xml.Element("Coord",[],Xlist.map (t :: a :: l) linear_term)
| AddCoord(s,t) -> Xml.Element("AddCoord",[],[linear_term s;linear_term t])
| MapCoord(s,t) -> Xml.Element("MapCoord",[],[linear_term s;linear_term t])
| ConcatCoord(s,t) -> Xml.Element("ConcatCoord",[],[linear_term s;linear_term t])
| Ref i -> Xml.Element("Ref",["index",string_of_int i],[])
| Cut t -> Xml.Element("Cut",[],[linear_term t])
let linear_term_array a =
let l = Int.fold 0 (Array.length a - 1) [] (fun l i ->
Xml.Element("element",["index",string_of_int i],[linear_term a.(i)]) :: l) in
Xml.Element("array",[],List.rev l)