code: function UMLStateInvariantView() {
          NodeView.apply(this, arguments);
          this.movable = Core.MM_VERT;
          this.zIndex = 1;
  
          /** @member {LabelView} */
          this.invariantLabel = new LabelView();
          this.invariantLabel.horizontalAlignment = Graphics.AL_CENTER;
          this.invariantLabel.verticalAlignment = Graphics.AL_MIDDLE;
          this.addSubView(this.invariantLabel);
      }
docs: UMLStateInvariantView
  @constructor
  @extends NodeView