StormTracker_Compile

Class CacheState

java.lang.Object

StormTracker_Compile.CacheState

Direct Known Subclasses:

CacheState_EmptyFetch, CacheState_EmptyWait, CacheState_Full

public abstract class CacheState
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CacheState()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CacheState>	_typeDescriptor()
static CacheState	create_EmptyFetch()
static CacheState	create_EmptyWait()
static CacheState	create_Full(GetCacheEntryOutput data)
static CacheState	Default()
GetCacheEntryOutput	dtor_data()
boolean	is_EmptyFetch()
boolean	is_EmptyWait()
boolean	is_Full()

Methods inherited from class java.lang.Object

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

Constructor Detail

CacheState

public CacheState()

Method Detail

Default

public static CacheState Default()

_typeDescriptor

public static dafny.TypeDescriptor<CacheState> _typeDescriptor()

create_EmptyWait

public static CacheState create_EmptyWait()

create_EmptyFetch

public static CacheState create_EmptyFetch()

create_Full

public static CacheState create_Full(GetCacheEntryOutput data)

is_EmptyWait

public boolean is_EmptyWait()

is_EmptyFetch

public boolean is_EmptyFetch()

is_Full

public boolean is_Full()

dtor_data

public GetCacheEntryOutput dtor_data()