public class MultiKeyring extends java.lang.Object implements VerifiableInterface, IKeyring
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends IKeyring> |
_childKeyrings |
Wrappers_Compile.Option<IKeyring> |
_generatorKeyring |
| Constructor and Description |
|---|
MultiKeyring() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(Wrappers_Compile.Option<IKeyring> generatorKeyring,
dafny.DafnySequence<? extends IKeyring> childKeyrings) |
static dafny.TypeDescriptor<MultiKeyring> |
_typeDescriptor() |
dafny.DafnySequence<? extends IKeyring> |
childKeyrings() |
Wrappers_Compile.Option<IKeyring> |
generatorKeyring() |
Wrappers_Compile.Result<OnDecryptOutput,Error> |
OnDecrypt_k(OnDecryptInput input) |
Wrappers_Compile.Result<OnDecryptOutput,Error> |
OnDecrypt(OnDecryptInput input) |
Wrappers_Compile.Result<OnEncryptOutput,Error> |
OnEncrypt_k(OnEncryptInput input) |
Wrappers_Compile.Result<OnEncryptOutput,Error> |
OnEncrypt(OnEncryptInput input) |
java.lang.String |
toString() |
public Wrappers_Compile.Option<IKeyring> _generatorKeyring
public dafny.DafnySequence<? extends IKeyring> _childKeyrings
public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(OnEncryptInput input)
public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(OnDecryptInput input)
public void __ctor(Wrappers_Compile.Option<IKeyring> generatorKeyring, dafny.DafnySequence<? extends IKeyring> childKeyrings)
public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt_k(OnEncryptInput input)
OnEncrypt_k in interface IKeyringpublic Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput input)
OnDecrypt_k in interface IKeyringpublic Wrappers_Compile.Option<IKeyring> generatorKeyring()
public dafny.DafnySequence<? extends IKeyring> childKeyrings()
public static dafny.TypeDescriptor<MultiKeyring> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object