public static ConnectionErrorCodeType ConnectionErrorCodeType()

in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java [4663:4748]
86 lines of code
19 McCabe index (conditional complexity)

  public static ConnectionErrorCodeType ConnectionErrorCodeType(
    software.amazon.awssdk.services.kms.model.ConnectionErrorCodeType nativeValue
  ) {
    switch (nativeValue) {
      case INVALID_CREDENTIALS:
        {
          return ConnectionErrorCodeType.create_INVALID__CREDENTIALS();
        }
      case CLUSTER_NOT_FOUND:
        {
          return ConnectionErrorCodeType.create_CLUSTER__NOT__FOUND();
        }
      case NETWORK_ERRORS:
        {
          return ConnectionErrorCodeType.create_NETWORK__ERRORS();
        }
      case INTERNAL_ERROR:
        {
          return ConnectionErrorCodeType.create_INTERNAL__ERROR();
        }
      case INSUFFICIENT_CLOUDHSM_HSMS:
        {
          return ConnectionErrorCodeType.create_INSUFFICIENT__CLOUDHSM__HSMS();
        }
      case USER_LOCKED_OUT:
        {
          return ConnectionErrorCodeType.create_USER__LOCKED__OUT();
        }
      case USER_NOT_FOUND:
        {
          return ConnectionErrorCodeType.create_USER__NOT__FOUND();
        }
      case USER_LOGGED_IN:
        {
          return ConnectionErrorCodeType.create_USER__LOGGED__IN();
        }
      case SUBNET_NOT_FOUND:
        {
          return ConnectionErrorCodeType.create_SUBNET__NOT__FOUND();
        }
      case INSUFFICIENT_FREE_ADDRESSES_IN_SUBNET:
        {
          return ConnectionErrorCodeType.create_INSUFFICIENT__FREE__ADDRESSES__IN__SUBNET();
        }
      case XKS_PROXY_ACCESS_DENIED:
        {
          return ConnectionErrorCodeType.create_XKS__PROXY__ACCESS__DENIED();
        }
      case XKS_PROXY_NOT_REACHABLE:
        {
          return ConnectionErrorCodeType.create_XKS__PROXY__NOT__REACHABLE();
        }
      case XKS_VPC_ENDPOINT_SERVICE_NOT_FOUND:
        {
          return ConnectionErrorCodeType.create_XKS__VPC__ENDPOINT__SERVICE__NOT__FOUND();
        }
      case XKS_PROXY_INVALID_RESPONSE:
        {
          return ConnectionErrorCodeType.create_XKS__PROXY__INVALID__RESPONSE();
        }
      case XKS_PROXY_INVALID_CONFIGURATION:
        {
          return ConnectionErrorCodeType.create_XKS__PROXY__INVALID__CONFIGURATION();
        }
      case XKS_VPC_ENDPOINT_SERVICE_INVALID_CONFIGURATION:
        {
          return ConnectionErrorCodeType.create_XKS__VPC__ENDPOINT__SERVICE__INVALID__CONFIGURATION();
        }
      case XKS_PROXY_TIMED_OUT:
        {
          return ConnectionErrorCodeType.create_XKS__PROXY__TIMED__OUT();
        }
      case XKS_PROXY_INVALID_TLS_CONFIGURATION:
        {
          return ConnectionErrorCodeType.create_XKS__PROXY__INVALID__TLS__CONFIGURATION();
        }
      default:
        {
          throw new RuntimeException(
            "Cannot convert " +
            nativeValue +
            " to software.amazon.cryptography.services.kms.internaldafny.types.ConnectionErrorCodeType."
          );
        }
    }
  }