13.6 OCL Representation of Information Visualization Constraints

   [C-1] The set of Renderings includes the default Rendering. context RenderedObject inv: self.defaultRendering->notEmpty implies self.rendering->includes( self.defaultRendering )

   [C-2] A RenderedObject may not reference itself as a Neighbor nor as a Component.context RenderedObjectinv: self.neighbor->excludes( self )inv: self.component->excludes( self )

   [C-3] A RenderedObject may not reference one of its Neighbors as a Component (andvice versa).context RenderedObject inv: (self.neighbor->notEmpty and self.component->notEmpty) impliesself.neighbor->intersection( self.component )->isEmpty