2014-10-26 12:46:17 +01:00
|
|
|
open Qputils;;
|
|
|
|
open Qptypes;;
|
|
|
|
open Core.Std;;
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
(** Interactive editing of the input.
|
2014-10-29 00:12:45 +01:00
|
|
|
|
2015-04-20 10:12:08 +02:00
|
|
|
WARNING
|
|
|
|
This file is autogenerad by
|
2016-03-22 13:28:03 +01:00
|
|
|
`${{QP_ROOT}}/scripts/ezfio_interface/ei_handler.py`
|
2015-01-08 00:19:51 +01:00
|
|
|
*)
|
2014-10-29 00:12:45 +01:00
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
|
|
|
|
(** Keywords used to define input sections *)
|
2014-10-26 12:46:17 +01:00
|
|
|
type keyword =
|
|
|
|
| Ao_basis
|
2015-04-20 10:12:08 +02:00
|
|
|
| Determinants_by_hand
|
2014-10-28 17:16:51 +01:00
|
|
|
| Electrons
|
|
|
|
| Mo_basis
|
2014-10-29 18:55:31 +01:00
|
|
|
| Nuclei
|
2015-04-02 11:30:03 +02:00
|
|
|
{keywords}
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
|
2014-10-26 12:46:17 +01:00
|
|
|
let keyword_to_string = function
|
2015-04-20 10:12:08 +02:00
|
|
|
| Ao_basis -> "AO basis"
|
|
|
|
| Determinants_by_hand -> "Determinants_by_hand"
|
|
|
|
| Electrons -> "Electrons"
|
|
|
|
| Mo_basis -> "MO basis"
|
|
|
|
| Nuclei -> "Molecule"
|
2015-04-02 11:30:03 +02:00
|
|
|
{keywords_to_string}
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
|
|
|
|
|
|
|
|
(** Create the header of the temporary file *)
|
|
|
|
let file_header filename =
|
|
|
|
Printf.sprintf "
|
|
|
|
==================================================================
|
|
|
|
Quantum Package
|
|
|
|
==================================================================
|
|
|
|
|
|
|
|
Editing file `%s`
|
|
|
|
|
|
|
|
" filename
|
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
|
|
(** Creates the header of a section *)
|
2014-10-26 12:46:17 +01:00
|
|
|
let make_header kw =
|
|
|
|
let s = keyword_to_string kw in
|
|
|
|
let l = String.length s in
|
2014-10-29 00:12:45 +01:00
|
|
|
"\n\n"^s^"\n"^(String.init l ~f:(fun _ -> '='))^"\n\n"
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
|
|
|
|
(** Returns the rst string of section [s] *)
|
2014-10-28 17:16:51 +01:00
|
|
|
let get s =
|
2014-11-27 23:05:26 +01:00
|
|
|
let header = (make_header s) in
|
|
|
|
let f (read,to_rst) =
|
|
|
|
match read () with
|
|
|
|
| Some text -> header ^ (Rst_string.to_string (to_rst text))
|
|
|
|
| None -> ""
|
|
|
|
in
|
|
|
|
let rst =
|
|
|
|
try
|
|
|
|
begin
|
|
|
|
let open Input in
|
|
|
|
match s with
|
|
|
|
| Mo_basis ->
|
|
|
|
f Mo_basis.(read, to_rst)
|
|
|
|
| Electrons ->
|
|
|
|
f Electrons.(read, to_rst)
|
|
|
|
| Nuclei ->
|
|
|
|
f Nuclei.(read, to_rst)
|
|
|
|
| Ao_basis ->
|
|
|
|
f Ao_basis.(read, to_rst)
|
2015-04-20 10:12:08 +02:00
|
|
|
| Determinants_by_hand ->
|
2016-03-07 19:21:11 +01:00
|
|
|
f Determinants_by_hand.(read_maybe, to_rst)
|
2015-04-02 11:30:03 +02:00
|
|
|
{section_to_rst}
|
2014-11-27 23:05:26 +01:00
|
|
|
end
|
|
|
|
with
|
|
|
|
| Sys_error msg -> (Printf.eprintf "Info: %s\n%!" msg ; "")
|
|
|
|
in
|
|
|
|
rst
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
|
|
|
|
(** Applies the changes from the string [str] corresponding to section [s] *)
|
2014-11-03 19:33:06 +01:00
|
|
|
let set str s =
|
|
|
|
let header = (make_header s) in
|
2014-11-27 23:05:26 +01:00
|
|
|
match String.substr_index ~pos:0 ~pattern:header str with
|
|
|
|
| None -> ()
|
|
|
|
| Some idx ->
|
|
|
|
begin
|
|
|
|
let index_begin = idx + (String.length header) in
|
|
|
|
let index_end =
|
|
|
|
match ( String.substr_index ~pos:(index_begin+(String.length header)+1)
|
|
|
|
~pattern:"==" str) with
|
|
|
|
| Some i -> i
|
|
|
|
| None -> String.length str
|
|
|
|
in
|
|
|
|
let l = index_end - index_begin in
|
|
|
|
let str = String.sub ~pos:index_begin ~len:l str
|
|
|
|
|> Rst_string.of_string
|
|
|
|
in
|
|
|
|
let write (of_rst,w) s =
|
|
|
|
try
|
|
|
|
match of_rst str with
|
|
|
|
| Some data -> w data
|
|
|
|
| None -> ()
|
|
|
|
with
|
|
|
|
| _ -> (Printf.eprintf "Info: Read error in %s\n%!"
|
2015-01-08 00:19:51 +01:00
|
|
|
(keyword_to_string s); ignore (of_rst str) )
|
2014-11-27 23:05:26 +01:00
|
|
|
in
|
|
|
|
let open Input in
|
|
|
|
match s with
|
2015-04-02 11:30:03 +02:00
|
|
|
{write}
|
2014-11-27 23:05:26 +01:00
|
|
|
| Electrons -> write Electrons.(of_rst, write) s
|
2015-04-20 10:12:08 +02:00
|
|
|
| Determinants_by_hand -> write Determinants_by_hand.(of_rst, write) s
|
2014-11-27 23:05:26 +01:00
|
|
|
| Nuclei -> write Nuclei.(of_rst, write) s
|
|
|
|
| Ao_basis -> () (* TODO *)
|
|
|
|
| Mo_basis -> () (* TODO *)
|
2016-03-22 13:28:03 +01:00
|
|
|
end
|
2014-11-03 19:33:06 +01:00
|
|
|
;;
|
|
|
|
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
(** Creates the temporary file for interactive editing *)
|
2014-10-28 17:16:51 +01:00
|
|
|
let create_temp_file ezfio_filename fields =
|
2014-11-03 19:33:06 +01:00
|
|
|
let temp_filename = Filename.temp_file "qp_edit_" ".rst" in
|
2014-11-27 23:05:26 +01:00
|
|
|
begin
|
|
|
|
Out_channel.with_file temp_filename ~f:(fun out_channel ->
|
|
|
|
(file_header ezfio_filename) :: (List.map ~f:get fields)
|
|
|
|
|> String.concat ~sep:"\n"
|
|
|
|
|> Out_channel.output_string out_channel
|
|
|
|
)
|
|
|
|
end
|
|
|
|
; temp_filename
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
|
|
|
|
|
2015-02-23 14:26:12 +01:00
|
|
|
let run check_only ezfio_filename =
|
2014-10-26 12:46:17 +01:00
|
|
|
|
|
|
|
(* Open EZFIO *)
|
|
|
|
if (not (Sys.file_exists_exn ezfio_filename)) then
|
|
|
|
failwith (ezfio_filename^" does not exists");
|
|
|
|
|
|
|
|
Ezfio.set_file ezfio_filename;
|
|
|
|
|
2014-11-03 19:33:06 +01:00
|
|
|
(*
|
|
|
|
let output = (file_header ezfio_filename) :: (
|
2014-10-28 17:16:51 +01:00
|
|
|
List.map ~f:get [
|
|
|
|
Ao_basis ;
|
|
|
|
Mo_basis ;
|
|
|
|
])
|
|
|
|
in
|
2014-10-26 12:46:17 +01:00
|
|
|
String.concat output
|
|
|
|
|> print_string
|
2014-11-03 19:33:06 +01:00
|
|
|
*)
|
|
|
|
|
|
|
|
let tasks = [
|
|
|
|
Nuclei ;
|
2014-11-28 19:50:48 +01:00
|
|
|
Ao_basis;
|
2014-11-04 00:39:10 +01:00
|
|
|
Electrons ;
|
2015-04-02 11:30:03 +02:00
|
|
|
{tasks}
|
2014-12-25 23:53:29 +01:00
|
|
|
Mo_basis;
|
2015-04-20 10:12:08 +02:00
|
|
|
Determinants_by_hand ;
|
2014-11-03 19:33:06 +01:00
|
|
|
]
|
|
|
|
in
|
|
|
|
|
|
|
|
(* Create the temp file *)
|
2016-03-22 13:28:03 +01:00
|
|
|
let temp_filename =
|
|
|
|
create_temp_file ezfio_filename tasks
|
|
|
|
in
|
2014-11-03 19:33:06 +01:00
|
|
|
|
|
|
|
(* Open the temp file with external editor *)
|
|
|
|
let editor =
|
|
|
|
match Sys.getenv "EDITOR" with
|
|
|
|
| Some editor -> editor
|
|
|
|
| None -> "vi"
|
|
|
|
in
|
2015-02-23 14:26:12 +01:00
|
|
|
|
|
|
|
match check_only with
|
|
|
|
| true -> ()
|
|
|
|
| false ->
|
|
|
|
Printf.sprintf "%s %s" editor temp_filename
|
|
|
|
|> Sys.command_exn
|
|
|
|
;
|
2014-11-03 19:33:06 +01:00
|
|
|
|
|
|
|
(* Re-read the temp file *)
|
|
|
|
let temp_string =
|
|
|
|
In_channel.with_file temp_filename ~f:(fun in_channel ->
|
|
|
|
In_channel.input_all in_channel)
|
|
|
|
in
|
|
|
|
List.iter ~f:(fun x -> set temp_string x) tasks;
|
2016-03-22 13:28:03 +01:00
|
|
|
Libint.write_files (!Ezfio.ezfio_filename);
|
2014-11-03 19:33:06 +01:00
|
|
|
|
|
|
|
(* Remove temp_file *)
|
2016-03-22 13:28:03 +01:00
|
|
|
Sys.remove temp_filename
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
|
|
|
|
2015-01-08 00:19:51 +01:00
|
|
|
(** Create a backup file in case of an exception *)
|
|
|
|
let create_backup ezfio_filename =
|
|
|
|
Printf.sprintf "
|
|
|
|
rm -f %s/backup.tgz ;
|
|
|
|
tar -zcf .backup.tgz %s && mv .backup.tgz %s/backup.tgz
|
|
|
|
"
|
|
|
|
ezfio_filename ezfio_filename ezfio_filename
|
|
|
|
|> Sys.command_exn
|
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
|
|
(** Restore the backup file when an exception occuprs *)
|
|
|
|
let restore_backup ezfio_filename =
|
|
|
|
Printf.sprintf "tar -zxf %s/backup.tgz"
|
|
|
|
ezfio_filename
|
|
|
|
|> Sys.command_exn
|
|
|
|
;;
|
|
|
|
|
2014-10-26 12:46:17 +01:00
|
|
|
|
|
|
|
let spec =
|
|
|
|
let open Command.Spec in
|
|
|
|
empty
|
2015-02-23 14:26:12 +01:00
|
|
|
+> flag "-c" no_arg
|
|
|
|
~doc:"Checks the input data"
|
2014-10-26 12:46:17 +01:00
|
|
|
(*
|
|
|
|
+> flag "o" (optional string)
|
|
|
|
~doc:"Prints output data"
|
|
|
|
*)
|
|
|
|
+> anon ("ezfio_file" %: string)
|
|
|
|
;;
|
|
|
|
|
|
|
|
let command =
|
|
|
|
Command.basic
|
|
|
|
~summary: "Quantum Package command"
|
|
|
|
~readme:(fun () ->
|
|
|
|
"
|
|
|
|
Edit input data
|
|
|
|
")
|
|
|
|
spec
|
|
|
|
(* (fun i o ezfio_file () -> *)
|
|
|
|
(*fun ezfio_file () ->
|
|
|
|
try
|
|
|
|
run ezfio_file
|
|
|
|
with
|
|
|
|
| _ msg -> print_string ("\n\nError\n\n"^msg^"\n\n")
|
|
|
|
*)
|
2015-02-23 14:26:12 +01:00
|
|
|
(fun c ezfio_file () ->
|
2015-01-08 00:19:51 +01:00
|
|
|
try
|
2015-02-23 14:26:12 +01:00
|
|
|
run c ezfio_file ;
|
2015-01-08 00:19:51 +01:00
|
|
|
(* create_backup ezfio_file; *)
|
|
|
|
with
|
|
|
|
| Failure exc
|
|
|
|
| Invalid_argument exc as e ->
|
|
|
|
begin
|
|
|
|
Printf.eprintf "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-\n\n";
|
|
|
|
Printf.eprintf "%s\n\n" exc;
|
|
|
|
Printf.eprintf "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-\n\n";
|
|
|
|
(* restore_backup ezfio_file; *)
|
|
|
|
raise e
|
|
|
|
end
|
|
|
|
| Assert_failure (file, line, ch) as e ->
|
|
|
|
begin
|
|
|
|
Printf.eprintf "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-\n\n";
|
2015-06-08 14:49:10 +02:00
|
|
|
Printf.eprintf "Assert error in file $QP_ROOT/ocaml/%s, line %d, character %d\n\n" file line ch;
|
2015-01-08 00:19:51 +01:00
|
|
|
Printf.eprintf "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-\n\n";
|
|
|
|
(* restore_backup ezfio_file; *)
|
|
|
|
raise e
|
|
|
|
end
|
|
|
|
)
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
|
|
|
let () =
|
2015-01-08 00:19:51 +01:00
|
|
|
Command.run command;
|
|
|
|
exit 0
|
2014-10-26 12:46:17 +01:00
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
|
|
|