Package tools.refinery.interpreter.matchers.util

Class TimelyMemory.CumulativeCounter

java.lang.Object

tools.refinery.interpreter.matchers.util.TimelyMemory.CumulativeCounter

Enclosing class:

TimelyMemory<Timestamp extends Comparable<Timestamp>>

protected static final class TimelyMemory.CumulativeCounter
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected int	cumulative
protected int	diff

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CumulativeCounter(int diff, int cumulative)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

diff

protected int diff

cumulative

protected int cumulative

Constructor Details

CumulativeCounter

protected CumulativeCounter(int diff,
 int cumulative)

Method Details

toString

public String toString()

Overrides:

toString in class Object