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 in the aspect contains ...

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

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.