class interface FIVE_BRANCH_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 FIVE_BRANCH_STAR