|
25 | 25 | * types can be short names or fully qualified names (mixing these two options |
26 | 26 | * is not allowed within a single signature). |
27 | 27 | * 6. The `ext` column specifies additional API-graph-like edges. Currently |
28 | | - * there are only two valid values: "" and "Annotated". The empty string has no |
29 | | - * effect. "Annotated" applies if `name` and `signature` were left blank and |
30 | | - * acts by selecting an element that is annotated by the annotation type |
31 | | - * selected by the first 4 columns. This can be another member such as a field |
32 | | - * or method, or a parameter. |
| 28 | + * there is only one valid value: "". |
33 | 29 | * 7. The `input` column specifies how data enters the element selected by the |
34 | 30 | * first 6 columns, and the `output` column specifies how data leaves the |
35 | 31 | * element selected by the first 6 columns. An `input` can be either: |
|
43 | 39 | * - `n1..n2` syntax can be used to indicate a range of arguments, inclusive |
44 | 40 | * at both ends. One or more "*" can be added in front of the range to |
45 | 41 | * indicate indirection on all arguments in the range, for example `*n1..n2`. |
| 42 | + * - "Argument" can be specified without any "[]". In this case, any argument |
| 43 | + * is accepted. |
46 | 44 | * - "ReturnValue": Selects a value being returned by the selected element. |
47 | 45 | * One or more "*" can be added as an argument to indicate indirection, for |
48 | 46 | * example, "ReturnValue[*]" indicates the first indirection of the return |
49 | 47 | * value. |
50 | 48 | * |
51 | 49 | * An `output` can be either: |
52 | | - * - "": Selects a read of a selected field, or a selected parameter. |
| 50 | + * - "": Selects a read of a selected field. |
53 | 51 | * - "Argument[n]": Selects the post-update value of an argument in a call to |
54 | 52 | * the selected element. That is, the value of the argument after the call |
55 | 53 | * returns. The arguments are zero-indexed, and `-1` specifies the qualifier |
|
60 | 58 | * - `n1..n2` syntax can be used to indicate a range of arguments, inclusive |
61 | 59 | * at both ends. One or more "*" can be added in front of the range to |
62 | 60 | * indicate indirection on all arguments in the range, for example `*n1..n2`. |
63 | | - * - "Parameter": Selects the value of a parameter of the selected element. |
| 61 | + * - "Argument" can be specified without any "[]". In this case, any argument |
| 62 | + * is accepted. |
| 63 | + * - "Parameter[n]": Selects the value of a parameter of the selected element. |
64 | 64 | * The syntax is the same as for "Argument", for example "Parameter[0]", |
65 | | - * "Parameter[*0]", "Parameter[0..2]" etc. "Parameter" is also allowed in |
66 | | - * case the selected element is already a parameter itself. |
| 65 | + * "Parameter[*0]", "Parameter[0..2]" etc. |
67 | 66 | * - "ReturnValue": Selects a value being returned by the selected element. |
68 | 67 | * One or more "*" can be added as an argument to indicate indirection, for |
69 | 68 | * example, "ReturnValue[*]" indicates the first indirection of the return |
|
0 commit comments