org.problets.domain.viz.data.implement.channel
Class ChannelManager

java.lang.Object
  org.problets.domain.viz.data.implement.channel.ChannelManager

public class ChannelManager
extends java.lang.Object

Manages the channels in the visualization of the program

Author:

Stefan Kasabov, Amruth Kumar

Constructor Summary

ChannelManager()

Method Summary

void	deregisterChannel(Channel inChannel) Removes a channel from the vector of channels
java.util.Vector	getChannelVector() Returns a vector of all the channels
void	registerChannel(Channel inChannel) Adds a channel to the vector of channels
void	update() Deletes any channel whose pointer or pointee has gone out of scope.

Methods inherited from class java.lang.Object

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

Constructor Detail

ChannelManager

public ChannelManager()

Method Detail

getChannelVector

public java.util.Vector getChannelVector()

Returns a vector of all the channels

registerChannel

public void registerChannel(Channel inChannel)

Adds a channel to the vector of channels

deregisterChannel

public void deregisterChannel(Channel inChannel)

Removes a channel from the vector of channels

update

public void update()

Deletes any channel whose pointer or pointee has gone out of scope. This is NOT to be called directly by the client, but rather by ChannelManagerViz.update()