public class StructuredEncryptionClient extends java.lang.Object implements IStructuredEncryptionClient
| Constructor and Description |
|---|
StructuredEncryptionClient() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(Config config) |
static dafny.TypeDescriptor<StructuredEncryptionClient> |
_typeDescriptor() |
Config |
config() |
Wrappers_Compile.Result<DecryptStructureOutput,Error> |
DecryptStructure(DecryptStructureInput input) |
Wrappers_Compile.Result<EncryptStructureOutput,Error> |
EncryptStructure(EncryptStructureInput input) |
java.lang.String |
toString() |
public Config _config
public void __ctor(Config config)
public Wrappers_Compile.Result<EncryptStructureOutput,Error> EncryptStructure(EncryptStructureInput input)
EncryptStructure in interface IStructuredEncryptionClientpublic Wrappers_Compile.Result<DecryptStructureOutput,Error> DecryptStructure(DecryptStructureInput input)
DecryptStructure in interface IStructuredEncryptionClientpublic Config config()
public static dafny.TypeDescriptor<StructuredEncryptionClient> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object