Package abc.tm.weaving.weaver.tmanalysis.util

Interface Summary

ISymbolShadow

Class Summary

Naming	Utiility methods for name conversions.
ShadowsPerTMSplitter	This class splits a given set of shadows into multiple sets so that each set holds only shadows of one tracematch.
Statistics	Prints statistics for whole-program optimizations on tracematches.
SymbolFinder	A forward flow analyis that finds shadows for tracematch symbols.
SymbolShadow	A symbol shadow represents a static point in the program where the state machine may make a transition with a certain symbol.
Timer