Injector MkConditionGuardNode
A control-flow node that represents the fact that e is known to evaluate to
outcome.
Import path
import semmle.go.controlflow.ControlFlowGraphImplMkConditionGuardNode MkConditionGuardNode(Expr e, Boolean outcome)A control-flow node that represents the fact that e is known to evaluate to
outcome.
import semmle.go.controlflow.ControlFlowGraphImplMkConditionGuardNode MkConditionGuardNode(Expr e, Boolean outcome)