make DotUtil.dotOutput method public

This commit is contained in:
Manu Sridharan 2017-05-15 12:51:16 -07:00
parent 1bebbeb8e9
commit 05eb665526
1 changed files with 1 additions and 1 deletions

View File

@ -182,7 +182,7 @@ public class DotUtil {
* @return StringBuffer holding dot output representing G
* @throws WalaException
*/
private static <T> StringBuffer dotOutput(Graph<T> g, NodeDecorator<T> labels, String title) throws WalaException {
public static <T> StringBuffer dotOutput(Graph<T> g, NodeDecorator<T> labels, String title) throws WalaException {
StringBuffer result = new StringBuffer("digraph \"DirectedGraph\" {\n");
if (title != null) {