joeq.Compiler.Analysis.IPA
Class ClassInvariantAnalysis

java.lang.Object
  joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis

All Implemented Interfaces:

jq_TypeVisitor

public class ClassInvariantAnalysis
extends Object
implements jq_TypeVisitor

ClassInvariantAnalysis

Version:

$Id: ClassInvariantAnalysis.java 1931 2004-09-22 22:17:47Z joewhaley $

Author:

John Whaley

Nested Class Summary

Nested classes/interfaces inherited from interface joeq.Class.jq_TypeVisitor

jq_TypeVisitor.EmptyVisitor

Field Summary

static PrintStream	out
static boolean	TRACE
static boolean	TRACE_INTRA

Constructor Summary

ClassInvariantAnalysis()

Method Summary

void	finish()
void	initialize(jq_Class k)
void	instantiateLocalCalls(jq_Method m)
void	unifyAccessPathEdges(MethodSummary.Node n)
void	visitArray(jq_Array m)
void	visitClass(jq_Class c)
void	visitMethod(jq_Method m)
void	visitPrimitive(jq_Primitive m)
void	visitType(jq_Type m)

Methods inherited from class java.lang.Object

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

Field Detail

TRACE

public static final boolean TRACE

See Also:

Constant Field Values

TRACE_INTRA

public static final boolean TRACE_INTRA

See Also:

Constant Field Values

out

public static final PrintStream out

Constructor Detail

ClassInvariantAnalysis

public ClassInvariantAnalysis()

Method Detail

initialize

public void initialize(jq_Class k)

instantiateLocalCalls

public void instantiateLocalCalls(jq_Method m)

visitMethod

public void visitMethod(jq_Method m)

unifyAccessPathEdges

public void unifyAccessPathEdges(MethodSummary.Node n)

finish

public void finish()

visitClass

public void visitClass(jq_Class c)

Specified by:

visitClass in interface jq_TypeVisitor

visitArray

public void visitArray(jq_Array m)

Specified by:

visitArray in interface jq_TypeVisitor

visitPrimitive

public void visitPrimitive(jq_Primitive m)

Specified by:

visitPrimitive in interface jq_TypeVisitor

visitType

public void visitType(jq_Type m)

Specified by:

visitType in interface jq_TypeVisitor