manet:docs:attributes
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
manet:docs:attributes [2015/04/17 17:24] ppinto |
manet:docs:attributes [2019/09/22 15:47] (current) |
||
|---|---|---|---|
| Line 16: | Line 16: | ||
| | ::: | num_args | Integer | The number of arguments of the function call. | | | ::: | num_args | Integer | The number of arguments of the function call. | | ||
| | ::: | ID | String | A string that uniquely identifies the function call inside the program. | | | ::: | ID | String | A string that uniquely identifies the function call inside the program. | | ||
| - | | ::: | return_type | String | A string representation of the return type of the function being called. | | + | | ::: | return_type | String | A string representation of the return type of the function being called, e.g., ''int''. | |
| | declaration | name | String | The name of the variable being declared. | | | declaration | name | String | The name of the variable being declared. | | ||
| | ::: | is_array | Boolean | Whether the declared variable is an array. | | | ::: | is_array | Boolean | Whether the declared variable is an array. | | ||
| Line 26: | Line 26: | ||
| | ::: | is_array_access | Boolean | Whether this expression is an array access. | | | ::: | is_array_access | Boolean | Whether this expression is an array access. | | ||
| | ::: | has_side_effects| Boolean | Whether this expression has side effects. This is true when a unary operator that has side effects is used, e.g., the prefix increment operator. | | | ::: | has_side_effects| Boolean | Whether this expression has side effects. This is true when a unary operator that has side effects is used, e.g., the prefix increment operator. | | ||
| - | | ::: | line | Boolean | The line number where this expression is located in the original source file. | | + | | ::: | line | Integer | The line number where this expression is located in the original source file. | |
| | file | name | String | The name of the file. | | | file | name | String | The name of the file. | | ||
| | function | name | String | The name of the function. | | | function | name | String | The name of the function. | | ||
| - | | ::: | return type | String | A string representation of the return type of the function. | | + | | ::: | return_type | String | A string representation of the return type of the function, e.g., ''int''. | |
| - | | ::: | line | Boolean | The line number where this fucntion is located in the original source file. | | + | | ::: | line | Integer | The line number where this fucntion is located in the original source file. | |
| | if | rank | String | A string that uniquely identifies this //IF// inside the function. For instance, ''1.1'' would mean the selected //IF// is the first //IF// found inside the first of the outermost conditionals. | | | if | rank | String | A string that uniquely identifies this //IF// inside the function. For instance, ''1.1'' would mean the selected //IF// is the first //IF// found inside the first of the outermost conditionals. | | ||
| - | | ::: | is_loop_parent | Boolean | Whether the provided **loop** is the parent of this this if. This attribute expects an arguments which must be a join point of type **loop**. It is called as if it were a function: ''$if.is_loop_parent($loop)''. | | + | | ::: | is_loop_parent | Boolean | Whether the provided **loop** is the parent of this this if. This attribute expects an argument which must be a join point of type **loop**. It is called as if it were a function: ''$if.is_loop_parent($loop)''. | |
| - | | ::: | is_if_parent | Boolean | Whether the provided **if** is the parent of this this if. This attribute expects an arguments which must be a join point of type **if**. It is called as if it were a function: ''$if1.is_if_parent($if2)''. | | + | | ::: | is_if_parent | Boolean | Whether the provided **if** is the parent of this this if. This attribute expects an argument which must be a join point of type **if**. It is called as if it were a function: ''$if1.is_if_parent($if2)''. | |
| | loop | type | enum: {for,while,do-while} | The type of the loop. | | | loop | type | enum: {for,while,do-while} | The type of the loop. | | ||
| | ::: | ID | String | A string that uniquely identifies the function call inside the program. | | | ::: | ID | String | A string that uniquely identifies the function call inside the program. | | ||
| Line 43: | Line 43: | ||
| | ::: | rank | String | A string that uniquely identifies this loop inside the function. For instance, ''1.1'' would mean the selected loop is the first loop found inside the first of the outermost loops. | | | ::: | rank | String | A string that uniquely identifies this loop inside the function. For instance, ''1.1'' would mean the selected loop is the first loop found inside the first of the outermost loops. | | ||
| | ::: | perfect_nest | Boolean | Whether this loop and his inner loops form a perfect loop nest. | | | ::: | perfect_nest | Boolean | Whether this loop and his inner loops form a perfect loop nest. | | ||
| + | | ::: | is_parent | Boolean | Whether the provided **loop** is the parent of this this loop. This attribute expects an argument which must be a join point of type **loop**. It is called as if it were a function: ''$loop1.is_parent($loop2)''. | | ||
| + | | ::: | line | Integer | The line number where this loop is located in the original source file. | | ||
| + | | statement | line | Integer | The line number where this statement is located in the original source file. | | ||
| + | |var |references |enum: {read,write,decl} |The type of variable use. **decl** stands for declaration. | | ||
| + | |::: |scope |enum: {local,global} |Whether this variable was declared globally or in the current function. | | ||
| + | |::: |type |String |A string representation of the type of the variable, e.g., ''int''. | | ||
| + | |::: |is_array |Boolean |Whether this variable is an array. | | ||
| + | |::: |is_pointer |Boolean |Whether this variable is a pointer. | | ||
| + | |::: |is_struct |Boolean |Whether this variable is a struct. | | ||
| + | |::: |name |String |The name of this variable. | | ||
| + | |::: |is_arg |Boolean |Whether this variable use is inside a function call as an argument. | | ||
| + | |::: |in_loop_header |Boolean |Whether this variable use is inside a loop header. | | ||
| + | |::: |is_param |Boolean |Whether this variable use is a parameter definition. | | ||
| + | |::: |is_scalar |Boolean |Whether this variable is scalar. | | ||
| + | |::: |has_init |Boolean |Whether this variable use represents a declaration that has an initializer. | | ||
| + | |::: |is_primitive |Boolean |Whether this variable is not a user-defined type. | | ||
| + | |::: |line |Integer |The line number where this variable use is located in the original source file. | | ||
manet/docs/attributes.1429284255.txt.gz · Last modified: 2019/09/22 15:46 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
