Module Internal

INTERNAL: Do not use.

Import path


                                import semmle.code.csharp.controlflow.Guards

Cached
PreCfg

getANullImplyingChild	Gets a child expression of `e` which is `null` only if `e` is `null`.
getNullEquivParent	Gets the parent expression of `e` which is `null` iff `e` is `null`, if any. For example, `result = x?.y` and `e = x`, or `result = x + 1` and `e = x`.
nonNullValue	Holds if expression `e` is a non-`null` value.
nonNullValueImpliedUnary	Holds if expression `e2` is a non-`null` value whenever `e1` is.
nullValue	Holds if expression `e` is a `null` value.
nullValueImpliedBinary	Holds if expression `e3` is a `null` value whenever `e1` and `e2` are.
nullValueImpliedUnary	Holds if expression `e2` is a `null` value whenever `e1` is.