protected static final class CryptographicMaterialsManager.NativeWrapper extends java.lang.Object implements ICryptographicMaterialsManager
| Modifier and Type | Field and Description |
|---|---|
protected ICryptographicMaterialsManager |
_impl |
| Modifier and Type | Method and Description |
|---|---|
Wrappers_Compile.Result<DecryptMaterialsOutput,Error> |
DecryptMaterials_k(DecryptMaterialsInput dafnyInput) |
Wrappers_Compile.Result<DecryptMaterialsOutput,Error> |
DecryptMaterials(DecryptMaterialsInput dafnyInput) |
Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> |
GetEncryptionMaterials_k(GetEncryptionMaterialsInput dafnyInput) |
Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> |
GetEncryptionMaterials(GetEncryptionMaterialsInput dafnyInput) |
protected final ICryptographicMaterialsManager _impl
public Wrappers_Compile.Result<DecryptMaterialsOutput,Error> DecryptMaterials(DecryptMaterialsInput dafnyInput)
DecryptMaterials in interface ICryptographicMaterialsManagerpublic Wrappers_Compile.Result<DecryptMaterialsOutput,Error> DecryptMaterials_k(DecryptMaterialsInput dafnyInput)
DecryptMaterials_k in interface ICryptographicMaterialsManagerpublic Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> GetEncryptionMaterials(GetEncryptionMaterialsInput dafnyInput)
GetEncryptionMaterials in interface ICryptographicMaterialsManagerpublic Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> GetEncryptionMaterials_k(GetEncryptionMaterialsInput dafnyInput)
GetEncryptionMaterials_k in interface ICryptographicMaterialsManager