shared
Class DotGraphPref

java.lang.Object
  |
  +--shared.DisplayPref
        |
        +--shared.DotGraphPref

public class DotGraphPref

extends DisplayPref

Preferences for DotGraph displays.

Fields inherited from class shared.DisplayPref

ASCIIDisplay, defaultDisplayPref, DisplayLandscape, DisplayPortrait, DotGraphDisplay, DotPostscriptDisplay, EviVizDisplay, RatioDefault, RatioFill, RuleVizDisplay, TableVizDisplay, TreeVizDisplay

Constructor Summary

DotGraphPref()
Constructor.

Method Summary

DotGraphPref

typecast_to_DotGraph() Casts this object to a DotGraphPref.

Methods inherited from class shared.DisplayPref

get_display_backfit_disks, get_graph_size_x, get_graph_size_y, get_orientation, get_page_size_x, get_page_size_y, get_ratio, preference_type, set_display_backfit_disks, set_graph_size, set_orientation, set_page_size, set_preference_type, set_ratio, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DotGraphPref

public DotGraphPref()

Constructor.

Method Detail

typecast_to_DotGraph

public DotGraphPref typecast_to_DotGraph()

Casts this object to a DotGraphPref.

Returns:

Returns a reference to this object.