Class Make::GuardValue

An abstract value that a Guard may evaluate to.

Import path

import codeql.controlflow.Guards

asBooleanValue	Gets the boolean that this value represents, if any.
asConstantValue	Gets the constant that this value represents, if any.
asIntValue	Gets the integer that this value represents, if any.
getDualValue	Gets the dual value. Examples of dual values include: - null vs. not null - true vs. false - evaluating to a specific value vs. evaluating to any other value - throwing an exception vs. not throwing an exception
isIntRange	Holds if this value represents an integer range.
isNonNullValue	Holds if this value represents non-`null`.
isNullValue	Holds if this value represents `null`.
isNullness	Holds if this value represents `null` or non-`null` as indicated by `isNull`.
isSingleton	Holds if this value represents a single concrete value.
isThrowsException	Holds if this value represents throwing an exception.
toString	Gets a textual representation of this value.