Properties
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Properties.type
Members list
Value members
Concrete fields
AST-children of CALL nodes have an argument index, that is used to match call-site arguments with callee parameters. Explicit parameters are numbered from 1 to N, while index 0 is reserved for implicit self / this parameter. CALLs without implicit parameter therefore have arguments starting with index 1. AST-children of BLOCK nodes may have an argument index as well; in this case, the last argument index determines the return expression of a BLOCK expression. If the PARAMETER_NAME
field is set, then the ARGUMENT_INDEX
field is ignored. It is suggested to set it to -1.
AST-children of CALL nodes have an argument index, that is used to match call-site arguments with callee parameters. Explicit parameters are numbered from 1 to N, while index 0 is reserved for implicit self / this parameter. CALLs without implicit parameter therefore have arguments starting with index 1. AST-children of BLOCK nodes may have an argument index as well; in this case, the last argument index determines the return expression of a BLOCK expression. If the PARAMETER_NAME
field is set, then the ARGUMENT_INDEX
field is ignored. It is suggested to set it to -1.
Attributes
For calls involving named parameters, the ARGUMENT_NAME
field holds the name of the parameter initialized by the expression. For all other calls, this field is unset.
For calls involving named parameters, the ARGUMENT_NAME
field holds the name of the parameter initialized by the expression. For all other calls, this field is unset.
Attributes
This field holds the code snippet that the node represents.
This field holds the code snippet that the node represents.
Attributes
This optional fields provides the column number of the program construct represented by the node.
This optional fields provides the column number of the program construct represented by the node.
Attributes
Type hint for the dynamic type. These are observed to be verifiable at runtime.
Type hint for the dynamic type. These are observed to be verifiable at runtime.
Attributes
This optional field provides the line number of the program construct represented by the node.
This optional field provides the line number of the program construct represented by the node.
Attributes
This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.
This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.
Attributes
Similar to DYNAMIC_TYPE_HINT_FULL_NAME
, but that this makes no guarantee that types within this property are correct. This property is used to capture observations between node interactions during a 'may-analysis'.
Similar to DYNAMIC_TYPE_HINT_FULL_NAME
, but that this makes no guarantee that types within this property are correct. This property is used to capture observations between node interactions during a 'may-analysis'.
Attributes
This field contains the fully-qualified static type name of the program construct represented by a node. It is the name of an instantiated type, e.g., java.util.List<Integer>
, rather than java.util.List[T]
. If the type cannot be determined, this field should be set to the empty string.
This field contains the fully-qualified static type name of the program construct represented by a node. It is the name of an instantiated type, e.g., java.util.List<Integer>
, rather than java.util.List[T]
. If the type cannot be determined, this field should be set to the empty string.