Re: First Avoid Coding

From: Miguel Oliveira e Silva (mos_at_det.ua.pt)
Date: 03/17/04

Next message: Ilja Preuß: "Re: implementing roles in OOP......"
Previous message: Anthony Williams: "Re: dynamic type checking - a pauline conversion?"
In reply to: Miguel Oliveira e Silva: "Re: First Avoid Coding"
Next in thread: lilburne: "Re: First Avoid Coding"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Wed, 17 Mar 2004 12:04:57 +0000

I wrote:

> (...)

> push(elem: like top) is
> deferred
> ensure
> element_placed_in_the_top: top = elem
> end;

push(elem: like top) is
    deferred
    ensure
      element_placed_in_the_top: top = elem;
      element_placed_above_last_top: count = 1 or else under_top = old top
    end;

-miguel

--
Miguel Oliveira e Silva   email: mos@det.ua.pt
Dep. de Electrónica e Telecomunicações / IEETA
Universidade de Aveiro - PORTUGAL
phone: +351 234 370375    fax: +351 234 370545
www: http://www.ieeta.pt/~mos

Next message: Ilja Preuß: "Re: implementing roles in OOP......"
Previous message: Anthony Williams: "Re: dynamic type checking - a pauline conversion?"
In reply to: Miguel Oliveira e Silva: "Re: First Avoid Coding"
Next in thread: lilburne: "Re: First Avoid Coding"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]