tree 2180f76ade3135ceca7d347914a078c417ae8a16
parent 5f9a3671d3420b10423da8c0de4d02c7f884f093
author Radek Krejci <rkrejci@cesnet.cz> 1615383156 +0100
committer Radek Krejci <rkrejci@cesnet.cz> 1615661538 +0100

extensions CHANGE CHANGE cleanup API of the schema printer for extension plugins

Be more clear by what API of the compiled schema printer is available for the
extension plugins. While the printer context is needed, we want to keep its
members hidden to be able to make future changes. Therefore, there is only a
(possibly extensible in a future) set of getters to access the context's members
to be read and updated by the plugins' printer callbacks.

The patch also explicitely states the common compatible members of the
different schema printers.