public class AwsKmsMrkDiscoveryKeyring extends java.lang.Object implements VerifiableInterface, IKeyring
| Modifier and Type | Field and Description |
|---|---|
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient |
_client |
Wrappers_Compile.Option<DiscoveryFilter> |
_discoveryFilter |
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> |
_grantTokens |
dafny.DafnySequence<? extends java.lang.Character> |
_region |
| Constructor and Description |
|---|
AwsKmsMrkDiscoveryKeyring() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
dafny.DafnySequence<? extends java.lang.Character> region,
Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens) |
static dafny.TypeDescriptor<AwsKmsMrkDiscoveryKeyring> |
_typeDescriptor() |
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient |
client() |
Wrappers_Compile.Option<DiscoveryFilter> |
discoveryFilter() |
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> |
grantTokens() |
Wrappers_Compile.Result<OnDecryptOutput,Error> |
OnDecrypt_k(OnDecryptInput input) |
Wrappers_Compile.Result<OnDecryptOutput,Error> |
OnDecrypt(OnDecryptInput input) |
Wrappers_Compile.Result<OnEncryptOutput,Error> |
OnEncrypt_k(OnEncryptInput input) |
Wrappers_Compile.Result<OnEncryptOutput,Error> |
OnEncrypt(OnEncryptInput input) |
dafny.DafnySequence<? extends java.lang.Character> |
region() |
java.lang.String |
toString() |
public software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient _client
public dafny.DafnySequence<? extends java.lang.Character> _region
public Wrappers_Compile.Option<DiscoveryFilter> _discoveryFilter
public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> _grantTokens
public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(OnEncryptInput input)
public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(OnDecryptInput input)
public void __ctor(software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
dafny.DafnySequence<? extends java.lang.Character> region,
Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens)
public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt_k(OnEncryptInput input)
OnEncrypt_k in interface IKeyringpublic Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput input)
OnDecrypt_k in interface IKeyringpublic software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client()
public dafny.DafnySequence<? extends java.lang.Character> region()
public Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter()
public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens()
public static dafny.TypeDescriptor<AwsKmsMrkDiscoveryKeyring> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object