storage.support
Class ReplaceRangeRecorder

java.lang.Object
  storage.support.ReplaceRangeRecorder

All Implemented Interfaces:

Monitor

public class ReplaceRangeRecorder

extends java.lang.Object

implements Monitor

A Monitor that creates OpReplaceRange operators when the value is changed.

Constructor Summary

ReplaceRangeRecorder(StTxnAccum acc, NodeContent.Editor e, int i0, int i1)

Method Summary

void	beginChange(Getter from) Record a the start of a change of value from prev.
void	endChange(Getter to) Record a the completion of a change of value to curr.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReplaceRangeRecorder

public ReplaceRangeRecorder(StTxnAccum acc,
                            NodeContent.Editor e,
                            int i0,
                            int i1)

Method Detail

beginChange

public void beginChange(Getter from)

Description copied from interface: Monitor

Record a the start of a change of value from prev.

Specified by:

beginChange in interface Monitor

endChange

public void endChange(Getter to)

Description copied from interface: Monitor

Record a the completion of a change of value to curr.

Specified by:

endChange in interface Monitor