public final class PlaceStatistics
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
long |
numDataMoves |
long |
numGoodMoves |
long |
numGoodWriteOps |
long |
numGoodWritesForGuard |
long |
numLogMoves |
long |
numMissingWriteOps |
long |
numMissingWritesForGuard |
long |
numModelMoves |
long |
numWrongWriteOps |
long |
numWrongWritesForGuard |
com.google.common.collect.Multiset<java.lang.String> |
observedLogMoves |
Constructor and Description |
---|
PlaceStatistics() |
Modifier and Type | Method and Description |
---|---|
void |
addLogMove(java.lang.String string) |
double |
getLocalDataViolations() |
double |
getLocalEventViolations() |
long |
getObservedMoves() |
long |
getObservedWrites() |
void |
incDataMoves() |
void |
incGoodMoves() |
void |
incGoodWriteOps(long correctWritings) |
void |
incLogMoves() |
void |
incMissingWriteOps(long missingWriteOps) |
void |
incModelMoves() |
void |
incWrongWriteOps(long incorrectWritings) |
public long numGoodMoves
public long numModelMoves
public long numLogMoves
public long numDataMoves
public long numGoodWriteOps
public long numWrongWriteOps
public long numMissingWriteOps
public long numGoodWritesForGuard
public long numWrongWritesForGuard
public long numMissingWritesForGuard
public com.google.common.collect.Multiset<java.lang.String> observedLogMoves
public long getObservedMoves()
public long getObservedWrites()
public double getLocalEventViolations()
public double getLocalDataViolations()
public void incLogMoves()
public void incGoodMoves()
public void incModelMoves()
public void incMissingWriteOps(long missingWriteOps)
public void incDataMoves()
public void incWrongWriteOps(long incorrectWritings)
public void incGoodWriteOps(long correctWritings)
public void addLogMove(java.lang.String string)