note
   author: "Miguel Oliveira e Silva"
   date: "2024-02-13"

class EXTENDED_SHAPE(s: SHAPE)

inherit
   SHAPE
      redefine out end

feature

   perimeter: REAL_64
      do
         Result := s.perimeter
      end

   out: STRING
      do
         Result := "["+generator+"]: "+s.out + ", " + "is_convex="+is_convex.out
      end

   is_convex: BOOLEAN
     do
        Result := true --default (redefine if shape might not be convex!)
     end

end -- EXTENDED_SHAPE