If the given value encapsulates a precise integer value then the function
ifThen
is called with the respective value otherwise orElse
is called.
Returns the current Int
value represented by the domain value if it exists.
Returns the current Int
value represented by the domain value if it exists.
This method returns None
if the DomainValue does not represent an
Integer value or the precise value is not known. I.e., this method never fails.
Provides information about an integer value's precise value, if this information is available.
This functionality is not required by the OPAL core.
,The information about an integer value's range that is required by the abstract interpreter is defined by the
Domain
trait.