grew_ast.mli 6.13 KB
Newer Older
bguillaum's avatar
bguillaum committed
1 2 3 4 5 6 7 8 9 10
(**********************************************************************************)
(*    Libcaml-grew - a Graph Rewriting library dedicated to NLP applications      *)
(*                                                                                *)
(*    Copyright 2011-2013 Inria, Université de Lorraine                           *)
(*                                                                                *)
(*    Webpage: http://grew.loria.fr                                               *)
(*    License: CeCILL (see LICENSE folder or "http://www.cecill.info")            *)
(*    Authors: see AUTHORS file                                                   *)
(**********************************************************************************)

bguillaum's avatar
bguillaum committed
11
open Grew_base
12
open Grew_types
13

bguillaum's avatar
bguillaum committed
14
module Ast : sig
15 16

  (* ---------------------------------------------------------------------- *)
bguillaum's avatar
bguillaum committed
17
  (* simple_ident: cat or V *)
18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
  type simple_ident = Id.name
  val parse_simple_ident: string -> simple_ident
  val is_simple_ident: string -> bool
  val dump_simple_ident: simple_ident -> string

  (* ---------------------------------------------------------------------- *)
  (* label_ident: D:mod.dis *)
  type label_ident = string
  val parse_label_ident: string -> label_ident
  val dump_label_ident: label_ident -> string

  (* ---------------------------------------------------------------------- *)
  (* pattern_label_ident: D:mod.* *)
  type pattern_label_ident = string
  val parse_pattern_label_ident: string -> pattern_label_ident
  val dump_pattern_label_ident: pattern_label_ident -> string

  (* ---------------------------------------------------------------------- *)
  (* feature_ident: V.cat *)
  type feature_ident = Id.name * feature_name
  val parse_feature_ident: string -> feature_ident
  val dump_feature_ident: feature_ident -> string

bguillaum's avatar
bguillaum committed
41 42 43 44 45 46
  (* ---------------------------------------------------------------------- *)
  (* simple_or_feature_ident: union of simple_ident and feature_ident *)
  (* Note: used for parsing of "X < Y" and "X.feat < Y.feat" without conflicts *)
  type simple_or_feature_ident = Id.name * feature_name option
  val parse_simple_or_feature_ident: string -> simple_or_feature_ident

47
  (* ---------------------------------------------------------------------- *)
48
  type feature_kind =
49 50
    | Equality of feature_value list
    | Disequality of feature_value list
bguillaum's avatar
bguillaum committed
51
    | Equal_param of string (* $ident *)
bguillaum's avatar
bguillaum committed
52
    | Absent
bguillaum's avatar
bguillaum committed
53 54

  type u_feature = {
55 56 57
    name: feature_name;
    kind: feature_kind;
  }
bguillaum's avatar
bguillaum committed
58 59 60 61
  type feature = u_feature * Loc.t

  type u_node = {
      node_id: Id.name;
62
      position: float option;
bguillaum's avatar
bguillaum committed
63 64 65 66
      fs: feature list;
    }
  type node = u_node * Loc.t

67 68
  type edge_label = string (* p_obj.agt:suj *)

bguillaum's avatar
bguillaum committed
69 70 71
  (* (list of edge_label separated by '|', bool true iff it is a negative constraint) *)
  type edge_label_cst = edge_label list * bool

bguillaum's avatar
bguillaum committed
72 73 74
  type u_edge = {
      edge_id: Id.name option;
      src: Id.name;
bguillaum's avatar
bguillaum committed
75
      edge_label_cst: edge_label_cst;
bguillaum's avatar
bguillaum committed
76 77 78 79
      tar: Id.name;
    }
  type edge = u_edge * Loc.t

bguillaum's avatar
bguillaum committed
80 81 82
  type ineq = Lt | Gt | Le | Ge
  val string_of_ineq: ineq -> string

83
  type u_const =
84 85
    | Cst_out of Id.name * edge_label_cst
    | Cst_in of Id.name * edge_label_cst
86 87 88
    | Feature_eq of feature_ident * feature_ident
    | Feature_diseq of feature_ident * feature_ident
    | Feature_ineq of ineq * feature_ident * feature_ident
89
    | Feature_ineq_cst of ineq * feature_ident * float
bguillaum's avatar
bguillaum committed
90
    | Feature_re of feature_ident * string
bguillaum's avatar
bguillaum committed
91 92
    | Prec of Id.name * Id.name
    | Lprec of Id.name * Id.name
bguillaum's avatar
bguillaum committed
93

bguillaum's avatar
bguillaum committed
94 95
  type const = u_const * Loc.t

bguillaum's avatar
bguillaum committed
96
  type basic = {
bguillaum's avatar
bguillaum committed
97 98 99 100 101
      pat_nodes: node list;
      pat_edges: edge list;
      pat_const: const list;
    }

102 103 104 105 106
  type pattern = {
      pat_pos: basic;
      pat_negs: basic list;
    }

107 108
  val complete_pattern : pattern -> pattern

bguillaum's avatar
bguillaum committed
109
  type concat_item =
110
    | Qfn_item of feature_ident
bguillaum's avatar
bguillaum committed
111
    | String_item of string
112
    | Param_item of string
113

114
  type u_command =
bguillaum's avatar
bguillaum committed
115
    | Del_edge_expl of (Id.name * Id.name * edge_label)
bguillaum's avatar
bguillaum committed
116
    | Del_edge_name of string
bguillaum's avatar
bguillaum committed
117
    | Add_edge of (Id.name * Id.name * edge_label)
118 119

    (* 4 args: source, target, labels, flag true iff negative cst *)
bguillaum's avatar
bguillaum committed
120 121 122
    | Shift_in of (Id.name * Id.name * edge_label_cst)
    | Shift_out of (Id.name * Id.name * edge_label_cst)
    | Shift_edge of (Id.name * Id.name * edge_label_cst)
123

bguillaum's avatar
bguillaum committed
124 125 126
    | Merge_node of (Id.name * Id.name)
    | New_neighbour of (Id.name * Id.name * edge_label)
    | Del_node of Id.name
127

bguillaum's avatar
bguillaum committed
128 129
    | Del_feat of feature_ident
    | Update_feat of feature_ident * concat_item list
bguillaum's avatar
bguillaum committed
130
  type command = u_command * Loc.t
bguillaum's avatar
bguillaum committed
131

bguillaum's avatar
bguillaum committed
132 133
  type rule = {
      rule_id:Id.name;
134
      pattern: pattern;
bguillaum's avatar
bguillaum committed
135
      commands: command list;
136
      param: (string list * string list) option; (* (files, vars) *)
bguillaum's avatar
bguillaum committed
137
      lex_par: string list option; (* lexical parameters in the file *)
bguillaum's avatar
bguillaum committed
138
      rule_doc:string list;
bguillaum's avatar
bguillaum committed
139 140
      rule_loc: Loc.t;
    }
141

bguillaum's avatar
bguillaum committed
142 143
  type modul = {
      module_id:Id.name;
144
      local_labels: (string * string list) list;
bguillaum's avatar
bguillaum committed
145 146
      rules: rule list;
      confluent: bool;
bguillaum's avatar
bguillaum committed
147
      module_doc:string list;
bguillaum's avatar
bguillaum committed
148
      mod_loc:Loc.t;
149
      mod_dir: string; (* the directory where the module is defined (for lp file localisation) *)
bguillaum's avatar
bguillaum committed
150
    }
151

152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171
  type old_sequence = {
    seq_name:string;
    seq_mod:string list;
    seq_doc:string list;
    seq_loc:Loc.t;
  }

  type new_sequence =
    | Ref of string
    | List of new_sequence list
    | Plus of new_sequence list
    | Star of new_sequence
    | Diamond of new_sequence

  val new_sequence_to_string : new_sequence -> string
  val flatten : new_sequence -> new_sequence

  type sequence =
  | Old of old_sequence
  | New of ((string * Loc.t) * new_sequence)
172 173

  type module_or_include =
bguillaum's avatar
bguillaum committed
174
    | Modul of modul
175
    | Includ of (string * Loc.t)
bguillaum's avatar
bguillaum committed
176

177 178 179 180 181
  type domain = {
      feature_domain: Feature_domain.feature_spec list;
      label_domain: (string * string list) list;
    }

182 183 184 185
  type domain_wi = Dom of domain | Dom_file of string

  type grs_wi = {
      domain_wi: domain_wi;
186
      modules_wi: module_or_include list;
bguillaum's avatar
bguillaum committed
187 188 189
      sequences_wi: sequence list;
    }

190
  (* a GRS: graph rewriting system *)
bguillaum's avatar
bguillaum committed
191
  type grs = {
192
      domain: domain;
bguillaum's avatar
bguillaum committed
193 194 195 196 197
      modules: modul list;
      sequences: sequence list;
    }

  type gr = {
198
    meta: string list;
199 200 201
    nodes: node list;
    edges: edge list;
  }
bguillaum's avatar
bguillaum committed
202 203

  val empty_grs: grs
bguillaum's avatar
bguillaum committed
204
end (* module Ast *)