cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz.options
Class GraphvizUtils

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz.options.GraphvizUtils

public final class GraphvizUtils
extends Object

Utility class for Graphviz layout binary.

Method Summary

static String	getPath() Get path to graphviz dot binary saved in global options.
static boolean	isBinaryValid() Check if path to graphviz dot binary is valid i.e.
static boolean	isBinaryValid(String pathToBinary, boolean isEmptyValid) Check if provided path is valid i.e.

Methods inherited from class java.lang.Object

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

Method Detail

getPath

public static String getPath()

Get path to graphviz dot binary saved in global options. If there is no path saved, this method returns empty String.

Returns:

Path to graphviz binary if it's saved in options, othervise returns empty String.

isBinaryValid

public static boolean isBinaryValid()

Check if path to graphviz dot binary is valid i.e. this path points to existing dot binary.

Returns:

true if path points to existing dot binary, otherwise return false.

isBinaryValid

public static boolean isBinaryValid(String pathToBinary,
                                    boolean isEmptyValid)

Check if provided path is valid i.e. this path points to existing dot binary. If isEmptyValid flag is true and provided path is empty String, this path is also considered as valid.

Parameters:

pathToBinary - Path to be checked.

isEmptyValid - flag to indicate if empty String is valid path.

Returns:

true if provided path is valid, otherwise return false.