public class EnumDeltaMonitor extends TimeStampedObject implements IIntDeltaMonitor
IIntDeltaMonitor.Default
Modifier and Type | Field and Description |
---|---|
protected IEnumDelta |
delta |
protected int |
first |
protected int |
frozenFirst |
protected int |
frozenLast |
protected int |
last |
protected ICause |
propagator |
Constructor and Description |
---|
EnumDeltaMonitor(IEnumDelta delta,
ICause propagator) |
Modifier and Type | Method and Description |
---|---|
void |
forEachRemVal(IntProcedure proc) |
void |
forEachRemVal(SafeIntProcedure proc) |
void |
freeze() |
String |
toString() |
void |
unfreeze() |
getEnvironment, getTimeStamp, needReset, resetStamp
protected final IEnumDelta delta
protected int first
protected int last
protected int frozenFirst
protected int frozenLast
protected ICause propagator
public EnumDeltaMonitor(IEnumDelta delta, ICause propagator)
public void freeze()
freeze
in interface IDeltaMonitor
public void unfreeze()
unfreeze
in interface IDeltaMonitor
public void forEachRemVal(SafeIntProcedure proc)
forEachRemVal
in interface IIntDeltaMonitor
public void forEachRemVal(IntProcedure proc) throws ContradictionException
forEachRemVal
in interface IIntDeltaMonitor
ContradictionException
Copyright © 2015. All rights reserved.