Module AbstractValues
Provides different types of AbstractValuess.
Import path
import semmle.code.csharp.controlflow.Guards
Classes
| 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 |