Aspect-Oriented Programming with the e Verification Language

Chapter 8. Analyzing e Code

Â	Who cares how it works, just as long as it gives the right answer?	Â
Â	--Jeff Scholnik

Inormally find myself asking two simple questions when I try to understand a verification environment’s architecture or operation:

• “Where is that declared?”

• “What exactly is getting executed?”

It doesn’t matter whether the code belongs to someone else or whether I’m simply revisiting some of my code after an absence; after a certain amount of time away from a particular area of the verification environment I forget the exact details of how it does what it does. Even if a verification environment follows the guidelines in Chapter 3, it can still be tricky to work out what aspect some functionality belongs to or what file ...