屬性 | type | categorizes the pointer in some respect, using any
convenient set of categories.狀態 | 非必備的 | 資料類型 | | 值 | The type should indicate the intended function of the
pointer, or the rhetorical relationship between its source and
target. |
| evaluate | specifies the intended meaning when the target of a
pointer is itself a pointer.狀態 | 非必備的 | 合法的值是: | - all
- if the element pointed to is itself a pointer, then
the target of that pointer will be taken, and so on, until
an element is found which is not a pointer.
- one
- if the element pointed to is itself a pointer, then
its target (whether a pointer or not) is taken as the target
of this pointer.
- none
- no further evaluation of targets is carried out
beyond that needed to find the element specified in the
pointer's target.
| 註 | If no value is given, the application program is
responsible for deciding (possibly on the basis of user
input) how far to trace a chain of pointers. |
|
|