de.cau.cs.kieler.keg.diagram.custom.wizards
Class RandomGraphANTEPage

java.lang.Object
  extended by org.eclipse.jface.dialogs.DialogPage
      extended by org.eclipse.jface.wizard.WizardPage
          extended by de.cau.cs.kieler.keg.diagram.custom.wizards.RandomGraphANTEPage
All Implemented Interfaces:
IDialogPage, IMessageProvider, IWizardPage

public class RandomGraphANTEPage
extends WizardPage

The options page for the ACYCLIC_NO_TRANSITIV_EDGES graph type.

Rating red

Field Summary
 
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider
ERROR, INFORMATION, NONE, WARNING
 
Constructor Summary
RandomGraphANTEPage()
          Constructs a RandomGraphANTEPage.
 
Method Summary
 void createControl(Composite parent)
          
 int getNumberOfEdges()
          Returns the selected number of edges.
 int getNumberOfNodes()
          Returns the selected number of nodes.
 boolean getPlanar()
          Returns whether the generated graph should be planar.
 void savePreferences()
          Saves the selected options to the preference store.
 
Methods inherited from class org.eclipse.jface.wizard.WizardPage
canFlipToNextPage, getContainer, getDialogSettings, getImage, getName, getNextPage, getPreviousPage, getShell, getWizard, isCurrentPage, isPageComplete, setDescription, setErrorMessage, setImageDescriptor, setMessage, setPageComplete, setPreviousPage, setTitle, setWizard, toString
 
Methods inherited from class org.eclipse.jface.dialogs.DialogPage
convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, dispose, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getMessage, getMessageType, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, performHelp, setButtonLayoutData, setControl, setMessage, setVisible
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage
dispose, getControl, getDescription, getErrorMessage, getMessage, getTitle, performHelp, setVisible
 

Constructor Detail

RandomGraphANTEPage

public RandomGraphANTEPage()
Constructs a RandomGraphANTEPage.

Method Detail

createControl

public void createControl(Composite parent)


savePreferences

public void savePreferences()
Saves the selected options to the preference store.


getNumberOfNodes

public int getNumberOfNodes()
Returns the selected number of nodes.

Returns:
the number of nodes

getNumberOfEdges

public int getNumberOfEdges()
Returns the selected number of edges.

Returns:
the number of edges

getPlanar

public boolean getPlanar()
Returns whether the generated graph should be planar.

Returns:
true if the generated graph should be planar; false else