jdd.bdd

Class CacheEntry

java.lang.Object

jdd.bdd.CacheEntry

public final class CacheEntry
extends Object

A cache entry used by Cache, but not SimpleCache. we try cache-entry saturation by using hit() and save(), but this doesnt seem to work ...

See Also:

Cache, SimpleCache

Field Summary

Fields

Modifier and Type	Field and Description
int	found
byte	hits
int	op1
int	op2
int	overwrite
int	ret
int	type

Constructor Summary

Constructors

Constructor and Description
CacheEntry()

Method Summary

Modifier and Type	Method and Description
void	clear()
int	hit() register a hit
boolean	invalid()
void	saturate() saturate the counter immediately
boolean	save() returns true if this position is available, false if it should not be overwritten

Methods inherited from class java.lang.Object

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

Field Detail

op1

public int op1

op2

public int op2

ret

public int ret

found

public int found

overwrite

public int overwrite

type

public int type

hits

public byte hits

Constructor Detail

CacheEntry

public CacheEntry()

Method Detail

invalid

public final boolean invalid()

clear

public final void clear()

hit

public final int hit()

register a hit

save

public final boolean save()

returns true if this position is available, false if it should not be overwritten

saturate

public final void saturate()

saturate the counter immediately