+
Point of view
CONTAINER
class ALIGNABLE_LABEL
- text /= Void
-
private_copy_is_read_only: not text_changed_from_outside(text)
- std_width > 0
- std_height > 0
require
- p = Void implies parent /= Void
- p /= Void implies parent = Void
- p /= Void implies p.has_child(Current)
ensure
frozen
effective function
frozen
effective function
frozen
effective function
frozen
effective function
frozen
effective function