class interface CROSS_STAR creation make (c: POINT; r: INTEGER) require valid: c /= Void ensure keep_reference: centre = c feature(s) from FIVE_BRANCH_STAR -- Creation make (c: POINT; r: INTEGER) require valid: c /= Void ensure keep_reference: centre = c feature(s) from FIVE_BRANCH_STAR -- Position & size set_centre (pt: POINT) require valid_point: pt /= Void ensure keep_reference: centre = pt set_radius (r: INTEGER) require valid_radius: r >= 0 feature(s) from FIVE_BRANCH_STAR -- Drawing polygon: DRAWABLE_POLYGON end of CROSS_STAR