diff options
| -rw-r--r-- | mk.bat | 1 | ||||
| -rw-r--r-- | pce_file_search_path.pl | 2 | ||||
| -rw-r--r-- | save.c | 32 | ||||
| -rw-r--r-- | save.exe | bin | 0 -> 273511 bytes | |||
| -rw-r--r-- | save.pl | 85 | ||||
| -rw-r--r-- | save.pl~ | 82 |
6 files changed, 202 insertions, 0 deletions
@@ -0,0 +1 @@ +swipl-ld -v -ld ld -ld-options,--subsystem,windows -goal true -o save save.c save.pl
\ No newline at end of file diff --git a/pce_file_search_path.pl b/pce_file_search_path.pl new file mode 100644 index 0000000..dc42ca1 --- /dev/null +++ b/pce_file_search_path.pl @@ -0,0 +1,2 @@ +file_search_path(library, pce('prolog/lib')). +file_search_path(pce, 'C:/program files/swipl/xpce').
\ No newline at end of file @@ -0,0 +1,32 @@ +#include <windows.h> +#include <SWI-Prolog.h> + +INT WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, + PSTR lpCmdLine, INT nCmdShow) +{ + char *plav[2]; + + /* make the argument vector for Prolog */ + + plav[0] = "save"; + plav[1] = NULL; + + /* initialise Prolog */ + + if (!PL_initialise(1, plav)) + PL_halt(1); + + /* Lookup calc/1 and make the arguments and call */ + + { + predicate_t pred = PL_predicate("main", 0, "user"); + term_t h0 = PL_new_term_refs(0); + int rval; + + rval = PL_call_predicate(NULL, PL_Q_NORMAL, pred, h0); + + PL_halt(rval ? 0 : 1); + } + + return 0; +}
\ No newline at end of file diff --git a/save.exe b/save.exe Binary files differnew file mode 100644 index 0000000..40fe22f --- /dev/null +++ b/save.exe @@ -0,0 +1,85 @@ +:- consult(pce_file_search_path). +:- consult(library(pce)). +:- consult(library(process)). + +main :- + pce_main_loop(main). + +main(_Argv) :- + init. + +init :- + shell("git add .", Status), + added(Status). + +added(1) :- + send(@display, report, error, + 'Files could not be added to index. +Ensure Git is in PATH.'). + +added(0) :- + %send(@pce, load_defaults, 'Defaults'), + new(D, dialog('Save')), + + % File browser. + new(C, chain), + status(C), + send(new(B, browser), right, D), + send(B, members(C)), + + % Input fields. + send(D, append, text('Commit message (optional):', + left, + bold)), + send(D, append, new(E, editor)), + send(D, append, button(save, + and(message(@prolog, save, E, C), + message(D, destroy)))), + send(D, append, button(cancel, + and(message(@prolog, reset), + message(D, destroy)))), + send(D, open). + +reset :- + shell("git reset"). + +status(C) :- + setup_call_cleanup( + process_create(path(git), ['status', '--porcelain'], + [stdout(pipe(Out))]), + read_to_chain(Out, C), + close(Out)). + +read_to_chain(S, C) :- + read_line_to_codes(S, Cs), + ( Cs == end_of_file + -> true + ; atom_codes(A, Cs), + send(C, append, A), + read_to_chain(S, C) + ). + +save(Editor, Chain) :- + get(Editor?text_buffer, contents, S), + send(S, strip), + get(S, value, Msg), + ( Msg == '' + -> chain_atom(Chain, A), + commit(A) + ; commit(Msg) + ). + +chain_atom(C, A) :- + chain_atom_x(C, '', A). + +chain_atom_x(C, A0, A) :- + ( get(C, delete_head, A1), + atom_concat(A0, A1, A2), + atom_concat(A2, ' +', A3), + chain_atom_x(C, A3, A) + ; A = A0 + ). + +commit(Msg) :- + process_create(path(git), ['commit', '-m', Msg], []). diff --git a/save.pl~ b/save.pl~ new file mode 100644 index 0000000..1a720c4 --- /dev/null +++ b/save.pl~ @@ -0,0 +1,82 @@ +:- consult(pce_file_search_path). +:- consult(library(pce)). +:- consult(library(process)). + +main :- + pce_main_loop(main). + +main(_Argv) :- + init. + +init :- + shell("git add .", Status), + added(Status). + +added(1) :- + send(@display, report, error, + 'Files could not be added to index. +Ensure Git is in PATH.'). + +added(0) :- + %send(@pce, load_defaults, 'Defaults'), + new(D, dialog('Save')), + + % File browser. + new(C, chain), + status(C), + send(new(B, browser), right, D), + send(B, members(C)), + + % Input fields. + send(D, append, text('Commit message (optional):', + left, + bold)), + send(D, append, new(E, editor)), + send(D, append, button(save, + and(message(@prolog, save, E, C), + message(D, destroy)))), + send(D, append, button(cancel, + and(message(@prolog, reset), + message(D, destroy)))), + send(D, open). + +reset :- + shell("git reset"). + +status(C) :- + setup_call_cleanup( + process_create(path(git), ['status', '--porcelain'], + [stdout(pipe(Out))]), + read_to_chain(Out, C), + close(Out)). + +read_to_chain(S, C) :- + read_line_to_codes(S, Cs), + ( Cs == end_of_file + -> true + ; atom_codes(A, Cs), + send(C, append, A), + read_to_chain(S, C) + ). + +save(Editor, Chain) :- + get(Editor?text_buffer, contents, S), + send(S, strip), + get(S, value, Msg), + ( Msg == '' + -> chain_atom(Chain, A), + commit(A) + ; commit(Msg) + ). + +chain_atom(C, A) :- + chain_atom_x(C, '', A). + +chain_atom_x(C, A0, A) :- + ( get(C, delete_head, A1), + atom_concat(A0, A1, A2), + atom_concat(A2, ' +', A3), + chain_atom_x(C, A3, A) + ; A = A0 + ). |