Skip to content

feat: use PQL and PKB in piptester #36

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
KamiloSzcz wants to merge 8 commits into from
Closed

feat: use PQL and PKB in piptester #36

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
6d97499
feat: use PQL and PKB in piptester
KamiloSzcz Jun 12, 2023
71efe7f
fix: print string
KamiloSzcz Jun 12, 2023
588c131
fix: print string with coma
KamiloSzcz Jun 12, 2023
33e45a8
fix: print results
KamiloSzcz Jun 12, 2023
e819882
fix: to filip solution
KamiloSzcz Jun 12, 2023
2dbe57e
Update main.py
KamiloSzcz Jun 13, 2023
66d3883
Update main.py
KamiloSzcz Jun 13, 2023
cb2f952
Update main.py
KamiloSzcz Jun 13, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
52 changes: 42 additions & 10 deletions main.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,17 +38,46 @@
)
)

queries = parse_query(
# """stmt s1; while w1; Select BOOLEAN such that Follows(s1, w1)"""
"""
procedure p, q;
Select BOOLEAN such that Calls(_, _)
"""
)
queries = parse_query("""stmt s1, s2; Select s1 such that Follows(s1, s2)""")

print(evaluate_query(tree, queries[0]))

print(str(evaluate_query(tree, queries[0])))
print(*evaluate_query(tree, queries[0]), sep=", ")
result = evaluate_query(tree, queries[0])
output = ", ".join(str(part) for part in result)
print(output)
# print(str(*evaluate_query(tree, queries[0]), sep=", "))


elif len(sys.argv) > 0:

def no_time_left():
print("\nPreparationTimeout")
exit(1)

with open(sys.argv[-1]) as f:
code = f.read()
tree = parse(code)
print("Ready")

while True:
try:
t = Timer(60, no_time_left)
t.start()
query = input() + "\n" + input()
t.cancel()
# TODO: Wyjątki powinny być zgłaszane na stdout lub stderr, w jednej linni, zaczynającej się od znaku kratki #.

queries = parse_query(query)
result = evaluate_query(tree, queries[0])


output = ", ".join(str(part) for part in result)
print(output)
except Exception:
import traceback
print('#' + traceback.format_exc())
'''
with open(sys.argv[-1]) as f:
code = f.read()
tree = parse(code)
Expand All @@ -57,5 +86,8 @@

query = input() + "\n" + input()

# TODO: use PQL and PKB
print("8")
queries = parse_query(query)
result = evaluate_query(tree, queries[0])
output = ", ".join(str(part) for part in result)
print(output)
'''