|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgcspy.vis.SpaceManager
public class SpaceManager
Manages the interaction between a Space and the visualiser
| Constructor Summary | |
|---|---|
SpaceManager(AbstractFrame owner,
ClientInterpreter interpreter,
ClientSpace space,
SpaceManagerInterface spaceManagerInterface,
boolean active,
boolean small,
boolean tiny)
Create a new space manager |
|
| Method Summary | |
|---|---|
void |
activate()
Activate this space |
void |
deactivate()
Deactivate this space |
void |
disconnect(boolean reconnecting)
Respond to the client disconnecting from the server |
void |
event(int eventID,
int elapsedTime,
int compensationTime)
Respond to an EVENT command from the server |
javax.swing.JPanel |
getMainPanel()
Get the main panel |
void |
mapImage()
Draw the tiles image |
void |
redraw()
Redraw the tiles |
void |
redrawOne(TileManager tm)
Redraw the space |
void |
selectedStream(int id)
Select a stream |
void |
setWidth(int width)
Set the width of the space |
void |
space(ClientSpace space)
Respond to a SPACE command from the server. |
void |
tileDeselected()
Deselect a (previously selected) tile |
void |
tileSelected(int index)
A tile is selected |
void |
updateBlockInfo()
Update the block info |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public SpaceManager(AbstractFrame owner,
ClientInterpreter interpreter,
ClientSpace space,
SpaceManagerInterface spaceManagerInterface,
boolean active,
boolean small,
boolean tiny)
owner - The parent framinterpreter - The client interpreterspace - the space to managespaceManagerInterface - Typically the main frameactive - True if this space is activesmall - True if the tiles are smalltiny - True if the tiles are tiny| Method Detail |
|---|
public void selectedStream(int id)
id - The stream's ID
public void event(int eventID,
int elapsedTime,
int compensationTime)
EventListener
event in interface EventListenereventID - The event's IDelapsedTime - the elapsed time for the eventcompensationTime - The compensation timepublic void space(ClientSpace space)
SpaceListener
space in interface SpaceListenerspace - The new ClientSpacepublic void mapImage()
public void redraw()
TileManagerListener
redraw in interface TileManagerListenerpublic void disconnect(boolean reconnecting)
DisconnectListener
disconnect in interface DisconnectListenerreconnecting - Is the client reconnnecting?public void deactivate()
public void activate()
public void redrawOne(TileManager tm)
tm - The tile manager for this spacepublic void tileSelected(int index)
TileManagerListener
tileSelected in interface TileManagerListenerindex - The index of the tilepublic void tileDeselected()
TileManagerListener
tileDeselected in interface TileManagerListenerpublic void updateBlockInfo()
public void setWidth(int width)
width - The width to setpublic javax.swing.JPanel getMainPanel()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||