A helper class for evaluation of whileloop entry conditions.
Direct supertypes
Indirect supertypes
Predicates
interesting 

isLoopBody  Holds if 
isLoopEntry  Holds if 
Inherited predicates
abs  Returns the absolute value of the receiver (or INT_MIN when the receiver is INT_MIN)  from int 
acos  Returns the inverse cosine of the receiver  from int 
allowVariableWithoutInitializer  When evaluating a syntactic subexpression of  from ExprEvaluator 
asin  Returns the inverse sine of the receiver  from int 
atan  Returns the inverse tangent of the receiver  from int 
bitAnd  Returns the bitwise and of the receiver and the argument  from int 
bitNot  Returns the bitwise complement of the receiver  from int 
bitOr  Returns the bitwise or of the receiver and the argument  from int 
bitShiftLeft  Returns the bitwise left shift of the receiver by the argument  from int 
bitShiftRight  Returns the unsigned bitwise right shift of the receiver by the argument  from int 
bitShiftRightSigned  Returns the signed bitwise right shift of the receiver by the argument  from int 
bitXor  Returns the bitwise xor of the receiver and the argument  from int 
ceil  Returns the smallest integer greater than or equal to the receiver  from float 
copySign  Returns the floating point number with the magnitude of the receiver and the sign of the argument.  from float 
cos  Returns the cosine of the receiver  from int 
cosh  Returns the hyperbolic cosine of the receiver  from int 
exp  Returns e (the base of the natural logarithm) raised to the power of the receiver  from int 
floor  Returns the largest integer that is not greater than the receiver  from float 
gcd  Returns the greatest common divisor of the receiver and the argument, or zero if both receiver and argument are zero, or INT_MIN if the greatest common divisor is INT_MAX+1  from int 
getValue  Gets the value of (interesting) expression  from ExprEvaluator 
ignoreNonAnalyzableVariableDefinition  When evaluating a syntactic subexpression of loop condition  from LoopEntryConditionEvaluator 
ignoreVariableAssignment  When evaluating a syntactic subexpression of loop condition  from LoopEntryConditionEvaluator 
interestingInternal 
 from ExprEvaluator 
log  Returns the natural logarithm of the receiver  from int 
log  Returns the logarithm of the receiver in the given base  from int 
log  Returns the logarithm of the receiver in the given base  from int 
log10  Returns the base10 logarithm of the receiver  from int 
log2  Returns the base2 logarithm of the receiver  from int 
maximum  Returns the larger of the receiver and the argument  from int 
maximum  Returns the larger of the receiver and the argument  from int 
minimum  Returns the smaller of the receiver and the argument  from int 
minimum  Returns the smaller of the receiver and the argument  from int 
nextAfter  Returns the number adjacent to the receiver in the direction of the argument.  from float 
nextDown  Returns the number adjacent to the receiver in the direction of negative infinity.  from float 
nextUp  Returns the number adjacent to the receiver in the direction of positive infinity.  from float 
pow  Returns the receiver raised to the given power  from int 
pow  Returns the receiver raised to the given power  from int 
signum  Returns the sign of the receiver: zero if it is zero, 1.0 if it is greater than zero, 1.0 if it is less than zero.  from float 
sin  Returns the sine of the receiver  from int 
sinh  Returns the hyperbolic sine of the receiver  from int 
sqrt  Returns the square root of the receiver  from int 
tan  Returns the tangent of the receiver  from int 
tanh  Returns the hyperbolic tangent of the receiver  from int 
toString  Returns a string representation of the receiver (in decimal)  from int 
ulp  Returns the ULP (unit in last place) of the receiver.  from float 