pyfec: add precondition checks on the values of k and m to constructors

darcs-hash:2c24684ca751b8b43c46c10e20c7cd0d41195aa5

diff --git a/pyfec/fec/fecmodule.c b/pyfec/fec/fecmodule.c
index 8e01315627008613126f253d1234016fc2bf4d52..6592428455dab39def13f46b4436c617b5f7d0fc 100644 (file)
--- a/pyfec/fec/fecmodule.c
+++ b/pyfec/fec/fecmodule.c
@@ -96,11 +96,23 @@ Encoder_init(Encoder *self, PyObject *args, PyObject *kwdict) {
     if (!PyArg_ParseTupleAndKeywords(args, kwdict, "ii", kwlist, &self->kk, &self->mm))
         return -1;
 
-    self->fec_matrix = fec_new(self->kk, self->mm);
-    if(self->fec_matrix == NULL) {
-        py_raise_fec_error(fec_error); /* xyz */
-        return -1;
+    if (self->kk < 1) {
+        py_raise_fec_error("Precondition violation: first argument is required to be greater than or equal to 1, but it was %d", self->kk);
+       return -1;
+    }
+    if (self->mm < 1) {
+        py_raise_fec_error("Precondition violation: second argument is required to be greater than or equal to 1, but it was %d", self->mm);
+       return -1;
+    }
+    if (self->mm > 255) {
+        py_raise_fec_error("Precondition violation: second argument is required to be less than or equal to 255, but it was %d", self->mm);
+       return -1;
     }
+    if (self->kk > self->mm) {
+        py_raise_fec_error("Precondition violation: first argument is required to be less than or equal to the second argument, but they were %d and %d respectively", self->kk, self->mm);
+       return -1;
+    }
+    self->fec_matrix = fec_new(self->kk, self->mm);
 
     return 0;
 }
@@ -333,14 +345,27 @@ Decoder_init(Encoder *self, PyObject *args, PyObject *kwdict) {
         "m",
         NULL
     };
+
     if (!PyArg_ParseTupleAndKeywords(args, kwdict, "ii", kwlist, &self->kk, &self->mm))
         return -1;
 
-    self->fec_matrix = fec_new(self->kk, self->mm);
-    if(self->fec_matrix == NULL) {
-        py_raise_fec_error(fec_error); /* xyz */
-        return -1;
+    if (self->kk < 1) {
+        py_raise_fec_error("Precondition violation: first argument is required to be greater than or equal to 1, but it was %d", self->kk);
+       return -1;
+    }
+    if (self->mm < 1) {
+        py_raise_fec_error("Precondition violation: second argument is required to be greater than or equal to 1, but it was %d", self->mm);
+       return -1;
     }
+    if (self->mm > 255) {
+        py_raise_fec_error("Precondition violation: second argument is required to be less than or equal to 255, but it was %d", self->mm);
+       return -1;
+    }
+    if (self->kk > self->mm) {
+        py_raise_fec_error("Precondition violation: first argument is required to be less than or equal to the second argument, but they were %d and %d respectively", self->kk, self->mm);
+       return -1;
+    }
+    self->fec_matrix = fec_new(self->kk, self->mm);
 
     return 0;
 }