software.amazon.cryptography.materialproviders.internaldafny.types

Class CacheType

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.CacheType

Direct Known Subclasses:

CacheType_Default, CacheType_MultiThreaded, CacheType_No, CacheType_SingleThreaded, CacheType_StormTracking

public abstract class CacheType
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CacheType()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CacheType>	_typeDescriptor()
static CacheType	create_Default(DefaultCache Default)
static CacheType	create_MultiThreaded(MultiThreadedCache MultiThreaded)
static CacheType	create_No(NoCache No)
static CacheType	create_SingleThreaded(SingleThreadedCache SingleThreaded)
static CacheType	create_StormTracking(StormTrackingCache StormTracking)
static CacheType	Default()
DefaultCache	dtor_Default()
MultiThreadedCache	dtor_MultiThreaded()
NoCache	dtor_No()
SingleThreadedCache	dtor_SingleThreaded()
StormTrackingCache	dtor_StormTracking()
boolean	is_Default()
boolean	is_MultiThreaded()
boolean	is_No()
boolean	is_SingleThreaded()
boolean	is_StormTracking()

Methods inherited from class java.lang.Object

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

Constructor Detail

CacheType

public CacheType()

Method Detail

Default

public static CacheType Default()

_typeDescriptor

public static dafny.TypeDescriptor<CacheType> _typeDescriptor()

create_Default

public static CacheType create_Default(DefaultCache Default)

create_No

public static CacheType create_No(NoCache No)

create_SingleThreaded

public static CacheType create_SingleThreaded(SingleThreadedCache SingleThreaded)

create_MultiThreaded

public static CacheType create_MultiThreaded(MultiThreadedCache MultiThreaded)

create_StormTracking

public static CacheType create_StormTracking(StormTrackingCache StormTracking)

is_Default

public boolean is_Default()

is_No

public boolean is_No()

is_SingleThreaded

public boolean is_SingleThreaded()

is_MultiThreaded

public boolean is_MultiThreaded()

is_StormTracking

public boolean is_StormTracking()

dtor_Default

public DefaultCache dtor_Default()

dtor_No

public NoCache dtor_No()

dtor_SingleThreaded

public SingleThreadedCache dtor_SingleThreaded()

dtor_MultiThreaded

public MultiThreadedCache dtor_MultiThreaded()

dtor_StormTracking

public StormTrackingCache dtor_StormTracking()