Package abc.ra.visit

Class Summary

AddFieldsAndMethods	Visitor which adds required fields and associate/release methods to relational aspects in the front-end.
GenerateNormalTMFromRelationalTM	Visitor which rewrites a relational tracematch to a normal tracematch (of type TMFromRelTMDecl_c).
GenerateTracematch	Generates a relational tracematch (RelTMDecl) from a relational advice declaration (RelAdviceDecl).