GC version of vdmSum.

overturetool · Nov 4, 2016 · db1e783 · db1e783
1 parent b2e9ec9
commit db1e783
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/c/vdmclib/src/main/IOLib.c b/c/vdmclib/src/main/IOLib.c
@@ -173,8 +173,6 @@ TVP vdm_IO_fecho(TVP filename, TVP text, TVP fdir)
 }
 TVP vdm_IO_echo(TVP text)
 {
-	int a;
-
 	//TODO:  Ensure a string is passed.
 	char *str = unpackString(text);
 

diff --git a/c/vdmclib/src/main/VdmBasicTypes.c b/c/vdmclib/src/main/VdmBasicTypes.c
@@ -256,6 +256,17 @@ TVP vdmSum(TVP a,TVP b)
 	return newReal(av+bv);
 }
 
+TVP vdmSumGC(TVP a,TVP b, TVP *from)
+{
+	ASSERT_CHECK_NUMERIC(a);
+	ASSERT_CHECK_NUMERIC(b);
+
+	double av = toDouble(a);
+	double bv=toDouble(b);
+
+	return newRealGC(av+bv, from);
+}
+
 TVP vdmDifference(TVP a,TVP b)
 {
 	ASSERT_CHECK_NUMERIC(a);

diff --git a/c/vdmclib/src/main/VdmBasicTypes.h b/c/vdmclib/src/main/VdmBasicTypes.h
@@ -52,6 +52,7 @@ TVP vdmMinus(TVP arg);
 TVP vdmAbs(TVP arg);
 TVP vdmFloor(TVP arg);
 TVP vdmSum(TVP a,TVP b);
+TVP vdmSumGC(TVP a,TVP b, TVP *from);
 TVP vdmDifference(TVP a,TVP b);
 TVP vdmProduct(TVP a,TVP b);
 TVP vdmDivision(TVP a,TVP b);