Class ControlFlowGraph


  • public final class ControlFlowGraph
    extends java.lang.Object
    • Field Detail

      • SAFE_PATTERN

        private static final java.util.regex.Pattern SAFE_PATTERN
    • Constructor Detail

    • Method Detail

      • resetVisited

        public final void resetVisited()
      • computeDominance

        public final void computeDominance()
      • computeDominance

        public final void computeDominance​(BooleanBox cancelled)
      • computeDominanceFrontier

        public final void computeDominanceFrontier()
      • export

        public final void export​(java.io.File path)
      • nodeName

        private static java.lang.String nodeName​(ControlFlowNode node)
      • escapeGraphViz

        private static java.lang.String escapeGraphViz​(java.lang.String text)
      • escapeGraphViz

        private static java.lang.String escapeGraphViz​(java.lang.String text,
                                                       boolean quote)