Re: Dynamic Address Clauses??

[daveb@geac.UUCP (David Collier-Brown)]

Regarding the use of:

	procedure P;
	for P use at DYNAMIC;

In article <2817@geac.UUCP> daveb@geac.UUCP (David Collier-Brown) writes:
|| 
||   Well, I can suggest two cases where relocation of procedures which
|| is transparent to the program may be of use:
      ^^^^^^^^^^^

In article <5151@nsc.nsc.com> rfg@nsc.UUCP (Ron Guilmette) writes:
| First, note that the EXPLICIT use of the address clause implies very clearly
| that whatever is happening is not "transparent" to the user's program, but
| rather that the program must actively participate in defining (or using)
| the "effects" which are to occur.

  OOPS!  I used "transparent" ambiguously.
  What I really meant was that the the address to use is marked as
unusual only at one place, and that the **programmer** can regard
its relocation as occurring transparently at runtime.
  This is in contrast to "C", where relocation is done explicitly
and obviously at every reference to or call to the procedure:
	int	(*the_fcn_pointer)();
	...

	the_fcn_pointer = dynamic();
	...
	i = (*the_fcn_pointer)(is,somewhat,visible);

  What I should have said is that it meets modern maintainability
standards, not that it was transparent (save in a trivial sense).


| The question I would now like to pose to the comp.lang.ada readers is this:
| "Should a dynamic address clause for a procedure be considered to be simply
| a DECLARATIVE statement (i.e. the procedure ALREADY resides here) or should
| it be considered to be an EXECUTABLE statement (i.e. PUT the procedure code
| at this location, regardless of where it currently resides)?"

| I have been assuming the latter interpretation.  What do y'all think?

  If it was a simple variable, what would the "use at" clause mean?
Should this be the same for a procedure?  I **think** its
declarative...

 --dave
-- 
 David Collier-Brown.  {mnetor yunexus utgpu}!geac!daveb
 Geac Computers Ltd.,  | "His Majesty made you a major 
 350 Steelcase Road,   |  because he believed you would 
 Markham, Ontario.     |  know when not to obey his orders"