O'Reilly logo

Aspect-Oriented Programming with the e Verification Language by David Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required