Open Vampire opened 4 years ago
Are there particular extensions you are referring? Most of the configuration of plugins is that they are activated with flags, not schemas.
Well, any plugin that takes information from the schema.
For example for the inheritance
plugin the super class is configured within the schema.
I think that's actually the only one affecting us, but I thought I'll write the issue more generally as there are for sure other cases to cover.
Maybe I was wrong and it is only that one. :-)
As far as I have seen, there are no actual schema files for your JAXB extensions. This means that an average XML editor cannot load any schema for the respective namespaces. This makes it impossible to validate the tags or also have code-completion in XML editors that would support this. It would be really handy if you could provide schema files for the extensions you are providing.