tesl
Class TickDeletion<T extends java.lang.Comparable<T>>

java.lang.Object
  tesl.ClockOperation<T>
      tesl.TickDeletion<T>

public class TickDeletion<T extends java.lang.Comparable<T>>
extends ClockOperation<T>

Field Summary

private T

tag_

Constructor Summary

TickDeletion(Clock<T> clock, T tag)

Method Summary

void

perform()

Methods inherited from class tesl.ClockOperation

getClock

Methods inherited from class java.lang.Object

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

Field Detail

tag_

private T extends java.lang.Comparable<T> tag_

Constructor Detail

TickDeletion

public TickDeletion(Clock<T> clock,
                    T tag)

Method Detail

perform

public void perform()

Specified by:

perform in class ClockOperation<T extends java.lang.Comparable<T>>