public static VirtualTransform VirtualTransform()

in DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/ToDafny.java [1004:1048]

45 lines of code
9 McCabe index (conditional complexity)


  public static VirtualTransform VirtualTransform(
    software.amazon.cryptography.dbencryptionsdk.dynamodb.model.VirtualTransform nativeValue
  ) {
    if (Objects.nonNull(nativeValue.upper())) {
      return VirtualTransform.create_upper(ToDafny.Upper(nativeValue.upper()));
    }
    if (Objects.nonNull(nativeValue.lower())) {
      return VirtualTransform.create_lower(ToDafny.Lower(nativeValue.lower()));
    }
    if (Objects.nonNull(nativeValue.insert())) {
      return VirtualTransform.create_insert(
        ToDafny.Insert(nativeValue.insert())
      );
    }
    if (Objects.nonNull(nativeValue.prefix())) {
      return VirtualTransform.create_prefix(
        ToDafny.GetPrefix(nativeValue.prefix())
      );
    }
    if (Objects.nonNull(nativeValue.suffix())) {
      return VirtualTransform.create_suffix(
        ToDafny.GetSuffix(nativeValue.suffix())
      );
    }
    if (Objects.nonNull(nativeValue.substring())) {
      return VirtualTransform.create_substring(
        ToDafny.GetSubstring(nativeValue.substring())
      );
    }
    if (Objects.nonNull(nativeValue.segment())) {
      return VirtualTransform.create_segment(
        ToDafny.GetSegment(nativeValue.segment())
      );
    }
    if (Objects.nonNull(nativeValue.segments())) {
      return VirtualTransform.create_segments(
        ToDafny.GetSegments(nativeValue.segments())
      );
    }
    throw new IllegalArgumentException(
      "Cannot convert " +
      nativeValue +
      " to software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.VirtualTransform."
    );
  }