Changeset 930609e2 for libcfa

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

Location:

libcfa/src

Files:

• parseconfig.cfa (modified) (1 diff)
• parseconfig.hfa (modified) (3 diffs)

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 //

libcfa/src/parseconfig.hfa

@@ -1 +1 @@
 #pragma once
 
-
-// *********************************** exceptions ***********************************
+#include <rational.hfa>
 
 
-EHM_EXCEPTION(Validation_Failure)(
-        const char * key;
-        void * variable;
-);
-
-void ?{}( Validation_Failure & this, config_entry & entry );
-
-
-// *********************************** main code ***********************************
+// *********************************** initial declarations ***********************************
 
 
@@ -57 +48 @@
 }
 
+
+// *********************************** exceptions ***********************************
+
+
+EHM_EXCEPTION(Validation_Failure)(
+        const char * key;
+        void * variable;
+);
+
+void ?{}( Validation_Failure & this, config_entry & entry );
+
+
+// *********************************** main code ***********************************
+
+
 void parse_config( const char * config_file, config_entry entries[], size_t num_entries );
 
@@ -67 +73 @@
 bool parse( const char *, double & );
 
+
+// *********************************** validation ***********************************
+
+
+forall(T | arithmetic( T ))
+bool is_nonnegative( T & );
+
+forall(T | arithmetic( T ))
+bool is_positive( T & );
+
+forall(T | arithmetic( T ))
+bool is_nonpositive( T & );
+
+forall(T | arithmetic( T ))
+bool is_negative( T & );
+
+
 // Local Variables: //
 // mode: c //