Class TimelyIndexerListenerProxy
java.lang.Object
tools.refinery.interpreter.rete.network.communication.timely.TimelyIndexerListenerProxy
- All Implemented Interfaces:
IndexerListener
A timely proxy for another
IndexerListener, which performs some preprocessing
on the differential timestamps before passing it on to the real recipient.
These proxies are used on edges leading into ProductionNodes. Because ProductionNodes
never ask back the indexer for its contents, there is no need to also apply the proxy on that direction.
- Since:
- 2.3
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final TimestampTransformationprotected final IndexerListener -
Constructor Summary
ConstructorsConstructorDescriptionTimelyIndexerListenerProxy(IndexerListener wrapped, TimestampTransformation preprocessor) -
Method Summary
-
Field Details
-
preprocessor
-
wrapped
-
-
Constructor Details
-
TimelyIndexerListenerProxy
-
-
Method Details
-
getWrappedIndexerListener
-
getOwner
- Specified by:
getOwnerin interfaceIndexerListener
-
notifyIndexerUpdate
public void notifyIndexerUpdate(Direction direction, Tuple updateElement, Tuple signature, boolean change, Timestamp timestamp) Description copied from interface:IndexerListenerNotifies recipient that the indexer has just received an update. Contract: indexer already reflects the updated state.- Specified by:
notifyIndexerUpdatein interfaceIndexerListener- Parameters:
direction- the direction of the update.updateElement- the tuple that was updated.signature- the signature of the tuple according to the indexer's mask.change- whether this was the first inserted / last revoked update element with this particular signature.
-
toString
-
equals
-
hashCode
public int hashCode()
-