public static class DerivedResourceManagerImpl.CacheStats
extends java.lang.Object
Constructor and Description |
---|
CacheStats(int numDerivations, int numElements, int readLocksObtained, int writeLocksObtained, int numDistinctRefs, int numAlternatives) |
Modifier and Type | Method and Description |
---|---|
int |
getNumAlternatives() |
int |
getNumDerivations() |
int |
getNumDistinctRefs() |
int |
getNumElements() |
int |
getReadLocksObtained() |
int |
getWriteLocksObtained() |
public CacheStats(int numDerivations, int numElements, int readLocksObtained, int writeLocksObtained, int numDistinctRefs, int numAlternatives)
public int getNumDistinctRefs()
public int getNumDerivations()
public int getNumElements()
public int getReadLocksObtained()
public int getWriteLocksObtained()
public int getNumAlternatives()