public class DotExtractor
extends java.lang.Object
| Constructor and Description |
|---|
DotExtractor(java.io.File file) |
DotExtractor(java.lang.String input) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getDotString() |
java.io.File |
getDotTempFile() |
public DotExtractor(java.lang.String input)
input - The string to extract a DOT graph substring frompublic DotExtractor(java.io.File file)
file - The file to extract a DOT substring frompublic java.lang.String getDotString()
NO_DOT
constant, a valid DOT graphpublic java.io.File getDotTempFile()
NO_DOT constant, a valid DOT graphCopyright (c) 2014 itemis AG and others. All rights reserved.