Package jline.lang.state

Class AfterEventJoin

java.lang.Object

jline.lang.state.AfterEventJoin

All Implemented Interfaces:

Serializable

public class AfterEventJoin
extends Object
implements Serializable

Event handler for Join stations on FJ tag-augmented structs (see ModelAdapter.fjtag). The join state is a plain per-class count vector [n_1..n_R] of buffered jobs: auxiliary-class entries count the sibling tasks waiting for synchronization. ARV (passive): buffer the arriving job/sibling. DEP in an original class r (active, immediate): enabled when a plain class-r job is buffered, or when some tag t has the full required sibling multiset present (identity matching by tag). The firing consumes the siblings of the LOWEST complete tag and lets one class-r job depart; the r-to-destination move is the regular sync pairing generated by refreshSync from the join routing. Auxiliary classes never depart individually.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
AfterEventJoin()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

AfterEventJoin

public AfterEventJoin()