Changeset 930609e2 for libcfa/src/parseconfig.cfa

Timestamp:

Aug 31, 2021, 1:49:09 AM (3 years ago)

Author:

Jacob Prud'homme <jafprudhomme@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum

Children:

716e4e6

Parents:

6604ea1

git-author:

Jacob Prud'homme <jafprudhomme@…> (07/16/21 15:36:51)

git-committer:

Jacob Prud'homme <jafprudhomme@…> (08/31/21 01:49:09)

Message:

Added some basic examples of validation functions

And rearranged the ordering of some declarations to avoid errors

File:

• libcfa/src/parseconfig.cfa (modified) (1 diff)

libcfa/src/parseconfig.cfa

@@ -115 +115 @@
 
 
+// *********************************** validation ***********************************
+
+
+forall(T | arithmetic( T ))
+bool is_nonnegative( T & value ) {
+        T zero_val = 0;
+        return value >= zero_val;
+}
+
+forall(T | arithmetic( T ))
+bool is_positive( T & value ) {
+        T zero_val = 0;
+        return value > zero_val;
+}
+
+forall(T | arithmetic( T ))
+bool is_nonpositive( T & value ) {
+        T zero_val = 0;
+        return value <= zero_val;
+}
+
+forall(T | arithmetic( T ))
+bool is_negative( T & value ) {
+        T zero_val = 0;
+        return value < zero_val;
+}
+
+
 // Local Variables: //
 // tab-width: 4 //