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 ...

Get Aspect-Oriented Programming with the e Verification Language now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.