From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e8023133274ae02c X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news3.google.com!news.glorb.com!news.agarik.com!194.2.0.24.MISMATCH!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: procedural vs object oriented Date: Thu, 27 Apr 2006 16:01:41 +0200 Organization: Adalog Message-ID: <3siq2e.3fk.ln@hunter.axlog.fr> References: <1146039364.130635.181590@v46g2000cwv.googlegroups.com> <871wvjh9te.fsf@ludovic-brenta.org> <1xs8jrwjj0dx2$.1ksjkyqyhimw9$.dlg@40tude.net> <1146134530.434869.47230@t31g2000cwb.googlegroups.com> <16tpmi2zjzfmv.x68lm40hqvl8$.dlg@40tude.net> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1146150064 13990 195.25.228.57 (27 Apr 2006 15:01:04 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Thu, 27 Apr 2006 15:01:04 +0000 (UTC) User-Agent: Thunderbird 1.5 (Windows/20051201) In-Reply-To: <16tpmi2zjzfmv.x68lm40hqvl8$.dlg@40tude.net> Xref: g2news2.google.com comp.lang.ada:3957 Date: 2006-04-27T16:01:41+02:00 List-Id: Dmitry A. Kazakov a �crit : > Well, no: > > if Read (File) then > Foo; > else > Bar; > end if; > > The uncertainty of a dispatching call is one of the context, exactly as in > the example above. Provided, that there is nothing uncertain in how > dispatching works or what potential targets do. > Of course, you can assume that every dispatching call is equivalent to a case statement over all possibly redefined primitives. That works well for one level. But if you consider that each called primitive may in turn redispatch internally, you end up with a combinatorial explosion. In theory, yes, the analysis can be performed. In practice, no. -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr