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.