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