AwsCryptographyMaterialProvidersOperations_Compile

Class __default

java.lang.Object

AwsCryptographyMaterialProvidersOperations_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static Error	CmpError(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsDiscoveryKeyring(Config config, CreateAwsKmsDiscoveryKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsDiscoveryMultiKeyring(Config config, CreateAwsKmsDiscoveryMultiKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsHierarchicalKeyring(Config config, CreateAwsKmsHierarchicalKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsKeyring(Config config, CreateAwsKmsKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkDiscoveryKeyring(Config config, CreateAwsKmsMrkDiscoveryKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkDiscoveryMultiKeyring(Config config, CreateAwsKmsMrkDiscoveryMultiKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkKeyring(Config config, CreateAwsKmsMrkKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkMultiKeyring(Config config, CreateAwsKmsMrkMultiKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMultiKeyring(Config config, CreateAwsKmsMultiKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsRsaKeyring(Config config, CreateAwsKmsRsaKeyringInput input)
static Wrappers_Compile.Result<ICryptographicMaterialsCache,Error>	CreateCryptographicMaterialsCache(Config config, CreateCryptographicMaterialsCacheInput input)
static Wrappers_Compile.Result<IClientSupplier,Error>	CreateDefaultClientSupplier(Config config, CreateDefaultClientSupplierInput input)
static Wrappers_Compile.Result<ICryptographicMaterialsManager,Error>	CreateDefaultCryptographicMaterialsManager(Config config, CreateDefaultCryptographicMaterialsManagerInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateMultiKeyring(Config config, CreateMultiKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateRawAesKeyring(Config config, CreateRawAesKeyringInput input)
static Wrappers_Compile.Result<IKeyring,Error>	CreateRawRsaKeyring(Config config, CreateRawRsaKeyringInput input)
static Wrappers_Compile.Result<ICryptographicMaterialsManager,Error>	CreateRequiredEncryptionContextCMM(Config config, CreateRequiredEncryptionContextCMMInput input)
static Wrappers_Compile.Result<dafny.Tuple0,Error>	DecryptionMaterialsWithPlaintextDataKey(Config config, DecryptionMaterials input)
static Wrappers_Compile.Result<dafny.Tuple0,Error>	EncryptionMaterialsHasPlaintextDataKey(Config config, EncryptionMaterials input)
static Wrappers_Compile.Result<AlgorithmSuiteInfo,Error>	GetAlgorithmSuiteInfo(Config config, dafny.DafnySequence<? extends java.lang.Byte> input)
static Wrappers_Compile.Result<DecryptionMaterials,Error>	InitializeDecryptionMaterials(Config config, InitializeDecryptionMaterialsInput input)
static Wrappers_Compile.Result<EncryptionMaterials,Error>	InitializeEncryptionMaterials(Config config, InitializeEncryptionMaterialsInput input)
static Wrappers_Compile.Option<java.lang.Integer>	OptionalCountingNumber(Wrappers_Compile.Option<java.lang.Integer> c)
java.lang.String	toString()
static Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidAlgorithmSuiteInfo(Config config, AlgorithmSuiteInfo input)
static Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidateCommitmentPolicyOnDecrypt(Config config, ValidateCommitmentPolicyOnDecryptInput input)
static Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidateCommitmentPolicyOnEncrypt(Config config, ValidateCommitmentPolicyOnEncryptInput input)
static Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidDecryptionMaterialsTransition(Config config, ValidDecryptionMaterialsTransitionInput input)
static Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidEncryptionMaterialsTransition(Config config, ValidEncryptionMaterialsTransitionInput input)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

CreateAwsKmsKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsKeyring(Config config,
                                                                          CreateAwsKmsKeyringInput input)

CreateAwsKmsDiscoveryKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsDiscoveryKeyring(Config config,
                                                                                   CreateAwsKmsDiscoveryKeyringInput input)

CreateAwsKmsMultiKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMultiKeyring(Config config,
                                                                               CreateAwsKmsMultiKeyringInput input)

CreateAwsKmsDiscoveryMultiKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsDiscoveryMultiKeyring(Config config,
                                                                                        CreateAwsKmsDiscoveryMultiKeyringInput input)

CreateAwsKmsMrkKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkKeyring(Config config,
                                                                             CreateAwsKmsMrkKeyringInput input)

CreateAwsKmsMrkMultiKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkMultiKeyring(Config config,
                                                                                  CreateAwsKmsMrkMultiKeyringInput input)

CreateAwsKmsMrkDiscoveryKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkDiscoveryKeyring(Config config,
                                                                                      CreateAwsKmsMrkDiscoveryKeyringInput input)

CreateAwsKmsMrkDiscoveryMultiKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkDiscoveryMultiKeyring(Config config,
                                                                                           CreateAwsKmsMrkDiscoveryMultiKeyringInput input)

CreateAwsKmsHierarchicalKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsHierarchicalKeyring(Config config,
                                                                                      CreateAwsKmsHierarchicalKeyringInput input)

CreateMultiKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateMultiKeyring(Config config,
                                                                         CreateMultiKeyringInput input)

CreateRawAesKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateRawAesKeyring(Config config,
                                                                          CreateRawAesKeyringInput input)

CreateRawRsaKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateRawRsaKeyring(Config config,
                                                                          CreateRawRsaKeyringInput input)

CreateAwsKmsRsaKeyring

public static Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsRsaKeyring(Config config,
                                                                             CreateAwsKmsRsaKeyringInput input)

CreateDefaultCryptographicMaterialsManager

public static Wrappers_Compile.Result<ICryptographicMaterialsManager,Error> CreateDefaultCryptographicMaterialsManager(Config config,
                                                                                                                       CreateDefaultCryptographicMaterialsManagerInput input)

CmpError

public static Error CmpError(dafny.DafnySequence<? extends java.lang.Character> s)

CreateRequiredEncryptionContextCMM

public static Wrappers_Compile.Result<ICryptographicMaterialsManager,Error> CreateRequiredEncryptionContextCMM(Config config,
                                                                                                               CreateRequiredEncryptionContextCMMInput input)

CreateCryptographicMaterialsCache

public static Wrappers_Compile.Result<ICryptographicMaterialsCache,Error> CreateCryptographicMaterialsCache(Config config,
                                                                                                            CreateCryptographicMaterialsCacheInput input)

OptionalCountingNumber

public static Wrappers_Compile.Option<java.lang.Integer> OptionalCountingNumber(Wrappers_Compile.Option<java.lang.Integer> c)

CreateDefaultClientSupplier

public static Wrappers_Compile.Result<IClientSupplier,Error> CreateDefaultClientSupplier(Config config,
                                                                                         CreateDefaultClientSupplierInput input)

InitializeEncryptionMaterials

public static Wrappers_Compile.Result<EncryptionMaterials,Error> InitializeEncryptionMaterials(Config config,
                                                                                               InitializeEncryptionMaterialsInput input)

InitializeDecryptionMaterials

public static Wrappers_Compile.Result<DecryptionMaterials,Error> InitializeDecryptionMaterials(Config config,
                                                                                               InitializeDecryptionMaterialsInput input)

ValidEncryptionMaterialsTransition

public static Wrappers_Compile.Result<dafny.Tuple0,Error> ValidEncryptionMaterialsTransition(Config config,
                                                                                             ValidEncryptionMaterialsTransitionInput input)

ValidDecryptionMaterialsTransition

public static Wrappers_Compile.Result<dafny.Tuple0,Error> ValidDecryptionMaterialsTransition(Config config,
                                                                                             ValidDecryptionMaterialsTransitionInput input)

EncryptionMaterialsHasPlaintextDataKey

public static Wrappers_Compile.Result<dafny.Tuple0,Error> EncryptionMaterialsHasPlaintextDataKey(Config config,
                                                                                                 EncryptionMaterials input)

DecryptionMaterialsWithPlaintextDataKey

public static Wrappers_Compile.Result<dafny.Tuple0,Error> DecryptionMaterialsWithPlaintextDataKey(Config config,
                                                                                                  DecryptionMaterials input)

GetAlgorithmSuiteInfo

public static Wrappers_Compile.Result<AlgorithmSuiteInfo,Error> GetAlgorithmSuiteInfo(Config config,
                                                                                      dafny.DafnySequence<? extends java.lang.Byte> input)

ValidAlgorithmSuiteInfo

public static Wrappers_Compile.Result<dafny.Tuple0,Error> ValidAlgorithmSuiteInfo(Config config,
                                                                                  AlgorithmSuiteInfo input)

ValidateCommitmentPolicyOnEncrypt

public static Wrappers_Compile.Result<dafny.Tuple0,Error> ValidateCommitmentPolicyOnEncrypt(Config config,
                                                                                            ValidateCommitmentPolicyOnEncryptInput input)

ValidateCommitmentPolicyOnDecrypt

public static Wrappers_Compile.Result<dafny.Tuple0,Error> ValidateCommitmentPolicyOnDecrypt(Config config,
                                                                                            ValidateCommitmentPolicyOnDecryptInput input)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object