diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-13 15:59:25 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-13 15:59:25 +0200 |
commit | d90b9e5a0255086dd0147b5d15ec9a854f09170b (patch) | |
tree | 001a19773661289887999332b80421e5b64a0141 /scripts | |
parent | ba122f03ee8f591859c8c276e580755615c4c299 (diff) |
Update Prolog actions in sqlite_to_pg.py
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/sqlite_to_pg.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/sqlite_to_pg.py b/scripts/sqlite_to_pg.py index b148be6..2405f14 100644 --- a/scripts/sqlite_to_pg.py +++ b/scripts/sqlite_to_pg.py @@ -64,8 +64,8 @@ def _handle_trace_remove(trace, i): def _handle_trace_solve(trace, i): length = (trace[i] << 8) + trace[i+1] js = { - 'typ': 'slv', - 'qry': trace[i+2:i+2+length].decode() + 'typ': 'prolog_solve', + 'query': trace[i+2:i+2+length].decode() } return js, i + 2 + length @@ -86,10 +86,10 @@ def _handle_trace_test(trace, i): return js, i + 2 def _handle_trace_next(trace, i): - return {'typ': 'nxt'}, i + return {'typ': 'prolog_next'}, i def _handle_trace_stop(trace, i): - return {'typ': 'stp'}, i + return {'typ': 'prolog_stop'}, i def _handle_trace_hint(trace, i): return {'typ': 'hnt'}, i |