Sharkysoft home

Serialized Form


Package lava

Class lava.NotImplementedException implements Serializable

Class lava.NotSupportedException implements Serializable

Class lava.UnreachableCodeException implements Serializable


Package lava.clib.stdio

Class lava.clib.stdio.PrintfFormatException implements Serializable


Package lava.gui

Class lava.gui.ButtonQuestion implements Serializable

Serialized Fields

buttons

java.awt.Button[] buttons

response

int response

Class lava.gui.DragFrame implements Serializable

Serialized Fields

sprite

DragSprite sprite
Icon being dragged.

Details: sprite is the icon being dragged, or is null if no drag operation is in progress.

Since:
1988.10.22

drag_origin

java.awt.Point drag_origin
Drag origin.

Details: drag_origin is the Point where the drag object originated from, in glass pane coordinates. If dragging is suspended, the drag sprite should be redrawn at this location.

This value is meaningless if no dragging is in progress.

Since:
1988.10.22

drag_position

java.awt.Point drag_position
Current drag position.

Details: drag_position is the current Point of dragging, in frame coordinates. If the frame repaints during a drag, this is where the drag sprite should be drawn.

This value is meaningless if no dragging is in progress.

Since:
1988.10.22

Class lava.gui.DragPanel implements Serializable

Serialized Fields

sprite

DragSprite sprite
Icon being dragged.

Details: sprite is the icon being dragged, or is null if no drag operation is in progress.

Since:
1988.10.22

drag_origin

java.awt.Point drag_origin
Drag origin.

Details: drag_origin is the Point where the drag object originated from, in glass pane coordinates. If dragging is suspended, the drag sprite should be redrawn at this location.

This value is meaningless if no dragging is in progress.

Since:
1988.10.22

drag_position

java.awt.Point drag_position
Current drag position.

Details: drag_position is the current Point of dragging, in Panel coordinates. If the Panel repaints during a drag, this is where the drag sprite should be drawn.

This value is meaningless if no dragging is in progress.

Since:
1988.10.22

Class lava.gui.FullScreenWindow implements Serializable

Class lava.gui.GridPanel implements Serializable

Class lava.gui.ImageCanvas implements Serializable

Serialized Fields

image

java.awt.Image image
The Image displayed in this Canvas.

alignment

int alignment
Image alignment.

Details: This member indicates the current alignment, as set during construction or in calls to setImageAlignment.

Default value: CENTER

Since:
1998.10.06

position

java.awt.Point position
Image position.

Details: position is the location, in the Canvas, of the upper-left corner of the image. The value of position is updated by calls to setImage, setImageAlignment, and setImagePosition.

Since:
1999.04.20

size

java.awt.Dimension size
Image size.

Details: size is the display size of this ImageCanvas' image. size may be different from the image's natural size if the ImageCanvas is set to display a stretched image. A null value indicates that the image is to be rendered at its natural size, without stretching. Because of this, settting size to null results in more efficient image rendering.

Since:
1999.04.20

Class lava.gui.JImagePanel implements Serializable

Serialized Fields

image

java.awt.Image image
The Image displayed in this Canvas.

alignment

int alignment
Image alignment.

Details: This member indicates the current alignment, as set during construction or in calls to setImageAlignment.

Default value: CENTER

Since:
1998.10.06

position

java.awt.Point position
Image position.

Details: position is the location, in the Canvas, of the upper-left corner of the image. The value of position is updated by calls to setImage, setImageAlignment, and setImagePosition.

Since:
1999.04.20

size

java.awt.Dimension size
Image size.

Details: size is the display size of this JImagePanel' image. size may be different from the image's natural size if the JImagePanel is set to display a stretched image. A null value indicates that the image is to be rendered at its natural size, without stretching. Because of this, settting size to null results in more efficient image rendering.

Since:
1999.04.20

Class lava.gui.LButtonGroup implements Serializable

Serialized Fields

listeners

ListenerRegistry listeners
Registered listeners.
Since:
1998.11.13

none_button

javax.swing.JToggleButton none_button

last_selection

java.lang.Object last_selection

Class lava.gui.UnitPanel implements Serializable


Package lava.io

Class lava.io.DirectoryNotFoundException implements Serializable

Class lava.io.FileFormatException implements Serializable

Class lava.io.StreamFormatException implements Serializable


Sharkysoft home