Last time I started discussing the expression language used to define predicates on types and members. My conclusions were:
C# expression syntax used since code must be transformed to that in the end, and the more similar the syntaxes of the expression language - the easier the transformation will be.
No side-effects. Side effect within the predicates [...]
The predicates that are used to specify the in, out and inv conditions on a component need to follow certain rules. The first and least obvious is that it must follow the syntax and semantic rules of the C# language. I say that it is the least obvious, since it seems to be conventional to [...]
Read Full Post | Make a Comment ( None so far )As you will recall from the previous post, I have been wondering about how to implement the functionality for dynamic proxies. Well I saw this great article, by Viji Sarathy, on the web, and think that this might be the way to go.
It uses Context Bound Objects to ensure the interception of all calls by [...]
A new section (slightly less interesting than before) of the blog has gone up. Take a look and let me know what you think.
Read Full Post | Make a Comment ( None so far )Now that I’ve come up with a few requirements, and shown you how I am going to partition the problem, I think it might be about time to discuss some of our technological options.
I said previously that I had a serviceable NVelocity wrapper, that I could use for the code generation. I have other options [...]
Last time I said I’d explore the requirements on a DBC solution in a little more detail. I first experienced design by contract when I was studying object oriented design at Brighton University, UK. I was studying it under Richard Mitchell, author of “Design by Contract, by Example”. The curriculum was taught using Eiffel. Eiffel [...]
Read Full Post | Make a Comment ( None so far )I’m blogging my progress from mid-way through the project. I have a working prototype, which is a crude implementation of what I want. It has a few limitations which require me to go back and productise it. It may seem a little arbitrary for me to describe a domain split on my second blog post, [...]
Read Full Post | Make a Comment ( 2 so far )When I get the time I intend to start off this blog by exploring the following ideas:
Developing a design by contract system for C#
History of Design by Contract
Code Generation Systems XSLT vs NVelocity
I’m producing a Design by contract system that’s in early alpha. It uses NVelocity, and declarative programming. It lets you write code like [...]
Read Full Post | Make a Comment ( None so far ) | Daniel on Why I hate Windows Vista (and … |
 | James on Why I hate Windows Vista (and … |
 | Katie.harville on Why I hate Windows Vista (and … |
 | Jason Maitland on Why I hate Windows Vista (and … |
 | linda on Why I hate Windows Vista (and … |
Liked it here?
Why not try sites on the blogroll...
