Package abc.tm.weaving.weaver

Interface Summary

TestCodeGen

Class Summary

ClassGenHelper	Helps with the generation of the Constraint and Disjunct classes in Jimple.
CodeGenHelper	Helps with Jimple generation for updating the constraints on each label of the state machine.
IndexedCodeGenHelper	Helps with Jimple generation for updating the constraints on each label of the state machine.
TMWeaver	Modified weaver to implement TraceMatching
TraceMatchCodeGen	Fills in method stubs for tracematch classes.