diff options
| author | Jon Bratseth <bratseth@gmail.com> | 2022-08-23 23:48:52 +0200 |
|---|---|---|
| committer | Jon Bratseth <bratseth@gmail.com> | 2022-08-23 23:48:52 +0200 |
| commit | 66236bc161062a82907cf55e0ea9d050316bf63c (patch) | |
| tree | 763a40de908d784fb6b506db250b60d872927b4b /config-model/src/main/resources | |
| parent | 9c8d9b4584744ecfd92c1e1c0face2076a96e9db (diff) | |
Move embedder definition to common
Diffstat (limited to 'config-model/src/main/resources')
| -rw-r--r-- | config-model/src/main/resources/schema/common.rnc | 7 | ||||
| -rw-r--r-- | config-model/src/main/resources/schema/containercluster.rnc | 8 |
2 files changed, 7 insertions, 8 deletions
diff --git a/config-model/src/main/resources/schema/common.rnc b/config-model/src/main/resources/schema/common.rnc index 2584725eb9c..de44f9cc071 100644 --- a/config-model/src/main/resources/schema/common.rnc +++ b/config-model/src/main/resources/schema/common.rnc @@ -68,5 +68,12 @@ ComponentDefinition = Component* & Embedder* +Embedder = element embedder { + attribute id { string } & + attribute class { xsd:Name | JavaId }? & + attribute bundle { xsd:Name }? & + attribute def { xsd:Name }? & + anyElement* +} diff --git a/config-model/src/main/resources/schema/containercluster.rnc b/config-model/src/main/resources/schema/containercluster.rnc index b7d7e28f326..4cc55ad75d8 100644 --- a/config-model/src/main/resources/schema/containercluster.rnc +++ b/config-model/src/main/resources/schema/containercluster.rnc @@ -97,14 +97,6 @@ ZooKeeper = element zookeeper { empty } -Embedder = element embedder { - attribute id { string } & - attribute class { xsd:Name | JavaId }? & - attribute bundle { xsd:Name }? & - attribute def { xsd:Name }? & - anyElement* -} - ModelEvaluation = element model-evaluation { element onnx { element models { |