Swift: Add tests for ArithmeticOperation.qll.

Author: geoffw0

swift/ql/test/library-tests/elements/expr/arithmeticoperation/arithmeticoperation.expected

@@ -0,0 +1,6 @@
+| arithmeticoperation.swift:6:6:6:10 | ... call to +(_:_:) ... | AddExpr, BinaryArithmeticOperation |
+| arithmeticoperation.swift:7:6:7:10 | ... call to -(_:_:) ... | BinaryArithmeticOperation, SubExpr |
+| arithmeticoperation.swift:8:6:8:10 | ... call to *(_:_:) ... | BinaryArithmeticOperation, MulExpr |
+| arithmeticoperation.swift:9:6:9:10 | ... call to /(_:_:) ... | BinaryArithmeticOperation, DivExpr |
+| arithmeticoperation.swift:10:6:10:10 | ... call to %(_:_:) ... | BinaryArithmeticOperation, RemExpr |
+| arithmeticoperation.swift:11:6:11:7 | call to ... | UnaryArithmeticOperation, UnaryMinusExpr |

swift/ql/test/library-tests/elements/expr/arithmeticoperation/arithmeticoperation.ql

@@ -0,0 +1,15 @@
+import swift
+
+string describe(ArithmeticOperation e) {
+	(e instanceof BinaryArithmeticOperation and result = "BinaryArithmeticOperation") or
+	(e instanceof AddExpr and result = "AddExpr") or
+	(e instanceof SubExpr and result = "SubExpr") or
+	(e instanceof MulExpr and result = "MulExpr") or
+	(e instanceof DivExpr and result = "DivExpr") or
+	(e instanceof RemExpr and result = "RemExpr") or
+	(e instanceof UnaryArithmeticOperation and result = "UnaryArithmeticOperation") or
+	(e instanceof UnaryMinusExpr and result = "UnaryMinusExpr")
+}
+
+from ArithmeticOperation e
+select e, concat(describe(e), ", ")

swift/ql/test/library-tests/elements/expr/arithmeticoperation/arithmeticoperation.swift

@@ -0,0 +1,12 @@
+
+func test(c: Bool, x: Int, y: Int, z: Int) {
+	var v = 0
+
+	// arithmetic operations
+	v = x + y;
+	v = x - 1;
+	v = 2 * y;
+	v = 3 / 4;
+	v = x % y;
+	v = -x;
+}