codepropertygraph-domain-classes
API
Generated with
codepropertygraph-domain-classes/io.shiftleft.codepropertygraph.generated/io.shiftleft.codepropertygraph.generated.nodes

io.shiftleft.codepropertygraph.generated.nodes

package io.shiftleft.codepropertygraph.generated.nodes

Members list

Type members

Classlikes

trait AbstractNode extends DNodeOrNode, StaticType[AnyRef], Product

Attributes

Supertypes
trait Product
trait Equals
trait StaticType[AnyRef]
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Annotation
trait AstNodeBase
trait AstNode
trait CfgNode
trait CallRepr
class Call
trait Expression
class Block
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class JumpTarget
class Method
class MethodReturn
class Comment
class File
class Import
class JumpLabel
class Local
class Member
class Modifier
class Namespace
class TypeArgument
class TypeDecl
trait AstNodeNew
trait CfgNodeNew
trait CallReprNew
class NewCall
class NewBlock
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
class NewMethod
class NewComment
class NewFile
class NewImport
class NewJumpLabel
class NewLocal
class NewMember
class NewModifier
class NewNamespace
class NewTypeDecl
trait CfgNodeBase
trait CallReprBase
trait CallBase
trait BlockBase
trait LiteralBase
trait ReturnBase
trait TypeRefBase
trait UnknownBase
trait MethodBase
trait CommentBase
trait FileBase
trait ImportBase
trait LocalBase
trait MemberBase
trait ModifierBase
trait TypeDeclBase
trait BindingBase
class Binding
class NewBinding
class ConfigFile
trait Declaration
class Dependency
trait FindingBase
class Finding
class NewFinding
class KeyValuePair
trait MetaDataBase
class MetaData
class NewMetaData
class NewNode
class NewTag
class NewType
class StoredNode
class Tag
class TagNodePair
class Type
trait TagBase
trait TypeBase
Show all
object Annotation

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Annotation.type
class Annotation(graph_4762: Graph, seq_4762: Int) extends StoredNode, AnnotationBase, Expression, StaticType[AnnotationEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ FullName (String); Cardinality one (mandatory with default value <empty>); This is the fully-qualified name of an entity, e.g., the fully-qualified name of a method or type. The details of what constitutes a fully-qualified name are language specific. This field SHOULD be human readable.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait AnnotationBase extends AbstractNode, ExpressionBase, StaticType[AnnotationEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Annotation
trait AnnotationEMT extends AnyRef, ExpressionEMT, HasFullNameEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object AnnotationLiteral

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class AnnotationLiteral(graph_4762: Graph, seq_4762: Int) extends StoredNode, AnnotationLiteralBase, Expression, StaticType[AnnotationLiteralEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait AnnotationLiteralBase extends AbstractNode, ExpressionBase, StaticType[AnnotationLiteralEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AnnotationLiteralEMT extends AnyRef, ExpressionEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object AnnotationParameter

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class AnnotationParameter(graph_4762: Graph, seq_4762: Int) extends StoredNode, AnnotationParameterBase, AstNode, StaticType[AnnotationParameterEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object AnnotationParameterAssign

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class AnnotationParameterAssign(graph_4762: Graph, seq_4762: Int) extends StoredNode, AnnotationParameterAssignBase, AstNode, StaticType[AnnotationParameterAssignEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait AnnotationParameterAssignBase extends AbstractNode, AstNodeBase, StaticType[AnnotationParameterAssignEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AnnotationParameterAssignEMT extends AnyRef, AstNodeEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait AnnotationParameterBase extends AbstractNode, AstNodeBase, StaticType[AnnotationParameterEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AnnotationParameterEMT extends AnyRef, AstNodeEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object ArrayInitializer

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class ArrayInitializer(graph_4762: Graph, seq_4762: Int) extends StoredNode, ArrayInitializerBase, Expression, StaticType[ArrayInitializerEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait ArrayInitializerBase extends AbstractNode, ExpressionBase, StaticType[ArrayInitializerEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait ArrayInitializerEMT extends AnyRef, ExpressionEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait AstNode extends StoredNode, AstNodeBase, StaticType[AstNodeEMT]

Attributes

Supertypes
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CfgNode
trait CallRepr
class Call
trait Expression
class Annotation
class Block
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class JumpTarget
class Method
class MethodReturn
class Comment
class File
class Import
class JumpLabel
class Local
class Member
class Modifier
class Namespace
class TypeArgument
class TypeDecl
Show all
trait AstNodeBase extends AbstractNode, StaticType[AstNodeEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AstNode
trait CfgNode
trait CallRepr
class Call
trait Expression
class Annotation
class Block
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class JumpTarget
class Method
class MethodReturn
class Comment
class File
class Import
class JumpLabel
class Local
class Member
class Modifier
class Namespace
class TypeArgument
class TypeDecl
trait AstNodeNew
trait CfgNodeNew
trait CallReprNew
class NewCall
class NewBlock
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
class NewMethod
class NewComment
class NewFile
class NewImport
class NewJumpLabel
class NewLocal
class NewMember
class NewModifier
class NewNamespace
class NewTypeDecl
trait CfgNodeBase
trait CallReprBase
trait CallBase
trait BlockBase
trait LiteralBase
trait ReturnBase
trait TypeRefBase
trait UnknownBase
trait MethodBase
trait CommentBase
trait FileBase
trait ImportBase
trait LocalBase
trait MemberBase
trait ModifierBase
trait TypeDeclBase
Show all
trait AstNodeEMT extends AnyRef, HasCodeEMT, HasColumnNumberEMT, HasLineNumberEMT, HasOffsetEMT, HasOffsetEndEMT, HasOrderEMT

Attributes

Supertypes
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CfgNodeEMT
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
trait CommentEMT
trait FileEMT
trait ImportEMT
trait JumpLabelEMT
trait LocalEMT
trait MemberEMT
trait ModifierEMT
trait NamespaceEMT
trait TypeDeclEMT
Show all
trait AstNodeNew extends NewNode, AstNodeBase, StaticType[AstNodeEMT]

Attributes

Supertypes
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CfgNodeNew
trait CallReprNew
class NewCall
class NewBlock
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
class NewMethod
class NewComment
class NewFile
class NewImport
class NewJumpLabel
class NewLocal
class NewMember
class NewModifier
class NewNamespace
class NewTypeDecl
Show all
object Binding

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Binding.type
class Binding(graph_4762: Graph, seq_4762: Int) extends StoredNode, BindingBase, StaticType[BindingEMT]

â–¸ MethodFullName (String); Cardinality one (mandatory with default value <empty>); The FULL_NAME of a method. Used to link CALL and METHOD nodes. It is required to have exactly one METHOD node for each METHOD_FULL_NAME

  • NODE PROPERTIES:

â–¸ MethodFullName (String); Cardinality one (mandatory with default value <empty>); The FULL_NAME of a method. Used to link CALL and METHOD nodes. It is required to have exactly one METHOD node for each METHOD_FULL_NAME

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Signature (String); Cardinality one (mandatory with default value ``); The method signature encodes the types of parameters in a string. The string SHOULD be human readable and suitable for differentiating methods with different parameter types sufficiently to allow for resolving of function overloading. The present specification does not enforce a strict format for the signature, that is, it can be chosen by the frontend implementor to fit the source language.

Attributes

Companion
object
Supertypes
trait BindingBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait BindingBase extends AbstractNode, StaticType[BindingEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Binding
class NewBinding
trait BindingEMT extends AnyRef, HasMethodFullNameEMT, HasNameEMT, HasSignatureEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
class Object
trait Matchable
class Any
Show all
object Block

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Block.type
class Block(graph_4762: Graph, seq_4762: Int) extends StoredNode, BlockBase, Expression, StaticType[BlockEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait BlockBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait BlockBase extends AbstractNode, ExpressionBase, StaticType[BlockEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Block
class NewBlock
trait BlockEMT extends AnyRef, ExpressionEMT, HasDynamicTypeHintFullNameEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Call

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Call.type
class Call(graph_4762: Graph, seq_4762: Int) extends StoredNode, CallBase, CallRepr, Expression, StaticType[CallEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DispatchType (String); Cardinality one (mandatory with default value <empty>); This field holds the dispatch type of a call, which is either STATIC_DISPATCH or DYNAMIC_DISPATCH. For statically dispatched method calls, the call target is known at compile time while for dynamically dispatched calls, it can only be determined at runtime as it may depend on the type of an object (as is the case for virtual method calls) or calculation of an offset.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ MethodFullName (String); Cardinality one (mandatory with default value <empty>); The FULL_NAME of a method. Used to link CALL and METHOD nodes. It is required to have exactly one METHOD node for each METHOD_FULL_NAME

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ Signature (String); Cardinality one (mandatory with default value ``); The method signature encodes the types of parameters in a string. The string SHOULD be human readable and suitable for differentiating methods with different parameter types sufficiently to allow for resolving of function overloading. The present specification does not enforce a strict format for the signature, that is, it can be chosen by the frontend implementor to fit the source language.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Expression
trait CallRepr
trait CfgNode
trait AstNode
trait CallBase
trait CallReprBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait CallBase extends AbstractNode, CallReprBase, ExpressionBase, StaticType[CallEMT]

Attributes

Supertypes
trait CallReprBase
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Call
class NewCall
trait CallEMT extends AnyRef, CallReprEMT, ExpressionEMT, HasDispatchTypeEMT, HasDynamicTypeHintFullNameEMT, HasMethodFullNameEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CallReprEMT
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait CallRepr extends StoredNode, CallReprBase, CfgNode, StaticType[CallReprEMT]

Attributes

Supertypes
trait CfgNode
trait AstNode
trait CallReprBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Call
trait CallReprBase extends AbstractNode, CfgNodeBase, StaticType[CallReprEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CallBase
class Call
class NewCall
trait CallRepr
trait CallReprNew
trait CallReprEMT extends AnyRef, CfgNodeEMT, HasNameEMT, HasSignatureEMT

Attributes

Supertypes
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CallEMT
trait CallReprNew extends NewNode, CallReprBase, CfgNodeNew, StaticType[CallReprEMT]

Attributes

Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CallReprBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewCall
trait CfgNode extends StoredNode, CfgNodeBase, AstNode, StaticType[CfgNodeEMT]

Attributes

Supertypes
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CallRepr
class Call
trait Expression
class Annotation
class Block
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class JumpTarget
class Method
class MethodReturn
Show all
trait CfgNodeBase extends AbstractNode, AstNodeBase, StaticType[CfgNodeEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CallReprBase
trait CallBase
class Call
class NewCall
trait CallRepr
trait CallReprNew
trait CfgNode
trait Expression
class Annotation
class Block
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class JumpTarget
class Method
class MethodReturn
trait CfgNodeNew
class NewBlock
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
class NewMethod
trait BlockBase
trait LiteralBase
trait ReturnBase
trait TypeRefBase
trait UnknownBase
trait MethodBase
Show all
trait CfgNodeEMT extends AnyRef, AstNodeEMT

Attributes

Supertypes
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
Show all
trait CfgNodeNew extends NewNode, CfgNodeBase, AstNodeNew, StaticType[CfgNodeEMT]

Attributes

Supertypes
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait CallReprNew
class NewCall
class NewBlock
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
class NewMethod
Show all
object ClosureBinding

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class ClosureBinding(graph_4762: Graph, seq_4762: Int) extends StoredNode, ClosureBindingBase, StaticType[ClosureBindingEMT]

â–¸ ClosureBindingId (String); Cardinality ZeroOrOne (optional); Identifier which uniquely describes a CLOSURE_BINDING. This property is used to match captured LOCAL nodes with the corresponding CLOSURE_BINDING nodes

  • NODE PROPERTIES:

â–¸ ClosureBindingId (String); Cardinality ZeroOrOne (optional); Identifier which uniquely describes a CLOSURE_BINDING. This property is used to match captured LOCAL nodes with the corresponding CLOSURE_BINDING nodes

â–¸ ClosureOriginalName (String); Cardinality ZeroOrOne (optional); Deprecated. Create an explict REF edge instead. Formerly the original name of the (potentially mangled) captured variable

â–¸ EvaluationStrategy (String); Cardinality one (mandatory with default value <empty>); For formal method input parameters, output parameters, and return parameters, this field holds the evaluation strategy, which is one of the following: 1) BY_REFERENCE indicates that the parameter is passed by reference, 2) BY_VALUE indicates that it is passed by value, that is, a copy is made, 3) BY_SHARING the parameter is a pointer/reference and it is shared with the caller/callee. While a copy of the pointer is made, a copy of the object that it points to is not made.

Attributes

Companion
object
Supertypes
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait ClosureBindingBase extends AbstractNode, StaticType[ClosureBindingEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait ClosureBindingEMT extends AnyRef, HasClosureBindingIdEMT, HasClosureOriginalNameEMT, HasEvaluationStrategyEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
class Object
trait Matchable
class Any
Show all
object Comment

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Comment.type
class Comment(graph_4762: Graph, seq_4762: Int) extends StoredNode, CommentBase, AstNode, StaticType[CommentEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ Filename (String); Cardinality one (mandatory with default value <empty>); The path of the source file this node was generated from, relative to the root path in the meta data node. This field must be set but may be set to the value <unknown> to indicate that no source file can be associated with the node, e.g., because the node represents an entity known to exist because it is referenced, but for which the file that is is declared in is unknown.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait CommentBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait CommentBase extends AbstractNode, AstNodeBase, StaticType[CommentEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Comment
class NewComment
trait CommentEMT extends AnyRef, AstNodeEMT, HasFilenameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object ConfigFile

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
ConfigFile.type
class ConfigFile(graph_4762: Graph, seq_4762: Int) extends StoredNode, ConfigFileBase, StaticType[ConfigFileEMT]

â–¸ Content (String); Cardinality one (mandatory with default value <empty>); Certain files, e.g., configuration files, may be included in the CPG as-is. For such files, the CONTENT field contains the files content.

  • NODE PROPERTIES:

â–¸ Content (String); Cardinality one (mandatory with default value <empty>); Certain files, e.g., configuration files, may be included in the CPG as-is. For such files, the CONTENT field contains the files content.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

Attributes

Companion
object
Supertypes
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait ConfigFileBase extends AbstractNode, StaticType[ConfigFileEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class ConfigFile
trait ConfigFileEMT extends AnyRef, HasContentEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
class Object
trait Matchable
class Any
object ControlStructure

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class ControlStructure(graph_4762: Graph, seq_4762: Int) extends StoredNode, ControlStructureBase, Expression, StaticType[ControlStructureEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ ControlStructureType (String); Cardinality one (mandatory with default value <empty>); The CONTROL_STRUCTURE_TYPE field indicates which kind of control structure a CONTROL_STRUCTURE node represents. The available types are the following: BREAK, CONTINUE, DO, WHILE, FOR, GOTO, IF, ELSE, TRY, THROW and SWITCH.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ ParserTypeName (String); Cardinality one (mandatory with default value <empty>); AST node type name emitted by parser.

Attributes

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait ControlStructureBase extends AbstractNode, ExpressionBase, StaticType[ControlStructureEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait ControlStructureEMT extends AnyRef, ExpressionEMT, HasControlStructureTypeEMT, HasParserTypeNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait Declaration extends StoredNode, DeclarationBase, StaticType[DeclarationEMT]

Attributes

Supertypes
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Local
class Member
class Method
trait DeclarationBase extends AbstractNode, StaticType[DeclarationEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Declaration
class Local
class Member
class Method
class NewLocal
class NewMember
class NewMethod
trait LocalBase
trait MemberBase
trait MethodBase
Show all
trait DeclarationEMT extends AnyRef, HasNameEMT

Attributes

Supertypes
trait HasNameEMT
class Object
trait Matchable
class Any
Known subtypes
trait LocalEMT
trait MemberEMT
trait MethodEMT
trait DeclarationNew extends NewNode, DeclarationBase, StaticType[DeclarationEMT]

Attributes

Supertypes
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewLocal
class NewMember
class NewMethod
object Dependency

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Dependency.type
class Dependency(graph_4762: Graph, seq_4762: Int) extends StoredNode, DependencyBase, StaticType[DependencyEMT]

â–¸ DependencyGroupId (String); Cardinality ZeroOrOne (optional); The group ID for a dependency

  • NODE PROPERTIES:

â–¸ DependencyGroupId (String); Cardinality ZeroOrOne (optional); The group ID for a dependency

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Version (String); Cardinality one (mandatory with default value <empty>); A version, given as a string. Used, for example, in the META_DATA node to indicate which version of the CPG spec this CPG conforms to

Attributes

Companion
object
Supertypes
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait DependencyBase extends AbstractNode, StaticType[DependencyEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Dependency
trait DependencyEMT extends AnyRef, HasDependencyGroupIdEMT, HasNameEMT, HasVersionEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
class Object
trait Matchable
class Any
Show all
trait Expression extends StoredNode, ExpressionBase, CfgNode, StaticType[ExpressionEMT]

Attributes

Supertypes
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Annotation
class Block
class Call
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
Show all
trait ExpressionBase extends AbstractNode, CfgNodeBase, StaticType[ExpressionEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Annotation
trait BlockBase
class Block
class NewBlock
trait CallBase
class Call
class NewCall
trait Expression
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
trait LiteralBase
trait ReturnBase
trait TypeRefBase
trait UnknownBase
Show all
trait ExpressionEMT extends AnyRef, CfgNodeEMT, HasArgumentIndexEMT, HasArgumentNameEMT

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
Known subtypes
trait BlockEMT
trait CallEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
Show all
trait ExpressionNew extends NewNode, ExpressionBase, AstNodeNew, CfgNodeNew, StaticType[ExpressionEMT]

Attributes

Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewBlock
class NewCall
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
Show all
object FieldIdentifier

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class FieldIdentifier(graph_4762: Graph, seq_4762: Int) extends StoredNode, FieldIdentifierBase, Expression, StaticType[FieldIdentifierEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ CanonicalName (String); Cardinality one (mandatory with default value <empty>); This field holds the canonical name of a FIELD_IDENTIFIER. It is typically identical to the CODE field, but canonicalized according to source language semantics. Human readable names are preferable. FIELD_IDENTIFIER nodes must share identical CANONICAL_NAME if and only if they alias, e.g., in C-style unions (if the aliasing relationship is unknown or there are partial overlaps, then one must make a reasonable guess, and trade off between false negatives and false positives).

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait FieldIdentifierBase extends AbstractNode, ExpressionBase, StaticType[FieldIdentifierEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait FieldIdentifierEMT extends AnyRef, ExpressionEMT, HasCanonicalNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object File

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
File.type
class File(graph_4762: Graph, seq_4762: Int) extends StoredNode, FileBase, AstNode, StaticType[FileEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ Content (String); Cardinality one (mandatory with default value <empty>); Certain files, e.g., configuration files, may be included in the CPG as-is. For such files, the CONTENT field contains the files content.

â–¸ Hash (String); Cardinality ZeroOrOne (optional); This property contains a hash value in the form of a string. Hashes can be used to summarize data, e.g., to summarize the contents of source files or sub graphs. Such summaries are useful to determine whether code has already been analyzed in incremental analysis pipelines. This property is optional to allow its calculation to be deferred or skipped if the hash is not needed.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait FileBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait FileBase extends AbstractNode, AstNodeBase, StaticType[FileEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class File
class NewFile
trait FileEMT extends AnyRef, AstNodeEMT, HasContentEMT, HasHashEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait HasHashEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Finding

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Finding.type
class Finding(graph_4762: Graph, seq_4762: Int) extends StoredNode, FindingBase, StaticType[FindingEMT]

â–¸ EvidenceDescription (String); Cardinality List (many); Optional description for nodes in evidence. Used to give a hint about the kind of evidence provided by a node. The evidence description and evidence nodes are associated by index.

  • NODE PROPERTIES:

â–¸ EvidenceDescription (String); Cardinality List (many); Optional description for nodes in evidence. Used to give a hint about the kind of evidence provided by a node. The evidence description and evidence nodes are associated by index.

CONTAINED NODES:

â–¸ evidence (Anynode); Cardinality List (many)

â–¸ keyValuePairs (KeyValuePair); Cardinality List (many)

Attributes

Companion
object
Supertypes
trait FindingBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait FindingBase extends AbstractNode, StaticType[FindingEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Finding
class NewFinding
trait FindingEMT extends AnyRef, HasEvidenceDescriptionEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
class Object
trait Matchable
class Any
trait HasAliasTypeFullNameEMT

Node types with this marker trait are guaranteed to have the ALIAS_TYPE_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the ALIAS_TYPE_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TypeDeclEMT
trait HasArgumentIndexEMT

Node types with this marker trait are guaranteed to have the ARGUMENT_INDEX property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the ARGUMENT_INDEX property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BlockEMT
trait CallEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
Show all
trait HasArgumentNameEMT

Node types with this marker trait are guaranteed to have the ARGUMENT_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the ARGUMENT_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BlockEMT
trait CallEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
Show all
trait HasAstParentFullNameEMT

Node types with this marker trait are guaranteed to have the AST_PARENT_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the AST_PARENT_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MemberEMT
trait MethodEMT
trait TypeDeclEMT
trait HasAstParentTypeEMT

Node types with this marker trait are guaranteed to have the AST_PARENT_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the AST_PARENT_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MemberEMT
trait MethodEMT
trait TypeDeclEMT
trait HasCanonicalNameEMT

Node types with this marker trait are guaranteed to have the CANONICAL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the CANONICAL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasClosureBindingIdEMT

Node types with this marker trait are guaranteed to have the CLOSURE_BINDING_ID property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the CLOSURE_BINDING_ID property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait LocalEMT
trait HasClosureOriginalNameEMT

Node types with this marker trait are guaranteed to have the CLOSURE_ORIGINAL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the CLOSURE_ORIGINAL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasCodeEMT

Node types with this marker trait are guaranteed to have the CODE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the CODE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AstNodeEMT
trait CfgNodeEMT
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
trait CommentEMT
trait FileEMT
trait ImportEMT
trait JumpLabelEMT
trait LocalEMT
trait MemberEMT
trait ModifierEMT
trait NamespaceEMT
trait TypeDeclEMT
Show all
trait HasColumnNumberEMT

Node types with this marker trait are guaranteed to have the COLUMN_NUMBER property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the COLUMN_NUMBER property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AstNodeEMT
trait CfgNodeEMT
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
trait CommentEMT
trait FileEMT
trait ImportEMT
trait JumpLabelEMT
trait LocalEMT
trait MemberEMT
trait ModifierEMT
trait NamespaceEMT
trait TypeDeclEMT
Show all
trait HasColumnNumberEndEMT

Node types with this marker trait are guaranteed to have the COLUMN_NUMBER_END property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the COLUMN_NUMBER_END property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MethodEMT
trait HasContainedRefEMT

Node types with this marker trait are guaranteed to have the CONTAINED_REF property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the CONTAINED_REF property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait UnknownEMT
trait HasContentEMT

Node types with this marker trait are guaranteed to have the CONTENT property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the CONTENT property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait FileEMT
trait HasControlStructureTypeEMT

Node types with this marker trait are guaranteed to have the CONTROL_STRUCTURE_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the CONTROL_STRUCTURE_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasDependencyGroupIdEMT

Node types with this marker trait are guaranteed to have the DEPENDENCY_GROUP_ID property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the DEPENDENCY_GROUP_ID property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasDispatchTypeEMT

Node types with this marker trait are guaranteed to have the DISPATCH_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the DISPATCH_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait CallEMT
trait HasDynamicTypeHintFullNameEMT

Node types with this marker trait are guaranteed to have the DYNAMIC_TYPE_HINT_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the DYNAMIC_TYPE_HINT_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BlockEMT
trait CallEMT
trait LiteralEMT
trait LocalEMT
trait MemberEMT
trait MethodRefEMT
trait TypeRefEMT
trait UnknownEMT
Show all
trait HasEvaluationStrategyEMT

Node types with this marker trait are guaranteed to have the EVALUATION_STRATEGY property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the EVALUATION_STRATEGY property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasEvidenceDescriptionEMT

Node types with this marker trait are guaranteed to have the EVIDENCE_DESCRIPTION property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the EVIDENCE_DESCRIPTION property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait FindingEMT
trait HasExplicitAsEMT

Node types with this marker trait are guaranteed to have the EXPLICIT_AS property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the EXPLICIT_AS property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ImportEMT
trait HasFilenameEMT

Node types with this marker trait are guaranteed to have the FILENAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the FILENAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait CommentEMT
trait MethodEMT
trait TypeDeclEMT
trait HasFullNameEMT

Node types with this marker trait are guaranteed to have the FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MethodEMT
trait TypeDeclEMT
trait TypeEMT
trait HasGenericSignatureEMT

Node types with this marker trait are guaranteed to have the GENERIC_SIGNATURE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the GENERIC_SIGNATURE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait LocalEMT
trait MemberEMT
trait MethodEMT
trait TypeDeclEMT
trait HasHashEMT

Node types with this marker trait are guaranteed to have the HASH property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the HASH property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait FileEMT
trait MetaDataEMT
trait MethodEMT
trait HasImportedAsEMT

Node types with this marker trait are guaranteed to have the IMPORTED_AS property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the IMPORTED_AS property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ImportEMT
trait HasImportedEntityEMT

Node types with this marker trait are guaranteed to have the IMPORTED_ENTITY property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the IMPORTED_ENTITY property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ImportEMT
trait HasIndexEMT

Node types with this marker trait are guaranteed to have the INDEX property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the INDEX property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasInheritsFromTypeFullNameEMT

Node types with this marker trait are guaranteed to have the INHERITS_FROM_TYPE_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the INHERITS_FROM_TYPE_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TypeDeclEMT
trait HasIsExplicitEMT

Node types with this marker trait are guaranteed to have the IS_EXPLICIT property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the IS_EXPLICIT property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ImportEMT
trait HasIsExternalEMT

Node types with this marker trait are guaranteed to have the IS_EXTERNAL property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the IS_EXTERNAL property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MethodEMT
trait TypeDeclEMT
trait HasIsVariadicEMT

Node types with this marker trait are guaranteed to have the IS_VARIADIC property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the IS_VARIADIC property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasIsWildcardEMT

Node types with this marker trait are guaranteed to have the IS_WILDCARD property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the IS_WILDCARD property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ImportEMT
trait HasKeyEMT

Node types with this marker trait are guaranteed to have the KEY property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the KEY property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait HasLanguageEMT

Node types with this marker trait are guaranteed to have the LANGUAGE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the LANGUAGE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MetaDataEMT
trait HasLineNumberEMT

Node types with this marker trait are guaranteed to have the LINE_NUMBER property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the LINE_NUMBER property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AstNodeEMT
trait CfgNodeEMT
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
trait CommentEMT
trait FileEMT
trait ImportEMT
trait JumpLabelEMT
trait LocalEMT
trait MemberEMT
trait ModifierEMT
trait NamespaceEMT
trait TypeDeclEMT
Show all
trait HasLineNumberEndEMT

Node types with this marker trait are guaranteed to have the LINE_NUMBER_END property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the LINE_NUMBER_END property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MethodEMT
trait HasMethodFullNameEMT

Node types with this marker trait are guaranteed to have the METHOD_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the METHOD_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BindingEMT
trait CallEMT
trait MethodRefEMT
trait HasModifierTypeEMT

Node types with this marker trait are guaranteed to have the MODIFIER_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the MODIFIER_TYPE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ModifierEMT
trait HasNameEMT

Node types with this marker trait are guaranteed to have the NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BindingEMT
trait CallReprEMT
trait CallEMT
trait LocalEMT
trait MemberEMT
trait MethodEMT
trait FileEMT
trait JumpLabelEMT
trait NamespaceEMT
trait TagEMT
trait TypeDeclEMT
trait TypeEMT
Show all
trait HasOffsetEMT

Node types with this marker trait are guaranteed to have the OFFSET property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the OFFSET property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AstNodeEMT
trait CfgNodeEMT
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
trait CommentEMT
trait FileEMT
trait ImportEMT
trait JumpLabelEMT
trait LocalEMT
trait MemberEMT
trait ModifierEMT
trait NamespaceEMT
trait TypeDeclEMT
Show all
trait HasOffsetEndEMT

Node types with this marker trait are guaranteed to have the OFFSET_END property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the OFFSET_END property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AstNodeEMT
trait CfgNodeEMT
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
trait CommentEMT
trait FileEMT
trait ImportEMT
trait JumpLabelEMT
trait LocalEMT
trait MemberEMT
trait ModifierEMT
trait NamespaceEMT
trait TypeDeclEMT
Show all
trait HasOrderEMT

Node types with this marker trait are guaranteed to have the ORDER property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the ORDER property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AstNodeEMT
trait CfgNodeEMT
trait CallReprEMT
trait CallEMT
trait BlockEMT
trait LiteralEMT
trait MethodRefEMT
trait ReturnEMT
trait TypeRefEMT
trait UnknownEMT
trait MethodEMT
trait CommentEMT
trait FileEMT
trait ImportEMT
trait JumpLabelEMT
trait LocalEMT
trait MemberEMT
trait ModifierEMT
trait NamespaceEMT
trait TypeDeclEMT
Show all
trait HasOverlaysEMT

Node types with this marker trait are guaranteed to have the OVERLAYS property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the OVERLAYS property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MetaDataEMT
trait HasParserTypeNameEMT

Node types with this marker trait are guaranteed to have the PARSER_TYPE_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the PARSER_TYPE_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait JumpLabelEMT
trait UnknownEMT
trait HasPossibleTypesEMT

Node types with this marker trait are guaranteed to have the POSSIBLE_TYPES property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the POSSIBLE_TYPES property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BlockEMT
trait CallEMT
trait LiteralEMT
trait LocalEMT
trait MemberEMT
trait MethodRefEMT
trait TypeRefEMT
trait UnknownEMT
Show all
trait HasRootEMT

Node types with this marker trait are guaranteed to have the ROOT property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the ROOT property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MetaDataEMT
trait HasSignatureEMT

Node types with this marker trait are guaranteed to have the SIGNATURE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the SIGNATURE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BindingEMT
trait CallReprEMT
trait CallEMT
trait MethodEMT
trait HasTypeDeclFullNameEMT

Node types with this marker trait are guaranteed to have the TYPE_DECL_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the TYPE_DECL_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TypeEMT
trait HasTypeFullNameEMT

Node types with this marker trait are guaranteed to have the TYPE_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the TYPE_FULL_NAME property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BlockEMT
trait CallEMT
trait LiteralEMT
trait LocalEMT
trait MemberEMT
trait MethodRefEMT
trait TypeRefEMT
trait UnknownEMT
Show all
trait HasValueEMT

Node types with this marker trait are guaranteed to have the VALUE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the VALUE property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TagEMT
trait HasVersionEMT

Node types with this marker trait are guaranteed to have the VERSION property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Node types with this marker trait are guaranteed to have the VERSION property. EMT stands for: "erased marker trait", it exists only at compile time in order to improve type safety.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MetaDataEMT
object Identifier

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Identifier.type
class Identifier(graph_4762: Graph, seq_4762: Int) extends StoredNode, IdentifierBase, Expression, StaticType[IdentifierEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait IdentifierBase extends AbstractNode, ExpressionBase, StaticType[IdentifierEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Identifier
trait IdentifierEMT extends AnyRef, ExpressionEMT, HasDynamicTypeHintFullNameEMT, HasNameEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Import

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Import.type
class Import(graph_4762: Graph, seq_4762: Int) extends StoredNode, ImportBase, AstNode, StaticType[ImportEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ ExplicitAs (Boolean); Cardinality ZeroOrOne (optional); Specifies whether the IMPORTED_AS property was explicitly present in the code. For languages like Java which do not allow a renaming during import this is always false. For e.g. Kotlin it depends on the existence of the "as" keyword.

â–¸ ImportedAs (String); Cardinality ZeroOrOne (optional); The identifier under which the import can be accessed in the importing context. For a Java import this is always identical to the class name. But e.g. for a Kotlin import like "import java.nio.ByteBuffer as BBuffer" this would be "BBuffer". This property is ignored if IS_WILDCARD is true.

â–¸ ImportedEntity (String); Cardinality ZeroOrOne (optional); The identifying string of the imported entity. For a Java import like "import java.nio.ByteBuffer;" this would be "java.nio.ByteBuffer".

â–¸ IsExplicit (Boolean); Cardinality ZeroOrOne (optional); Specifies whether this is an explicit import. Most languages have implicit default imports of some standard library elements and this flag is used to distinguish those from explicit imports found in the code base.

â–¸ IsWildcard (Boolean); Cardinality ZeroOrOne (optional); Specifies whether this is a wildcard import. For a Java import like "import java.nio.*;" IS_WILDCARD would be "true" and IMPORTED_ENTITY would be "java.nio". For wildcard imports the IMPORTED_AS property is ignored.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait ImportBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait ImportBase extends AbstractNode, AstNodeBase, StaticType[ImportEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Import
class NewImport
trait ImportEMT extends AnyRef, AstNodeEMT, HasExplicitAsEMT, HasImportedAsEMT, HasImportedEntityEMT, HasIsExplicitEMT, HasIsWildcardEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object JumpLabel

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
JumpLabel.type
class JumpLabel(graph_4762: Graph, seq_4762: Int) extends StoredNode, JumpLabelBase, AstNode, StaticType[JumpLabelEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ ParserTypeName (String); Cardinality one (mandatory with default value <empty>); AST node type name emitted by parser.

Attributes

Companion
object
Supertypes
trait AstNode
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait JumpLabelBase extends AbstractNode, AstNodeBase, StaticType[JumpLabelEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class JumpLabel
class NewJumpLabel
trait JumpLabelEMT extends AnyRef, AstNodeEMT, HasNameEMT, HasParserTypeNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object JumpTarget

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
JumpTarget.type
class JumpTarget(graph_4762: Graph, seq_4762: Int) extends StoredNode, JumpTargetBase, CfgNode, StaticType[JumpTargetEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ ParserTypeName (String); Cardinality one (mandatory with default value <empty>); AST node type name emitted by parser.

Attributes

Companion
object
Supertypes
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait JumpTargetBase extends AbstractNode, CfgNodeBase, StaticType[JumpTargetEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class JumpTarget
trait JumpTargetEMT extends AnyRef, CfgNodeEMT, HasArgumentIndexEMT, HasNameEMT, HasParserTypeNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object KeyValuePair

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class KeyValuePair(graph_4762: Graph, seq_4762: Int) extends StoredNode, KeyValuePairBase, StaticType[KeyValuePairEMT]

â–¸ Key (String); Cardinality one (mandatory with default value <empty>); This property denotes a key of a key-value pair.

  • NODE PROPERTIES:

â–¸ Key (String); Cardinality one (mandatory with default value <empty>); This property denotes a key of a key-value pair.

â–¸ Value (String); Cardinality one (mandatory with default value ``); This property denotes a string value as used in a key-value pair.

Attributes

Companion
object
Supertypes
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait KeyValuePairBase extends AbstractNode, StaticType[KeyValuePairEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class KeyValuePair
trait KeyValuePairEMT extends AnyRef, HasKeyEMT, HasValueEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasValueEMT
trait HasKeyEMT
class Object
trait Matchable
class Any
object Literal

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Literal.type
class Literal(graph_4762: Graph, seq_4762: Int) extends StoredNode, LiteralBase, Expression, StaticType[LiteralEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait LiteralBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait LiteralBase extends AbstractNode, ExpressionBase, StaticType[LiteralEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Literal
class NewLiteral
trait LiteralEMT extends AnyRef, ExpressionEMT, HasDynamicTypeHintFullNameEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Local

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Local.type
class Local(graph_4762: Graph, seq_4762: Int) extends StoredNode, LocalBase, AstNode, Declaration, StaticType[LocalEMT]

â–¸ ClosureBindingId (String); Cardinality ZeroOrOne (optional); Identifier which uniquely describes a CLOSURE_BINDING. This property is used to match captured LOCAL nodes with the corresponding CLOSURE_BINDING nodes

  • NODE PROPERTIES:

â–¸ ClosureBindingId (String); Cardinality ZeroOrOne (optional); Identifier which uniquely describes a CLOSURE_BINDING. This property is used to match captured LOCAL nodes with the corresponding CLOSURE_BINDING nodes

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ GenericSignature (String); Cardinality one (mandatory with default value <empty>); This field is experimental. It will likely be removed in the future without any notice. It stores type information for generic types and methods as well as type information for members and locals where the type either contains a type parameter reference or an instantiated type reference.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Declaration
trait AstNode
trait LocalBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait LocalBase extends AbstractNode, AstNodeBase, DeclarationBase, StaticType[LocalEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Local
class NewLocal
trait LocalEMT extends AnyRef, AstNodeEMT, DeclarationEMT, HasClosureBindingIdEMT, HasDynamicTypeHintFullNameEMT, HasGenericSignatureEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Member

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Member.type
class Member(graph_4762: Graph, seq_4762: Int) extends StoredNode, MemberBase, AstNode, Declaration, StaticType[MemberEMT]

â–¸ AstParentFullName (String); Cardinality one (mandatory with default value <empty>); This field holds the FULL_NAME of the AST parent of an entity.

  • NODE PROPERTIES:

â–¸ AstParentFullName (String); Cardinality one (mandatory with default value <empty>); This field holds the FULL_NAME of the AST parent of an entity.

â–¸ AstParentType (String); Cardinality one (mandatory with default value <empty>); The type of the AST parent. Since this is only used in some parts of the graph, the list does not include all possible parents by intention. Possible parents: METHOD, TYPE_DECL, NAMESPACE_BLOCK.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ GenericSignature (String); Cardinality one (mandatory with default value <empty>); This field is experimental. It will likely be removed in the future without any notice. It stores type information for generic types and methods as well as type information for members and locals where the type either contains a type parameter reference or an instantiated type reference.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Declaration
trait AstNode
trait MemberBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait MemberBase extends AbstractNode, AstNodeBase, DeclarationBase, StaticType[MemberEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Member
class NewMember
trait MemberEMT extends AnyRef, AstNodeEMT, DeclarationEMT, HasAstParentFullNameEMT, HasAstParentTypeEMT, HasDynamicTypeHintFullNameEMT, HasGenericSignatureEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object MetaData

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
MetaData.type
class MetaData(graph_4762: Graph, seq_4762: Int) extends StoredNode, MetaDataBase, StaticType[MetaDataEMT]

â–¸ Hash (String); Cardinality ZeroOrOne (optional); This property contains a hash value in the form of a string. Hashes can be used to summarize data, e.g., to summarize the contents of source files or sub graphs. Such summaries are useful to determine whether code has already been analyzed in incremental analysis pipelines. This property is optional to allow its calculation to be deferred or skipped if the hash is not needed.

  • NODE PROPERTIES:

â–¸ Hash (String); Cardinality ZeroOrOne (optional); This property contains a hash value in the form of a string. Hashes can be used to summarize data, e.g., to summarize the contents of source files or sub graphs. Such summaries are useful to determine whether code has already been analyzed in incremental analysis pipelines. This property is optional to allow its calculation to be deferred or skipped if the hash is not needed.

â–¸ Language (String); Cardinality one (mandatory with default value <empty>); This field indicates which CPG language frontend generated the CPG. Frontend developers may freely choose a value that describes their frontend so long as it is not used by an existing frontend. Reserved values are to date: C, LLVM, GHIDRA, PHP.

â–¸ Overlays (String); Cardinality List (many); The field contains the names of the overlays applied to this CPG, in order of their application. Names are free-form strings, that is, this specification does not dictate them but rather requires tool producers and consumers to communicate them between each other.

â–¸ Root (String); Cardinality one (mandatory with default value <empty>); The path to the root directory of the source/binary this CPG is generated from.

â–¸ Version (String); Cardinality one (mandatory with default value <empty>); A version, given as a string. Used, for example, in the META_DATA node to indicate which version of the CPG spec this CPG conforms to

Attributes

Companion
object
Supertypes
trait MetaDataBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait MetaDataBase extends AbstractNode, StaticType[MetaDataEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class MetaData
class NewMetaData
trait MetaDataEMT extends AnyRef, HasHashEMT, HasLanguageEMT, HasOverlaysEMT, HasRootEMT, HasVersionEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasRootEMT
trait HasHashEMT
class Object
trait Matchable
class Any
Show all
object Method

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Method.type
class Method(graph_4762: Graph, seq_4762: Int) extends StoredNode, MethodBase, CfgNode, Declaration, StaticType[MethodEMT]

â–¸ AstParentFullName (String); Cardinality one (mandatory with default value <empty>); This field holds the FULL_NAME of the AST parent of an entity.

  • NODE PROPERTIES:

â–¸ AstParentFullName (String); Cardinality one (mandatory with default value <empty>); This field holds the FULL_NAME of the AST parent of an entity.

â–¸ AstParentType (String); Cardinality one (mandatory with default value <empty>); The type of the AST parent. Since this is only used in some parts of the graph, the list does not include all possible parents by intention. Possible parents: METHOD, TYPE_DECL, NAMESPACE_BLOCK.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ ColumnNumberEnd (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number at which the program construct represented by the node ends.

â–¸ Filename (String); Cardinality one (mandatory with default value <empty>); The path of the source file this node was generated from, relative to the root path in the meta data node. This field must be set but may be set to the value <unknown> to indicate that no source file can be associated with the node, e.g., because the node represents an entity known to exist because it is referenced, but for which the file that is is declared in is unknown.

â–¸ FullName (String); Cardinality one (mandatory with default value <empty>); This is the fully-qualified name of an entity, e.g., the fully-qualified name of a method or type. The details of what constitutes a fully-qualified name are language specific. This field SHOULD be human readable.

â–¸ GenericSignature (String); Cardinality one (mandatory with default value <empty>); This field is experimental. It will likely be removed in the future without any notice. It stores type information for generic types and methods as well as type information for members and locals where the type either contains a type parameter reference or an instantiated type reference.

â–¸ Hash (String); Cardinality ZeroOrOne (optional); This property contains a hash value in the form of a string. Hashes can be used to summarize data, e.g., to summarize the contents of source files or sub graphs. Such summaries are useful to determine whether code has already been analyzed in incremental analysis pipelines. This property is optional to allow its calculation to be deferred or skipped if the hash is not needed.

â–¸ IsExternal (Boolean); Cardinality one (mandatory with default value false); Indicates that the construct (METHOD or TYPE_DECL) is external, that is, it is referenced but not defined in the code (applies both to insular parsing and to library functions where we have header files only)

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ LineNumberEnd (Int); Cardinality ZeroOrOne (optional); This optional fields provides the line number at which the program construct represented by the node ends.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ Signature (String); Cardinality one (mandatory with default value ``); The method signature encodes the types of parameters in a string. The string SHOULD be human readable and suitable for differentiating methods with different parameter types sufficiently to allow for resolving of function overloading. The present specification does not enforce a strict format for the signature, that is, it can be chosen by the frontend implementor to fit the source language.

Attributes

Companion
object
Supertypes
trait Declaration
trait CfgNode
trait AstNode
trait MethodBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait MethodBase extends AbstractNode, CfgNodeBase, DeclarationBase, StaticType[MethodEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Method
class NewMethod
trait MethodEMT extends AnyRef, CfgNodeEMT, DeclarationEMT, HasAstParentFullNameEMT, HasAstParentTypeEMT, HasColumnNumberEndEMT, HasFilenameEMT, HasFullNameEMT, HasGenericSignatureEMT, HasHashEMT, HasIsExternalEMT, HasLineNumberEndEMT, HasSignatureEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasHashEMT
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object MethodParameterIn

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class MethodParameterIn(graph_4762: Graph, seq_4762: Int) extends StoredNode, MethodParameterInBase, CfgNode, Declaration, StaticType[MethodParameterInEMT]

â–¸ ClosureBindingId (String); Cardinality ZeroOrOne (optional); Identifier which uniquely describes a CLOSURE_BINDING. This property is used to match captured LOCAL nodes with the corresponding CLOSURE_BINDING nodes

  • NODE PROPERTIES:

â–¸ ClosureBindingId (String); Cardinality ZeroOrOne (optional); Identifier which uniquely describes a CLOSURE_BINDING. This property is used to match captured LOCAL nodes with the corresponding CLOSURE_BINDING nodes

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ EvaluationStrategy (String); Cardinality one (mandatory with default value <empty>); For formal method input parameters, output parameters, and return parameters, this field holds the evaluation strategy, which is one of the following: 1) BY_REFERENCE indicates that the parameter is passed by reference, 2) BY_VALUE indicates that it is passed by value, that is, a copy is made, 3) BY_SHARING the parameter is a pointer/reference and it is shared with the caller/callee. While a copy of the pointer is made, a copy of the object that it points to is not made.

â–¸ Index (Int); Cardinality one (mandatory with default value -1); Specifies an index, e.g., for a parameter or argument. Explicit parameters are numbered from 1 to N, while index 0 is reserved for implicit self / this parameter.

â–¸ IsVariadic (Boolean); Cardinality one (mandatory with default value false); Specifies whether a parameter is the variadic argument handling parameter of a variadic method. Only one parameter of a method is allowed to have this property set to true.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Declaration
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait MethodParameterInBase extends AbstractNode, CfgNodeBase, DeclarationBase, StaticType[MethodParameterInEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait MethodParameterInEMT extends AnyRef, CfgNodeEMT, DeclarationEMT, HasClosureBindingIdEMT, HasDynamicTypeHintFullNameEMT, HasEvaluationStrategyEMT, HasIndexEMT, HasIsVariadicEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasIndexEMT
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object MethodParameterOut

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class MethodParameterOut(graph_4762: Graph, seq_4762: Int) extends StoredNode, MethodParameterOutBase, CfgNode, Declaration, StaticType[MethodParameterOutEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ EvaluationStrategy (String); Cardinality one (mandatory with default value <empty>); For formal method input parameters, output parameters, and return parameters, this field holds the evaluation strategy, which is one of the following: 1) BY_REFERENCE indicates that the parameter is passed by reference, 2) BY_VALUE indicates that it is passed by value, that is, a copy is made, 3) BY_SHARING the parameter is a pointer/reference and it is shared with the caller/callee. While a copy of the pointer is made, a copy of the object that it points to is not made.

â–¸ Index (Int); Cardinality one (mandatory with default value -1); Specifies an index, e.g., for a parameter or argument. Explicit parameters are numbered from 1 to N, while index 0 is reserved for implicit self / this parameter.

â–¸ IsVariadic (Boolean); Cardinality one (mandatory with default value false); Specifies whether a parameter is the variadic argument handling parameter of a variadic method. Only one parameter of a method is allowed to have this property set to true.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Declaration
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait MethodParameterOutBase extends AbstractNode, CfgNodeBase, DeclarationBase, StaticType[MethodParameterOutEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait MethodParameterOutEMT extends AnyRef, CfgNodeEMT, DeclarationEMT, HasEvaluationStrategyEMT, HasIndexEMT, HasIsVariadicEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasIndexEMT
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object MethodRef

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
MethodRef.type
class MethodRef(graph_4762: Graph, seq_4762: Int) extends StoredNode, MethodRefBase, Expression, StaticType[MethodRefEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ MethodFullName (String); Cardinality one (mandatory with default value <empty>); The FULL_NAME of a method. Used to link CALL and METHOD nodes. It is required to have exactly one METHOD node for each METHOD_FULL_NAME

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait MethodRefBase extends AbstractNode, ExpressionBase, StaticType[MethodRefEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class MethodRef
class NewMethodRef
trait MethodRefEMT extends AnyRef, ExpressionEMT, HasDynamicTypeHintFullNameEMT, HasMethodFullNameEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object MethodReturn

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class MethodReturn(graph_4762: Graph, seq_4762: Int) extends StoredNode, MethodReturnBase, CfgNode, StaticType[MethodReturnEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ EvaluationStrategy (String); Cardinality one (mandatory with default value <empty>); For formal method input parameters, output parameters, and return parameters, this field holds the evaluation strategy, which is one of the following: 1) BY_REFERENCE indicates that the parameter is passed by reference, 2) BY_VALUE indicates that it is passed by value, that is, a copy is made, 3) BY_SHARING the parameter is a pointer/reference and it is shared with the caller/callee. While a copy of the pointer is made, a copy of the object that it points to is not made.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait MethodReturnBase extends AbstractNode, CfgNodeBase, StaticType[MethodReturnEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class MethodReturn
trait MethodReturnEMT extends AnyRef, CfgNodeEMT, HasDynamicTypeHintFullNameEMT, HasEvaluationStrategyEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Modifier

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Modifier.type
class Modifier(graph_4762: Graph, seq_4762: Int) extends StoredNode, ModifierBase, AstNode, StaticType[ModifierEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ ModifierType (String); Cardinality one (mandatory with default value <empty>); The modifier type is a free-form string. The following are known modifier types: STATIC, PUBLIC, PROTECTED, PRIVATE, ABSTRACT, NATIVE, CONSTRUCTOR, VIRTUAL.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait ModifierBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait ModifierBase extends AbstractNode, AstNodeBase, StaticType[ModifierEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Modifier
class NewModifier
trait ModifierEMT extends AnyRef, AstNodeEMT, HasModifierTypeEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Namespace

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Namespace.type
class Namespace(graph_4762: Graph, seq_4762: Int) extends StoredNode, NamespaceBase, AstNode, StaticType[NamespaceEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait NamespaceBase extends AbstractNode, AstNodeBase, StaticType[NamespaceEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Namespace
class NewNamespace
object NamespaceBlock

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NamespaceBlock(graph_4762: Graph, seq_4762: Int) extends StoredNode, NamespaceBlockBase, AstNode, StaticType[NamespaceBlockEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ Filename (String); Cardinality one (mandatory with default value <empty>); The path of the source file this node was generated from, relative to the root path in the meta data node. This field must be set but may be set to the value <unknown> to indicate that no source file can be associated with the node, e.g., because the node represents an entity known to exist because it is referenced, but for which the file that is is declared in is unknown.

â–¸ FullName (String); Cardinality one (mandatory with default value <empty>); This is the fully-qualified name of an entity, e.g., the fully-qualified name of a method or type. The details of what constitutes a fully-qualified name are language specific. This field SHOULD be human readable.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait NamespaceBlockBase extends AbstractNode, AstNodeBase, StaticType[NamespaceBlockEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait NamespaceBlockEMT extends AnyRef, AstNodeEMT, HasFilenameEMT, HasFullNameEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait NamespaceEMT extends AnyRef, AstNodeEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object NewAnnotation

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewAnnotation extends NewNode, AnnotationBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewAnnotationLiteral

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewAnnotationLiteral extends NewNode, AnnotationLiteralBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewAnnotationParameter

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewAnnotationParameter extends NewNode, AnnotationParameterBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewAnnotationParameterAssign

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewAnnotationParameterAssign extends NewNode, AnnotationParameterAssignBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewArrayInitializer

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewArrayInitializer extends NewNode, ArrayInitializerBase, AstNodeNew, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewBinding

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewBinding.type
class NewBinding extends NewNode, BindingBase

Attributes

Companion
object
Supertypes
trait BindingBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewBlock

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewBlock.type
class NewBlock extends NewNode, BlockBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait BlockBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewCall

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewCall.type
class NewCall extends NewNode, CallBase, CallReprNew, ExpressionNew

Attributes

Companion
object
Supertypes
trait CallReprNew
trait CfgNodeNew
trait AstNodeNew
trait CallBase
trait CallReprBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewClosureBinding

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewClosureBinding extends NewNode, ClosureBindingBase

Attributes

Companion
object
Supertypes
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewComment

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewComment.type
class NewComment extends NewNode, CommentBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait CommentBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewConfigFile

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewConfigFile extends NewNode, ConfigFileBase

Attributes

Companion
object
Supertypes
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewControlStructure

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewControlStructure extends NewNode, ControlStructureBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewDependency

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewDependency extends NewNode, DependencyBase

Attributes

Companion
object
Supertypes
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewFieldIdentifier

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewFieldIdentifier extends NewNode, FieldIdentifierBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewFile

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewFile.type
class NewFile extends NewNode, FileBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait FileBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewFinding

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewFinding.type
class NewFinding extends NewNode, FindingBase

Attributes

Companion
object
Supertypes
trait FindingBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewIdentifier

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewIdentifier extends NewNode, IdentifierBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewImport

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewImport.type
class NewImport extends NewNode, ImportBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait ImportBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewJumpLabel

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewJumpLabel extends NewNode, JumpLabelBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewJumpTarget

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewJumpTarget extends NewNode, JumpTargetBase, AstNodeNew, CfgNodeNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewKeyValuePair

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewKeyValuePair extends NewNode, KeyValuePairBase

Attributes

Companion
object
Supertypes
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewLiteral

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewLiteral.type
class NewLiteral extends NewNode, LiteralBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait LiteralBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewLocal

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewLocal.type
class NewLocal extends NewNode, LocalBase, AstNodeNew, DeclarationNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait LocalBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewMember

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewMember.type
class NewMember extends NewNode, MemberBase, AstNodeNew, DeclarationNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait MemberBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewMetaData

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewMetaData extends NewNode, MetaDataBase

Attributes

Companion
object
Supertypes
trait MetaDataBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewMethod

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewMethod.type
class NewMethod extends NewNode, MethodBase, AstNodeNew, CfgNodeNew, DeclarationNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait MethodBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewMethodParameterIn

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewMethodParameterIn extends NewNode, MethodParameterInBase, AstNodeNew, CfgNodeNew, DeclarationNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewMethodParameterOut

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewMethodParameterOut extends NewNode, MethodParameterOutBase, AstNodeNew, CfgNodeNew, DeclarationNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewMethodRef

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewMethodRef extends NewNode, MethodRefBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewMethodReturn

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewMethodReturn extends NewNode, MethodReturnBase, CfgNodeNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewModifier

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewModifier extends NewNode, ModifierBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait ModifierBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewNamespace

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewNamespace extends NewNode, NamespaceBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewNamespaceBlock

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewNamespaceBlock extends NewNode, NamespaceBlockBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
abstract class NewNode(val nodeKind: Short) extends AbstractNode, DNode

Attributes

Supertypes
trait DNode
trait AbstractNode
trait Product
trait Equals
trait StaticType[AnyRef]
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AstNodeNew
trait CfgNodeNew
trait CallReprNew
class NewCall
class NewBlock
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
class NewMethod
class NewComment
class NewFile
class NewImport
class NewJumpLabel
class NewLocal
class NewMember
class NewModifier
class NewNamespace
class NewTypeDecl
class NewBinding
class NewFinding
class NewMetaData
class NewTag
class NewType
Show all
object NewReturn

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewReturn.type
class NewReturn extends NewNode, ReturnBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait ReturnBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewTag

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewTag.type
class NewTag extends NewNode, TagBase

Attributes

Companion
object
Supertypes
trait TagBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewTagNodePair

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewTagNodePair extends NewNode, TagNodePairBase

Attributes

Companion
object
Supertypes
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewTemplateDom

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewTemplateDom extends NewNode, TemplateDomBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewType

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewType.type
class NewType extends NewNode, TypeBase

Attributes

Companion
object
Supertypes
trait TypeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewTypeArgument

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewTypeArgument extends NewNode, TypeArgumentBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewTypeDecl

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewTypeDecl extends NewNode, TypeDeclBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait TypeDeclBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewTypeParameter

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class NewTypeParameter extends NewNode, TypeParameterBase, AstNodeNew

Attributes

Companion
object
Supertypes
trait AstNodeNew
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewTypeRef

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewTypeRef.type
class NewTypeRef extends NewNode, TypeRefBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait TypeRefBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object NewUnknown

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
NewUnknown.type
class NewUnknown extends NewNode, UnknownBase, ExpressionNew

Attributes

Companion
object
Supertypes
trait CfgNodeNew
trait AstNodeNew
trait UnknownBase
trait CfgNodeBase
trait AstNodeBase
class NewNode
trait DNode
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object Return

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Return.type
class Return(graph_4762: Graph, seq_4762: Int) extends StoredNode, ReturnBase, Expression, StaticType[ReturnEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait ReturnBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait ReturnBase extends AbstractNode, ExpressionBase, StaticType[ReturnEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewReturn
class Return
trait ReturnEMT extends AnyRef, ExpressionEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait StaticType[+T]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AbstractNode
class Annotation
trait AstNodeBase
trait AstNode
trait CfgNode
trait CallRepr
class Call
trait Expression
class Block
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class JumpTarget
class Method
class MethodReturn
class Comment
class File
class Import
class JumpLabel
class Local
class Member
class Modifier
class Namespace
class TypeArgument
class TypeDecl
trait AstNodeNew
trait CfgNodeNew
trait CallReprNew
class NewCall
class NewBlock
class NewLiteral
class NewMethodRef
class NewReturn
class NewTypeRef
class NewUnknown
class NewMethod
class NewComment
class NewFile
class NewImport
class NewJumpLabel
class NewLocal
class NewMember
class NewModifier
class NewNamespace
class NewTypeDecl
trait CfgNodeBase
trait CallReprBase
trait CallBase
trait BlockBase
trait LiteralBase
trait ReturnBase
trait TypeRefBase
trait UnknownBase
trait MethodBase
trait CommentBase
trait FileBase
trait ImportBase
trait LocalBase
trait MemberBase
trait ModifierBase
trait TypeDeclBase
trait BindingBase
class Binding
class NewBinding
class ConfigFile
trait Declaration
class Dependency
trait FindingBase
class Finding
class NewFinding
class KeyValuePair
trait MetaDataBase
class MetaData
class NewMetaData
class NewNode
class NewTag
class NewType
class StoredNode
class Tag
class TagNodePair
class Type
trait TagBase
trait TypeBase
Show all
abstract class StoredNode(graph_4762: Graph, kind_4762: Short, seq_4762: Int) extends GNode, AbstractNode

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait StaticType[AnyRef]
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class Annotation
trait AstNode
trait CfgNode
trait CallRepr
class Call
trait Expression
class Block
class Identifier
class Literal
class MethodRef
class Return
class TemplateDom
class TypeRef
class Unknown
class JumpTarget
class Method
class MethodReturn
class Comment
class File
class Import
class JumpLabel
class Local
class Member
class Modifier
class Namespace
class TypeArgument
class TypeDecl
class Binding
class ConfigFile
trait Declaration
class Dependency
class Finding
class KeyValuePair
class MetaData
class Tag
class TagNodePair
class Type
Show all
object Tag

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Tag.type
class Tag(graph_4762: Graph, seq_4762: Int) extends StoredNode, TagBase, StaticType[TagEMT]

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

  • NODE PROPERTIES:

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Value (String); Cardinality one (mandatory with default value ``); This property denotes a string value as used in a key-value pair.

Attributes

Companion
object
Supertypes
trait TagBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait TagBase extends AbstractNode, StaticType[TagEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewTag
class Tag
trait TagEMT extends AnyRef, HasNameEMT, HasValueEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasValueEMT
trait HasNameEMT
class Object
trait Matchable
class Any
object TagNodePair

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class TagNodePair(graph_4762: Graph, seq_4762: Int) extends StoredNode, TagNodePairBase, StaticType[TagNodePairEMT]

â–¸ node (Anynode); Cardinality one (mandatory with default value null)

  • CONTAINED NODES:

â–¸ node (Anynode); Cardinality one (mandatory with default value null)

â–¸ tag (Tag); Cardinality one (mandatory with default value null)

Attributes

Companion
object
Supertypes
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait TagNodePairBase extends AbstractNode, StaticType[TagNodePairEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class TagNodePair
trait TagNodePairEMT extends AnyRef

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
class Object
trait Matchable
class Any
object TemplateDom

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class TemplateDom(graph_4762: Graph, seq_4762: Int) extends StoredNode, TemplateDomBase, Expression, StaticType[TemplateDomEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait TemplateDomBase extends AbstractNode, ExpressionBase, StaticType[TemplateDomEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class TemplateDom
trait TemplateDomEMT extends AnyRef, ExpressionEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Type

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Type.type
class Type(graph_4762: Graph, seq_4762: Int) extends StoredNode, TypeBase, StaticType[TypeEMT]

â–¸ FullName (String); Cardinality one (mandatory with default value <empty>); This is the fully-qualified name of an entity, e.g., the fully-qualified name of a method or type. The details of what constitutes a fully-qualified name are language specific. This field SHOULD be human readable.

  • NODE PROPERTIES:

â–¸ FullName (String); Cardinality one (mandatory with default value <empty>); This is the fully-qualified name of an entity, e.g., the fully-qualified name of a method or type. The details of what constitutes a fully-qualified name are language specific. This field SHOULD be human readable.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ TypeDeclFullName (String); Cardinality one (mandatory with default value <empty>); The static type decl of a TYPE. This property is matched against the FULL_NAME of TYPE_DECL nodes. It is required to have exactly one TYPE_DECL for each different TYPE_DECL_FULL_NAME

Attributes

Companion
object
Supertypes
trait TypeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
object TypeArgument

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class TypeArgument(graph_4762: Graph, seq_4762: Int) extends StoredNode, TypeArgumentBase, AstNode, StaticType[TypeArgumentEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait TypeArgumentBase extends AbstractNode, AstNodeBase, StaticType[TypeArgumentEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class TypeArgument
trait TypeArgumentEMT extends AnyRef, AstNodeEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait TypeBase extends AbstractNode, StaticType[TypeEMT]

Attributes

Supertypes
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewType
class Type
object TypeDecl

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
TypeDecl.type
class TypeDecl(graph_4762: Graph, seq_4762: Int) extends StoredNode, TypeDeclBase, AstNode, StaticType[TypeDeclEMT]

â–¸ AliasTypeFullName (String); Cardinality ZeroOrOne (optional); This property holds the fully qualified name of the type that the node is a type alias of.

  • NODE PROPERTIES:

â–¸ AliasTypeFullName (String); Cardinality ZeroOrOne (optional); This property holds the fully qualified name of the type that the node is a type alias of.

â–¸ AstParentFullName (String); Cardinality one (mandatory with default value <empty>); This field holds the FULL_NAME of the AST parent of an entity.

â–¸ AstParentType (String); Cardinality one (mandatory with default value <empty>); The type of the AST parent. Since this is only used in some parts of the graph, the list does not include all possible parents by intention. Possible parents: METHOD, TYPE_DECL, NAMESPACE_BLOCK.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ Filename (String); Cardinality one (mandatory with default value <empty>); The path of the source file this node was generated from, relative to the root path in the meta data node. This field must be set but may be set to the value <unknown> to indicate that no source file can be associated with the node, e.g., because the node represents an entity known to exist because it is referenced, but for which the file that is is declared in is unknown.

â–¸ FullName (String); Cardinality one (mandatory with default value <empty>); This is the fully-qualified name of an entity, e.g., the fully-qualified name of a method or type. The details of what constitutes a fully-qualified name are language specific. This field SHOULD be human readable.

â–¸ GenericSignature (String); Cardinality one (mandatory with default value <empty>); This field is experimental. It will likely be removed in the future without any notice. It stores type information for generic types and methods as well as type information for members and locals where the type either contains a type parameter reference or an instantiated type reference.

â–¸ InheritsFromTypeFullName (String); Cardinality List (many); The static types a TYPE_DECL inherits from. This property is matched against the FULL_NAME of TYPE nodes and thus it is required to have at least one TYPE node for each TYPE_FULL_NAME

â–¸ IsExternal (Boolean); Cardinality one (mandatory with default value false); Indicates that the construct (METHOD or TYPE_DECL) is external, that is, it is referenced but not defined in the code (applies both to insular parsing and to library functions where we have header files only)

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait TypeDeclBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait TypeDeclBase extends AbstractNode, AstNodeBase, StaticType[TypeDeclEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewTypeDecl
class TypeDecl
trait TypeDeclEMT extends AnyRef, AstNodeEMT, HasAliasTypeFullNameEMT, HasAstParentFullNameEMT, HasAstParentTypeEMT, HasFilenameEMT, HasFullNameEMT, HasGenericSignatureEMT, HasInheritsFromTypeFullNameEMT, HasIsExternalEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
trait TypeEMT extends AnyRef, HasFullNameEMT, HasNameEMT, HasTypeDeclFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
class Object
trait Matchable
class Any
Show all
object TypeParameter

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class TypeParameter(graph_4762: Graph, seq_4762: Int) extends StoredNode, TypeParameterBase, AstNode, StaticType[TypeParameterEMT]

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

  • NODE PROPERTIES:

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Name (String); Cardinality one (mandatory with default value <empty>); Name of represented object, e.g., method name (e.g. "run")

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

Attributes

Companion
object
Supertypes
trait AstNode
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait TypeParameterBase extends AbstractNode, AstNodeBase, StaticType[TypeParameterEMT]

Attributes

Supertypes
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
trait TypeParameterEMT extends AnyRef, AstNodeEMT, HasNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait HasNameEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object TypeRef

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
TypeRef.type
class TypeRef(graph_4762: Graph, seq_4762: Int) extends StoredNode, TypeRefBase, Expression, StaticType[TypeRefEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait TypeRefBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait TypeRefBase extends AbstractNode, ExpressionBase, StaticType[TypeRefEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewTypeRef
class TypeRef
trait TypeRefEMT extends AnyRef, ExpressionEMT, HasDynamicTypeHintFullNameEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all
object Unknown

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Unknown.type
class Unknown(graph_4762: Graph, seq_4762: Int) extends StoredNode, UnknownBase, Expression, StaticType[UnknownEMT]

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

  • NODE PROPERTIES:

â–¸ ArgumentIndex (Int); Cardinality one (mandatory with default value -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.

â–¸ ArgumentName (String); Cardinality ZeroOrOne (optional); 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.

â–¸ Code (String); Cardinality one (mandatory with default value <empty>); This field holds the code snippet that the node represents.

â–¸ ColumnNumber (Int); Cardinality ZeroOrOne (optional); This optional fields provides the column number of the program construct represented by the node.

â–¸ ContainedRef (String); Cardinality one (mandatory with default value <empty>); References to other nodes. This is not a real property; it exists here for the sake of proto serialization only. valueType and cardinality are meaningless.

â–¸ DynamicTypeHintFullName (String); Cardinality List (many); Type hint for the dynamic type. These are observed to be verifiable at runtime.

â–¸ LineNumber (Int); Cardinality ZeroOrOne (optional); This optional field provides the line number of the program construct represented by the node.

â–¸ Offset (Int); Cardinality ZeroOrOne (optional); Start offset into the CONTENT property of the corresponding FILE node. The offset is such that parts of the content can easily be accessed via content.substring(offset, offsetEnd). This means that the offset must be measured in utf16 encoding (i.e. neither in characters/codeunits nor in byte-offsets into a utf8 encoding). E.g. for METHOD nodes this start offset points to the start of the methods source code in the string holding the source code of the entire file.

â–¸ OffsetEnd (Int); Cardinality ZeroOrOne (optional); End offset (exclusive) into the CONTENT property of the corresponding FILE node. See OFFSET documentation for finer details. E.g. for METHOD nodes this end offset points to the first code position which is not part of the method.

â–¸ Order (Int); Cardinality one (mandatory with default value -1); This integer indicates the position of the node among its siblings in the AST. The left-most child has an order of 0.

â–¸ ParserTypeName (String); Cardinality one (mandatory with default value <empty>); AST node type name emitted by parser.

â–¸ PossibleTypes (String); Cardinality List (many); 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'.

â–¸ TypeFullName (String); Cardinality one (mandatory with default value <empty>); 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

Companion
object
Supertypes
trait Expression
trait CfgNode
trait AstNode
trait UnknownBase
trait CfgNodeBase
trait AstNodeBase
class StoredNode
trait AbstractNode
trait Product
trait Equals
class GNode
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
trait UnknownBase extends AbstractNode, ExpressionBase, StaticType[UnknownEMT]

Attributes

Supertypes
trait CfgNodeBase
trait AstNodeBase
trait AbstractNode
trait Product
trait Equals
trait DNodeOrNode
class Object
trait Matchable
class Any
Show all
Known subtypes
class NewUnknown
class Unknown
trait UnknownEMT extends AnyRef, ExpressionEMT, HasContainedRefEMT, HasDynamicTypeHintFullNameEMT, HasParserTypeNameEMT, HasPossibleTypesEMT, HasTypeFullNameEMT

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Node base type for compiletime-only checks to improve type safety. EMT stands for: "erased marker trait", i.e. it is erased at runtime

Attributes

Supertypes
trait CfgNodeEMT
trait AstNodeEMT
trait HasOrderEMT
trait HasOffsetEMT
trait HasCodeEMT
class Object
trait Matchable
class Any
Show all

Extensions

Extensions

extension (iterator: Iterator[StoredNode])
final def _aliasOfIn: Iterator[StoredNode]
final def _aliasOfOut: Iterator[StoredNode]
final def _argumentIn: Iterator[StoredNode]
final def _argumentOut: Iterator[StoredNode]
final def _astIn: Iterator[StoredNode]
final def _astOut: Iterator[StoredNode]
final def _bindsIn: Iterator[StoredNode]
final def _bindsOut: Iterator[StoredNode]
final def _bindsToIn: Iterator[StoredNode]
final def _bindsToOut: Iterator[StoredNode]
final def _callIn: Iterator[StoredNode]
final def _callOut: Iterator[StoredNode]
final def _captureIn: Iterator[StoredNode]
final def _captureOut: Iterator[StoredNode]
final def _capturedByIn: Iterator[StoredNode]
final def _capturedByOut: Iterator[StoredNode]
final def _cdgIn: Iterator[StoredNode]
final def _cdgOut: Iterator[StoredNode]
final def _cfgIn: Iterator[StoredNode]
final def _cfgOut: Iterator[StoredNode]
final def _conditionIn: Iterator[StoredNode]
final def _conditionOut: Iterator[StoredNode]
final def _containsIn: Iterator[StoredNode]
final def _containsOut: Iterator[StoredNode]
final def _dominateIn: Iterator[StoredNode]
final def _dominateOut: Iterator[StoredNode]
final def _evalTypeIn: Iterator[StoredNode]
final def _evalTypeOut: Iterator[StoredNode]
final def _importsIn: Iterator[StoredNode]
final def _importsOut: Iterator[StoredNode]
final def _inheritsFromIn: Iterator[StoredNode]
final def _inheritsFromOut: Iterator[StoredNode]
final def _isCallForImportIn: Iterator[StoredNode]
final def _isCallForImportOut: Iterator[StoredNode]
final def _parameterLinkIn: Iterator[StoredNode]
final def _parameterLinkOut: Iterator[StoredNode]
final def _postDominateIn: Iterator[StoredNode]
final def _postDominateOut: Iterator[StoredNode]
final def _reachingDefIn: Iterator[StoredNode]
final def _reachingDefOut: Iterator[StoredNode]
final def _receiverIn: Iterator[StoredNode]
final def _receiverOut: Iterator[StoredNode]
final def _refIn: Iterator[StoredNode]
final def _refOut: Iterator[StoredNode]
final def _sourceFileIn: Iterator[StoredNode]
final def _sourceFileOut: Iterator[StoredNode]
final def _taggedByIn: Iterator[StoredNode]
final def _taggedByOut: Iterator[StoredNode]
Generated with