software.amazon.cryptography.keystore.internaldafny

Class _ExternBase___default

java.lang.Object

software.amazon.cryptography.keystore.internaldafny._ExternBase___default

Direct Known Subclasses:

__default, __default

public abstract class _ExternBase___default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
_ExternBase___default()

Method Summary

Modifier and Type	Method and Description
static Wrappers_Compile.Result<IKeyStoreClient,Error>	CreateFailureOfError(Error error)
static Wrappers_Compile.Result<IKeyStoreClient,Error>	CreateSuccessOfClient(IKeyStoreClient client)
static KeyStoreConfig	DefaultKeyStoreConfig()
static Wrappers_Compile.Result<KeyStoreClient,Error>	KeyStore(KeyStoreConfig config)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

_ExternBase___default

public _ExternBase___default()

Method Detail

DefaultKeyStoreConfig

public static KeyStoreConfig DefaultKeyStoreConfig()

KeyStore

public static Wrappers_Compile.Result<KeyStoreClient,Error> KeyStore(KeyStoreConfig config)

CreateSuccessOfClient

public static Wrappers_Compile.Result<IKeyStoreClient,Error> CreateSuccessOfClient(IKeyStoreClient client)

CreateFailureOfError

public static Wrappers_Compile.Result<IKeyStoreClient,Error> CreateFailureOfError(Error error)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object