CodeQL library for Go
codeql/go-all 0.7.15-dev (changelog, source)
Search

Injector MkTypeSwitchImplicitVariable

A control-flow node that represents the implicit declaration of the variable lv in case clause cc and its assignment of the value switchExpr from the guard. This only occurs in case clauses in a type switch statement which declares a variable in its guard.

Import path

import semmle.go.controlflow.ControlFlowGraphImpl
MkTypeSwitchImplicitVariable MkTypeSwitchImplicitVariable(CaseClause cc, LocalVariable lv, Expr switchExpr)