December 2008
Intermediate to advanced
744 pages
18h 13m
English
One problem we have not yet addressed is how we can define what constitutes a valid state for objects modeled in EMF. As we will see in this chapter, you can declare, right in your model, constraints and invariants to be verified when a validation is performed against the instances of your classes. Also, we’ll detail how the code generated by EMF is affected by these new elements and how you can invoke validation either from your code or through the generated editors.
EMF’s notion of constraints and invariants is inspired by their definition in UML. There, a constraint is a statement that must be valid at some point in time, whereas an invariant is an assertion that should always ...
Read now
Unlock full access