Aspect-Oriented Programming with the e Verification Language

Chapter 4. Creating Flexible Code

	But the piece of paper on my desk doesn’t have discrete methods. If I decide for example, to burn it for fuel, or fold it into a paper airplane, does that mean that there is a “burn” or “fly” operation that’s somehow built into the paper, and that it inherits these operations from a superclass of “flat things”? Nonsense. There are an almost infinite number of things I can do with a simple piece of paper, none of which may have been anticipated by the creator of that paper.
	--Talin [15]

So what is “flexible code?” Well, it’s simply code that can be added to by the end user to augment or change its behavior. It’s code that gives the end user some entry points to let them add their own code to the verification environment. ...