public class _Companion_ICryptographicMaterialsManager
extends java.lang.Object
| Constructor and Description |
|---|
_Companion_ICryptographicMaterialsManager() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<ICryptographicMaterialsManager> |
_typeDescriptor() |
static Wrappers_Compile.Result<DecryptMaterialsOutput,Error> |
DecryptMaterials(ICryptographicMaterialsManager _this,
DecryptMaterialsInput input) |
static Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> |
GetEncryptionMaterials(ICryptographicMaterialsManager _this,
GetEncryptionMaterialsInput input) |
public _Companion_ICryptographicMaterialsManager()
public static dafny.TypeDescriptor<ICryptographicMaterialsManager> _typeDescriptor()
public static Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> GetEncryptionMaterials(ICryptographicMaterialsManager _this, GetEncryptionMaterialsInput input)
public static Wrappers_Compile.Result<DecryptMaterialsOutput,Error> DecryptMaterials(ICryptographicMaterialsManager _this, DecryptMaterialsInput input)