if query == "exit()":
break
# Execution of the query
parsedQueries = queryParser.parseQuery(query)
result = queryExecutor.executeQueries(parsedQueries)
for item in result:
print("\t " + item.getDocument().getPath() + ": " + str(item.getRank()))
print("Execution time: " + queryExecutor.getTimer().getElapsedMillisecondsString() + "\n")
print("Exiting form query execution ...\n")
# Store index
print("Do you want to store the index?")
while True:
indexOption = input("[y/n]: ")
if indexOption == 'y':
index.storeIndex()
timerForIndexStoring = index.getTimer()
print("Time for storing the index: " + timerForIndexStoring.getElapsedMillisecondsString() + "\n")
break
elif indexOption == 'n':
break
print("Invalid option '" + indexOption + "', please choose again.")
