comp.lang.ada
 help / color / mirror / Atom feed
* "BIG E vs little e", was pre-condition vs post-condition
@ 1991-03-16 14:31 saharbaugh%roo.dnet
  0 siblings, 0 replies; only message in thread
From: saharbaugh%roo.dnet @ 1991-03-16 14:31 UTC (permalink / raw)



Re: The discussion titled: "Pre-Condition vs Post-Condition"

Mike Feldman invites further discussion so here is a "war story":

In 1982 we were defining the Ada/GKS binding.  The ANSI GKS spec  
specified that an error code be returned to the caller (ala Fortran).  
Our challenge was to determine which error codes would be 
implemented in Ada as error codes and which error codes would be 
implemented as Ada exceptions.

I defined a partitioning criteria I called "BIG E vs little e".  A "little e" 
would be a soft error such as the caller asking for a red polyline on a 
monochrome workstation.  A "BIG E" would be hard error such as the 
caller asking for a red polyline on a workstation which is off-line.

Little e's allow the programmer to continue the train of thought 
through the graphics program.  BIG E's force the programmer the 
break the train of thought and deal with an unexpected situation.


sam harbaugh  saharbaugh%ROO.DNET@WINNIE.FIT.EDU       
---------------------

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1991-03-16 14:31 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1991-03-16 14:31 "BIG E vs little e", was pre-condition vs post-condition saharbaugh%roo.dnet

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox