public void decreaseActivationsCount() {
this.activationsCount--;
}
public void addFirstWindowTupleList( WindowTupleList window ) {
WindowTupleList previous = this.firstWindowTuple;
if ( previous == null ) {
// no other WindowTuples, just add.
window.setListPrevious( null );
window.setListNext( null );
firstWindowTuple = window;
lastWindowTuple = window;
} else {
window.setListPrevious( null );
window.setListNext( previous );
previous.setListPrevious( window );
firstWindowTuple = window;
}
}