GraphListElement

public class GraphListElement
extends java.lang.Object

Contains a graph file

Constructors
Constructor and Description
`GraphListElement(java.io.File file)` Creates an instance with the given file
`GraphListElement(java.io.File file, FileFormat format)`
`GraphListElement(java.lang.String filename)`
`GraphListElement(java.lang.String filename, FileFormat format)` Creates an instance and creates a File using the given filename

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(java.lang.Object object)`
`java.io.File`	`getFile()` Returns the graph file
`FileFormat`	`getFormat()`
`javax.swing.JComboBox`	`getFormatChooser()`
`void`	`setFormat(FileFormat format)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

GraphListElement
```
public GraphListElement(java.io.File file)
```
Creates an instance with the given file

public GraphListElement(java.io.File file,
                        FileFormat format)

public GraphListElement(java.lang.String filename,
                        FileFormat format)

Creates an instance and creates a File using the given filename

public GraphListElement(java.lang.String filename)

public void setFormat(FileFormat format)

public javax.swing.JComboBox getFormatChooser()

public boolean equals(java.lang.Object object)

Class GraphListElement