Package mgui.io.foreign.pajek

Class PajekGraphInputOptions

java.lang.Object
mgui.interfaces.InterfaceOptions
mgui.io.InterfaceIOOptions
mgui.io.domestic.shapes.ShapeInputOptions
mgui.io.foreign.pajek.PajekGraphInputOptions
All Implemented Interfaces:
InterfaceObject, NamedObject, TreeObject, CleanableObject, XMLObject
public class PajekGraphInputOptions
extends ShapeInputOptions
Options for Pajek graph input.
Since:
1.0
Version:
1.0
Author:
Andrew
See Also:
PajekGraphLoader

  • Field Details

    • graph_names

      public java.util.ArrayList<java.lang.String> graph_names

    • create_shape

      public java.util.ArrayList<java.lang.Boolean> create_shape

    • shape_names

      public java.util.ArrayList<java.lang.String> shape_names

    • shape_sets

      public java.util.ArrayList<ShapeSet3DInt> shape_sets

  • Constructor Details

    • PajekGraphInputOptions

      public PajekGraphInputOptions()

  • Method Details

    • setFiles

      public void setFiles​(java.io.File[] files)
      Description copied from class: InterfaceIOOptions
      Sets the list of files associated with this options instance
      Overrides:
      setFiles in class ShapeInputOptions

    • getFileChooser

      public javax.swing.JFileChooser getFileChooser()
      Description copied from class: InterfaceIOOptions
      Returns a file chooser appropriate for this options instance
      Overrides:
      getFileChooser in class ShapeInputOptions
      Returns:

    • getFileChooser

      public javax.swing.JFileChooser getFileChooser​(java.io.File f)
      Description copied from class: InterfaceIOOptions
      Returns a file chooser appropriate for this options instance
      Overrides:
      getFileChooser in class ShapeInputOptions
      Returns:

    • setObject

      public void setObject​(InterfaceObject obj) throws java.lang.ClassCastException
      Description copied from class: InterfaceIOOptions
      Sets the object on which to perform an I/O operation
      Overrides:
      setObject in class ShapeInputOptions
      Throws:
      java.lang.ClassCastException - if obj is the wrong class for this options instance