joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.MethodSummaryBuilder

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.MethodSummaryBuilder

All Implemented Interfaces:

ControlFlowGraphVisitor

Enclosing class:

MethodSummary

public static final class MethodSummary.MethodSummaryBuilder
extends Object
implements ControlFlowGraphVisitor

Helper class to output method summary in dot graph format.

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from interface joeq.Compiler.Quad.ControlFlowGraphVisitor

ControlFlowGraphVisitor.CodeCacheVisitor

Constructor Summary

MethodSummary.MethodSummaryBuilder()

Method Summary

void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MethodSummary.MethodSummaryBuilder

public MethodSummary.MethodSummaryBuilder()

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor