in DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/ToNative.java [853:884]
public static VirtualTransform VirtualTransform(
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.VirtualTransform dafnyValue
) {
VirtualTransform.Builder nativeBuilder = VirtualTransform.builder();
if (dafnyValue.is_upper()) {
nativeBuilder.upper(ToNative.Upper(dafnyValue.dtor_upper()));
}
if (dafnyValue.is_lower()) {
nativeBuilder.lower(ToNative.Lower(dafnyValue.dtor_lower()));
}
if (dafnyValue.is_insert()) {
nativeBuilder.insert(ToNative.Insert(dafnyValue.dtor_insert()));
}
if (dafnyValue.is_prefix()) {
nativeBuilder.prefix(ToNative.GetPrefix(dafnyValue.dtor_prefix()));
}
if (dafnyValue.is_suffix()) {
nativeBuilder.suffix(ToNative.GetSuffix(dafnyValue.dtor_suffix()));
}
if (dafnyValue.is_substring()) {
nativeBuilder.substring(
ToNative.GetSubstring(dafnyValue.dtor_substring())
);
}
if (dafnyValue.is_segment()) {
nativeBuilder.segment(ToNative.GetSegment(dafnyValue.dtor_segment()));
}
if (dafnyValue.is_segments()) {
nativeBuilder.segments(ToNative.GetSegments(dafnyValue.dtor_segments()));
}
return nativeBuilder.build();
}