test: prefix expressions

Minres · Feb 19, 2024 · 19900e3 · 19900e3
1 parent ae0fb97
commit 19900e3
Showing 1 changed file with 31 additions and 0 deletions.
diff --git a/com.minres.coredsl.tests/src/com/minres/coredsl/tests/analysis/CoreDslExpressionTest.xtend b/com.minres.coredsl.tests/src/com/minres/coredsl/tests/analysis/CoreDslExpressionTest.xtend
@@ -1276,6 +1276,37 @@ class CoreDslExpressionTest {
 		.expectError(IssueCodes.InvalidOperationType, 5)
 		.run();
 	}
+
+	@Test
+	def prefix() {
+		'''
+			int a = 0;
+			long v1 = ~a;
+			long v2 = -a;
+			long v3 = +a;
+			long v4 = !a;
+		'''
+		.testStatements()
+		.expectType(null, initializerOf('v1'), IntegerType.signed(32))
+		.expectType(null, initializerOf('v2'), IntegerType.signed(33))
+		.expectType(null, initializerOf('v3'), IntegerType.signed(32))
+		.expectType(null, initializerOf('v4'), IntegerType.bool)
+		.run();
+
+		'''
+			int a[4];
+			long v1 = ~a;
+			long v2 = -a;
+			long v3 = +a;
+			long v4 = !a;
+		'''
+		.testStatements()
+		.expectError(IssueCodes.InvalidOperationType, 2)
+		.expectError(IssueCodes.InvalidOperationType, 3)
+		.expectError(IssueCodes.InvalidOperationType, 4)
+		.expectError(IssueCodes.InvalidOperationType, 5)
+		.run();
+	}
 }