Package de.saar.chorus.newubench

Class FileUtilities

java.lang.Object

de.saar.chorus.newubench.FileUtilities

public class FileUtilities
extends Object

Constructor Summary

Constructors

Constructor	Description
FileUtilities()

Method Summary

Modifier and Type	Method	Description
static boolean	genericLoadGraph(Reader reader, InputCodec inputCodec, DomGraph graph, NodeLabels nl)	Loads a labelled dominance graph from a reader.
static File	getFileFromExportFileChooser(List<de.saar.basic.GenericFileFilter> fileFilters, Map<String,String> options)
static File	getFileFromOpenFileChooser(List<de.saar.basic.GenericFileFilter> fileFilters, Map<String,String> options)

Methods inherited from class java.lang.Object

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

Constructor Details

FileUtilities

public FileUtilities()

Method Details

genericLoadGraph

public static boolean genericLoadGraph(Reader reader,
 InputCodec inputCodec,
 DomGraph graph,
 NodeLabels nl)

Loads a labelled dominance graph from a reader.

Parameters:

reader - the Reader from which the graph is read

codec - the name of the input codec that should be used to decode the graph

graph - a DomGraph which this method sets to the dominance graph part of the labelled graph

nl - a NodeLabels object which this method fills with the node labelling part of the labelled graph

Returns:

a new JDomGraph representation for the labelled graph

getFileFromExportFileChooser

public static File getFileFromExportFileChooser(List<de.saar.basic.GenericFileFilter> fileFilters,
 Map<String,String> options)

getFileFromOpenFileChooser

public static File getFileFromOpenFileChooser(List<de.saar.basic.GenericFileFilter> fileFilters,
 Map<String,String> options)