Module AbstractValues
Provides different types of AbstractValuess.
Import path
import semmle.code.csharp.controlflow.GuardsClasses
| BooleanValue | A Boolean value. |
| EmptyCollectionValue | A value that represents an empty or non-empty collection. |
| IntegerValue | An integer value. |
| MatchValue | A value that represents match or non-match against a specific pattern. |
| NullValue | A value that is either |