Chapter 2. AOP in e


Frankly, they are wrong, and I don’t have very much patience for people who get religious about tools and judge things that they haven’t used.

 --Joel Spolsky [16]

In this chapter I’m going to take you through AOP as it is implemented in e. When you do your search for AOP on the Internet or browse the books in your local bookshop, you’ll almost inevitably start reading about AspectJ, and you’ll notice that none of it seems to be particularly relevant to verification environment design. Example crosscutting concerns such as synchronization, persistence, shared resource access, authentication, and security problems just don’t seem to map too well to verification environments.

Depending on your existing e knowledge, you may also ...

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.