Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package abc.tm.weaving.weaver.tmanalysis.mustalias

Interface Summary
TMFlowAnalysis Generic interface for a flow-sensitive analysis for static tracematch optimizations.
 

Class Summary
InstanceKeyNonRefLikeType A special instance key for a primitive type.
IntraProceduralTMFlowAnalysis  
IntraProceduralTMFlowAnalysis.Abstraction  
 

Enum Summary
IntraProceduralTMFlowAnalysis.Status Status
 

Exception Summary
IntraProceduralTMFlowAnalysis.AbortedException AbortedException
 

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES