Scope

io.joern.javasrc2cpg.scope.Scope
See theScope companion class
object Scope

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Scope.type

Members list

Type members

Classlikes

final case class CapturedVariable(typeDeclChain: List[NewTypeDecl], variable: ScopeVariable) extends FoundVariable

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait FoundVariable(variable: ScopeVariable) extends VariableLookupResult

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
case object NotInScope extends VariableLookupResult

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
NotInScope.type
final class ScopeInnerType(val typeFullName: String) extends ScopeType

Attributes

Companion
object
Supertypes
trait ScopeType
class Object
trait Matchable
class Any

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
final case class ScopeLocal(node: NewLocal) extends ScopeVariable

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ScopeMember(node: NewMember, isStatic: Boolean) extends ScopeVariable

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ScopeParameter(node: NewMethodParameterIn) extends ScopeVariable

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ScopeTopLevelType(typeFullName: String) extends ScopeType

Used for top-level type declarations and imports that do not have captures to be concerned about or synthetic names in the cpg

Used for top-level type declarations and imports that do not have captures to be concerned about or synthetic names in the cpg

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ScopeType
class Object
trait Matchable
class Any
Show all
sealed trait ScopeType

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
sealed trait ScopeVariable

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
final case class SimpleVariable(variable: ScopeVariable) extends FoundVariable

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait VariableLookupResult

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes

Types

type NewScopeNode = NewBlock | NewMethod | NewTypeDecl | NewNamespaceBlock
type NewVariableNode = NewLocal | NewMethodParameterIn | NewMember

Extensions

Extensions

extension (variableNode: NewVariableNode)
def typeFullName: String