tree 5018e37bd810e15a517c47c6f3a6f7a02c383803
parent c0c872a84e82bb715b1e54cd308e2246468c9fcf
author Radek Krejci <rkrejci@cesnet.cz> 1614976522 +0100
committer Radek Krejci <rkrejci@cesnet.cz> 1615661538 +0100

extensions CHANGE cleanup API of the schema compiler for extension plugins

Be more clear by what API of the schema compiler is available for the
extension plugins. While the compilation 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 getter to
access the context's members to be read and updated by the plugins'
compilation callbacks. Another part of the API is a set of compilation
flags to modify the behavior of the internal schema compiler.