edu.rice.cs.drjava.ui
Class DetachedFrame.FrameState

java.lang.Object
  edu.rice.cs.drjava.ui.DetachedFrame.FrameState

Enclosing class:

DetachedFrame

public static class DetachedFrame.FrameState
extends Object

Class to save the frame state, i.e. location.

Field Summary

private Dimension	_dim
private Point	_loc

Constructor Summary

DetachedFrame.FrameState(DetachedFrame comp)

DetachedFrame.FrameState(Point l, Dimension d)

DetachedFrame.FrameState(String s)

Method Summary

Dimension	getDimension()
Point	getLocation()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_loc

private Point _loc

_dim

private Dimension _dim

Constructor Detail

DetachedFrame.FrameState

public DetachedFrame.FrameState(Point l,
                                Dimension d)

DetachedFrame.FrameState

public DetachedFrame.FrameState(String s)

DetachedFrame.FrameState

public DetachedFrame.FrameState(DetachedFrame comp)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getLocation

public Point getLocation()

getDimension

public Dimension getDimension()