MultiKeyring (aws-cryptographic-material-providers 1.0.2 API)

public class MultiKeyring
extends java.lang.Object
implements VerifiableInterface, IKeyring

Fields
Modifier and Type	Field and Description
`dafny.DafnySequence<? extends IKeyring>`	`_childKeyrings`
`Wrappers_Compile.Option<IKeyring>`	`_generatorKeyring`

Constructors
Constructor and Description
`MultiKeyring()`

All Methods Static Methods Instance Methods Concrete Methods
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()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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)

public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput input)

public Wrappers_Compile.Option<IKeyring> generatorKeyring()

public dafny.DafnySequence<? extends IKeyring> childKeyrings()

public static dafny.TypeDescriptor<MultiKeyring> _typeDescriptor()

Class MultiKeyring