Python script, ASCII text executable
1
import json
2
from datetime import datetime
3
from email.policy import default
4
from time import perf_counter
5
import flask
7
from flask_sqlalchemy import SQLAlchemy
8
from flask_bcrypt import Bcrypt
9
from flask_httpauth import HTTPBasicAuth
10
from markupsafe import escape, Markup
11
from flask_migrate import Migrate, current
12
from jinja2_fragments.flask import render_block
13
from sqlalchemy.orm import backref
14
import sqlalchemy.dialects.postgresql
15
from os import path
16
import os
17
from urllib.parse import urlencode
18
import mimetypes
19
import ruamel.yaml as yaml
20
from PIL import Image
22
from sqlalchemy.orm.persistence import post_update
23
import config
25
import markdown
26
app = flask.Flask(__name__)
29
bcrypt = Bcrypt(app)
30
app.config["SQLALCHEMY_DATABASE_URI"] = config.DB_URI
33
app.config["SECRET_KEY"] = config.DB_PASSWORD
34
db = SQLAlchemy(app)
37
migrate = Migrate(app, db)
38
@app.template_filter("split")
41
def split(value, separator=None, maxsplit=-1):
42
return value.split(separator, maxsplit)
43
@app.template_filter("median")
46
def median(value):
47
value = list(value) # prevent generators
48
return sorted(value)[len(value) // 2]
49
@app.template_filter("set")
52
def set_filter(value):
53
return set(value)
54
@app.template_global()
57
def modify_query(**new_values):
58
args = flask.request.args.copy()
59
for key, value in new_values.items():
60
args[key] = value
61
return f"{flask.request.path}?{urlencode(args)}"
63
@app.context_processor
66
def default_variables():
67
return {
68
"current_user": db.session.get(User, flask.session.get("username")),
69
}
70
with app.app_context():
73
class User(db.Model):
74
username = db.Column(db.String(32), unique=True, nullable=False, primary_key=True)
75
password_hashed = db.Column(db.String(60), nullable=False)
76
admin = db.Column(db.Boolean, nullable=False, default=False, server_default="false")
77
pictures = db.relationship("PictureResource", back_populates="author")
78
joined_timestamp = db.Column(db.DateTime, nullable=False, default=datetime.utcnow)
79
def __init__(self, username, password):
81
self.username = username
82
self.password_hashed = bcrypt.generate_password_hash(password).decode("utf-8")
83
@property
85
def formatted_name(self):
86
if self.admin:
87
return self.username + "*"
88
return self.username
89
class Licence(db.Model):
92
id = db.Column(db.String(64), primary_key=True) # SPDX identifier
93
title = db.Column(db.UnicodeText, nullable=False) # the official name of the licence
94
description = db.Column(db.UnicodeText, nullable=False) # brief description of its permissions and restrictions
95
info_url = db.Column(db.String(1024), nullable=False) # the URL to a page with general information about the licence
96
url = db.Column(db.String(1024), nullable=True) # the URL to a page with the full text of the licence and more information
97
pictures = db.relationship("PictureLicence", back_populates="licence")
98
free = db.Column(db.Boolean, nullable=False, default=False) # whether the licence is free or not
99
logo_url = db.Column(db.String(1024), nullable=True) # URL to the logo of the licence
100
pinned = db.Column(db.Boolean, nullable=False, default=False) # whether the licence should be shown at the top of the list
101
def __init__(self, id, title, description, info_url, url, free, logo_url=None, pinned=False):
103
self.id = id
104
self.title = title
105
self.description = description
106
self.info_url = info_url
107
self.url = url
108
self.free = free
109
self.logo_url = logo_url
110
self.pinned = pinned
111
class PictureLicence(db.Model):
114
id = db.Column(db.Integer, primary_key=True, autoincrement=True)
115
resource_id = db.Column(db.Integer, db.ForeignKey("picture_resource.id"))
117
licence_id = db.Column(db.String(64), db.ForeignKey("licence.id"))
118
resource = db.relationship("PictureResource", back_populates="licences")
120
licence = db.relationship("Licence", back_populates="pictures")
121
def __init__(self, resource, licence):
123
self.resource = resource
124
self.licence = licence
125
class Resource(db.Model):
128
__abstract__ = True
129
id = db.Column(db.Integer, primary_key=True, autoincrement=True)
131
title = db.Column(db.UnicodeText, nullable=False)
132
description = db.Column(db.UnicodeText, nullable=False)
133
timestamp = db.Column(db.DateTime, nullable=False, default=datetime.utcnow)
134
origin_url = db.Column(db.String(2048), nullable=True) # should be left empty if it's original or the source is unknown but public domain
135
class PictureNature(db.Model):
138
# Examples:
139
# "photo", "paper-scan", "2d-art-photo", "sculpture-photo", "computer-3d", "computer-painting",
140
# "computer-line-art", "diagram", "infographic", "text", "map", "chart-graph", "screen-capture",
141
# "screen-photo", "pattern", "collage", "ai", and so on
142
id = db.Column(db.String(64), primary_key=True)
143
description = db.Column(db.UnicodeText, nullable=False)
144
resources = db.relationship("PictureResource", back_populates="nature")
145
def __init__(self, id, description):
147
self.id = id
148
self.description = description
149
class PictureObjectInheritance(db.Model):
152
parent_id = db.Column(db.String(64), db.ForeignKey("picture_object.id"),
153
primary_key=True)
154
child_id = db.Column(db.String(64), db.ForeignKey("picture_object.id"),
155
primary_key=True)
156
parent = db.relationship("PictureObject", foreign_keys=[parent_id],
158
back_populates="child_links")
159
child = db.relationship("PictureObject", foreign_keys=[child_id],
160
back_populates="parent_links")
161
def __init__(self, parent, child):
163
self.parent = parent
164
self.child = child
165
class PictureObject(db.Model):
168
id = db.Column(db.String(64), primary_key=True)
169
description = db.Column(db.UnicodeText, nullable=False)
170
child_links = db.relationship("PictureObjectInheritance",
172
foreign_keys=[PictureObjectInheritance.parent_id],
173
back_populates="parent")
174
parent_links = db.relationship("PictureObjectInheritance",
175
foreign_keys=[PictureObjectInheritance.child_id],
176
back_populates="child")
177
def __init__(self, id, description):
179
self.id = id
180
self.description = description
181
class PictureRegion(db.Model):
184
# This is for picture region annotations
185
id = db.Column(db.Integer, primary_key=True, autoincrement=True)
186
json = db.Column(sqlalchemy.dialects.postgresql.JSONB, nullable=False)
187
resource_id = db.Column(db.Integer, db.ForeignKey("picture_resource.id"), nullable=False)
189
object_id = db.Column(db.String(64), db.ForeignKey("picture_object.id"), nullable=True)
190
resource = db.relationship("PictureResource", backref="regions")
192
object = db.relationship("PictureObject", backref="regions")
193
def __init__(self, json, resource, object):
195
self.json = json
196
self.resource = resource
197
self.object = object
198
class PictureResource(Resource):
201
# This is only for bitmap pictures. Vectors will be stored under a different model
202
# File name is the ID in the picture directory under data, without an extension
203
file_format = db.Column(db.String(64), nullable=False) # MIME type
204
width = db.Column(db.Integer, nullable=False)
205
height = db.Column(db.Integer, nullable=False)
206
nature_id = db.Column(db.String(32), db.ForeignKey("picture_nature.id"), nullable=True)
207
author_name = db.Column(db.String(32), db.ForeignKey("user.username"), nullable=False)
208
author = db.relationship("User", back_populates="pictures")
209
nature = db.relationship("PictureNature", back_populates="resources")
211
replaces_id = db.Column(db.Integer, db.ForeignKey("picture_resource.id"), nullable=True)
213
replaced_by_id = db.Column(db.Integer, db.ForeignKey("picture_resource.id"),
214
nullable=True)
215
replaces = db.relationship("PictureResource", remote_side="PictureResource.id",
217
foreign_keys=[replaces_id], back_populates="replaced_by",
218
post_update=True)
219
replaced_by = db.relationship("PictureResource", remote_side="PictureResource.id",
220
foreign_keys=[replaced_by_id], post_update=True)
221
copied_from_id = db.Column(db.Integer, db.ForeignKey("picture_resource.id"), nullable=True)
223
copied_from = db.relationship("PictureResource", remote_side="PictureResource.id",
224
backref="copies", foreign_keys=[copied_from_id])
225
licences = db.relationship("PictureLicence", back_populates="resource")
227
def __init__(self, title, author, description, origin_url, licence_ids, mime, nature=None):
229
self.title = title
230
self.author = author
231
self.description = description
232
self.origin_url = origin_url
233
self.file_format = mime
234
self.width = self.height = 0
235
self.nature = nature
236
db.session.add(self)
237
db.session.commit()
238
for licence_id in licence_ids:
239
joiner = PictureLicence(self, db.session.get(Licence, licence_id))
240
db.session.add(joiner)
241
def put_annotations(self, json):
243
# Delete all previous annotations
244
db.session.query(PictureRegion).filter_by(resource_id=self.id).delete()
245
for region in json:
247
object_id = region["object"]
248
picture_object = db.session.get(PictureObject, object_id)
249
region_data = {
251
"type": region["type"],
252
"shape": region["shape"],
253
}
254
region_row = PictureRegion(region_data, self, picture_object)
256
db.session.add(region_row)
257
@app.route("/")
260
def index():
261
return flask.render_template("home.html", resources=PictureResource.query.order_by(db.func.random()).limit(10).all())
262
@app.route("/accounts/")
265
def accounts():
266
return flask.render_template("login.html")
267
@app.route("/login", methods=["POST"])
270
def login():
271
username = flask.request.form["username"]
272
password = flask.request.form["password"]
273
user = db.session.get(User, username)
275
if user is None:
277
flask.flash("This username is not registered.")
278
return flask.redirect("/accounts")
279
if not bcrypt.check_password_hash(user.password_hashed, password):
281
flask.flash("Incorrect password.")
282
return flask.redirect("/accounts")
283
flask.flash("You have been logged in.")
285
flask.session["username"] = username
287
return flask.redirect("/")
288
@app.route("/logout")
291
def logout():
292
flask.session.pop("username", None)
293
flask.flash("You have been logged out.")
294
return flask.redirect("/")
295
@app.route("/signup", methods=["POST"])
298
def signup():
299
username = flask.request.form["username"]
300
password = flask.request.form["password"]
301
if db.session.get(User, username) is not None:
303
flask.flash("This username is already taken.")
304
return flask.redirect("/accounts")
305
if set(username) > set("abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_"):
307
flask.flash("Usernames can only contain the Latin alphabet, digits, hyphens, and underscores.")
308
return flask.redirect("/accounts")
309
if len(username) < 3 or len(username) > 32:
311
flask.flash("Usernames must be between 3 and 32 characters long.")
312
return flask.redirect("/accounts")
313
if len(password) < 6:
315
flask.flash("Passwords must be at least 6 characters long.")
316
return flask.redirect("/accounts")
317
user = User(username, password)
319
db.session.add(user)
320
db.session.commit()
321
flask.session["username"] = username
323
flask.flash("You have been registered and logged in.")
325
return flask.redirect("/")
327
@app.route("/profile", defaults={"username": None})
330
@app.route("/profile/<username>")
331
def profile(username):
332
if username is None:
333
if "username" in flask.session:
334
return flask.redirect("/profile/" + flask.session["username"])
335
else:
336
flask.flash("Please log in to perform this action.")
337
return flask.redirect("/accounts")
338
user = db.session.get(User, username)
340
if user is None:
341
flask.abort(404)
342
return flask.render_template("profile.html", user=user)
344
@app.route("/object/<id>")
347
def has_object(id):
348
object_ = db.session.get(PictureObject, id)
349
if object_ is None:
350
flask.abort(404)
351
query = db.session.query(PictureResource).join(PictureRegion).filter(PictureRegion.object_id == id)
353
page = int(flask.request.args.get("page", 1))
355
per_page = int(flask.request.args.get("per_page", 16))
356
resources = query.paginate(page=page, per_page=per_page)
358
return flask.render_template("object.html", object=object_, resources=resources, page_number=page,
360
page_length=per_page, num_pages=resources.pages, prev_page=resources.prev_num,
361
next_page=resources.next_num, PictureRegion=PictureRegion)
362
@app.route("/upload")
365
def upload():
366
if "username" not in flask.session:
367
flask.flash("Log in to upload pictures.")
368
return flask.redirect("/accounts")
369
licences = Licence.query.order_by(Licence.free.desc(), Licence.pinned.desc(), Licence.title).all()
371
types = PictureNature.query.all()
373
return flask.render_template("upload.html", licences=licences, types=types)
375
@app.route("/upload", methods=["POST"])
378
def upload_post():
379
title = flask.request.form["title"]
380
description = flask.request.form["description"]
381
origin_url = flask.request.form["origin_url"]
382
author = db.session.get(User, flask.session.get("username"))
383
licence_ids = flask.request.form.getlist("licence")
384
nature_id = flask.request.form["nature"]
385
if author is None:
387
flask.abort(401)
388
file = flask.request.files["file"]
390
if not file or not file.filename:
392
flask.flash("Select a file")
393
return flask.redirect(flask.request.url)
394
if not file.mimetype.startswith("image/"):
396
flask.flash("Only images are supported")
397
return flask.redirect(flask.request.url)
398
if not title:
400
flask.flash("Enter a title")
401
return flask.redirect(flask.request.url)
402
if not description:
404
description = ""
405
if not nature_id:
407
flask.flash("Select a picture type")
408
return flask.redirect(flask.request.url)
409
if not licence_ids:
411
flask.flash("Select licences")
412
return flask.redirect(flask.request.url)
413
licences = [db.session.get(Licence, licence_id) for licence_id in licence_ids]
415
if not any(licence.free for licence in licences):
416
flask.flash("Select at least one free licence")
417
return flask.redirect(flask.request.url)
418
resource = PictureResource(title, author, description, origin_url, licence_ids, file.mimetype,
420
db.session.get(PictureNature, nature_id))
421
db.session.add(resource)
422
db.session.commit()
423
file.save(path.join(config.DATA_PATH, "pictures", str(resource.id)))
424
pil_image = Image.open(path.join(config.DATA_PATH, "pictures", str(resource.id)))
425
resource.width, resource.height = pil_image.size
426
db.session.commit()
427
if flask.request.form.get("annotations"):
429
try:
430
resource.put_annotations(json.loads(flask.request.form.get("annotations")))
431
db.session.commit()
432
except json.JSONDecodeError:
433
flask.flash("Invalid annotations")
434
flask.flash("Picture uploaded successfully")
436
return flask.redirect("/picture/" + str(resource.id))
438
@app.route("/picture/<int:id>/")
441
def picture(id):
442
resource = db.session.get(PictureResource, id)
443
if resource is None:
444
flask.abort(404)
445
image = Image.open(path.join(config.DATA_PATH, "pictures", str(resource.id)))
447
current_user = db.session.get(User, flask.session.get("username"))
449
have_permission = current_user and (current_user == resource.author or current_user.admin)
450
return flask.render_template("picture.html", resource=resource,
452
file_extension=mimetypes.guess_extension(resource.file_format),
453
size=image.size, copies=resource.copies, have_permission=have_permission)
454
@app.route("/picture/<int:id>/annotate")
458
def annotate_picture(id):
459
resource = db.session.get(PictureResource, id)
460
if resource is None:
461
flask.abort(404)
462
current_user = db.session.get(User, flask.session.get("username"))
464
if current_user is None:
465
flask.abort(401)
466
if resource.author != current_user and not current_user.admin:
467
flask.abort(403)
468
return flask.render_template("picture-annotation.html", resource=resource,
470
file_extension=mimetypes.guess_extension(resource.file_format))
471
@app.route("/picture/<int:id>/put-annotations-form")
474
def put_annotations_form(id):
475
resource = db.session.get(PictureResource, id)
476
if resource is None:
477
flask.abort(404)
478
current_user = db.session.get(User, flask.session.get("username"))
480
if current_user is None:
481
flask.abort(401)
482
if resource.author != current_user and not current_user.admin:
484
flask.abort(403)
485
return flask.render_template("put-annotations-form.html", resource=resource)
487
@app.route("/picture/<int:id>/put-annotations-form", methods=["POST"])
490
def put_annotations_form_post(id):
491
resource = db.session.get(PictureResource, id)
492
if resource is None:
493
flask.abort(404)
494
current_user = db.session.get(User, flask.session.get("username"))
496
if current_user is None:
497
flask.abort(401)
498
if resource.author != current_user and not current_user.admin:
500
flask.abort(403)
501
resource.put_annotations(json.loads(flask.request.form["annotations"]))
503
db.session.commit()
505
return flask.redirect("/picture/" + str(resource.id))
507
@app.route("/picture/<int:id>/save-annotations", methods=["POST"])
511
def save_annotations(id):
512
resource = db.session.get(PictureResource, id)
513
if resource is None:
514
flask.abort(404)
515
current_user = db.session.get(User, flask.session.get("username"))
517
if resource.author != current_user and not current_user.admin:
518
flask.abort(403)
519
resource.put_annotations(flask.request.json)
521
db.session.commit()
523
response = flask.make_response()
525
response.status_code = 204
526
return response
527
@app.route("/picture/<int:id>/get-annotations")
530
def get_annotations(id):
531
resource = db.session.get(PictureResource, id)
532
if resource is None:
533
flask.abort(404)
534
regions = db.session.query(PictureRegion).filter_by(resource_id=id).all()
536
regions_json = []
538
for region in regions:
540
regions_json.append({
541
"object": region.object_id,
542
"type": region.json["type"],
543
"shape": region.json["shape"],
544
})
545
return flask.jsonify(regions_json)
547
@app.route("/picture/<int:id>/delete")
550
def delete_picture(id):
551
resource = db.session.get(PictureResource, id)
552
if resource is None:
553
flask.abort(404)
554
current_user = db.session.get(User, flask.session.get("username"))
556
if current_user is None:
557
flask.abort(401)
558
if resource.author != current_user and not current_user.admin:
560
flask.abort(403)
561
PictureLicence.query.filter_by(resource=resource).delete()
563
PictureRegion.query.filter_by(resource=resource).delete()
564
if resource.replaces:
565
resource.replaces.replaced_by = None
566
if resource.replaced_by:
567
resource.replaced_by.replaces = None
568
resource.copied_from = None
569
for copy in resource.copies:
570
copy.copied_from = None
571
db.session.delete(resource)
572
db.session.commit()
573
return flask.redirect("/")
575
@app.route("/picture/<int:id>/mark-replacement", methods=["POST"])
578
def mark_replacement(id):
579
resource = db.session.get(PictureResource, id)
580
if resource is None:
581
flask.abort(404)
582
current_user = db.session.get(User, flask.session.get("username"))
584
if current_user is None:
585
flask.abort(401)
586
if resource.copied_from.author != current_user and not current_user.admin:
588
flask.abort(403)
589
resource.copied_from.replaced_by = resource
591
resource.replaces = resource.copied_from
592
db.session.commit()
594
return flask.redirect("/picture/" + str(resource.copied_from.id))
596
@app.route("/picture/<int:id>/remove-replacement", methods=["POST"])
599
def remove_replacement(id):
600
resource = db.session.get(PictureResource, id)
601
if resource is None:
602
flask.abort(404)
603
current_user = db.session.get(User, flask.session.get("username"))
605
if current_user is None:
606
flask.abort(401)
607
if resource.author != current_user and not current_user.admin:
609
flask.abort(403)
610
resource.replaced_by.replaces = None
612
resource.replaced_by = None
613
db.session.commit()
615
return flask.redirect("/picture/" + str(resource.id))
617
@app.route("/picture/<int:id>/edit-metadata")
620
def edit_picture(id):
621
resource = db.session.get(PictureResource, id)
622
if resource is None:
623
flask.abort(404)
624
current_user = db.session.get(User, flask.session.get("username"))
626
if current_user is None:
627
flask.abort(401)
628
if resource.author != current_user and not current_user.admin:
630
flask.abort(403)
631
licences = Licence.query.order_by(Licence.free.desc(), Licence.pinned.desc(), Licence.title).all()
633
types = PictureNature.query.all()
635
return flask.render_template("edit-picture.html", resource=resource, licences=licences, types=types,
637
PictureLicence=PictureLicence)
638
@app.route("/picture/<int:id>/edit-metadata", methods=["POST"])
641
def edit_picture_post(id):
642
resource = db.session.get(PictureResource, id)
643
if resource is None:
644
flask.abort(404)
645
current_user = db.session.get(User, flask.session.get("username"))
647
if current_user is None:
648
flask.abort(401)
649
if resource.author != current_user and not current_user.admin:
651
flask.abort(403)
652
title = flask.request.form["title"]
654
description = flask.request.form["description"]
655
origin_url = flask.request.form["origin_url"]
656
licence_ids = flask.request.form.getlist("licence")
657
nature_id = flask.request.form["nature"]
658
if not title:
660
flask.flash("Enter a title")
661
return flask.redirect(flask.request.url)
662
if not description:
664
description = ""
665
if not nature_id:
667
flask.flash("Select a picture type")
668
return flask.redirect(flask.request.url)
669
if not licence_ids:
671
flask.flash("Select licences")
672
return flask.redirect(flask.request.url)
673
licences = [db.session.get(Licence, licence_id) for licence_id in licence_ids]
675
if not any(licence.free for licence in licences):
676
flask.flash("Select at least one free licence")
677
return flask.redirect(flask.request.url)
678
resource.title = title
680
resource.description = description
681
resource.origin_url = origin_url
682
for licence_id in licence_ids:
683
joiner = PictureLicence(resource, db.session.get(Licence, licence_id))
684
db.session.add(joiner)
685
resource.nature = db.session.get(PictureNature, nature_id)
686
db.session.commit()
688
return flask.redirect("/picture/" + str(resource.id))
690
@app.route("/picture/<int:id>/copy")
693
def copy_picture(id):
694
resource = db.session.get(PictureResource, id)
695
if resource is None:
696
flask.abort(404)
697
current_user = db.session.get(User, flask.session.get("username"))
699
if current_user is None:
700
flask.abort(401)
701
new_resource = PictureResource(resource.title, current_user, resource.description, resource.origin_url,
703
[licence.licence_id for licence in resource.licences], resource.file_format,
704
resource.nature)
705
for region in resource.regions:
707
db.session.add(PictureRegion(region.json, new_resource, region.object))
708
db.session.commit()
710
# Create a hard link for the new picture
712
old_path = path.join(config.DATA_PATH, "pictures", str(resource.id))
713
new_path = path.join(config.DATA_PATH, "pictures", str(new_resource.id))
714
os.link(old_path, new_path)
715
new_resource.width = resource.width
717
new_resource.height = resource.height
718
new_resource.copied_from = resource
719
db.session.commit()
721
return flask.redirect("/picture/" + str(new_resource.id))
723
def get_picture_query(query_data):
726
query = db.session.query(PictureResource)
727
requirement_conditions = {
729
"has_object": lambda value: PictureResource.regions.any(
730
PictureRegion.object_id.in_(value)),
731
"nature": lambda value: PictureResource.nature_id.in_(value),
732
"licence": lambda value: PictureResource.licences.any(
733
PictureLicence.licence_id.in_(value)),
734
"author": lambda value: PictureResource.author_name.in_(value),
735
"title": lambda value: PictureResource.title.ilike(value),
736
"description": lambda value: PictureResource.description.ilike(value),
737
"origin_url": lambda value: db.func.lower(db.func.substr(
738
PictureResource.origin_url,
739
db.func.length(db.func.split_part(PictureResource.origin_url, "://", 1)) + 4
740
)).in_(value),
741
"above_width": lambda value: PictureResource.width >= value,
742
"below_width": lambda value: PictureResource.width <= value,
743
"above_height": lambda value: PictureResource.height >= value,
744
"below_height": lambda value: PictureResource.height <= value,
745
"before_date": lambda value: PictureResource.timestamp <= datetime.utcfromtimestamp(
746
value),
747
"after_date": lambda value: PictureResource.timestamp >= datetime.utcfromtimestamp(
748
value)
749
}
750
if "want" in query_data:
751
for i in query_data["want"]:
752
requirement, value = list(i.items())[0]
753
condition = requirement_conditions.get(requirement)
754
if condition:
755
query = query.filter(condition(value))
756
if "exclude" in query_data:
757
for i in query_data["exclude"]:
758
requirement, value = list(i.items())[0]
759
condition = requirement_conditions.get(requirement)
760
if condition:
761
query = query.filter(~condition(value))
762
if not query_data.get("include_obsolete", False):
763
query = query.filter(PictureResource.replaced_by_id.is_(None))
764
return query
766
@app.route("/query-pictures")
769
def graphical_query_pictures():
770
return flask.render_template("graphical-query-pictures.html")
771
@app.route("/query-pictures-results")
774
def graphical_query_pictures_results():
775
query_yaml = flask.request.args.get("query", "")
776
yaml_parser = yaml.YAML()
777
query_data = yaml_parser.load(query_yaml) or {}
778
query = get_picture_query(query_data)
779
page = int(flask.request.args.get("page", 1))
781
per_page = int(flask.request.args.get("per_page", 16))
782
resources = query.paginate(page=page, per_page=per_page)
784
return flask.render_template("graphical-query-pictures-results.html", resources=resources, query=query_yaml,
786
page_number=page, page_length=per_page, num_pages=resources.pages,
787
prev_page=resources.prev_num, next_page=resources.next_num)
788
@app.route("/raw/picture/<int:id>")
791
def raw_picture(id):
792
resource = db.session.get(PictureResource, id)
793
if resource is None:
794
flask.abort(404)
795
response = flask.send_from_directory(path.join(config.DATA_PATH, "pictures"), str(resource.id))
797
response.mimetype = resource.file_format
798
return response
800
@app.route("/object/")
803
def graphical_object_types():
804
return flask.render_template("object-types.html", objects=PictureObject.query.all())
805
@app.route("/api/object-types")
808
def object_types():
809
objects = db.session.query(PictureObject).all()
810
return flask.jsonify({object.id: object.description for object in objects})
811
@app.route("/api/query-pictures", methods=["POST"]) # sadly GET can't have a body
814
def query_pictures():
815
offset = int(flask.request.args.get("offset", 0))
816
limit = int(flask.request.args.get("limit", 16))
817
ordering = flask.request.args.get("ordering", "date-desc")
818
yaml_parser = yaml.YAML()
820
query_data = yaml_parser.load(flask.request.data) or {}
821
query = get_picture_query(query_data)
822
match ordering:
824
case "date-desc":
825
query = query.order_by(PictureResource.timestamp.desc())
826
case "date-asc":
827
query = query.order_by(PictureResource.timestamp.asc())
828
case "title-asc":
829
query = query.order_by(PictureResource.title.asc())
830
case "title-desc":
831
query = query.order_by(PictureResource.title.desc())
832
case "random":
833
query = query.order_by(db.func.random())
834
case "number-regions-desc":
835
query = query.order_by(db.func.count(PictureResource.regions).desc())
836
case "number-regions-asc":
837
query = query.order_by(db.func.count(PictureResource.regions).asc())
838
query = query.offset(offset).limit(limit)
840
resources = query.all()
841
json_response = {
843
"date_generated": datetime.utcnow().timestamp(),
844
"resources": [],
845
"offset": offset,
846
"limit": limit,
847
}
848
json_resources = json_response["resources"]
850
for resource in resources:
852
json_resource = {
853
"id": resource.id,
854
"title": resource.title,
855
"description": resource.description,
856
"timestamp": resource.timestamp.timestamp(),
857
"origin_url": resource.origin_url,
858
"author": resource.author_name,
859
"file_format": resource.file_format,
860
"width": resource.width,
861
"height": resource.height,
862
"nature": resource.nature_id,
863
"licences": [licence.licence_id for licence in resource.licences],
864
"replaces": resource.replaces_id,
865
"replaced_by": resource.replaced_by_id,
866
"regions": [],
867
"download": config.ROOT_URL + flask.url_for("raw_picture", id=resource.id),
868
}
869
for region in resource.regions:
870
json_resource["regions"].append({
871
"object": region.object_id,
872
"type": region.json["type"],
873
"shape": region.json["shape"],
874
})
875
json_resources.append(json_resource)
877
response = flask.jsonify(json_response)
879
response.headers["Content-Type"] = "application/json"
880
return response
881