feat: Implement Query lang

[Computerdores]

Implements #600

Current supported Grammar:

ORList         = ANDList ( "OR", ANDList)* ;
ANDList        = Term ( ["AND"] Term )* ;
Term           = Constraint | "(", ORList, ")" | "NOT", Term ;

Constraint     = [ConstraintType, ":"], Literal, "[", PropertyList, "]" ;

ConstraintType = "tag" | "tag_id" | "mediatype" | "filetype" | "path" | "special" ; (* not case sensitive *)
PropertyList   = Property, (",", Property)* ;
Property       = ULITERAL, "=", Literal ;
Literal        = ULITERAL | QLITERAL ;

Notes:

• path:<glob> searches entries using a UNIX-Style GLOB
• special:untagged searches for entries that don't have any tags

Limitations / Future Work:

• Sub-Tags do not work yet
• autocompletion could use an overhaul
• When query is invalid user should be informed what part of it is wrong
  • also warn / fail when searching for tag / tag id that doesn't exist
• Backwards and Forwards buttons don't work

Todo:

• Try to put tag id lookup into subqueries that return tag ids. This should reduce the number of joins in the main query from 4 to 2 1. That might drastically improve performance
• let chained NOTs cancel eachother out
• use relational division queries on both negated and non negated Tag constraints
• fix bug that @CyanVoxel found and @python357-1 figured out the root of

[python357-1]

NOT operator also seems to not work (NOT tag_id:1000 returns no results) in a library with entries that dont have tag id 1000

[Computerdores]

TODO: port untagged and empty or equivalents

[Computerdores]

NOT operator also seems to not work (NOT tag_id:1000 returns no results) in a library with entries that dont have tag id 1000

NOT is now implemented

[Computerdores]

Not really sure on whether / how I should deal with this duplication, opinions would be appreciated

[Computerdores]

I have now written every test I could think of and then some.
Test Coverage of query_lang/* and visitors.py is at 92%, I think this should be good enough.

(Going through the code you might see # pragma: nocover, this marks lines as excluded from the coverage calculation. I used this to exclude lines that will only ever be run during development / debugging)

[CyanVoxel]

Looks fantastic! Works great on my end, and I don't even have much in terms of review feedback left at this point.

Thank you so much for your amazing work on this!!

[Computerdores]

No idea what is going with ruff and mypy, 9d357b0 passed both and on 4265fde they suddenly fail in files that weren't even modified

[CyanVoxel]

No idea what is going with ruff and mypy, 9d357b0 passed both and on 4265fde they suddenly fail in files that weren't even modified

Hmm, ruff was updated on main recently but I don't see how the mypy error is occurring suddenly

[VasigaranAndAngel]

No idea what is going with ruff and mypy, 9d357b0 passed both and on 4265fde they suddenly fail in files that weren't even modified

it's strange. i didn’t encounter any errors on my system (windows and ubuntu 22.04) using the same ruff and mypy versions as specified in the workflow. this could be due to:

from src.core.library.alchemy import Library
from src.core.library.alchemy.library import Entry, LibraryStatus

Entry and LibraryStatus are imported directly by importing library and not using the __init__.py ?
in src/core/library/alchemy/, there’s an __init__.py file. (contains __all__ attribute also):

from .enums import ItemType
from .library import Library
from .models import Entry, Tag

__all__ = ["Entry", "Library", "Tag", "ItemType"]

isn’t that odd? but it’s just a weird assumption for a weird issue. nvm.

ruff was updated on main recently

the ruff and mypy versions are hard coded in the workflows, so they aren’t loaded from requirements.txt,

TagStudio/.github/workflows/ruff.yaml

Lines 10 to 20 in 4265fde

	version: 0.6.4
	args: 'format --check'
	ruff-check:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: chartboost/ruff-action@v1
	with:
	version: 0.6.4
	args: 'check'

TagStudio/.github/workflows/mypy.yaml

Lines 26 to 29 in 4265fde

	python -m pip install --upgrade uv
	uv pip install --system -r requirements.txt
	uv pip install --system mypy==1.11.2
	mkdir tagstudio/.mypy_cache