main

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

GoEvaluationOrderGraphPass

constructor(ctx: TranslationContext)

Properties

val Node.conditions: List<Node>

val config: TranslationConfiguration

override val ctx: TranslationContext

var name: String

nodesToInternalThrows

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

nodesWithContinuesAndBreaks

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

open override val scope: Scope?

val scopeManager: ScopeManager

val LoopStatement.starts: List<Node>

val typeManager: TypeManager

Functions

open override fun accept(tu: TranslationUnitDeclaration)

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

fun attachToEOG(node: Node)

open override fun cleanup()

drawEOGToEntriesOf

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

getLabeledASTNode

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

fun Node.isBreakable(): Boolean

fun Node.isContinuable(): Boolean

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

runsWithCurrentFrontend

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

runsWithLanguageTrait

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

fun setCurrentEOGs(nodes: List<Node>)

open override fun toString(): String