Explicitly name the "untyped" variant and prevent declaration of new …

…untagged variants
elastic · Jun 28, 2024 · a57b977 · a57b977
1 parent 9ae4eb0
commit a57b977
Show file tree

Hide file tree

Showing 9 changed files with 563 additions and 521 deletions.
diff --git a/compiler/src/model/metamodel.ts b/compiler/src/model/metamodel.ts
@@ -209,6 +209,7 @@ export class Container extends VariantBase {
 
 export class Untagged extends VariantBase {
   kind: 'untagged'
+  untyped_variant: Inherits
 }
 
 /**

diff --git a/compiler/src/model/utils.ts b/compiler/src/model/utils.ts
@@ -1110,24 +1110,34 @@ export function parseVariantsTag (jsDoc: JSDoc[]): model.Variants | undefined {
     }
   }
 
+  if (type === 'internal') {
+    const pairs = parseKeyValues(jsDoc, values, 'tag', 'default')
+    assert(jsDoc, typeof pairs.tag === 'string', 'Internal variant requires a tag definition')
+    return {
+      kind: 'internal_tag',
+      nonExhaustive: nonExhaustive,
+      tag: pairs.tag,
+      defaultTag: pairs.default
+    }
+  }
+
   if (type === 'untagged') {
+    const pairs = parseKeyValues(jsDoc, values, 'untyped')
+    assert(jsDoc, typeof pairs.untyped === 'string', 'Untagged variant requires an untyped definition')
+    const fqn = pairs.untyped.split('.')
     return {
       kind: 'untagged',
-      nonExhaustive: nonExhaustive
+      nonExhaustive: nonExhaustive,
+      untyped_variant: {
+        type: {
+          namespace: fqn.slice(0, fqn.length - 1).join('.'),
+          name: fqn[fqn.length - 1]
+        }
+      }
     }
   }
 
-  assert(jsDoc, type === 'internal', `Bad variant type: ${type}`)
-
-  const pairs = parseKeyValues(jsDoc, values, 'tag', 'default')
-  assert(jsDoc, typeof pairs.tag === 'string', 'Internal variant requires a tag definition')
-
-  return {
-    kind: 'internal_tag',
-    nonExhaustive: nonExhaustive,
-    tag: pairs.tag,
-    defaultTag: pairs.default
-  }
+  assert(jsDoc, false, `Bad variant type: ${type}`)
 }
 
 /**

diff --git a/compiler/src/steps/validate-model.ts b/compiler/src/steps/validate-model.ts
@@ -559,14 +559,14 @@ export default async function validateModel (apiModel: model.Model, restSpec: Ma
       if (typeDef.type.kind !== 'union_of') {
         modelError('The "variants" tag only applies to unions')
       } else {
-        validateTaggedUnion(typeDef.type, typeDef.variants)
+        validateTaggedUnion(typeDef.name, typeDef.type, typeDef.variants)
       }
     } else {
       validateValueOf(typeDef.type, openGenerics)
     }
   }
 
-  function validateTaggedUnion (valueOf: model.UnionOf, variants: model.InternalTag | model.ExternalTag | model.Untagged): void {
+  function validateTaggedUnion (parentName: TypeName, valueOf: model.UnionOf, variants: model.InternalTag | model.ExternalTag | model.Untagged): void {
     if (variants.kind === 'external_tag') {
       // All items must have a 'variant' attribute
       const items = flattenUnionMembers(valueOf)
@@ -611,9 +611,20 @@ export default async function validateModel (apiModel: model.Model, restSpec: Ma
 
       validateValueOf(valueOf, new Set())
     } else if (variants.kind === 'untagged') {
-      const items = flattenUnionMembers(valueOf)
+      if (fqn(parentName) !== '_types.query_dsl:DecayFunction' &&
+          fqn(parentName) !== '_types.query_dsl:DistanceFeatureQuery' &&
+          fqn(parentName) !== '_types.query_dsl:RangeQuery') {
+        throw new Error(`Please contact the devtools team before adding new untagged variant ${fqn(parentName)}`)
+      }
+
+      const untyped_variant = getTypeDef(variants.untyped_variant.type)
+      if (untyped_variant == null) {
+        modelError(`Type ${fqn(variants.untyped_variant.type)} not found`)
+      }
 
+      const items = flattenUnionMembers(valueOf)
       const baseTypes = new Set<string>()
+      let found_untyped = false;
 
       for (const item of items) {
         if (item.kind !== 'instance_of') {
@@ -628,6 +639,10 @@ export default async function validateModel (apiModel: model.Model, restSpec: Ma
               modelError(`Type ${fqn(item.type)} must be an interface to be used in an untagged union`)
               continue
             }
+
+            if (fqn(item.type) === fqn(untyped_variant!.name)) {
+              found_untyped = true
+            }
 
             if (type.inherits == null) {
               modelError(`Type ${fqn(item.type)} must derive from a base type to be used in an untagged union`)
@@ -657,6 +672,10 @@ export default async function validateModel (apiModel: model.Model, restSpec: Ma
       if (baseTypes.size !== 1) {
         modelError('All items of an untagged union must derive from the same common base type')
       }
+
+      if (!found_untyped) {
+        modelError('The untyped variant of an untagged variant must be contained in the union items')
+      }
     }
   }
 

diff --git a/docs/modeling-guide.md b/docs/modeling-guide.md
@@ -455,16 +455,17 @@ For example:
 ```ts
 export class MyTypeBase<T1, T2, ...> { ... }
 
+export class MyTypeUntyped extends MyTypeBase<UserDefinedValue> {}
 export class MyTypeSpecialized1 extends MyTypeBase<int> {}
 export class MyTypeSpecialized2 extends MyTypeBase<string> {}
 export class MyTypeSpecialized3 extends MyTypeBase<bool> {}
 
 /**
- * @codegen_names mytype1, mytypet2, mytype3 
- * @variant untagged
+ * @codegen_names untyped, mytype1, mytypet2, mytype3 
+ * @variant untagged untyped=_types.MyTypeUntyped
  */
 // Note: deserialization depends on value types
-export type MyType = MyTypeSpecialized1 | MyTypeSpecialized2 | MyTypeSpecialized3 
+export type MyType = MyTypeUntyped | MyTypeSpecialized1 | MyTypeSpecialized2 | MyTypeSpecialized3 
 ```
 
 ### Shortcut properties