LocalCMC_Compile

Class CacheEntry

java.lang.Object

LocalCMC_Compile.CacheEntry

public class CacheEntry
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
long	_creationTime
long	_expiryTime
dafny.DafnySequence<? extends java.lang.Byte>	_identifier
Materials	_materials
int	bytesUsed
int	messagesUsed
Ref<CacheEntry>	next
Ref<CacheEntry>	prev

Constructor Summary

Constructors

Constructor and Description
CacheEntry()

Method Summary

Modifier and Type	Method and Description
void	__ctor(Materials materials_k, dafny.DafnySequence<? extends java.lang.Byte> identifier_k, long creationTime_k, long expiryTime_k, int messagesUsed_k, int bytesUsed_k)
static dafny.TypeDescriptor<CacheEntry>	_typeDescriptor()
long	creationTime()
long	expiryTime()
dafny.DafnySequence<? extends java.lang.Byte>	identifier()
Materials	materials()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

prev

public Ref<CacheEntry> prev

next

public Ref<CacheEntry> next

messagesUsed

public int messagesUsed

bytesUsed

public int bytesUsed

_identifier

public dafny.DafnySequence<? extends java.lang.Byte> _identifier

_materials

public Materials _materials

_creationTime

public long _creationTime

_expiryTime

public long _expiryTime

Constructor Detail

CacheEntry

public CacheEntry()

Method Detail

__ctor

public void __ctor(Materials materials_k,
                   dafny.DafnySequence<? extends java.lang.Byte> identifier_k,
                   long creationTime_k,
                   long expiryTime_k,
                   int messagesUsed_k,
                   int bytesUsed_k)

identifier

public dafny.DafnySequence<? extends java.lang.Byte> identifier()

materials

public Materials materials()

creationTime

public long creationTime()

expiryTime

public long expiryTime()

_typeDescriptor

public static dafny.TypeDescriptor<CacheEntry> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object