public class AwsKmsEncryptedDataKeyFilter 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 |
|---|---|
Wrappers_Compile.Option<DiscoveryFilter> |
_discoveryFilter |
| Constructor and Description |
|---|
AwsKmsEncryptedDataKeyFilter() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter) |
static dafny.TypeDescriptor<AwsKmsEncryptedDataKeyFilter> |
_typeDescriptor() |
Wrappers_Compile.Option<DiscoveryFilter> |
discoveryFilter() |
Wrappers_Compile.Result<java.lang.Boolean,Error> |
Invoke(EncryptedDataKey edk) |
java.lang.String |
toString() |
public Wrappers_Compile.Option<DiscoveryFilter> _discoveryFilter
public void __ctor(Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter)
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 Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter()
public static dafny.TypeDescriptor<AwsKmsEncryptedDataKeyFilter> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object