def show_search():
# dealing with search options: page number
page = 1
if "page" in request.args:
page = int(request.args["page"])
# dealing with search options: page size
perpage = 10
if "perpage" in request.cookies:
perpage = max(int(request.cookies["perpage"]), 10)
if "perpage" in request.args:
if request.args["perpage"] == "oo":
perpage = 9223372036854775807 # 2^63-1 (shame on me for taking this approach)
elif request.args["perpage"] != "":
perpage = int(request.args["perpage"])
# dealing with search options: search radius (all tags, only statements)
radius = "all"
if "radius" in request.args and request.args["radius"] == "statements":
radius = "statements"
# a) return empty page (for now)
if "query" not in request.args:
return set_cookie(
render_template("search.html",
count=0,
perpage=perpage,
radius="all"), perpage)
# b) if the query is actually a tag we redirect (we say that a string is a tag if is looks like *and* it starts with a digit: maybe that's actually a good rule in general)
if tag.isTag(request.args["query"]):
if Tag.select().where(Tag.tag == request.args["query"].upper()).exists(
) or request.args["query"][0].isdigit():
return redirect("tag/" + request.args["query"].upper())
# c) actually search
try:
if radius == "all":
tags = [
result.tag for result in SearchTag(SearchTag.tag).search(
request.args["query"])
]
else:
tags = [
result.tag for result in SearchStatement(
SearchStatement.tag).search(request.args["query"])
]
except OperationalError:
return set_cookie(
render_template("search.malformed.html",
query=request.args["query"]), perpage)
# now get all the information about the results
try:
results = Tag.select().where(Tag.tag << tags, ~(Tag.type << ["item"]))
count = results.count()
except peewee.OperationalError as e:
if "too many SQL variables" in str(e):
return set_cookie(
render_template("search.html",
query=request.args["query"],
count=-1), perpage)
# sorting and pagination
results = sorted(results)
results = results[(page - 1) * perpage:page * perpage]
# determine list of parents
references = set()
for result in results:
pieces = result.ref.split(".")
references.update(
[".".join(pieces[0:i]) for i in range(len(pieces) + 1)])
# get all tags for the search results (including parent tags)
complete = (Tag.select(
Tag, Slogan.html, History.html, Reference.html).where(
Tag.ref << references, ~(Tag.type << ["item", "part"])).join_from(
Tag, Slogan, JOIN.LEFT_OUTER,
attr="slogan").join_from(Tag,
History,
JOIN.LEFT_OUTER,
attr="history").join_from(
Tag,
Reference,
JOIN.LEFT_OUTER,
attr="reference"))
tree = tag.combine(list(sorted(complete)))
# check whether we should suggest an alternative query, and build it if this is the case
misspelt = [
keyword for keyword in spelling.keys()
if keyword in request.args["query"]
]
alternative = request.args["query"]
if len(misspelt) != 0:
for keyword in misspelt:
alternative = alternative.replace(keyword, spelling[keyword])
return set_cookie(
render_template("search.html",
query=request.args["query"],
count=count,
page=page,
perpage=perpage,
tree=tree,
misspelt=misspelt,
alternative=alternative,
radius=radius,
headings=tag.headings), perpage)
def show_search():
# dealing with search options: page number
page = 1
if "page" in request.args:
page = int(request.args["page"])
# dealing with search options: page size
perpage = 10
if "perpage" in request.args:
if request.args["perpage"] == "oo":
perpage = 9223372036854775807 # 2^63-1 (shame on me for taking this approach)
elif request.args["perpage"] != "":
perpage = int(request.args["perpage"])
# dealing with search options: search radius (all tags, only statements)
radius = "all"
if "radius" in request.args and request.args["radius"] == "statements":
radius = "statements"
# a) return empty page (for now)
if "query" not in request.args:
return render_template("search.html", count=0, perpage=perpage, radius="all")
# b) if the query is actually a tag we redirect (we say that a string is a tag if is looks like and *and* it starts with a digit: maybe that's actually a good rule in general)
if tag.isTag(request.args["query"]):
if Tag.select().where(Tag.tag == request.args["query"].upper()).exists() or request.args["query"][0].isdigit():
return redirect("tag/" + request.args["query"].upper())
# c) actually search
try:
if radius == "all":
tags = [result.tag for result in SearchTag(SearchTag.tag).search(request.args["query"])]
else:
tags = [result.tag for result in SearchStatement(SearchStatement.tag).search(request.args["query"])]
except OperationalError:
return render_template("search.malformed.html", query=request.args["query"])
# now get all the information about the results
try:
results = Tag.select().where(Tag.tag << tags, ~(Tag.type << ["item"]))
count = results.count()
except peewee.OperationalError as e:
if "too many SQL variables" in str(e):
return render_template("search.html",
query=request.args["query"],
count=-1)
# sorting and pagination
results = sorted(results)
results = results[(page - 1) * perpage : page * perpage]
# determine list of parents
references = set()
for result in results:
pieces = result.ref.split(".")
references.update([".".join(pieces[0:i]) for i in range(len(pieces) + 1)])
# get all tags for the search results (including parent tags)
complete = Tag.select(Tag,
Slogan.html.alias("slogan"),
History.html.alias("history"),
Reference.html.alias("reference")) \
.where(Tag.ref << references, ~(Tag.type << ["item", "part"])) \
.join(Slogan, JOIN.LEFT_OUTER).switch(Tag) \
.join(History, JOIN.LEFT_OUTER).switch(Tag) \
.join(Reference, JOIN.LEFT_OUTER)
tree = tag.combine(list(sorted(complete)))
# check whether we should suggest an alternative query, and build it if this is the case
misspelt = [keyword for keyword in spelling.keys() if keyword in request.args["query"]]
alternative = request.args["query"]
if len(misspelt) != 0:
for keyword in misspelt:
alternative = alternative.replace(keyword, spelling[keyword])
return render_template("search.html",
query=request.args["query"],
count=count,
page=page,
perpage=perpage,
tree=tree,
misspelt=misspelt,
alternative=alternative,
radius=radius,
headings=tag.headings)