Package joeq.Compiler.Analysis.IPSSA.Utils

Class Summary
AnalysisObjectSpec Allows referring to analysis objects in a simple textual fashion.
AnalysisObjectSpec.IPSSAObjectSpec  
AnalysisObjectSpec.PAObjectSpec  
DefinitionSet  
IteratorHelper  
IteratorHelper.EmptyIterator  
IteratorHelper.EmptyIterator.FACTORY  
IteratorHelper.SingleIterator  
ReachabilityTrace Implements a trace of SSADefinitions.
ReachabilityTrace.Algorithms  
SimpleDominatorQuery A pretty obvious implementation of DominatorQuery, nothing fancy here.
SimpleDominatorQuery.TestSimpleDominatorQuery  
SSAGraphPrinter  
 

Exception Summary
AnalysisObjectSpec.UnknownAnalysisObjectExeption  
 



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