cpg-core/de.fraunhofer.aisec.cpg.graph.scopes/ValueDeclarationScope

ValueDeclarationScope

open class ValueDeclarationScope(var astNode: Node?) : Scope

Is a scope where local variables can be declared and independent of specific language constructs. Works for if, for, and extends to the block scope

Inheritors

StructureDeclarationScope

Constructors

ValueDeclarationScope

constructor(astNode: Node?)

Types

object Companion

Functions

open fun addDeclaration(declaration: Declaration, addToAST: Boolean)

addLabelStatement

fun addLabelStatement(labelStatement: LabelStatement)

fun addTypedef(typedef: TypedefDeclaration)

addValueDeclaration

fun addValueDeclaration(valueDeclaration: ValueDeclaration, addToAST: Boolean)

THe value declarations are only set in the ast node if the handler of the ast node may not know the outer

fun isBreakable(): Boolean

fun isContinuable(): Boolean

Properties

open override var astNode: Node?

var children: MutableList<Scope>

The list of child scopes.

val globalScope: Scope?

Returns the GlobalScope of this scope by traversing its parents upwards.

var id: Long?

Required field for object graph mapping. It contains the scope id.

labelStatements

var labelStatements: MutableMap<String, LabelStatement>

var name: Name?

The real new name

var parent: Scope?

Scopes are nested and therefore have a parent child relationship, this two members will help navigate through the scopes,e.g. when looking up variables.

var scopedName: String?

FQN Name currently valid

val typedefs: MutableMap<Type, TypedefDeclaration>

A map of typedefs keyed by their alias.

valueDeclarations

var valueDeclarations: MutableList<ValueDeclaration>