java/ql/test: update library-tests

Author: d10c

java/ql/test/library-tests/constants/constants/Values.java

@@ -31,7 +31,7 @@ void values(final int notConstant) {
         byte downcast_byte_5 = (byte) (-214); // 42
         short downcast_short = (short) 32768; // -32768
         int cast_of_non_constant = (int) '*'; //42
-        long cast_to_long = (long) 42; //Not handled
+        long cast_to_long = (long) 42; // 42
 
         int unary_plus = +42; //42
         int parameter_plus = +notConstant; //Not constant

java/ql/test/library-tests/constants/getIntValue.expected

@@ -19,6 +19,7 @@
 | constants/Values.java:31:32:31:44 | (...)... | 42 |
 | constants/Values.java:32:32:32:44 | (...)... | -32768 |
 | constants/Values.java:33:36:33:44 | (...)... | 42 |
+| constants/Values.java:34:29:34:37 | (...)... | 42 |
 | constants/Values.java:36:26:36:28 | +... | 42 |
 | constants/Values.java:39:27:39:29 | -... | -42 |
 | constants/Values.java:43:27:43:28 | ~... | -1 |

java/ql/test/library-tests/constants/getIntValue.ql

@@ -1,9 +1,9 @@
 import semmle.code.java.Variable
 
-from Variable v, CompileTimeConstantExpr init, RefType enclosing, int constant
+from Variable v, CompileTimeConstantExpr init, RefType enclosing, QlBuiltins::BigInt constant
 where
   v.getInitializer() = init and
   init.getEnclosingCallable().getDeclaringType() = enclosing and
   enclosing.hasQualifiedName("constants", "Values") and
-  constant = init.getIntValue()
-select init, constant
+  constant = init.getBigIntValue()
+select init, constant.toString()

java/ql/test/library-tests/dataflow/modulus-analysis/ModulusAnalysis.ql

@@ -2,6 +2,6 @@ import java
 import semmle.code.java.dataflow.ModulusAnalysis
 import semmle.code.java.dataflow.Bound
 
-from Expr e, Bound b, int delta, int mod
+from Expr e, Bound b, QlBuiltins::BigInt delta, QlBuiltins::BigInt mod
 where exprModulus(e, b, delta, mod) and e.getCompilationUnit().fromSource()
-select e, b.toString(), delta, mod
+select e, b.toString(), delta.toString(), mod.toString()

java/ql/test/library-tests/dataflow/range-analysis/RangeAnalysis.ql

@@ -7,6 +7,6 @@ private string getDirectionString(boolean d) {
   result = "lower" and d = false
 }
 
-from Expr e, Bound b, int delta, boolean upper, Reason reason
+from Expr e, Bound b, QlBuiltins::BigInt delta, boolean upper, Reason reason
 where bounded(e, b, delta, upper, reason) and e.getCompilationUnit().fromSource()
-select e, b.toString(), delta, getDirectionString(upper), reason
+select e, b.toString(), delta.toString(), getDirectionString(upper), reason