joeq.Compiler.Analysis.IPSSA.Apps
Class AssertionAnalysis

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.Apps.AssertionAnalysis

All Implemented Interfaces:

ControlFlowGraphVisitor

public class AssertionAnalysis
extends java.lang.Object
implements ControlFlowGraphVisitor

Nested Class Summary

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

ControlFlowGraphVisitor.CodeCacheVisitor

Field Summary

static java.lang.String

ASSERT_NAME

Constructor Summary

AssertionAnalysis()

Method Summary

void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

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

Field Detail

ASSERT_NAME

public static final java.lang.String ASSERT_NAME

See Also:

Constant Field Values

Constructor Detail

AssertionAnalysis

public AssertionAnalysis()

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor