public class KmsWrapKeyMaterial extends java.lang.Object implements WrapMaterial<KmsWrapInfo>, Actions_Compile.ActionWithResult<WrapInput,WrapOutput<KmsWrapInfo>,Error>, Actions_Compile.Action<WrapInput,Wrappers_Compile.Result<WrapOutput<KmsWrapInfo>,Error>>
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends java.lang.Character> |
_awsKmsKey |
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient |
_client |
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> |
_grantTokens |
| Constructor and Description |
|---|
KmsWrapKeyMaterial() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
dafny.DafnySequence<? extends java.lang.Character> awsKmsKey,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens) |
static dafny.TypeDescriptor<KmsWrapKeyMaterial> |
_typeDescriptor() |
dafny.DafnySequence<? extends java.lang.Character> |
awsKmsKey() |
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient |
client() |
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> |
grantTokens() |
Wrappers_Compile.Result<WrapOutput<KmsWrapInfo>,Error> |
Invoke(WrapInput input) |
java.lang.String |
toString() |
public software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient _client
public dafny.DafnySequence<? extends java.lang.Character> _awsKmsKey
public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> _grantTokens
public void __ctor(software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
dafny.DafnySequence<? extends java.lang.Character> awsKmsKey,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens)
public Wrappers_Compile.Result<WrapOutput<KmsWrapInfo>,Error> Invoke(WrapInput input)
Invoke in interface Actions_Compile.Action<WrapInput,Wrappers_Compile.Result<WrapOutput<KmsWrapInfo>,Error>>public software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client()
public dafny.DafnySequence<? extends java.lang.Character> awsKmsKey()
public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens()
public static dafny.TypeDescriptor<KmsWrapKeyMaterial> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object