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

LoopScope

class LoopScope(loopStatement: Statement) : ValueDeclarationScope, Breakable, Continuable

Constructors

constructor(loopStatement: Statement)

Types

object Companion

Functions

addBreakStatement

open override fun addBreakStatement(breakStatement: BreakStatement)

addContinueStatement

open override fun addContinueStatement(continueStatement: ContinueStatement)

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 conditions: List<Node>

Statements that constitute the start of the Loop condition evaluation, mostly of size 1

continueStatements

open override val continueStatements: List<ContinueStatement>

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 starts: List<Node>

Statements that constitute the start of the Loop depending on the used pass, mostly of size 1

val typedefs: MutableMap<Type, TypedefDeclaration>

A map of typedefs keyed by their alias.

valueDeclarations

var valueDeclarations: MutableList<ValueDeclaration>