PropertyNames

io.shiftleft.codepropertygraph.generated.nodes.Block.PropertyNames
object PropertyNames

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete fields

val ArgumentIndex: String

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

val ArgumentName: String

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

val Code: String

This field holds the code snippet that the node represents.

This field holds the code snippet that the node represents.

Attributes

val ColumnNumber: String

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

val LineNumber: String

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

val Order: String

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

val PossibleTypes: String

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

val TypeFullName: 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.

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.

Attributes