section: < previous | next >

| |

chapter: << previous | next >>

---

Special graph rules for VOCL

Fig. 9 Graph rules for VOCL part IV

These first four rules create the frame of a VOCL constraint, which is connected ether to a class or an operation. The transfomation unit DefineContext in figure 10 uses the rules above to create a constraint with its name and variable.

Fig. 10 Transformation unit

section: < previous | next >

| |

chapter: << previous | next >>