joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.MethodSummaryBuilder

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.MethodSummaryBuilder

All Implemented Interfaces:

ControlFlowGraphVisitor

Enclosing class:

PrimitiveMethodSummary

public static final class PrimitiveMethodSummary.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

PrimitiveMethodSummary.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

PrimitiveMethodSummary.MethodSummaryBuilder

public PrimitiveMethodSummary.MethodSummaryBuilder()

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor