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

SwitchScope

class SwitchScope(switchStatement: SwitchStatement) : ValueDeclarationScope, Breakable

Constructors

fun SwitchScope(switchStatement: SwitchStatement)

Functions

addBreakStatement

open override fun addBreakStatement(breakStatement: BreakStatement)

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?

breakStatements

open override val breakStatements: List<BreakStatement>

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? = null

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

labelStatements

var labelStatements: MutableMap<String, LabelStatement>

var name: Name? = null

The real new name

var parent: Scope? = null

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? = null

FQN Name currently valid

val typedefs: MutableMap<Type, TypedefDeclaration>

A map of typedefs keyed by their alias.

valueDeclarations

var valueDeclarations: MutableList<ValueDeclaration>