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

Package-level declarations

Types

BlockScope

class BlockScope(blockStatement: CompoundStatement) : ValueDeclarationScope, Breakable

Breakable

interface Breakable

Represents scopes that can be interrupted by a BreakStatement.

Continuable

interface Continuable

Represents scopes that can be interrupted by a ContinueStatement.

FunctionScope

class FunctionScope(var astNode: FunctionDeclaration) : ValueDeclarationScope

GlobalScope

class GlobalScope : StructureDeclarationScope

LoopScope

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

NameScope

open class NameScope(node: Node) : StructureDeclarationScope

A scope which acts as a namespace with a certain name, which is prefixed to all local names declared in it. This could be a package or other structural elements, like a class. In the latter case, the derived RecordScope should be used.

RecordScope

class RecordScope(node: Node) : NameScope

Represents the scope of a record or class, most likely created by a RecordDeclaration.

Scope

abstract class Scope(var astNode: Node?)

Represent semantic scopes in the language. Depending on the language scopes can have visibility restriction and can act as namespaces to avoid name collisions.

StructureDeclarationScope

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

SwitchScope

class SwitchScope(switchStatement: SwitchStatement) : ValueDeclarationScope, Breakable

TemplateScope

class TemplateScope(node: Node) : StructureDeclarationScope

TryScope

class TryScope(var astNode: Node?) : ValueDeclarationScope, Breakable

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