- Runtime library support for issameclass.

- Addresses #108.
overturetool · Oct 4, 2017 · 9b720d0 · 9b720d0
1 parent 858fa3d
commit 9b720d0
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 0 deletions.
diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
@@ -394,6 +394,16 @@ TVP isRecordGC(TVP val, int recID, TVP *from)
 }
 #endif
 
+TVP isSameClass(TVP a, TVP b)
+{
+	return newBool(((struct ClassType *)a->value.ptr)->classId == ((struct ClassType *)b->value.ptr)->classId);
+}
+
+TVP isSameClassGC(TVP a, TVP b, TVP *from)
+{
+	return newBoolGC(((struct ClassType *)a->value.ptr)->classId == ((struct ClassType *)b->value.ptr)->classId, from);
+}
+
 TVP is(TVP v, char ot[])
 {
 	int i;

diff --git a/c/vdmclib/src/main/VdmBasicTypes.h b/c/vdmclib/src/main/VdmBasicTypes.h
@@ -116,8 +116,12 @@ TVP isToken(TVP val);
 TVP isTokenGC(TVP val, TVP *from);
 TVP isOfClass(TVP val, int classID);
 TVP isOfClassGC(TVP val, int classID, TVP *from);
+#ifndef NO_RECORDS
 TVP isRecord(TVP val, int recID);
 TVP isRecordGC(TVP val, int recID, TVP *from);
+#endif
+TVP isSameClass(TVP a, TVP b);
+TVP isSameClassGC(TVP a, TVP b, TVP *from);
 TVP is(TVP v, char ot[]);
 int toInteger(TVP a);
 double toDouble(TVP a);

diff --git a/c/vdmclib/src/test/ClassATest.cpp b/c/vdmclib/src/test/ClassATest.cpp
@@ -135,4 +135,14 @@ TEST(ClassATest, isA)
 	vdmFree(c);
 }
 
+TEST(ClassATest, isSameClass)
+{
+	TVP c = A._new();
+	TVP res;
+
+	res = isSameClass(c, c);
+	EXPECT_TRUE(res->value.boolVal);
+	vdmFree(res);
+}
+
 }