software.amazon.cryptography.materialproviders.internaldafny.types

Class SingleThreadedCache

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.SingleThreadedCache

public class SingleThreadedCache
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	_entryCapacity
Wrappers_Compile.Option<java.lang.Integer>	_entryPruningTailSize

Constructor Summary

Constructors

Constructor and Description
SingleThreadedCache(int entryCapacity, Wrappers_Compile.Option<java.lang.Integer> entryPruningTailSize)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<SingleThreadedCache>	_typeDescriptor()
static SingleThreadedCache	create_SingleThreadedCache(int entryCapacity, Wrappers_Compile.Option<java.lang.Integer> entryPruningTailSize)
static SingleThreadedCache	create(int entryCapacity, Wrappers_Compile.Option<java.lang.Integer> entryPruningTailSize)
static SingleThreadedCache	Default()
int	dtor_entryCapacity()
Wrappers_Compile.Option<java.lang.Integer>	dtor_entryPruningTailSize()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_SingleThreadedCache()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_entryCapacity

public int _entryCapacity

_entryPruningTailSize

public Wrappers_Compile.Option<java.lang.Integer> _entryPruningTailSize

Constructor Detail

SingleThreadedCache

public SingleThreadedCache(int entryCapacity,
                           Wrappers_Compile.Option<java.lang.Integer> entryPruningTailSize)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static SingleThreadedCache Default()

_typeDescriptor

public static dafny.TypeDescriptor<SingleThreadedCache> _typeDescriptor()

create

public static SingleThreadedCache create(int entryCapacity,
                                         Wrappers_Compile.Option<java.lang.Integer> entryPruningTailSize)

create_SingleThreadedCache

public static SingleThreadedCache create_SingleThreadedCache(int entryCapacity,
                                                             Wrappers_Compile.Option<java.lang.Integer> entryPruningTailSize)

is_SingleThreadedCache

public boolean is_SingleThreadedCache()

dtor_entryCapacity

public int dtor_entryCapacity()

dtor_entryPruningTailSize

public Wrappers_Compile.Option<java.lang.Integer> dtor_entryPruningTailSize()