indexing description: "Objects that ..." author: "" date: "$Date$" revision: "$Revision$" deferred class XMLDOC_WITH_BORDER feature {NONE} -- Initialization make do border := - 1 end feature -- Access border: INTEGER -- Associated border feature -- Status Report has_border: BOOLEAN do Result := border >= 0 end feature -- Element change set_border (v: like border) -- Set `border' to `v' require v_positive_or_zero: v >= 0 do border := v end end