Dynamic Predicates: pyconnection/1

200 Lines

23 Predicates

Imported Modules: sockets lists grammar

17 Exports

0 specified Imports

Imports	Exports
	Name: pyconnect/0 Name: pyconnect/1 Name: pydisconnect/0 Name: pyquery/1 Name: pycall/2 Name: pycall/3 Name: pycall/4 Name: pymethod/3 Name: pymethod/4 Name: pymethod/5 Name: pygarbage/1 Name: pykeep/1 Name: pyanswer/1 Name: pyderef/2 Name: pyderefall/2 Name: pyimport/1 Name: pyimport/2

Imports

Exports

Name: pyconnect/0

Name: pyconnect/1

Name: pydisconnect/0

Name: pyquery/1

Name: pycall/2

Name: pycall/3

Name: pycall/4

Name: pymethod/3

Name: pymethod/4

Name: pymethod/5

Name: pygarbage/1

Name: pykeep/1

Name: pyanswer/1

Name: pyderef/2

Name: pyderefall/2

Name: pyimport/1

Name: pyimport/2

Predicates

Predicates:

pyconnection_protected/1

get_n_chars(N, Chars) :-
pyconnection_protected(Stream), !,
phrase(get_n_chars(N, Stream), Chars).

Calls:

Name: phrase/2
Name: !
Name: pyconnection_protected/1	Module: prothon

Called:

Name: pyfetch/2	Module: prothon
Name: number_of_chars/1	Module: prothon

get_n_chars/4

get_n_chars(0, _) --> !, [].

get_n_chars(N, Stream) -->
    {get_code(Stream, C), N1 is N - 1},
    [C],
    get_n_chars(N1, Stream).

Calls:

Name: RECURSIVE_CALL/4	Module: prothon
Name: =/2
Name: is/2
Name: get_code/2
Name: !

Called:

Name: pyfetch/2	Module: prothon
Name: number_of_chars/1	Module: prothon

number_of_chars/1

number_of_chars(N) :-
get_n_chars(10, Chars),
number_codes(N, Chars).

Calls:

Name: number_codes/2
Name: get_n_chars/2	Module: prothon

Called:

Name: pyfetch/2

Module: prothon

pyanswer/1

pyanswer(Object) :-
pyfetch(0, Object).

Calls:

Name: pyfetch/2

Module: prothon

Called:

Name: pymethod/5	Module: prothon
Name: pycall/4	Module: prothon

pycall/2

pycall(Function, Args) :-
pycall(Function, Args, dict([])).

Calls:

Name: pycall/3

Module: prothon

Called:

Name: pycall/4	Module: prothon
Name: pycall/2	Module: prothon

pycall/3

pycall(Function, Args, KeywordArgs) :-
phrase(q_call(Function, Args, KeywordArgs), Query),
pyquery(Query).

Calls:

Name: pyquery/1	Module: prothon
Name: phrase/2

Called:

Name: pycall/4	Module: prothon
Name: pycall/2	Module: prothon

pycall/4

pycall(Function, Args, KeywordArgs, Answer) :-
pycall(Function, Args, KeywordArgs),
pyanswer(Answer).

Calls:

Name: pyanswer/1	Module: prothon
Name: pycall/3	Module: prothon

Called:

Name: pycall/4	Module: prothon
Name: pycall/2	Module: prothon

pyconnect/0

pyconnect :-
pyconnect('').

Calls:

Name: pyconnect/1

Module: prothon

Called:

Name: pyconnect/0

Module: prothon

pyconnect/1

pyconnect(Ip:Port) :-
    !,
    % if already connected, throw an exception
    (pyconnection(_) ->
    throw(prothon_exception('ConnectionAlreadyEstablished',
    'To close the old connection use pydisconnect/0'))
    ;
    true),
    % open the socket in latin-1 text mode.
    % eol(lf) prevents cr-lf to be read as one character
    socket_client_open(Ip:Port, Stream,
    [type(text), encoding('ISO-8859-1'), eol(lf)]),
    assert(pyconnection(Stream)).

pyconnect(Ip) :-
    pyconnect(Ip:44644).

Calls:

Name: RECURSIVE_CALL/1	Module: prothon
Name: pyconnection/1	dynamic predicate
Name: assert/1
Name: socket_client_open/3	Module: foo_error
Name: true
Name: throw/1
Name: ->/3
Name: !

Called:

Name: pyconnect/0

Module: prothon

pyconnection_protected/1

pyconnection_protected(Stream) :-
    (prothon:pyconnection(Stream) ->
    true
    ;
    throw(prothon_exception('NotConnected',
    'No connection to a prothon server is established'))).

Calls:

Name: throw/1
Name: true
Name: pyconnection/1	Module: prothon
Name: ->/3

Called:

Name: pyquery/1	Module: prothon
Name: get_n_chars/2	Module: prothon

pyderef/2

pyderef(Object, Value) :-
pypush(Object),
pyfetch(1, Value).

Calls:

Name: pyfetch/2	Module: prothon
Name: pypush/1	Module: prothon

pyderefall/2

pyderefall(Object, Value) :-
pypush(Object),
pyfetch(-1, Value).

Calls:

Name: pyfetch/2	Module: prothon
Name: pypush/1	Module: prothon

pydisconnect/0

pydisconnect :-
    % if a connection exists close it, otherwise throw an exception
    (prothon:pyconnection(Stream) ->
    close(Stream),
    retractall(prothon:pyconnection(_))
    ;
    throw(prothon_exception('NotConnected',
    'No connection to a prothon server is established'))).

Calls:

Name: throw/1
Name: retractall/1
Name: close/1
Name: pyconnection/1	Module: prothon
Name: ->/3

pyfetch/2

pyfetch(Depth, Object) :-
    % query the server for the object
    phrase(q_fetch(Depth), Query),
    pyquery(Query),
    % read the answer
    number_of_chars(N),
    get_n_chars(N, Answer), !,
    % parse it
    phrase(answer(Object, Err), Answer),
    % if an exception occured throw it
    (Err = tuple([string(ErrType), string(ErrMsg)]) ->
    atom_codes(ErrTypeAtom, ErrType),
    atom_codes(ErrMsgAtom, ErrMsg),
    throw(prothon_exception(ErrTypeAtom, ErrMsgAtom))
    ;
    true).

Calls:

Name: true
Name: throw/1
Name: atom_codes/2
Name: =/2
Name: ->/3
Name: phrase/2
Name: !
Name: get_n_chars/2	Module: prothon
Name: number_of_chars/1	Module: prothon
Name: pyquery/1	Module: prothon

Called:

Name: pyanswer/1	Module: prothon
Name: pygarbage/1	Module: prothon
Name: pyderef/2	Module: prothon
Name: pyderefall/2	Module: prothon
Name: pyimport/2	Module: prothon
Name: pykeep/1	Module: prothon

pygarbage/1

pygarbage(Ids) :-
    phrase(q_garbage(Ids), Query),
    pyquery(Query),
    pyfetch(1, _).

Calls:

Name: pyfetch/2	Module: prothon
Name: pyquery/1	Module: prothon
Name: phrase/2

pyimport/1

pyimport(Module) :-
pyimport(Module, Module).

Calls:

Name: pyimport/2

Module: prothon

Called:

Name: pyimport/1

Module: prothon

pyimport/2

pyimport(Module, Alias) :-
    phrase(q_import(Module, Alias), Query),
    pyquery(Query),
    pyfetch(1, _).

Calls:

Name: pyfetch/2	Module: prothon
Name: pyquery/1	Module: prothon
Name: phrase/2

Called:

Name: pyimport/1

Module: prothon

pykeep/1

pykeep(Ids) :-
    phrase(q_keep(Ids), Query),
    pyquery(Query),
    pyfetch(1, _).

Calls:

Name: pyfetch/2	Module: prothon
Name: pyquery/1	Module: prothon
Name: phrase/2

pymethod/3

pymethod(Object, Method, Args) :-
pymethod(Object, Method, Args, dict([])).

Calls:

Name: pymethod/4

Module: prothon

Called:

Name: pymethod/3	Module: prothon
Name: pymethod/5	Module: prothon

pymethod/4

pymethod(Object, Method, Args, KeywordArgs) :-
phrase(q_method(Object, Method, Args, KeywordArgs), Query),
pyquery(Query).

Calls:

Name: pyquery/1	Module: prothon
Name: phrase/2

Called:

Name: pymethod/3	Module: prothon
Name: pymethod/5	Module: prothon

pymethod/5

pymethod(Object, Method, Args, KeywordArgs, Answer) :-
pymethod(Object, Method, Args, KeywordArgs),
pyanswer(Answer).

Calls:

Name: pyanswer/1	Module: prothon
Name: pymethod/4	Module: prothon

Called:

Name: pymethod/3	Module: prothon
Name: pymethod/5	Module: prothon

pypush/1

pypush(Object) :-
phrase(q_push(Object), Query),
pyquery(Query).

Calls:

Name: pyquery/1	Module: prothon
Name: phrase/2

Called:

Name: pyderef/2	Module: prothon
Name: pyderefall/2	Module: prothon

pyquery/1

pyquery(Query) :-
    pyconnection_protected(Stream),
    length(Query, Len),
    format(Stream, '~|~`0t~d~10+~s', [Len, Query]),
    flush_output(Stream).

Calls:

Name: flush_output/1
Name: format/3
Name: length/2
Name: pyconnection_protected/1	Module: prothon

Called:

Name: pykeep/1	Module: prothon
Name: pycall/3	Module: prothon
Name: pypush/1	Module: prothon
Name: pymethod/4	Module: prothon
Name: pygarbage/1	Module: prothon
Name: pyfetch/2	Module: prothon
Name: pyimport/2	Module: prothon

Determinacy Checker

prothon

prob_prolog/extensions/banditfuzz/prothon/prothon.pl

Modules

Predicates of prothon

Module Information

Dynamic Predicates: pyconnection/1

200 Lines

23 Predicates

Imported Modules: sockets lists grammar

17 Exports

0 specified Imports

Predicates:

get_n_chars/2

get_n_chars/4

number_of_chars/1

pyanswer/1

pycall/2

pycall/3

pycall/4

pyconnect/0

pyconnect/1

pyconnection_protected/1

pyderef/2

pyderefall/2

pydisconnect/0

pyfetch/2

pygarbage/1

pyimport/1

pyimport/2

pykeep/1

pymethod/3

pymethod/4

pymethod/5

pypush/1

pyquery/1

Determinacy Checker: