public class OnDecryptEncryptedDataKeyFilter extends java.lang.Object implements Actions_Compile.DeterministicActionWithResult<EncryptedDataKey,java.lang.Boolean,Error>, Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<java.lang.Boolean,Error>>
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends java.lang.Character> |
_awsKmsKey |
| Constructor and Description |
|---|
OnDecryptEncryptedDataKeyFilter() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(dafny.DafnySequence<? extends java.lang.Character> awsKmsKey) |
static dafny.TypeDescriptor<OnDecryptEncryptedDataKeyFilter> |
_typeDescriptor() |
dafny.DafnySequence<? extends java.lang.Character> |
awsKmsKey() |
Wrappers_Compile.Result<java.lang.Boolean,Error> |
Invoke(EncryptedDataKey edk) |
java.lang.String |
toString() |
public void __ctor(dafny.DafnySequence<? extends java.lang.Character> awsKmsKey)
public Wrappers_Compile.Result<java.lang.Boolean,Error> Invoke(EncryptedDataKey edk)
Invoke in interface Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<java.lang.Boolean,Error>>public dafny.DafnySequence<? extends java.lang.Character> awsKmsKey()
public static dafny.TypeDescriptor<OnDecryptEncryptedDataKeyFilter> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object