Module AbstractValues
Provides different types of AbstractValues
s.
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 |