public class ToDafny
extends java.lang.Object
| Constructor and Description |
|---|
ToDafny() |
public static Error Error(java.lang.RuntimeException nativeValue)
public static Error Error(OpaqueError nativeValue)
public static Error Error(CollectionOfErrors nativeValue)
public static AlgorithmSuiteInfo AlgorithmSuiteInfo(AlgorithmSuiteInfo nativeValue)
public static CreateAwsKmsDiscoveryKeyringInput CreateAwsKmsDiscoveryKeyringInput(CreateAwsKmsDiscoveryKeyringInput nativeValue)
public static CreateAwsKmsDiscoveryMultiKeyringInput CreateAwsKmsDiscoveryMultiKeyringInput(CreateAwsKmsDiscoveryMultiKeyringInput nativeValue)
public static CreateAwsKmsHierarchicalKeyringInput CreateAwsKmsHierarchicalKeyringInput(CreateAwsKmsHierarchicalKeyringInput nativeValue)
public static CreateAwsKmsKeyringInput CreateAwsKmsKeyringInput(CreateAwsKmsKeyringInput nativeValue)
public static CreateAwsKmsMrkDiscoveryKeyringInput CreateAwsKmsMrkDiscoveryKeyringInput(CreateAwsKmsMrkDiscoveryKeyringInput nativeValue)
public static CreateAwsKmsMrkDiscoveryMultiKeyringInput CreateAwsKmsMrkDiscoveryMultiKeyringInput(CreateAwsKmsMrkDiscoveryMultiKeyringInput nativeValue)
public static CreateAwsKmsMrkKeyringInput CreateAwsKmsMrkKeyringInput(CreateAwsKmsMrkKeyringInput nativeValue)
public static CreateAwsKmsMrkMultiKeyringInput CreateAwsKmsMrkMultiKeyringInput(CreateAwsKmsMrkMultiKeyringInput nativeValue)
public static CreateAwsKmsMultiKeyringInput CreateAwsKmsMultiKeyringInput(CreateAwsKmsMultiKeyringInput nativeValue)
public static CreateAwsKmsRsaKeyringInput CreateAwsKmsRsaKeyringInput(CreateAwsKmsRsaKeyringInput nativeValue)
public static CreateCryptographicMaterialsCacheInput CreateCryptographicMaterialsCacheInput(CreateCryptographicMaterialsCacheInput nativeValue)
public static CreateDefaultClientSupplierInput CreateDefaultClientSupplierInput(CreateDefaultClientSupplierInput nativeValue)
public static CreateDefaultCryptographicMaterialsManagerInput CreateDefaultCryptographicMaterialsManagerInput(CreateDefaultCryptographicMaterialsManagerInput nativeValue)
public static CreateMultiKeyringInput CreateMultiKeyringInput(CreateMultiKeyringInput nativeValue)
public static CreateRawAesKeyringInput CreateRawAesKeyringInput(CreateRawAesKeyringInput nativeValue)
public static CreateRawRsaKeyringInput CreateRawRsaKeyringInput(CreateRawRsaKeyringInput nativeValue)
public static CreateRequiredEncryptionContextCMMInput CreateRequiredEncryptionContextCMMInput(CreateRequiredEncryptionContextCMMInput nativeValue)
public static DecryptionMaterials DecryptionMaterials(DecryptionMaterials nativeValue)
public static DecryptMaterialsInput DecryptMaterialsInput(DecryptMaterialsInput nativeValue)
public static DecryptMaterialsOutput DecryptMaterialsOutput(DecryptMaterialsOutput nativeValue)
public static DefaultCache DefaultCache(DefaultCache nativeValue)
public static DeleteCacheEntryInput DeleteCacheEntryInput(DeleteCacheEntryInput nativeValue)
public static DIRECT__KEY__WRAPPING DIRECT_KEY_WRAPPING(DIRECT_KEY_WRAPPING nativeValue)
public static DiscoveryFilter DiscoveryFilter(DiscoveryFilter nativeValue)
public static EncryptedDataKey EncryptedDataKey(EncryptedDataKey nativeValue)
public static EncryptionMaterials EncryptionMaterials(EncryptionMaterials nativeValue)
public static dafny.DafnySequence<? extends java.lang.Byte> GetAlgorithmSuiteInfoInput(java.nio.ByteBuffer nativeValue)
public static GetBranchKeyIdInput GetBranchKeyIdInput(GetBranchKeyIdInput nativeValue)
public static GetBranchKeyIdOutput GetBranchKeyIdOutput(GetBranchKeyIdOutput nativeValue)
public static GetCacheEntryInput GetCacheEntryInput(GetCacheEntryInput nativeValue)
public static GetCacheEntryOutput GetCacheEntryOutput(GetCacheEntryOutput nativeValue)
public static GetClientInput GetClientInput(GetClientInput nativeValue)
public static GetEncryptionMaterialsInput GetEncryptionMaterialsInput(GetEncryptionMaterialsInput nativeValue)
public static GetEncryptionMaterialsOutput GetEncryptionMaterialsOutput(GetEncryptionMaterialsOutput nativeValue)
public static InitializeDecryptionMaterialsInput InitializeDecryptionMaterialsInput(InitializeDecryptionMaterialsInput nativeValue)
public static InitializeEncryptionMaterialsInput InitializeEncryptionMaterialsInput(InitializeEncryptionMaterialsInput nativeValue)
public static IntermediateKeyWrapping IntermediateKeyWrapping(IntermediateKeyWrapping nativeValue)
public static MaterialProvidersConfig MaterialProvidersConfig(MaterialProvidersConfig nativeValue)
public static MultiThreadedCache MultiThreadedCache(MultiThreadedCache nativeValue)
public static OnDecryptInput OnDecryptInput(OnDecryptInput nativeValue)
public static OnDecryptOutput OnDecryptOutput(OnDecryptOutput nativeValue)
public static OnEncryptInput OnEncryptInput(OnEncryptInput nativeValue)
public static OnEncryptOutput OnEncryptOutput(OnEncryptOutput nativeValue)
public static PutCacheEntryInput PutCacheEntryInput(PutCacheEntryInput nativeValue)
public static SingleThreadedCache SingleThreadedCache(SingleThreadedCache nativeValue)
public static StormTrackingCache StormTrackingCache(StormTrackingCache nativeValue)
public static UpdateUsageMetadataInput UpdateUsageMetadataInput(UpdateUsageMetadataInput nativeValue)
public static ValidateCommitmentPolicyOnDecryptInput ValidateCommitmentPolicyOnDecryptInput(ValidateCommitmentPolicyOnDecryptInput nativeValue)
public static ValidateCommitmentPolicyOnEncryptInput ValidateCommitmentPolicyOnEncryptInput(ValidateCommitmentPolicyOnEncryptInput nativeValue)
public static ValidDecryptionMaterialsTransitionInput ValidDecryptionMaterialsTransitionInput(ValidDecryptionMaterialsTransitionInput nativeValue)
public static ValidEncryptionMaterialsTransitionInput ValidEncryptionMaterialsTransitionInput(ValidEncryptionMaterialsTransitionInput nativeValue)
public static Error Error(AwsCryptographicMaterialProvidersException nativeValue)
public static Error Error(EntryAlreadyExists nativeValue)
public static Error Error(EntryDoesNotExist nativeValue)
public static Error Error(InvalidAlgorithmSuiteInfo nativeValue)
public static Error Error(InvalidAlgorithmSuiteInfoOnDecrypt nativeValue)
public static Error Error(InvalidAlgorithmSuiteInfoOnEncrypt nativeValue)
public static Error Error(InvalidDecryptionMaterials nativeValue)
public static Error Error(InvalidDecryptionMaterialsTransition nativeValue)
public static Error Error(InvalidEncryptionMaterials nativeValue)
public static Error Error(InvalidEncryptionMaterialsTransition nativeValue)
public static AesWrappingAlg AesWrappingAlg(AesWrappingAlg nativeValue)
public static DBEAlgorithmSuiteId DBEAlgorithmSuiteId(DBEAlgorithmSuiteId nativeValue)
public static DBECommitmentPolicy DBECommitmentPolicy(DBECommitmentPolicy nativeValue)
public static ESDKAlgorithmSuiteId ESDKAlgorithmSuiteId(ESDKAlgorithmSuiteId nativeValue)
public static ESDKCommitmentPolicy ESDKCommitmentPolicy(ESDKCommitmentPolicy nativeValue)
public static PaddingScheme PaddingScheme(PaddingScheme nativeValue)
public static AlgorithmSuiteId AlgorithmSuiteId(AlgorithmSuiteId nativeValue)
public static CommitmentPolicy CommitmentPolicy(CommitmentPolicy nativeValue)
public static DerivationAlgorithm DerivationAlgorithm(DerivationAlgorithm nativeValue)
public static EdkWrappingAlgorithm EdkWrappingAlgorithm(EdkWrappingAlgorithm nativeValue)
public static SignatureAlgorithm SignatureAlgorithm(SignatureAlgorithm nativeValue)
public static SymmetricSignatureAlgorithm SymmetricSignatureAlgorithm(SymmetricSignatureAlgorithm nativeValue)
public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> AccountIdList(java.util.List<java.lang.String> nativeValue)
public static dafny.DafnySequence<? extends EncryptedDataKey> EncryptedDataKeyList(java.util.List<EncryptedDataKey> nativeValue)
public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> EncryptionContextKeys(java.util.List<java.lang.String> nativeValue)
public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> GrantTokenList(java.util.List<java.lang.String> nativeValue)
public static dafny.DafnySequence<? extends IKeyring> KeyringList(java.util.List<IKeyring> nativeValue)
public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> KmsKeyIdList(java.util.List<java.lang.String> nativeValue)
public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> RegionList(java.util.List<java.lang.String> nativeValue)
public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> SymmetricSigningKeyList(java.util.List<java.nio.ByteBuffer> nativeValue)
public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> EncryptionContext(java.util.Map<java.lang.String,java.lang.String> nativeValue)
public static IBranchKeyIdSupplier BranchKeyIdSupplier(IBranchKeyIdSupplier nativeValue)
public static IClientSupplier ClientSupplier(IClientSupplier nativeValue)
public static ICryptographicMaterialsCache CryptographicMaterialsCache(ICryptographicMaterialsCache nativeValue)
public static ICryptographicMaterialsManager CryptographicMaterialsManager(ICryptographicMaterialsManager nativeValue)
public static IAwsCryptographicMaterialProvidersClient AwsCryptographicMaterialProviders(MaterialProviders nativeValue)