cpg-language-go/de.fraunhofer.aisec.cpg.passes/GoEvaluationOrderGraphPass

GoEvaluationOrderGraphPass

class GoEvaluationOrderGraphPass(ctx: TranslationContext) : EvaluationOrderGraphPass

This pass contains fine-grained improvements to the EOG for the GoLanguage.

Constructors

constructor(ctx: TranslationContext)

Properties

conditions

val Node.conditions: List<Node>

config

val config: TranslationConfiguration

ctx

override val ctx: TranslationContext

name

var name: String

nodesToInternalThrows

val nodesToInternalThrows: MutableMap<Node, MutableMap<Type, MutableList<Node>>>

nodesWithContinuesAndBreaks

val nodesWithContinuesAndBreaks: MutableMap<Node, MutableList<Node>>

scope

open override val scope: Scope?

scopeManager

val scopeManager: ScopeManager

starts

val LoopStatement.starts: List<Node>

typeManager

val typeManager: TypeManager

Functions

open override fun accept(tu: TranslationUnitDeclaration)

andThen

open fun andThen(p0: Consumer<in TranslationUnitDeclaration>): Consumer<TranslationUnitDeclaration>

attachToEOG

fun attachToEOG(node: Node)

cleanup

open override fun cleanup()

drawEOGToEntriesOf

fun drawEOGToEntriesOf(from: List<Node>, toEntriesOf: Node?, branchLabel: Boolean?)

getLabeledASTNode

fun getLabeledASTNode(node: Node, label: String): Node?

isBreakable

fun Node.isBreakable(): Boolean

isContinuable

fun Node.isContinuable(): Boolean

passConfig

fun <T : PassConfiguration> passConfig(): T?

runsWithCurrentFrontend

fun runsWithCurrentFrontend(usedFrontends: Collection<LanguageFrontend<*, *>>): Boolean

runsWithLanguageTrait

fun runsWithLanguageTrait(language: Language<*>?): Boolean

setCurrentEOGs

fun setCurrentEOGs(nodes: List<Node>)

toString

open override fun toString(): String