joeq.Compiler.Analysis.IPA
Class ClassInvariantAnalysis

java.lang.Object
  extended by 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


Copyright © 2001-2008 John Whaley. All Rights Reserved.