software.amazon.cryptography.materialproviders.internaldafny.types

Class _Companion_IKeyring

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types._Companion_IKeyring

public class _Companion_IKeyring
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
_Companion_IKeyring()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<IKeyring>	_typeDescriptor()
static Wrappers_Compile.Result<OnDecryptOutput,Error>	OnDecrypt(IKeyring _this, OnDecryptInput input)
static Wrappers_Compile.Result<OnEncryptOutput,Error>	OnEncrypt(IKeyring _this, OnEncryptInput input)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

_Companion_IKeyring

public _Companion_IKeyring()

Method Detail

_typeDescriptor

public static dafny.TypeDescriptor<IKeyring> _typeDescriptor()

OnEncrypt

public static Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(IKeyring _this,
                                                                       OnEncryptInput input)

OnDecrypt

public static Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(IKeyring _this,
                                                                       OnDecryptInput input)