Package com.ibm.wala.viz

Class DotUtil

  • public class DotUtil
extends java.lang.Object
    utilities for interfacing with DOT

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  DotUtil.DotOutputType
      possible output formats for dot

    • Constructor Summary

      Constructors 
      Constructor Description
      DotUtil()  

    • Constructor Detail

      • DotUtil

        public DotUtil()

    • Method Detail

      • dotify

        public static <T> void dotify​(Graph<T> g,
                              NodeDecorator<T> labels,
                              java.lang.String dotFile,
                              java.lang.String outputFile,
                              java.lang.String dotExe)
                       throws WalaException
        Type Parameters:
        T - the type of a graph node
        Throws:
        WalaException

      • dotify

        public static <T> void dotify​(Graph<T> g,
                              NodeDecorator<T> labels,
                              java.lang.String title,
                              java.lang.String dotFile,
                              java.lang.String outputFile,
                              java.lang.String dotExe)
                       throws WalaException
        Type Parameters:
        T - the type of a graph node
        Throws:
        WalaException

      • spawnDot

        public static void spawnDot​(java.lang.String dotExe,
                            java.lang.String outputFile,
                            java.io.File dotFile)
                     throws WalaException
        Throws:
        WalaException

      • dotOutput

        public static <T> java.lang.StringBuilder dotOutput​(Graph<T> g,
                                                    NodeDecorator<T> labels,
                                                    java.lang.String title)
                                             throws WalaException
        Returns:
        StringBuffer holding dot output representing G
        Throws:
        WalaException

      • getFontSize

        public static int getFontSize()

      • setFontSize

        public static void setFontSize​(int fontSize)