CodeQL library for C#
codeql/csharp-all 0.4.4 (changelog, source)
Search

Class AbstractValues::IntegerValue

An integer value.

Import path

import semmle.code.csharp.controlflow.Guards

Direct supertypes

Indirect supertypes

Predicates

branch

Holds if the s branch out of cfe is taken iff e has this value.

getAnExpr

Gets an expression that has this abstract value. Two expressions that have the same concrete value also have the same abstract value, but not necessarily the other way around.

getDualValue

Gets an abstract value that represents the dual of this value, if any.

getValue

Gets the underlying integer value.

isSingleton

Holds if this is a singleton abstract value. That is, two expressions that have this abstract value also have the same concrete value.

toString

Gets a textual representation of this abstract value.

Inherited predicates

isReferentialProperty

Holds if this value describes a referential property. For example, emptiness of a collection is a referential property.

from AbstractValue