in ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java [2994:3130]
public static ExportDescription ExportDescription(
software.amazon.cryptography.services.dynamodb.internaldafny.types.ExportDescription dafnyValue
) {
ExportDescription.Builder builder = ExportDescription.builder();
if (dafnyValue.dtor_BilledSizeBytes().is_Some()) {
builder.billedSizeBytes((dafnyValue.dtor_BilledSizeBytes().dtor_value()));
}
if (dafnyValue.dtor_ClientToken().is_Some()) {
builder.clientToken(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_ClientToken().dtor_value()
)
);
}
if (dafnyValue.dtor_EndTime().is_Some()) {
builder.endTime(
software.amazon.smithy.dafny.conversion.ToNative.Simple.Instant(
dafnyValue.dtor_EndTime().dtor_value()
)
);
}
if (dafnyValue.dtor_ExportArn().is_Some()) {
builder.exportArn(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_ExportArn().dtor_value()
)
);
}
if (dafnyValue.dtor_ExportFormat().is_Some()) {
builder.exportFormat(
ToNative.ExportFormat(dafnyValue.dtor_ExportFormat().dtor_value())
);
}
if (dafnyValue.dtor_ExportManifest().is_Some()) {
builder.exportManifest(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_ExportManifest().dtor_value()
)
);
}
if (dafnyValue.dtor_ExportStatus().is_Some()) {
builder.exportStatus(
ToNative.ExportStatus(dafnyValue.dtor_ExportStatus().dtor_value())
);
}
if (dafnyValue.dtor_ExportTime().is_Some()) {
builder.exportTime(
software.amazon.smithy.dafny.conversion.ToNative.Simple.Instant(
dafnyValue.dtor_ExportTime().dtor_value()
)
);
}
if (dafnyValue.dtor_ExportType().is_Some()) {
builder.exportType(
ToNative.ExportType(dafnyValue.dtor_ExportType().dtor_value())
);
}
if (dafnyValue.dtor_FailureCode().is_Some()) {
builder.failureCode(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_FailureCode().dtor_value()
)
);
}
if (dafnyValue.dtor_FailureMessage().is_Some()) {
builder.failureMessage(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_FailureMessage().dtor_value()
)
);
}
if (dafnyValue.dtor_IncrementalExportSpecification().is_Some()) {
builder.incrementalExportSpecification(
ToNative.IncrementalExportSpecification(
dafnyValue.dtor_IncrementalExportSpecification().dtor_value()
)
);
}
if (dafnyValue.dtor_ItemCount().is_Some()) {
builder.itemCount((dafnyValue.dtor_ItemCount().dtor_value()));
}
if (dafnyValue.dtor_S3Bucket().is_Some()) {
builder.s3Bucket(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_S3Bucket().dtor_value()
)
);
}
if (dafnyValue.dtor_S3BucketOwner().is_Some()) {
builder.s3BucketOwner(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_S3BucketOwner().dtor_value()
)
);
}
if (dafnyValue.dtor_S3Prefix().is_Some()) {
builder.s3Prefix(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_S3Prefix().dtor_value()
)
);
}
if (dafnyValue.dtor_S3SseAlgorithm().is_Some()) {
builder.s3SseAlgorithm(
ToNative.S3SseAlgorithm(dafnyValue.dtor_S3SseAlgorithm().dtor_value())
);
}
if (dafnyValue.dtor_S3SseKmsKeyId().is_Some()) {
builder.s3SseKmsKeyId(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_S3SseKmsKeyId().dtor_value()
)
);
}
if (dafnyValue.dtor_StartTime().is_Some()) {
builder.startTime(
software.amazon.smithy.dafny.conversion.ToNative.Simple.Instant(
dafnyValue.dtor_StartTime().dtor_value()
)
);
}
if (dafnyValue.dtor_TableArn().is_Some()) {
builder.tableArn(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_TableArn().dtor_value()
)
);
}
if (dafnyValue.dtor_TableId().is_Some()) {
builder.tableId(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_TableId().dtor_value()
)
);
}
return builder.build();
}