|
||||||||||
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 tinyMethod Detail |
---|
public void selectedStream(int id)
id
- The stream's IDpublic void event(int eventID, int elapsedTime, int compensationTime)
EventListener
event
in interface EventListener
eventID
- The event's IDelapsedTime
- the elapsed time for the eventcompensationTime
- The compensation timepublic void space(ClientSpace space)
SpaceListener
space
in interface SpaceListener
space
- The new ClientSpacepublic void mapImage()
public void redraw()
TileManagerListener
redraw
in interface TileManagerListener
public void disconnect(boolean reconnecting)
DisconnectListener
disconnect
in interface DisconnectListener
reconnecting
- 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 TileManagerListener
index
- The index of the tilepublic void tileDeselected()
TileManagerListener
tileDeselected
in interface TileManagerListener
public 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 |