Module CalculateConstants
Given predicates defining boolean and integer constants, this module calculates additional boolean and integer constants using only the rules that apply to compile-time constants.
The input and output predicates are expected to be mutually recursive.
Import path
import semmle.code.java.ConstantsPredicates
| calculateBooleanValue | Gets the value of a constant boolean expression. |
| calculateIntValue | Gets the value of a constant integer expression. |
Parameters
| getBoolVal | getBoolValSig | |
| getIntVal | getIntValSig |