joeq.Compiler.BytecodeAnalysis
Class TypeAnalysis

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.TypeAnalysis

public class TypeAnalysis

extends Object

Version:

$Id: TypeAnalysis.java,v 1.17 2004/09/22 22:17:42 joewhaley Exp $

Author:

John Whaley

Nested Class Summary

static class	TypeAnalysis.AnalysisSummary
static class	TypeAnalysis.MethodCallSequence
static class	TypeAnalysis.MethodCallSequences
static class	TypeAnalysis.ScalarReplacementVisitor
static class	TypeAnalysis.TypeAnalysisVisitor

Field Summary

static Set	classesToAnalyze
static boolean	DUMP_SUMMARY
static int	nBytesAnalyzed
static int	nMethods
static PrintStream	out_ta
static boolean	TRACE_ITERATION
static boolean	TRACE_MAIN

Constructor Summary

TypeAnalysis()

Method Summary

static TypeAnalysis.AnalysisSummary	analyze(jq_Method m)
static void	dump()

Methods inherited from class java.lang.Object

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

Field Detail

nBytesAnalyzed

public static int nBytesAnalyzed

nMethods

public static int nMethods

classesToAnalyze

public static Set classesToAnalyze

TRACE_MAIN

public static boolean TRACE_MAIN

TRACE_ITERATION

public static boolean TRACE_ITERATION

DUMP_SUMMARY

public static boolean DUMP_SUMMARY

out_ta

public static final PrintStream out_ta

Constructor Detail

TypeAnalysis

public TypeAnalysis()

Method Detail

dump

public static void dump()
                 throws IOException

Throws:

IOException

analyze

public static TypeAnalysis.AnalysisSummary analyze(jq_Method m)