org.jcsp.net.dynamic

Class ClassManager.ClassRequest

java.lang.Object

org.jcsp.net.dynamic.ClassManager.ClassRequest

Enclosing class:

ClassManager

private static class ClassManager.ClassRequest
extends java.lang.Object

Marshals a set of parameters for passing information between getClass and the main process thread.

Field Summary

Fields

Modifier and Type	Field and Description
NetChannelLocation	classSourceChannelLoc
java.lang.String	name
ChannelOutput	replyChan

Constructor Summary

Constructors

Constructor and Description
ClassRequest(java.lang.String name, NetChannelLocation classSourceChannelLoc, ChannelOutput replyChan)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public final java.lang.String name

classSourceChannelLoc

public final NetChannelLocation classSourceChannelLoc

replyChan

public final ChannelOutput replyChan

Constructor Detail

ClassRequest

public ClassRequest(java.lang.String name,
                    NetChannelLocation classSourceChannelLoc,
                    ChannelOutput replyChan)