| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
|
|
|
|
|
| |
(before it would fail to find e.g. the start layer if it wasn't a
top-level layer)
|
|
|
|
|
| |
The script inject doesn't do anything for now; guess I'll re-add that
once we actually have a URI for that.
|
|
|
|
|
| |
(these were `error` before, which didn't really make sense, since
workadventure can deal with them, they're just not allowed at rc3)
|
|
|
|
| |
also, float properties exist, apparently
|
|
|
|
| |
(in which case it just doesn't do anything at all)
|
| |
|
| |
|
|
|
|
| |
(the format used last year is no longer applicable to this year's event)
|
|
|
|
| |
(found by running through rc3 2021 map submissions and looking at what failed)
|
|
|
|
|
| |
(as per today's discussion with tabascoeye, mapCopyright should not be
required, though I've left it as recommended)
|
| |
|
|
|
|
|
| |
(previously it would just lint "can't use name twice" multiple times,
which looks kind of silly)
|
| |
|
| |
|
| |
|
|
|
|
|
| |
(forgot that `error` is the builtin haskell function; the one to create
linter errors is called `complain`)
|
| |
|
| |
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
this includes a halfway-reasonable parsing of object layers, as well as
some monad plumbing to get them all in the right place.
|
|
|
|
|
|
| |
because we can't ever trust workadventure, apparently.
why are we using that thing again?
|
|
|
|
|
| |
(to prevent name clashes between assemblies; shared jitsi rooms are
still possible simply by letting their names start with "shared-")
|
|
|
|
|
| |
(since otherwise we might run into namespace clashes for assemblies with
funny names)
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
| |
("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)
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
| |
(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)
|
| |
|
|
|
|
|
| |
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 …
|
|
|
|
|
| |
(mostly to do with the scripting API, but also some old ones which are
already deprecated / not even mentioned in the documentation anymore)
|
| |
|
|
|
|
|
| |
I found yet more properties that weren't really documented or weren't
marked as optional, hurray!
|
| |
|
| |
|
| |
|
|
|
|
| |
also yet another typeclass™, because why not?
|
| |
|
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
| |
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?)
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 …
|
|
|
|
|
| |
the previous state appears to have been an oversight and made no sense
at all.
|
|
|
|
|
|
| |
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 ...
|
| |
|
|
|
|
|
|
|
|
| |
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.
|
| |
|