public class Dot extends Object
| Modifier and Type | Field and Description |
|---|---|
static int |
TYPE_DOT |
static int |
TYPE_EPS |
static int |
TYPE_FIG |
static int |
TYPE_GIF |
static int |
TYPE_JPG |
static int |
TYPE_PNG |
| Constructor and Description |
|---|
Dot() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
scaleable() |
static void |
setExecuteDot(boolean b) |
static void |
setRemoveDotFile(boolean b) |
static void |
setType(int t) |
static void |
showDot(String file)
Run DOT on this file to produce an image.
|
static void |
showString(String file,
String string)
Create a DOT file from a String
|
public static final int TYPE_EPS
public static final int TYPE_PNG
public static final int TYPE_DOT
public static final int TYPE_FIG
public static final int TYPE_GIF
public static final int TYPE_JPG
public static void showString(String file, String string)
public static void showDot(String file)
NOTE: unless you call Dot.setRemoveDotFile(false), the file will be REMOVED
setRemoveDotFile(boolean)public static boolean scaleable()
public static void setType(int t)
public static void setExecuteDot(boolean b)
public static void setRemoveDotFile(boolean b)
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.