Computational Sequence Class Body

Download

Additive Sequence Class Body

--
-- Additive counter.
--
with CompCount; use CompCount;
package inccount is
   -- Create a new type (for one new method) but no more fields.  I could
   -- make this a private type, but I don't know what the point is in
   -- hiding the fields of a record which has no fields.
   type AdditiveSequence is new ComputationalSequence with null record;

   -- Move to the next item in the sequence.
   procedure Next(S: in out AdditiveSequence);
end Inccount;

Computational Sequence Class Body

Additive Sequence Class Body