org.jcsp.net

Class IndexManager.ChannelAndIndex

java.lang.Object

org.jcsp.net.IndexManager.ChannelAndIndex

Enclosing class:

IndexManager

static class IndexManager.ChannelAndIndex
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Any2OneChannel	channel
long	index

Constructor Summary

Constructors

Constructor and Description
ChannelAndIndex(Any2OneChannel channel, long index)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

channel

public final Any2OneChannel channel

index

public final long index

Constructor Detail

ChannelAndIndex

public ChannelAndIndex(Any2OneChannel channel,
                       long index)