in ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java [7020:7171]
public static TableDescription TableDescription(
software.amazon.cryptography.services.dynamodb.internaldafny.types.TableDescription dafnyValue
) {
TableDescription.Builder builder = TableDescription.builder();
if (dafnyValue.dtor_ArchivalSummary().is_Some()) {
builder.archivalSummary(
ToNative.ArchivalSummary(dafnyValue.dtor_ArchivalSummary().dtor_value())
);
}
if (dafnyValue.dtor_AttributeDefinitions().is_Some()) {
builder.attributeDefinitions(
ToNative.AttributeDefinitions(
dafnyValue.dtor_AttributeDefinitions().dtor_value()
)
);
}
if (dafnyValue.dtor_BillingModeSummary().is_Some()) {
builder.billingModeSummary(
ToNative.BillingModeSummary(
dafnyValue.dtor_BillingModeSummary().dtor_value()
)
);
}
if (dafnyValue.dtor_CreationDateTime().is_Some()) {
builder.creationDateTime(
software.amazon.smithy.dafny.conversion.ToNative.Simple.Instant(
dafnyValue.dtor_CreationDateTime().dtor_value()
)
);
}
if (dafnyValue.dtor_DeletionProtectionEnabled().is_Some()) {
builder.deletionProtectionEnabled(
(dafnyValue.dtor_DeletionProtectionEnabled().dtor_value())
);
}
if (dafnyValue.dtor_GlobalSecondaryIndexes().is_Some()) {
builder.globalSecondaryIndexes(
ToNative.GlobalSecondaryIndexDescriptionList(
dafnyValue.dtor_GlobalSecondaryIndexes().dtor_value()
)
);
}
if (dafnyValue.dtor_GlobalTableVersion().is_Some()) {
builder.globalTableVersion(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_GlobalTableVersion().dtor_value()
)
);
}
if (dafnyValue.dtor_ItemCount().is_Some()) {
builder.itemCount((dafnyValue.dtor_ItemCount().dtor_value()));
}
if (dafnyValue.dtor_KeySchema().is_Some()) {
builder.keySchema(
ToNative.KeySchema(dafnyValue.dtor_KeySchema().dtor_value())
);
}
if (dafnyValue.dtor_LatestStreamArn().is_Some()) {
builder.latestStreamArn(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_LatestStreamArn().dtor_value()
)
);
}
if (dafnyValue.dtor_LatestStreamLabel().is_Some()) {
builder.latestStreamLabel(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_LatestStreamLabel().dtor_value()
)
);
}
if (dafnyValue.dtor_LocalSecondaryIndexes().is_Some()) {
builder.localSecondaryIndexes(
ToNative.LocalSecondaryIndexDescriptionList(
dafnyValue.dtor_LocalSecondaryIndexes().dtor_value()
)
);
}
if (dafnyValue.dtor_OnDemandThroughput().is_Some()) {
builder.onDemandThroughput(
ToNative.OnDemandThroughput(
dafnyValue.dtor_OnDemandThroughput().dtor_value()
)
);
}
if (dafnyValue.dtor_ProvisionedThroughput().is_Some()) {
builder.provisionedThroughput(
ToNative.ProvisionedThroughputDescription(
dafnyValue.dtor_ProvisionedThroughput().dtor_value()
)
);
}
if (dafnyValue.dtor_Replicas().is_Some()) {
builder.replicas(
ToNative.ReplicaDescriptionList(dafnyValue.dtor_Replicas().dtor_value())
);
}
if (dafnyValue.dtor_RestoreSummary().is_Some()) {
builder.restoreSummary(
ToNative.RestoreSummary(dafnyValue.dtor_RestoreSummary().dtor_value())
);
}
if (dafnyValue.dtor_SSEDescription().is_Some()) {
builder.sseDescription(
ToNative.SSEDescription(dafnyValue.dtor_SSEDescription().dtor_value())
);
}
if (dafnyValue.dtor_StreamSpecification().is_Some()) {
builder.streamSpecification(
ToNative.StreamSpecification(
dafnyValue.dtor_StreamSpecification().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_TableClassSummary().is_Some()) {
builder.tableClassSummary(
ToNative.TableClassSummary(
dafnyValue.dtor_TableClassSummary().dtor_value()
)
);
}
if (dafnyValue.dtor_TableId().is_Some()) {
builder.tableId(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_TableId().dtor_value()
)
);
}
if (dafnyValue.dtor_TableName().is_Some()) {
builder.tableName(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_TableName().dtor_value()
)
);
}
if (dafnyValue.dtor_TableSizeBytes().is_Some()) {
builder.tableSizeBytes((dafnyValue.dtor_TableSizeBytes().dtor_value()));
}
if (dafnyValue.dtor_TableStatus().is_Some()) {
builder.tableStatus(
ToNative.TableStatus(dafnyValue.dtor_TableStatus().dtor_value())
);
}
return builder.build();
}