- [id_to_uris',metasenv',term'] -> id_to_uris',metasenv',term'
- | _ -> assert false
- in
- let universe,
- ((must_obj, must_rel, must_sort) as must'),
- ((only_obj, only_rel, only_sort) as only) =
- get_constraints term' req#path
- in
- let must'', only' =
- (try
- add_user_constraints
- ~constraints:(req#param "constraints")
- (must', only)
- with Http_types.Param_not_found _ ->
- if req#param "advanced" = "no" then
- (must',only)
- else
- let variables =
- "var aliases = '" ^ id_to_uris_raw ^ "';\n" ^
- "var constr_obj_len = " ^
- string_of_int (List.length must_obj) ^ ";\n" ^
- "var constr_rel_len = " ^
- string_of_int (List.length must_rel) ^ ";\n" ^
- "var constr_sort_len = " ^
- string_of_int (List.length must_sort) ^ ";\n" in
- let form =
- (if must_obj = [] then "" else
- "<h4>Obj constraints</h4>" ^
- "<table>" ^
- (String.concat "\n" (List.map html_of_r_obj must_obj)) ^
- "</table>" ^
- (* The following three lines to make Javascript create *)
- (* the constr_obj[] and obj_depth[] arrays even if we *)
- (* have only one real entry. *)
- "<input type=\"hidden\" name=\"constr_obj\" />" ^
- "<input type=\"hidden\" name=\"obj_depth\" />") ^
- (if must_rel = [] then "" else
- "<h4>Rel constraints</h4>" ^
- "<table>" ^
- (String.concat "\n" (List.map html_of_r_rel must_rel)) ^
- "</table>" ^
- (* The following two lines to make Javascript create *)
- (* the constr_rel[] and rel_depth[] arrays even if *)
- (* we have only one real entry. *)
- "<input type=\"hidden\" name=\"constr_rel\" />" ^
- "<input type=\"hidden\" name=\"rel_depth\" />") ^
- (if must_sort = [] then "" else
- "<h4>Sort constraints</h4>" ^
- "<table>" ^
- (String.concat "\n" (List.map html_of_r_sort must_sort)) ^
- "</table>" ^
- (* The following two lines to make Javascript create *)
- (* the constr_sort[] and sort_depth[] arrays even if *)
- (* we have only one real entry. *)
- "<input type=\"hidden\" name=\"constr_sort\" />" ^
- "<input type=\"hidden\" name=\"sort_depth\" />") ^
- "<h4>Only constraints</h4>" ^
- "Enforce Only constraints for objects: " ^
- "<input type='checkbox' name='only_obj'" ^
- (if only_obj = None then "" else " checked='yes'") ^
- " /><br />" ^
- "Enforce Rel constraints for objects: " ^
- "<input type='checkbox' name='only_rel'" ^
- (if only_rel = None then "" else " checked='yes'") ^
- " /><br />" ^
- "Enforce Sort constraints for objects: " ^
- "<input type='checkbox' name='only_sort'" ^
- (if only_sort = None then "" else " checked='yes'") ^
- " /><br />"
- in
- Http_daemon.send_basic_headers ~code:(`Code 200) outchan ;
- Http_daemon.send_CRLF outchan ;
- iter_file
- (fun line ->
- let processed_line =
- apply_substs
- [form_RE, form ;
- variables_initialization_RE, variables;
- advanced_tag_RE, req#param "advanced";
- current_choices_tag_RE, req#param "choices";
- interpretations_RE, req#param "interpretation_choices";
- expression_tag_RE, req#param "expression";
- action_tag_RE, string_tail req#path] line
- in
- output_string outchan (processed_line ^ "\n"))
- constraints_choice_TPL;
- raise Chat_unfinished)
- in
- let query =
- G.query_of_constraints universe must'' only'