- Is sequence of int support.

- Addresses #108.
overturetool · Sep 1, 2017 · f534a26 · f534a26
1 parent c426bc3
commit f534a26
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 2 deletions.
diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
@@ -228,6 +228,18 @@ TVP isIntGC(TVP v, TVP *from)
 	return newBoolGC(false, from);
 }
 
+TVP isSeqOfInt(TVP v)
+{
+	if(v->type == VDM_SEQ)
+	{
+		if((((struct Collection *)(v->value.ptr)))->size == 0)
+			return newBool(true);
+		if((((struct Collection *)(v->value.ptr)))->value[0]->type == VDM_INT)
+			return newBool(true);
+		return newBool(false);
+	}
+}
+
 TVP isNat(TVP v)
 {
 	if(v->type == VDM_INT)

diff --git a/c/vdmclib/src/main/VdmBasicTypes.h b/c/vdmclib/src/main/VdmBasicTypes.h
@@ -108,6 +108,7 @@ TVP isChar(TVP val);
 TVP isCharGC(TVP val, TVP *from);
 TVP isToken(TVP val);
 TVP isTokenGC(TVP val, TVP *from);
+TVP isSeqOfInt(TVP v);
 int toInteger(TVP a);
 double toDouble(TVP a);
 bool toBool(TVP a);

diff --git a/c/vdmclib/src/test/Expressions_Tests.cpp b/c/vdmclib/src/test/Expressions_Tests.cpp
@@ -136,7 +136,7 @@ TVP letFilter1Exp()
 {
 	TVP res =NULL;
 	{ //let b = 2 in
-	  // b
+		// b
 		TVP tmp1 = newInt(2);
 		{
 			//let 1 = b in
@@ -275,7 +275,7 @@ TEST(Expression, letFilter1Exp)
 	}
 
 	if(!failed)
-	FAIL();
+		FAIL();
 	vdmFree (TEST_TRUE);
 }
 
@@ -374,3 +374,18 @@ TEST(Expression, isToken)
 
 	vdmFree(res);
 }
+
+TEST(Expression, isSeqOfInt)
+{
+	TVP res = isSeqOfInt(newSeqVar(1, newInt(1)));
+
+	EXPECT_TRUE(res->value.boolVal);
+
+	vdmFree(res);
+
+	res = isSeqOfInt(newSeqVar(1, newReal(1)));
+
+	EXPECT_FALSE(res->value.boolVal);
+
+	vdmFree(res);
+}