walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-12-16	we don't support ellipses	stuebinm	1	-5/+4

2021-12-15	suggest setting map meta properties if not given	stuebinm	1	-0/+9

2021-12-14	deal with group layer in existence checks properly	stuebinm	1	-11/+20
	(before it would fail to find e.g. the start layer if it wasn't a top-level layer)
2021-12-14	allow scripts from https://static.rc3.world/scripts	stuebinm	1	-15/+10
	The script inject doesn't do anything for now; guess I'll re-add that once we actually have a URI for that.
2021-12-14	downgrade disallowed path-related lint levels	stuebinm	1	-3/+3
	(these were `error` before, which didn't really make sense, since workadventure can deal with them, they're just not allowed at rc3)
2021-12-14	audioVolumne is of type float, not int	stuebinm	1	-4/+19
	also, float properties exist, apparently
2021-12-14	startLayer can actually be set to `false`	stuebinm	1	-3/+2
	(in which case it just doesn't do anything at all)
2021-12-13	refuse doubled map properties	stuebinm	1	-1/+2

2021-12-13	complain if map links that don't go to .json files	stuebinm	1	-6/+14

2021-12-13	add special warning for rc3 old-style links	stuebinm	1	-2/+5
	(the format used last year is no longer applicable to this year's event)
2021-12-13	changes to tiled map format	stuebinm	1	-1/+4
	(found by running through rc3 2021 map submissions and looking at what failed)
2021-12-12	downgrad mapCopyright lint to suggestion	stuebinm	1	-1/+1
	(as per today's discussion with tabascoeye, mapCopyright should not be required, though I've left it as recommended)
2021-12-12	better lints for invalid links	stuebinm	1	-18/+15

2021-12-12	lints for names that are used more than twice	stuebinm	1	-7/+13
	(previously it would just lint "can't use name twice" multiple times, which looks kind of silly)
2021-12-12	handle text objects in objectgroup layers	stuebinm	1	-16/+21

2021-12-12	lint individual tile properties	stuebinm	1	-1/+15

2021-12-08	rudimentary linting for overlapping layers	stuebinm	1	-0/+17

2021-12-08	fix mapCopyright lint	stuebinm	1	-3/+3
	(forgot that `error` is the builtin haskell function; the one to create linter errors is called `complain`)
2021-12-07	properties: copyright → tilesetCopyright	stuebinm	1	-2/+2

2021-12-07	require mapCopyright to be set	stuebinm	1	-0/+3

2021-12-04	lots of code reorganising and some deduplication	stuebinm	1	-92/+117
	it was kinda getting messy in places. Also found some accidental isomorphisms between types, so these are now only one type because the consequences were getting silly.
2021-12-04	refuse doubled names	stuebinm	1	-15/+33

2021-12-02	collect badges from object layers	stuebinm	1	-9/+57
	this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place.
2021-12-02	do (naïve) html escaping	stuebinm	1	-6/+11
	because we can't ever trust workadventure, apparently. why are we using that thing again?
2021-11-30	prepend jitsi room names with assembly tag	stuebinm	1	-2/+7
	(to prevent name clashes between assemblies; shared jitsi rooms are still possible simply by letting their names start with "shared-")
2021-11-30	jitsiRoomAdminTag: prepend "assembly-" before name	stuebinm	1	-0/+2
	(since otherwise we might run into namespace clashes for assemblies with funny names)
2021-11-30	allow unknown properties	stuebinm	1	-11/+2
	since the scripting API can define new properties and we (for now) do not know what the script may or may not be able to do, the linter would otherwise reject potentially valid maps.
2021-11-30	rudimentary emulation of bbbRoom etc.	stuebinm	1	-4/+26
	("rudimentary" since for now the best it can do is just replacing / prepending urls; presumably, it should also do a sanity check or something of the like)
2021-11-28	various fixes to bugs	stuebinm	1	-34/+34
	Among them - always set correct exit codes - refuse to write out files if the out path already exists - calculate the overall severity correctly - slightly changed the json output schema - also output the text output format in json - make the default config.json suitable for a production environment
2021-11-20	make link adjustments configurable	stuebinm	1	-24/+35
	this allows for creating custom URI "schemas" in the linter's config, which may be either allowed, prefixed, or translated according to some (domain-based) substitution.
2021-11-19	add domain allow- and blocklists for weblinks	stuebinm	1	-4/+14
	(these use a rather crude regex for parsing, which may be possible to side-step, and which should probably be replaced by something that was actually written while following the relevant rfc)
2021-11-19	add lint for empty group layers	stuebinm	1	-0/+7

2021-11-19	deal with group layers	stuebinm	1	-5/+0
	I have no idea why these even exist, but apparently they do, so here's some code to deal with them in a hopefully useful manner …
2021-11-18	assorted lints for properties found in some maps	stuebinm	1	-17/+56
	(mostly to do with the scripting API, but also some old ones which are already deprecated / not even mentioned in the documentation anymore)
2021-11-17	add warnings for as-yet unlinted layer properties	stuebinm	1	-0/+9

2021-11-17	make map parser work with more maps	stuebinm	1	-2/+14
	I found yet more properties that weren't really documented or weren't marked as optional, hurray!
2021-11-16	reject map urls starting with /_/	stuebinm	1	-3/+6

2021-11-16	add adjustment: add prefix for openWebsite	stuebinm	1	-2/+5

2021-11-14	config options: implement script-related options	stuebinm	1	-2/+13

2021-11-14	Functional jitsiRoomAdminTag adjustment	stuebinm	1	-6/+11
	also yet another typeclass™, because why not?
2021-11-10	little code cleanup	stuebinm	1	-1/+1

2021-11-09	first example of a map adjustment	stuebinm	1	-10/+21
	this also includes some more monad plumbing, and an option for the linter to actually write things out again. Some of the previous commit was reverted a bit since it turned out to be stupid, but overall it was suprisingly easy once I got around to it, so yay! i guess Also includes a fairly silly example of how to use it.
2021-11-02	monad plumbing to let the linter modify things	stuebinm	1	-1/+1
	I'm not sure if this is the right approach tbh — it lets the LintWriter monad modify its own context, but maybe we might run into cases where lints and modifications depend on each other across longer "distances" than just the context of the linter (i.e. just across a property?)
2021-10-30	better lint messages	stuebinm	1	-10/+10

2021-10-30	re-enable dependency checking	stuebinm	1	-2/+3

2021-10-30	make aeson instances agree with themselves	stuebinm	1	-14/+7
	This cleans up all the old rubble that came from the Tiled package I originally took from hackage. It now uses generics instead of implementing all the ToJSON and FromJSON instances by hand, and (deserialize . serialise) will now actually return a (semantically) equivalent json. It'll now also reject keys that it doesn't know, which required adding some in several places which the tiled package didn't know about (or which were introduced after it was originally written, dunno). Several more Maybes are required now, to represent the difference between e.g. empty lists and on set value, which does make the code slightly weirder in other places …
2021-10-30	more sensible msg for "property required by"-lints	stuebinm	1	-1/+8
	the previous state appears to have been an oversight and made no sense at all.
2021-10-30	add tileset property linting	stuebinm	1	-6/+23
	this reorganised the whole linting for tilesets somewhat; it's now very similar to that linting layers, and it may be possible to abstract some of the code away ...
2021-10-30	add warning for very large tileset images	stuebinm	1	-2/+3

2021-09-30	simple map-map link dependency checking	stuebinm	1	-1/+4
	This is purely based on a set difference, i.e. it won't catch stupid things like a map linking to itself, a map link going only one-way, etc. Also, it only handles map links; it doesn't check if all ressource files referenced by a map actually exist.