public class ToNative
extends java.lang.Object
| Constructor and Description |
|---|
ToNative() |
public static OpaqueError Error(Error_Opaque dafnyValue)
public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue)
public static DynamoDbEncryptionException Error(Error_DynamoDbEncryptionException dafnyValue)
public static java.lang.RuntimeException Error(Error dafnyValue)
public static BeaconVersion BeaconVersion(BeaconVersion dafnyValue)
public static CompoundBeacon CompoundBeacon(CompoundBeacon dafnyValue)
public static Constructor Constructor(Constructor dafnyValue)
public static ConstructorPart ConstructorPart(ConstructorPart dafnyValue)
public static CreateDynamoDbEncryptionBranchKeyIdSupplierInput CreateDynamoDbEncryptionBranchKeyIdSupplierInput(CreateDynamoDbEncryptionBranchKeyIdSupplierInput dafnyValue)
public static CreateDynamoDbEncryptionBranchKeyIdSupplierOutput CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(CreateDynamoDbEncryptionBranchKeyIdSupplierOutput dafnyValue)
public static DynamoDbEncryptionConfig DynamoDbEncryptionConfig(DynamoDbEncryptionConfig dafnyValue)
public static DynamoDbTableEncryptionConfig DynamoDbTableEncryptionConfig(DynamoDbTableEncryptionConfig dafnyValue)
public static DynamoDbTablesEncryptionConfig DynamoDbTablesEncryptionConfig(DynamoDbTablesEncryptionConfig dafnyValue)
public static EncryptedPart EncryptedPart(EncryptedPart dafnyValue)
public static GetBranchKeyIdFromDdbKeyInput GetBranchKeyIdFromDdbKeyInput(GetBranchKeyIdFromDdbKeyInput dafnyValue)
public static GetBranchKeyIdFromDdbKeyOutput GetBranchKeyIdFromDdbKeyOutput(GetBranchKeyIdFromDdbKeyOutput dafnyValue)
public static GetSegment GetSegment(GetSegment dafnyValue)
public static GetSegments GetSegments(GetSegments dafnyValue)
public static GetSubstring GetSubstring(GetSubstring dafnyValue)
public static LegacyOverride LegacyOverride(LegacyOverride dafnyValue)
public static MultiKeyStore MultiKeyStore(MultiKeyStore dafnyValue)
public static SearchConfig SearchConfig(SearchConfig dafnyValue)
public static SignedPart SignedPart(SignedPart dafnyValue)
public static SingleKeyStore SingleKeyStore(SingleKeyStore dafnyValue)
public static StandardBeacon StandardBeacon(StandardBeacon dafnyValue)
public static VirtualField VirtualField(VirtualField dafnyValue)
public static VirtualPart VirtualPart(VirtualPart dafnyValue)
public static LegacyPolicy LegacyPolicy(LegacyPolicy dafnyValue)
public static PlaintextOverride PlaintextOverride(PlaintextOverride dafnyValue)
public static BeaconKeySource BeaconKeySource(BeaconKeySource dafnyValue)
public static VirtualTransform VirtualTransform(VirtualTransform dafnyValue)
public static java.util.List<BeaconVersion> BeaconVersionList(dafny.DafnySequence<? extends BeaconVersion> dafnyValue)
public static java.util.List<CompoundBeacon> CompoundBeaconList(dafny.DafnySequence<? extends CompoundBeacon> dafnyValue)
public static java.util.List<Constructor> ConstructorList(dafny.DafnySequence<? extends Constructor> dafnyValue)
public static java.util.List<ConstructorPart> ConstructorPartList(dafny.DafnySequence<? extends ConstructorPart> dafnyValue)
public static java.util.List<EncryptedPart> EncryptedPartsList(dafny.DafnySequence<? extends EncryptedPart> dafnyValue)
public static java.util.List<SignedPart> SignedPartsList(dafny.DafnySequence<? extends SignedPart> dafnyValue)
public static java.util.List<StandardBeacon> StandardBeaconList(dafny.DafnySequence<? extends StandardBeacon> dafnyValue)
public static java.util.List<VirtualField> VirtualFieldList(dafny.DafnySequence<? extends VirtualField> dafnyValue)
public static java.util.List<VirtualPart> VirtualPartList(dafny.DafnySequence<? extends VirtualPart> dafnyValue)
public static java.util.List<VirtualTransform> VirtualTransformList(dafny.DafnySequence<? extends VirtualTransform> dafnyValue)
public static java.util.Map<java.lang.String,CryptoAction> AttributeActions(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> dafnyValue)
public static java.util.Map<java.lang.String,DynamoDbTableEncryptionConfig> DynamoDbTableEncryptionConfigList(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends DynamoDbTableEncryptionConfig> dafnyValue)
public static IDynamoDbKeyBranchKeyIdSupplier DynamoDbKeyBranchKeyIdSupplier(IDynamoDbKeyBranchKeyIdSupplier dafnyValue)
public static ILegacyDynamoDbEncryptor LegacyDynamoDbEncryptor(ILegacyDynamoDbEncryptor dafnyValue)
public static DynamoDbEncryption DynamoDbEncryption(IDynamoDbEncryptionClient dafnyValue)