Hi, I found some trouble trying to write a rule. I have the following templates:
(Call (caller_id )(callee_id )) // defines a call between two methods ( Method (id )(class_id )) // defines a method and the class where it belongs (redirectMethod (caller_method )(caller_class )(calleeMethod ?MetodoLlamado) (calleeClass )) What i have to do is assert the redirectMethod only in case where I have a call between two methods(m1->m2) and no other method in the caller class calls the m2 method. i do not know how to check the second part, ( no other method in the class make the same call). if anyone can help me with this I will appreciate it. I tried to use exists but I could make it work. Thanks a lot!
