typia 13.0.1-dev.20260703.1 → 13.0.2

package/native/core/factories/internal/metadata/emplace_metadata_tuple.go

@@ -1,69 +1,69 @@
-package metadata
-
-import (
-  nativechecker "github.com/microsoft/typescript-go/shim/checker"
-  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
-)
-
-func Emplace_metadata_tuple(props IMetadataIteratorProps) *schemametadata.MetadataTupleType {
-  tuple, newbie, closure := props.Components.EmplaceTuple(
-    props.Checker,
-    props.Type,
-  )
-  metadata_array_util_add_bool(&tuple.Nullables, props.Metadata.Nullable)
-  if newbie == false {
-    return tuple
-  }
-
-  flagList := []nativechecker.ElementFlags{}
-  if props.Type != nil && nativechecker.IsTupleType(props.Type) {
-    flagList = props.Type.TargetTupleType().ElementFlags()
-  }
-  args := []*nativechecker.Type{}
-  if props.Checker != nil {
-    args = metadata_get_type_arguments(props.Checker, props.Type)
-  }
-  elements := make([]*schemametadata.MetadataSchema, 0, len(args))
-  for i, elem := range args {
-    explore := props.Explore
-    explore.Nested = tuple
-    explore.Aliased = false
-    explore.Escaped = false
-    child := Explore_metadata(Explore_metadata_IProps{
-      Options:     props.Options,
-      Checker:     props.Checker,
-      Components:  props.Components,
-      Errors:      props.Errors,
-      Type:        elem,
-      Explore:     explore,
-      Intersected: false,
-    })
-    var flag nativechecker.ElementFlags
-    if i < len(flagList) {
-      flag = flagList[i]
-    }
-    if flag == nativechecker.ElementFlagsOptional {
-      child.Optional = true
-    }
-    if flag != nativechecker.ElementFlagsRest {
-      elements = append(elements, child)
-      continue
-    }
-    // Every programmer addresses tuple elements by their fixed leading
-    // position and slices the rest segment off the end, so a rest element
-    // anywhere but the trailing position would compile into positionally
-    // wrong checks (issue #1932). Reject it honestly instead.
-    if i != len(args)-1 && props.Errors != nil {
-      *props.Errors = append(*props.Errors, MetadataFactory_IError{
-        Name:     tuple.Name,
-        Explore:  props.Explore,
-        Messages: []string{"non-trailing rest element in tuple type is not supported."},
-      })
-    }
-    wrapper := schemametadata.MetadataSchema_initialize()
-    wrapper.Rest = child
-    elements = append(elements, wrapper)
-  }
-  closure(elements)
-  return tuple
-}
+package metadata
+
+import (
+  nativechecker "github.com/microsoft/typescript-go/shim/checker"
+  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
+)
+
+func Emplace_metadata_tuple(props IMetadataIteratorProps) *schemametadata.MetadataTupleType {
+  tuple, newbie, closure := props.Components.EmplaceTuple(
+    props.Checker,
+    props.Type,
+  )
+  metadata_array_util_add_bool(&tuple.Nullables, props.Metadata.Nullable)
+  if newbie == false {
+    return tuple
+  }
+
+  flagList := []nativechecker.ElementFlags{}
+  if props.Type != nil && nativechecker.IsTupleType(props.Type) {
+    flagList = props.Type.TargetTupleType().ElementFlags()
+  }
+  args := []*nativechecker.Type{}
+  if props.Checker != nil {
+    args = metadata_get_type_arguments(props.Checker, props.Type)
+  }
+  elements := make([]*schemametadata.MetadataSchema, 0, len(args))
+  for i, elem := range args {
+    explore := props.Explore
+    explore.Nested = tuple
+    explore.Aliased = false
+    explore.Escaped = false
+    child := Explore_metadata(Explore_metadata_IProps{
+      Options:     props.Options,
+      Checker:     props.Checker,
+      Components:  props.Components,
+      Errors:      props.Errors,
+      Type:        elem,
+      Explore:     explore,
+      Intersected: false,
+    })
+    var flag nativechecker.ElementFlags
+    if i < len(flagList) {
+      flag = flagList[i]
+    }
+    if flag == nativechecker.ElementFlagsOptional {
+      child.Optional = true
+    }
+    if flag != nativechecker.ElementFlagsRest {
+      elements = append(elements, child)
+      continue
+    }
+    // Every programmer addresses tuple elements by their fixed leading
+    // position and slices the rest segment off the end, so a rest element
+    // anywhere but the trailing position would compile into positionally
+    // wrong checks (issue #1932). Reject it honestly instead.
+    if i != len(args)-1 && props.Errors != nil {
+      *props.Errors = append(*props.Errors, MetadataFactory_IError{
+        Name:     tuple.Name,
+        Explore:  props.Explore,
+        Messages: []string{"non-trailing rest element in tuple type is not supported."},
+      })
+    }
+    wrapper := schemametadata.MetadataSchema_initialize()
+    wrapper.Rest = child
+    elements = append(elements, wrapper)
+  }
+  closure(elements)
+  return tuple
+}

package/native/core/factories/internal/metadata/explore_metadata.go

@@ -1,75 +1,75 @@
-package metadata
-
-import (
-  nativechecker "github.com/microsoft/typescript-go/shim/checker"
-  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
-)
-
-type Explore_metadata_IProps struct {
-  Options     MetadataFactory_IOptions
-  Checker     *nativechecker.Checker
-  Components  *schemametadata.MetadataCollection
-  Errors      *[]MetadataFactory_IError
-  Type        *nativechecker.Type
-  Explore     MetadataFactory_IExplore
-  Intersected bool
-  NoCache     bool
-  Prunable    bool
-}
-
-func Explore_metadata(props Explore_metadata_IProps) *schemametadata.MetadataSchema {
-  plainObjectIntersection := false
-  if props.Checker != nil && props.Type != nil && props.Type.IsIntersection() {
-    plainObjectIntersection = iterate_metadata_intersection_is_plain_object_only(props.Checker, props.Components, props.Type, map[*nativechecker.Type]bool{})
-  }
-  cacheable := props.NoCache == false &&
-    props.Intersected == false &&
-    props.Components != nil &&
-    props.Type != nil &&
-    (props.Type.IsIntersection() == false || plainObjectIntersection)
-  cacheKey := schemametadata.MetadataCollection_ExploreCacheKey{}
-  if cacheable {
-    cacheKey = schemametadata.MetadataCollection_ExploreCacheKey{
-      Type:       props.Type,
-      Escape:     props.Options.Escape,
-      Absorb:     props.Options.Absorb,
-      Constant:   props.Options.Constant,
-      Functional: props.Options.Functional,
-      Top:        props.Explore.Top,
-      Aliased:    props.Explore.Aliased,
-      Escaped:    props.Explore.Escaped,
-      Output:     props.Explore.Output,
-    }
-    if cached, ok := props.Components.LookupExploreCache(cacheKey); ok {
-      return cached
-    }
-  }
-  errorCount := 0
-  if props.Errors != nil {
-    errorCount = len(*props.Errors)
-  }
-  metadata := schemametadata.MetadataSchema_initialize(props.Explore.Escaped)
-  if props.Type == nil {
-    return metadata
-  }
-  Iterate_metadata(IMetadataIteratorProps{
-    Options:     props.Options,
-    Checker:     props.Checker,
-    Components:  props.Components,
-    Errors:      props.Errors,
-    Metadata:    metadata,
-    Type:        props.Type,
-    Explore:     props.Explore,
-    Intersected: props.Intersected,
-    Prunable:    props.Prunable,
-  })
-  Emend_metadata_atomics(metadata)
-  if metadata.Escaped != nil {
-    Emend_metadata_atomics(metadata.Escaped.Original)
-    Emend_metadata_atomics(metadata.Escaped.Returns)
-  }
-  if cacheable && (props.Errors == nil || len(*props.Errors) == errorCount) {
-    props.Components.StoreExploreCache(cacheKey, metadata)
-  }
-  return metadata
-}
+package metadata
+
+import (
+  nativechecker "github.com/microsoft/typescript-go/shim/checker"
+  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
+)
+
+type Explore_metadata_IProps struct {
+  Options     MetadataFactory_IOptions
+  Checker     *nativechecker.Checker
+  Components  *schemametadata.MetadataCollection
+  Errors      *[]MetadataFactory_IError
+  Type        *nativechecker.Type
+  Explore     MetadataFactory_IExplore
+  Intersected bool
+  NoCache     bool
+  Prunable    bool
+}
+
+func Explore_metadata(props Explore_metadata_IProps) *schemametadata.MetadataSchema {
+  plainObjectIntersection := false
+  if props.Checker != nil && props.Type != nil && props.Type.IsIntersection() {
+    plainObjectIntersection = iterate_metadata_intersection_is_plain_object_only(props.Checker, props.Components, props.Type, map[*nativechecker.Type]bool{})
+  }
+  cacheable := props.NoCache == false &&
+    props.Intersected == false &&
+    props.Components != nil &&
+    props.Type != nil &&
+    (props.Type.IsIntersection() == false || plainObjectIntersection)
+  cacheKey := schemametadata.MetadataCollection_ExploreCacheKey{}
+  if cacheable {
+    cacheKey = schemametadata.MetadataCollection_ExploreCacheKey{
+      Type:       props.Type,
+      Escape:     props.Options.Escape,
+      Absorb:     props.Options.Absorb,
+      Constant:   props.Options.Constant,
+      Functional: props.Options.Functional,
+      Top:        props.Explore.Top,
+      Aliased:    props.Explore.Aliased,
+      Escaped:    props.Explore.Escaped,
+      Output:     props.Explore.Output,
+    }
+    if cached, ok := props.Components.LookupExploreCache(cacheKey); ok {
+      return cached
+    }
+  }
+  errorCount := 0
+  if props.Errors != nil {
+    errorCount = len(*props.Errors)
+  }
+  metadata := schemametadata.MetadataSchema_initialize(props.Explore.Escaped)
+  if props.Type == nil {
+    return metadata
+  }
+  Iterate_metadata(IMetadataIteratorProps{
+    Options:     props.Options,
+    Checker:     props.Checker,
+    Components:  props.Components,
+    Errors:      props.Errors,
+    Metadata:    metadata,
+    Type:        props.Type,
+    Explore:     props.Explore,
+    Intersected: props.Intersected,
+    Prunable:    props.Prunable,
+  })
+  Emend_metadata_atomics(metadata)
+  if metadata.Escaped != nil {
+    Emend_metadata_atomics(metadata.Escaped.Original)
+    Emend_metadata_atomics(metadata.Escaped.Returns)
+  }
+  if cacheable && (props.Errors == nil || len(*props.Errors) == errorCount) {
+    props.Components.StoreExploreCache(cacheKey, metadata)
+  }
+  return metadata
+}

package/native/core/factories/internal/metadata/iterate_metadata.go

@@ -1,55 +1,55 @@
-package metadata
-
-import (
-  nativechecker "github.com/microsoft/typescript-go/shim/checker"
-  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
-)
-
-func Iterate_metadata(props IMetadataIteratorProps) {
-  if props.Type == nil {
-    return
-  }
-  if props.Type.IsTypeParameter() == true {
-    if props.Errors != nil {
-      *props.Errors = append(*props.Errors, MetadataFactory_IError{
-        Name:     metadata_type_full_name(props.Checker, props.Type, props.Components),
-        Explore:  props.Explore,
-        Messages: []string{"non-specified generic argument found."},
-      })
-    }
-    return
-  }
-
-  if (props.Explore.Aliased != true && Iterate_metadata_alias(props)) ||
-    Iterate_metadata_intersection(props) ||
-    Iterate_metadata_union(props) ||
-    Iterate_metadata_escape(props) {
-    return
-  }
-
-  if Iterate_metadata_coalesce(struct {
-    Metadata *schemametadata.MetadataSchema
-    Type     *nativechecker.Type
-  }{
-    Metadata: props.Metadata,
-    Type:     props.Type,
-  }) ||
-    Iterate_metadata_function(props) ||
-    Iterate_metadata_constant(props) ||
-    Iterate_metadata_template(props) ||
-    Iterate_metadata_atomic(struct {
-      Metadata *schemametadata.MetadataSchema
-      Type     *nativechecker.Type
-    }{
-      Metadata: props.Metadata,
-      Type:     props.Type,
-    }) ||
-    Iterate_metadata_tuple(props) ||
-    Iterate_metadata_array(props) ||
-    Iterate_metadata_native(props) ||
-    Iterate_metadata_map(props) ||
-    Iterate_metadata_set(props) ||
-    Iterate_metadata_object(props) {
-    return
-  }
-}
+package metadata
+
+import (
+  nativechecker "github.com/microsoft/typescript-go/shim/checker"
+  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
+)
+
+func Iterate_metadata(props IMetadataIteratorProps) {
+  if props.Type == nil {
+    return
+  }
+  if props.Type.IsTypeParameter() == true {
+    if props.Errors != nil {
+      *props.Errors = append(*props.Errors, MetadataFactory_IError{
+        Name:     metadata_type_full_name(props.Checker, props.Type, props.Components),
+        Explore:  props.Explore,
+        Messages: []string{"non-specified generic argument found."},
+      })
+    }
+    return
+  }
+
+  if (props.Explore.Aliased != true && Iterate_metadata_alias(props)) ||
+    Iterate_metadata_intersection(props) ||
+    Iterate_metadata_union(props) ||
+    Iterate_metadata_escape(props) {
+    return
+  }
+
+  if Iterate_metadata_coalesce(struct {
+    Metadata *schemametadata.MetadataSchema
+    Type     *nativechecker.Type
+  }{
+    Metadata: props.Metadata,
+    Type:     props.Type,
+  }) ||
+    Iterate_metadata_function(props) ||
+    Iterate_metadata_constant(props) ||
+    Iterate_metadata_template(props) ||
+    Iterate_metadata_atomic(struct {
+      Metadata *schemametadata.MetadataSchema
+      Type     *nativechecker.Type
+    }{
+      Metadata: props.Metadata,
+      Type:     props.Type,
+    }) ||
+    Iterate_metadata_tuple(props) ||
+    Iterate_metadata_array(props) ||
+    Iterate_metadata_native(props) ||
+    Iterate_metadata_map(props) ||
+    Iterate_metadata_set(props) ||
+    Iterate_metadata_object(props) {
+    return
+  }
+}

package/native/core/factories/internal/metadata/iterate_metadata_alias.go

@@ -1,36 +1,36 @@
-package metadata
-
-import (
-  nativeast "github.com/microsoft/typescript-go/shim/ast"
-  nativechecker "github.com/microsoft/typescript-go/shim/checker"
-  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
-)
-
-func Iterate_metadata_alias(props IMetadataIteratorProps) bool {
-  if props.Options.Absorb != false {
-    return false
-  }
-  aliasSymbol := nativechecker_type_name_symbol(props.Type)
-  if aliasSymbol == nil || len(aliasSymbol.Declarations) == 0 {
-    return false
-  }
-  if aliasSymbol.Declarations[0].Kind != nativeast.KindTypeAliasDeclaration {
-    return false
-  }
-
-  typ := Emplace_metadata_alias(props)
-  for _, elem := range props.Metadata.Aliases {
-    if elem.Type.Name == typ.Name {
-      return true
-    }
-  }
-  props.Metadata.Aliases = append(props.Metadata.Aliases, schemametadata.MetadataAlias_create(schemametadata.MetadataAlias{
-    Type: typ,
-    Tags: [][]schemametadata.IMetadataTypeTag{},
-  }))
-  return true
-}
-
-func nativechecker_type_name_symbol(typ *nativechecker.Type) *nativeast.Symbol {
-  return nativechecker.Type_getTypeNameSymbol(typ)
-}
+package metadata
+
+import (
+  nativeast "github.com/microsoft/typescript-go/shim/ast"
+  nativechecker "github.com/microsoft/typescript-go/shim/checker"
+  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
+)
+
+func Iterate_metadata_alias(props IMetadataIteratorProps) bool {
+  if props.Options.Absorb != false {
+    return false
+  }
+  aliasSymbol := nativechecker_type_name_symbol(props.Type)
+  if aliasSymbol == nil || len(aliasSymbol.Declarations) == 0 {
+    return false
+  }
+  if aliasSymbol.Declarations[0].Kind != nativeast.KindTypeAliasDeclaration {
+    return false
+  }
+
+  typ := Emplace_metadata_alias(props)
+  for _, elem := range props.Metadata.Aliases {
+    if elem.Type.Name == typ.Name {
+      return true
+    }
+  }
+  props.Metadata.Aliases = append(props.Metadata.Aliases, schemametadata.MetadataAlias_create(schemametadata.MetadataAlias{
+    Type: typ,
+    Tags: [][]schemametadata.IMetadataTypeTag{},
+  }))
+  return true
+}
+
+func nativechecker_type_name_symbol(typ *nativechecker.Type) *nativeast.Symbol {
+  return nativechecker.Type_getTypeNameSymbol(typ)
+}

package/native/core/factories/internal/metadata/iterate_metadata_array.go

@@ -1,77 +1,77 @@
-package metadata
-
-import (
-  nativechecker "github.com/microsoft/typescript-go/shim/checker"
-  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
-)
-
-func Iterate_metadata_array(props IMetadataIteratorProps) bool {
-  var array *nativechecker.Type
-  if props.Checker != nil && nativechecker.Checker_isArrayType(props.Checker, props.Type) {
-    array = props.Type
-  } else {
-    array = iterate_metadata_array_find_array_extended(struct {
-      checker *nativechecker.Checker
-      memory  map[*nativechecker.Type]*nativechecker.Type
-      typ     *nativechecker.Type
-    }{
-      checker: props.Checker,
-      memory:  map[*nativechecker.Type]*nativechecker.Type{},
-      typ:     props.Type,
-    })
-  }
-  if array == nil {
-    return false
-  }
-
-  arrayType := Emplace_metadata_array_type(Emplace_metadata_array_type_IProps{
-    IMetadataIteratorProps: props,
-    Array:                  array,
-  })
-  for _, elem := range props.Metadata.Arrays {
-    if elem.Type.Name == arrayType.Name {
-      return true
-    }
-  }
-  props.Metadata.Arrays = append(props.Metadata.Arrays, schemametadata.MetadataArray_create(schemametadata.MetadataArray{
-    Type: arrayType,
-    Tags: [][]schemametadata.IMetadataTypeTag{},
-  }))
-  return true
-}
-
-func iterate_metadata_array_find_array_extended(props struct {
-  checker *nativechecker.Checker
-  memory  map[*nativechecker.Type]*nativechecker.Type
-  typ     *nativechecker.Type
-}) *nativechecker.Type {
-  if props.checker == nil || props.typ == nil {
-    return nil
-  }
-  if _, ok := props.memory[props.typ]; ok {
-    return nil
-  }
-  props.memory[props.typ] = nil
-  if props.typ.ObjectFlags()&nativechecker.ObjectFlagsClassOrInterface == 0 {
-    return nil
-  }
-  for _, base := range nativechecker.Checker_getBaseTypes(props.checker, props.typ) {
-    if nativechecker.Checker_isArrayType(props.checker, base) {
-      props.memory[props.typ] = base
-      return base
-    }
-    if next := iterate_metadata_array_find_array_extended(struct {
-      checker *nativechecker.Checker
-      memory  map[*nativechecker.Type]*nativechecker.Type
-      typ     *nativechecker.Type
-    }{
-      checker: props.checker,
-      memory:  props.memory,
-      typ:     base,
-    }); next != nil {
-      props.memory[props.typ] = next
-      return next
-    }
-  }
-  return nil
-}
+package metadata
+
+import (
+  nativechecker "github.com/microsoft/typescript-go/shim/checker"
+  schemametadata "github.com/samchon/typia/packages/typia/native/core/schemas/metadata"
+)
+
+func Iterate_metadata_array(props IMetadataIteratorProps) bool {
+  var array *nativechecker.Type
+  if props.Checker != nil && nativechecker.Checker_isArrayType(props.Checker, props.Type) {
+    array = props.Type
+  } else {
+    array = iterate_metadata_array_find_array_extended(struct {
+      checker *nativechecker.Checker
+      memory  map[*nativechecker.Type]*nativechecker.Type
+      typ     *nativechecker.Type
+    }{
+      checker: props.Checker,
+      memory:  map[*nativechecker.Type]*nativechecker.Type{},
+      typ:     props.Type,
+    })
+  }
+  if array == nil {
+    return false
+  }
+
+  arrayType := Emplace_metadata_array_type(Emplace_metadata_array_type_IProps{
+    IMetadataIteratorProps: props,
+    Array:                  array,
+  })
+  for _, elem := range props.Metadata.Arrays {
+    if elem.Type.Name == arrayType.Name {
+      return true
+    }
+  }
+  props.Metadata.Arrays = append(props.Metadata.Arrays, schemametadata.MetadataArray_create(schemametadata.MetadataArray{
+    Type: arrayType,
+    Tags: [][]schemametadata.IMetadataTypeTag{},
+  }))
+  return true
+}
+
+func iterate_metadata_array_find_array_extended(props struct {
+  checker *nativechecker.Checker
+  memory  map[*nativechecker.Type]*nativechecker.Type
+  typ     *nativechecker.Type
+}) *nativechecker.Type {
+  if props.checker == nil || props.typ == nil {
+    return nil
+  }
+  if _, ok := props.memory[props.typ]; ok {
+    return nil
+  }
+  props.memory[props.typ] = nil
+  if props.typ.ObjectFlags()&nativechecker.ObjectFlagsClassOrInterface == 0 {
+    return nil
+  }
+  for _, base := range nativechecker.Checker_getBaseTypes(props.checker, props.typ) {
+    if nativechecker.Checker_isArrayType(props.checker, base) {
+      props.memory[props.typ] = base
+      return base
+    }
+    if next := iterate_metadata_array_find_array_extended(struct {
+      checker *nativechecker.Checker
+      memory  map[*nativechecker.Type]*nativechecker.Type
+      typ     *nativechecker.Type
+    }{
+      checker: props.checker,
+      memory:  props.memory,
+      typ:     base,
+    }); next != nil {
+      props.memory[props.typ] = next
+      return next
+    }
+  }
+  return nil
+}