J3/10-150r1

To: J3
From: Van Snyder/Stan Whitlock
Subject: Intrinsic procedure dummy arguments
Date: 2010 June 16

Discussion
----------

13.7.1p2 says that the descriptions of arguments of intrinsic procedures
describe the actual arguments.  In some cases there are specifications
that are surely intended to apply to those arguments when viewed as dummy
arguments of the procedures, such as the SIZE argument of RANDOM_SEED
being an INTENT(OUT) argument.  Given the specification in 13.7.1p2, this
could be construed to be a severely-restrictive requirement on the actual
argument.

Edits
-----

[13.7.1p2 pg 325]
Before the third sentence, the one beginning "The result
characteristics...," insert a sentence "Where explicitly stated,
additional specifications apply to the dummy arguments."

[13.7.20p3 pg 332]
In the description of the ATOM argument replace "It is an INTENT(OUT)
argument" with "The ATOM dummy argument has the INTENT(OUT) attribute".

In the description of the VALUE argument replace "It is an INTENT(IN)
argument" with "The VALUE dummy argument has the INTENT(IN) attribute".

[13.7.21p3 pg 332]
In the description of the VALUE argument replace "It is an INTENT(OUT)
argument" with "The VALUE dummy argument has the INTENT(OUT) attribute".

In the description of the ATOM argument replace "It is an INTENT(IN)
argument" with "The ATOM dummy argument has the INTENT(IN) attribute".

[13.7.42p3 pg 339]
Replace "It is an INTENT(OUT) argument that" by "It".  At the end of the
paragraph insert a sentence ""The TIME dummy argument has the INTENT(OUT)
attribute."

[13.7.44p3 pg 340]
In the description of the DATE argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The DATE
dummy argument has the INTENT(OUT) attribute."

In the description of the TIME argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The TIME
dummy argument has the INTENT(OUT) attribute."

In the description of the ZONE argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The ZONE
dummy argument has the INTENT(OUT) attribute."

In the description of the VALUES argument delete "It is an INTENT(OUT)
argument." Before "The values returned"  insert the sentence "The VALUES
dummy argument has the INTENT(OUT) attribute."

[13.7.57p3 pg 346]
In the description of the COMMAND argument delete "It is an INTENT(IN)
argument." At the end of the paragraph insert the sentence "The COMMAND
dummy argument has the INTENT(IN) attribute."

In the description of the WAIT argument delete "It is an INTENT(IN)
argument." At the end of the paragraph insert the sentence "The WAIT
dummy argument has the INTENT(IN) attribute."

In the description of the EXITSTAT argument delete "It is an
INTENT(INOUT) argument." At the end of the paragraph insert the sentence
"The EXITSTAT dummy argument has the INTENT(INOUT) attribute."

In the description of the CMDSTAT argument delete "It is an INTENT(OUT)
argument.".   At the end of the paragraph insert the sentence "The
CMDSTAT dummy argument has the INTENT(OUT) attribute."

In the description of the CMDMSG argument delete "It is an INTENT(INOUT)
argument.".  At the end of the paragraph insert the sentence "The CMDMSG
dummy argument has the INTENT(INOUT) attribute."

[13.7.65p3 pg 349]
In the description of the COMMAND argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The COMMAND
dummy argument has the INTENT(OUT) attribute."

In the description of the LENGTH argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The LENGTH
dummy argument has the INTENT(OUT) attribute."

In the description of the STATUS argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The STATUS
dummy argument has the INTENT(OUT) attribute."

[13.7.66p3 pg 350]
In the description of the NUMBER argument delete "It is an INTENT(IN)
argument."  Then combine the first and second paragraphs of the
description.  At the end of the resulting paragraph insert the sentence
"The NUMBER dummy argument has the INTENT(IN) attribute."

In the description of the VALUE argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The VALUE
dummy argument has the INTENT(OUT) attribute."

In the description of the LENGTH argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The LENGTH
dummy argument has the INTENT(OUT) attribute."

In the description of the STATUS argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The STATUS
dummy argument has the INTENT(OUT) attribute."

[13.7.67p3 pg 351]
In the description of the NAME argument replace "It is an INTENT(IN)
argument" by "The NAME dummy argument has the INTENT(IN) attribute".

In the description of the VALUE argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The VALUE
dummy argument has the INTENT(OUT) attribute."

In the description of the LENGTH argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The LENGTH
dummy argument has the INTENT(OUT) attribute."

In the description of the STATUS argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The STATUS
dummy argument has the INTENT(OUT) attribute."

In the description of the TRIM_NAME argument delete "It is an INTENT(IN)
argument." At the end of the paragraph insert the sentence "The TRIM_NAME
dummy argument has the INTENT(IN) attribute."

[13.7.118p3 pg 372]
In the description of the FROM argument replace "It is an INTENT(INOUT)
argument" by "The FROM dummy argument has the INTENT(INOUT) attribute".

In the description of the TO argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The TO dummy
argument has the INTENT(OUT) attribute."

[13.7.119p3 pg 373]
In the description of the FROM argument replace "It is an INTENT(IN)
argument" by "The FROM dummy argument has the INTENT(IN) attribute".

In the description of the FROMPOS argument delete "It is an INTENT(IN)
argument." At the end of the paragraph insert the sentence "The FROMPOS
dummy argument has the INTENT(IN) attribute."

In the description of the LEN argument replace "It is an INTENT(IN)
argument" by "The LEN dummy argument has the INTENT(IN) attribute".

In the description of the TO argument delete "It is an INTENT(INOUT)
argument." At the end of the paragraph insert the sentence "The TO
dummy argument has the INTENT(INOUT) attribute."

In the description of the TOPOS argument delete "It is an INTENT(IN)
argument." At the end of the paragraph insert the sentence "The TOPOS
dummy argument has the INTENT(IN) attribute."

[13.7.135p3 pg 380]
In the description of the HARVEST argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The HARVEST
dummy argument has the INTENT(OUT) attribute."

[13.7.136p3 pg 380]
In the description of the SIZE argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The SIZE
dummy argument has the INTENT(OUT) attribute."

In the description of the PUT argument delete "It is an INTENT(IN)
argument." At the end of the paragraph insert the sentence "The PUT dummy
argument has the INTENT(IN) attribute."

In the description of the GET argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The GET
dummy argument has the INTENT(OUT) attribute."

[13.7.162p3 pg 391]
In the description of the COUNT argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The COUNT
dummy argument has the INTENT(OUT) attribute."

In the description of the COUNT_RATE argument delete "It is an
INTENT(OUT) argument." At the end of the paragraph insert the sentence
"The COUNT_RATE dummy argument has the INTENT(OUT) attribute."

In the description of the COUNT_MAX argument delete "It is an INTENT(OUT)
argument." At the end of the paragraph insert the sentence "The COUNT_MAX
dummy argument has the INTENT(OUT) attribute."