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.