function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "Cases" => $this->_Cases);
     foreach ($me['Cases'] as $i0 => $v0) {
         foreach ($v0['type of case'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `casetype` WHERE `i`='" . addslashes($v1) . "'", 5);
         }
     }
     if (!checkRule3()) {
         $DB_err = '\\"Written authorizations for representatives of a case are not put in the case file\\"';
     } else {
         if (!checkRule4()) {
             $DB_err = '\\"Every administrative case is either an appeal or an objection or an appeal to an administrative court. (Art.6:4 Awb)\\"';
         } else {
             if (!checkRule12()) {
                 $DB_err = '\\"An appeal lodged against a decision of an administrative authority of a province or municipality, or a water management board, or a region as referred to in article 21 of the 1993 Police Act, or of a joint body or public body established under the Joint Arrangements Act, falls within the jurisdiction of the district court within whose district the administrative authority has its seat. (art. 8:7 par.1 Awb.)\\"';
             } else {
                 if (!checkRule13()) {
                     $DB_err = '\\"\\"';
                 } else {
                     if (!checkRule14()) {
                         $DB_err = '\\"\\"';
                     } else {
                         if (!checkRule15()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule18()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule19()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule20()) {
                                         $DB_err = '\\"\\"';
                                     } else {
                                         if (!checkRule21()) {
                                             $DB_err = '\\"\\"';
                                         } else {
                                             if (!checkRule22()) {
                                                 $DB_err = '\\"\\"';
                                             } else {
                                                 if (!checkRule23()) {
                                                     $DB_err = '\\"\\"';
                                                 } else {
                                                     if (!checkRule24()) {
                                                         $DB_err = '\\"\\"';
                                                     } else {
                                                         if (!checkRule25()) {
                                                             $DB_err = '\\"\\"';
                                                         } else {
                                                             if (!checkRule36()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (true) {
                                                                     // all rules are met
                                                                     DB_doquer('COMMIT');
                                                                     return true;
                                                                 }
                                                             }
                                                         }
                                                     }
                                                 }
                                             }
                                         }
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
     }
     DB_doquer('ROLLBACK');
     return false;
 }
Example #2
0
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "Sessions" => $this->_Sessions, "panels" => $this->_panels, "members" => $this->_members, "cases" => $this->_cases, "main office" => $this->_mainoffice, "local offices" => $this->_localoffices, "court of appeal" => $this->_courtofappeal, "schedule" => $this->_schedule);
     if (isset($me['id'])) {
         DB_doquer("UPDATE `city` SET `localoffices`=NULL WHERE `localoffices`='" . addslashes($me['id']) . "'", 5);
     }
     DB_doquer("DELETE FROM `court` WHERE `i`='" . addslashes($me['id']) . "'", 5);
     DB_doquer("DELETE FROM `panel` WHERE `court`='" . addslashes($me['id']) . "'", 5);
     foreach ($me['Sessions'] as $i0 => $v0) {
         foreach ($v0['schedule'] as $i1 => $v1) {
             foreach ($v1['type of case'] as $i2 => $v2) {
                 DB_doquer("DELETE FROM `casetype` WHERE `i`='" . addslashes($v2) . "'", 5);
             }
         }
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `date` WHERE `i`='" . addslashes($v0['scheduled']) . "'", 5);
     }
     foreach ($me['schedule'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `plaintiff` WHERE `legalcase`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `judge` WHERE `session`='" . addslashes($v0['id']) . "'", 5);
     }
     if (!checkRule1()) {
         $DB_err = '\\"The plaintiff in an administrative case is a juristic person\\"';
     } else {
         if (!checkRule2()) {
             $DB_err = '\\"The defendant in an administrative case is an administrative authority as referred to in art.1:1 Awb.\\"';
         } else {
             if (!checkRule3()) {
                 $DB_err = '\\"Written authorizations for representatives of a case are not put in the case file\\"';
             } else {
                 if (!checkRule4()) {
                     $DB_err = '\\"Every administrative case is either an appeal or an objection or an appeal to an administrative court. (Art.6:4 Awb)\\"';
                 } else {
                     if (!checkRule5()) {
                         $DB_err = '\\"Every party is either a person or an organization or an administrative authority.\\"';
                     } else {
                         if (!checkRule7()) {
                             $DB_err = '\\"a session can be identified by its panel, its city and its date.\\"';
                         } else {
                             if (!checkRule8()) {
                                 $DB_err = '\\"A judge at a session is a member of the panel that runs the session.\\"';
                             } else {
                                 if (!checkRule9()) {
                                     $DB_err = '\\"The clerk of a session must be the clerk of the court where the session is held.\\"';
                                 } else {
                                     if (!checkRule10()) {
                                         $DB_err = '\\"All sessions are scheduled\\"';
                                     } else {
                                         if (!checkRule12()) {
                                             $DB_err = '\\"An appeal lodged against a decision of an administrative authority of a province or municipality, or a water management board, or a region as referred to in article 21 of the 1993 Police Act, or of a joint body or public body established under the Joint Arrangements Act, falls within the jurisdiction of the district court within whose district the administrative authority has its seat. (art. 8:7 par.1 Awb.)\\"';
                                         } else {
                                             if (!checkRule13()) {
                                                 $DB_err = '\\"\\"';
                                             } else {
                                                 if (!checkRule15()) {
                                                     $DB_err = '\\"\\"';
                                                 } else {
                                                     if (!checkRule18()) {
                                                         $DB_err = '\\"\\"';
                                                     } else {
                                                         if (!checkRule19()) {
                                                             $DB_err = '\\"\\"';
                                                         } else {
                                                             if (!checkRule20()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (!checkRule21()) {
                                                                     $DB_err = '\\"\\"';
                                                                 } else {
                                                                     if (!checkRule22()) {
                                                                         $DB_err = '\\"\\"';
                                                                     } else {
                                                                         if (!checkRule23()) {
                                                                             $DB_err = '\\"\\"';
                                                                         } else {
                                                                             if (!checkRule24()) {
                                                                                 $DB_err = '\\"\\"';
                                                                             } else {
                                                                                 if (!checkRule25()) {
                                                                                     $DB_err = '\\"\\"';
                                                                                 } else {
                                                                                     if (!checkRule27()) {
                                                                                         $DB_err = '\\"\\"';
                                                                                     } else {
                                                                                         if (!checkRule29()) {
                                                                                             $DB_err = '\\"\\"';
                                                                                         } else {
                                                                                             if (!checkRule31()) {
                                                                                                 $DB_err = '\\"\\"';
                                                                                             } else {
                                                                                                 if (!checkRule33()) {
                                                                                                     $DB_err = '\\"\\"';
                                                                                                 } else {
                                                                                                     if (!checkRule34()) {
                                                                                                         $DB_err = '\\"\\"';
                                                                                                     } else {
                                                                                                         if (!checkRule35()) {
                                                                                                             $DB_err = '\\"\\"';
                                                                                                         } else {
                                                                                                             if (!checkRule36()) {
                                                                                                                 $DB_err = '\\"\\"';
                                                                                                             } else {
                                                                                                                 if (!checkRule37()) {
                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                 } else {
                                                                                                                     if (!checkRule38()) {
                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                     } else {
                                                                                                                         if (!checkRule39()) {
                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                         } else {
                                                                                                                             if (!checkRule40()) {
                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                             } else {
                                                                                                                                 if (!checkRule41()) {
                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                 } else {
                                                                                                                                     if (!checkRule42()) {
                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                     } else {
                                                                                                                                         if (!checkRule43()) {
                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                         } else {
                                                                                                                                             if (!checkRule44()) {
                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                             } else {
                                                                                                                                                 if (!checkRule46()) {
                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                 } else {
                                                                                                                                                     if (!checkRule47()) {
                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                     } else {
                                                                                                                                                         if (!checkRule48()) {
                                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                                         } else {
                                                                                                                                                             if (!checkRule49()) {
                                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                                             } else {
                                                                                                                                                                 if (!checkRule51()) {
                                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                                 } else {
                                                                                                                                                                     if (!checkRule52()) {
                                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                                     } else {
                                                                                                                                                                         if (!checkRule53()) {
                                                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                                                         } else {
                                                                                                                                                                             if (!checkRule54()) {
                                                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                                                             } else {
                                                                                                                                                                                 if (!checkRule55()) {
                                                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                                                 } else {
                                                                                                                                                                                     if (!checkRule56()) {
                                                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                                                     } else {
                                                                                                                                                                                         if (!checkRule57()) {
                                                                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                                                                         } else {
                                                                                                                                                                                             if (!checkRule58()) {
                                                                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                                                                             } else {
                                                                                                                                                                                                 if (!checkRule59()) {
                                                                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                                                                 } else {
                                                                                                                                                                                                     if (!checkRule60()) {
                                                                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                                                                     } else {
                                                                                                                                                                                                         if (!checkRule61()) {
                                                                                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                                                                                         } else {
                                                                                                                                                                                                             if (!checkRule62()) {
                                                                                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                                                                                             } else {
                                                                                                                                                                                                                 if (true) {
                                                                                                                                                                                                                     // all rules are met
                                                                                                                                                                                                                     DB_doquer('COMMIT');
                                                                                                                                                                                                                     return true;
                                                                                                                                                                                                                 }
                                                                                                                                                                                                             }
                                                                                                                                                                                                         }
                                                                                                                                                                                                     }
                                                                                                                                                                                                 }
                                                                                                                                                                                             }
                                                                                                                                                                                         }
                                                                                                                                                                                     }
                                                                                                                                                                                 }
                                                                                                                                                                             }
                                                                                                                                                                         }
                                                                                                                                                                     }
                                                                                                                                                                 }
                                                                                                                                                             }
                                                                                                                                                         }
                                                                                                                                                     }
                                                                                                                                                 }
                                                                                                                                             }
                                                                                                                                         }
                                                                                                                                     }
                                                                                                                                 }
                                                                                                                             }
                                                                                                                         }
                                                                                                                     }
                                                                                                                 }
                                                                                                             }
                                                                                                         }
                                                                                                     }
                                                                                                 }
                                                                                             }
                                                                                         }
                                                                                     }
                                                                                 }
                                                                             }
                                                                         }
                                                                     }
                                                                 }
                                                             }
                                                         }
                                                     }
                                                 }
                                             }
                                         }
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
     }
     DB_doquer('ROLLBACK');
     return false;
 }
Example #3
0
 function save()
 {
     DB_doquer('START TRANSACTION');
     /****************************************\
        * Attributes that will not be saved are: *
        * -------------------------------------- *
        \****************************************/
     $me = array("id" => 1, "Cases" => $this->_Cases);
     // no code for session,i in session
     foreach ($me['Cases'] as $i0 => $v0) {
         if (isset($v0['id'])) {
             DB_doquer("UPDATE `legalcase` SET `i`='" . addslashes($v0['id']) . "', `areaoflaw`='" . addslashes($v0['area of law']) . "' WHERE `i`='" . addslashes($v0['nr']) . "'", 5);
         }
     }
     // no code for nr,i in legalcase
     // no code for Cases,legalcase in process
     // no code for court,i in court
     foreach ($me['Cases'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `areaoflaw` WHERE `i`='" . addslashes($v0['area of law']) . "'", 5);
     }
     foreach ($me['Cases'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `areaoflaw` (`i`) VALUES ('" . addslashes($v0['area of law']) . "')", 5);
     }
     foreach ($me['Cases'] as $i0 => $v0) {
         foreach ($v0['type of case'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `casetype` WHERE `i`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['Cases'] as $i0 => $v0) {
         foreach ($v0['type of case'] as $i1 => $v1) {
             $res = DB_doquer("INSERT IGNORE INTO `casetype` (`i`) VALUES ('" . addslashes($v1) . "')", 5);
         }
     }
     // no code for Cases,legalcase in plaintiff
     // no code for nr,legalcase in plaintiff
     // no code for session,session in judge
     foreach ($me['Cases'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `broughtbefore` WHERE `legalcase`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Cases'] as $i0 => $v0) {
         foreach ($v0['court'] as $court) {
             $res = DB_doquer("INSERT IGNORE INTO `broughtbefore` (`court`,`legalcase`) VALUES ('" . addslashes($court) . "', '" . addslashes($v0['id']) . "')", 5);
         }
     }
     if (!checkRule3()) {
         $DB_err = '\\"Written authorizations for representatives of a case are not put in the case file\\"';
     } else {
         if (!checkRule4()) {
             $DB_err = '\\"Every administrative case is either an appeal or an objection or an appeal to an administrative court. (Art.6:4 Awb)\\"';
         } else {
             if (!checkRule7()) {
                 $DB_err = '\\"a session can be identified by its panel, its city and its date.\\"';
             } else {
                 if (!checkRule12()) {
                     $DB_err = '\\"An appeal lodged against a decision of an administrative authority of a province or municipality, or a water management board, or a region as referred to in article 21 of the 1993 Police Act, or of a joint body or public body established under the Joint Arrangements Act, falls within the jurisdiction of the district court within whose district the administrative authority has its seat. (art. 8:7 par.1 Awb.)\\"';
                 } else {
                     if (!checkRule13()) {
                         $DB_err = '\\"\\"';
                     } else {
                         if (!checkRule14()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule15()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule18()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule19()) {
                                         $DB_err = '\\"\\"';
                                     } else {
                                         if (!checkRule20()) {
                                             $DB_err = '\\"\\"';
                                         } else {
                                             if (!checkRule21()) {
                                                 $DB_err = '\\"\\"';
                                             } else {
                                                 if (!checkRule22()) {
                                                     $DB_err = '\\"\\"';
                                                 } else {
                                                     if (!checkRule23()) {
                                                         $DB_err = '\\"\\"';
                                                     } else {
                                                         if (!checkRule24()) {
                                                             $DB_err = '\\"\\"';
                                                         } else {
                                                             if (!checkRule25()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (!checkRule34()) {
                                                                     $DB_err = '\\"\\"';
                                                                 } else {
                                                                     if (!checkRule35()) {
                                                                         $DB_err = '\\"\\"';
                                                                     } else {
                                                                         if (!checkRule36()) {
                                                                             $DB_err = '\\"\\"';
                                                                         } else {
                                                                             if (!checkRule37()) {
                                                                                 $DB_err = '\\"\\"';
                                                                             } else {
                                                                                 if (!checkRule39()) {
                                                                                     $DB_err = '\\"\\"';
                                                                                 } else {
                                                                                     if (!checkRule40()) {
                                                                                         $DB_err = '\\"\\"';
                                                                                     } else {
                                                                                         if (!checkRule42()) {
                                                                                             $DB_err = '\\"\\"';
                                                                                         } else {
                                                                                             if (!checkRule44()) {
                                                                                                 $DB_err = '\\"\\"';
                                                                                             } else {
                                                                                                 if (!checkRule48()) {
                                                                                                     $DB_err = '\\"\\"';
                                                                                                 } else {
                                                                                                     if (!checkRule53()) {
                                                                                                         $DB_err = '\\"\\"';
                                                                                                     } else {
                                                                                                         if (!checkRule56()) {
                                                                                                             $DB_err = '\\"\\"';
                                                                                                         } else {
                                                                                                             if (!checkRule57()) {
                                                                                                                 $DB_err = '\\"\\"';
                                                                                                             } else {
                                                                                                                 if (!checkRule59()) {
                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                 } else {
                                                                                                                     if (!checkRule60()) {
                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                     } else {
                                                                                                                         if (!checkRule61()) {
                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                         } else {
                                                                                                                             if (true) {
                                                                                                                                 // all rules are met
                                                                                                                                 DB_doquer('COMMIT');
                                                                                                                                 return true;
                                                                                                                             }
                                                                                                                         }
                                                                                                                     }
                                                                                                                 }
                                                                                                             }
                                                                                                         }
                                                                                                     }
                                                                                                 }
                                                                                             }
                                                                                         }
                                                                                     }
                                                                                 }
                                                                             }
                                                                         }
                                                                     }
                                                                 }
                                                             }
                                                         }
                                                     }
                                                 }
                                             }
                                         }
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /****************************************\
        * Attributes that will not be saved are: *
        * -------------------------------------- *
        \****************************************/
     $me = array("id" => 1, "Documents" => $this->_Documents);
     foreach ($me['Documents'] as $i0 => $v0) {
         DB_doquer("INSERT IGNORE INTO `document` (`i`,`documenttype`) VALUES ('" . addslashes($v0['id']) . "', '" . addslashes($v0['type']) . "')", 5);
         if (mysql_affected_rows() == 0 && $v0['id'] != null) {
             //nothing inserted, try updating:
             DB_doquer("UPDATE `document` SET `i`='" . addslashes($v0['id']) . "', `documenttype`='" . addslashes($v0['type']) . "' WHERE `i`='" . addslashes($v0['nr']) . "'", 5);
         }
     }
     // no code for nr,i in document
     foreach ($me['Documents'] as $i0 => $v0) {
         foreach ($v0['area of law'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `areaoflaw` WHERE `i`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['Documents'] as $i0 => $v0) {
         foreach ($v0['area of law'] as $i1 => $v1) {
             $res = DB_doquer("INSERT IGNORE INTO `areaoflaw` (`i`) VALUES ('" . addslashes($v1) . "')", 5);
         }
     }
     foreach ($me['Documents'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `documenttype` WHERE `i`='" . addslashes($v0['type']) . "'", 5);
     }
     foreach ($me['Documents'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `documenttype` (`i`) VALUES ('" . addslashes($v0['type']) . "')", 5);
     }
     foreach ($me['Documents'] as $i0 => $v0) {
         foreach ($v0['type of case'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `casetype` WHERE `i`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['Documents'] as $i0 => $v0) {
         foreach ($v0['type of case'] as $i1 => $v1) {
             $res = DB_doquer("INSERT IGNORE INTO `casetype` (`i`) VALUES ('" . addslashes($v1) . "')", 5);
         }
     }
     if (!checkRule3()) {
         $DB_err = '\\"Written authorizations for representatives of a case are not put in the case file\\"';
     } else {
         if (!checkRule4()) {
             $DB_err = '\\"Every administrative case is either an appeal or an objection or an appeal to an administrative court. (Art.6:4 Awb)\\"';
         } else {
             if (!checkRule12()) {
                 $DB_err = '\\"An appeal lodged against a decision of an administrative authority of a province or municipality, or a water management board, or a region as referred to in article 21 of the 1993 Police Act, or of a joint body or public body established under the Joint Arrangements Act, falls within the jurisdiction of the district court within whose district the administrative authority has its seat. (art. 8:7 par.1 Awb.)\\"';
             } else {
                 if (!checkRule14()) {
                     $DB_err = '\\"\\"';
                 } else {
                     if (!checkRule15()) {
                         $DB_err = '\\"\\"';
                     } else {
                         if (!checkRule16()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule17()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule18()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule19()) {
                                         $DB_err = '\\"\\"';
                                     } else {
                                         if (!checkRule20()) {
                                             $DB_err = '\\"\\"';
                                         } else {
                                             if (!checkRule21()) {
                                                 $DB_err = '\\"\\"';
                                             } else {
                                                 if (!checkRule22()) {
                                                     $DB_err = '\\"\\"';
                                                 } else {
                                                     if (!checkRule23()) {
                                                         $DB_err = '\\"\\"';
                                                     } else {
                                                         if (!checkRule24()) {
                                                             $DB_err = '\\"\\"';
                                                         } else {
                                                             if (!checkRule25()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (true) {
                                                                     // all rules are met
                                                                     DB_doquer('COMMIT');
                                                                     return true;
                                                                 }
                                                             }
                                                         }
                                                     }
                                                 }
                                             }
                                         }
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "plaintiff" => $this->_plaintiff, "representative of plaintiff" => $this->_representativeofplaintiff, "defendant" => $this->_defendant, "representative of defendant" => $this->_representativeofdefendant, "area of law" => $this->_areaoflaw, "type of case" => $this->_typeofcase, "process" => $this->_process, "court" => $this->_court, "case file" => $this->_casefile, "authorization documents" => $this->_authorizationdocuments);
     DB_doquer("DELETE FROM `areaoflaw` WHERE `i`='" . addslashes($me['area of law']) . "'", 5);
     foreach ($me['case file'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `documenttype` WHERE `i`='" . addslashes($v0['type']) . "'", 5);
     }
     foreach ($me['type of case'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `casetype` WHERE `i`='" . addslashes($v0) . "'", 5);
     }
     foreach ($me['process'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `date` WHERE `i`='" . addslashes($v0['scheduled']) . "'", 5);
     }
     DB_doquer("DELETE FROM `plaintiff` WHERE `legalcase`='" . addslashes($me['id']) . "'", 5);
     foreach ($me['authorization documents'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `writtenauthof` WHERE `document`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['authorization documents'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `authby` WHERE `document`='" . addslashes($v0['id']) . "'", 5);
     }
     DB_doquer("DELETE FROM `broughtbefore` WHERE `legalcase`='" . addslashes($me['id']) . "'", 5);
     if (!checkRule1()) {
         $DB_err = '\\"The plaintiff in an administrative case is a juristic person\\"';
     } else {
         if (!checkRule2()) {
             $DB_err = '\\"The defendant in an administrative case is an administrative authority as referred to in art.1:1 Awb.\\"';
         } else {
             if (!checkRule3()) {
                 $DB_err = '\\"Written authorizations for representatives of a case are not put in the case file\\"';
             } else {
                 if (!checkRule4()) {
                     $DB_err = '\\"Every administrative case is either an appeal or an objection or an appeal to an administrative court. (Art.6:4 Awb)\\"';
                 } else {
                     if (!checkRule5()) {
                         $DB_err = '\\"Every party is either a person or an organization or an administrative authority.\\"';
                     } else {
                         if (!checkRule7()) {
                             $DB_err = '\\"a session can be identified by its panel, its city and its date.\\"';
                         } else {
                             if (!checkRule8()) {
                                 $DB_err = '\\"A judge at a session is a member of the panel that runs the session.\\"';
                             } else {
                                 if (!checkRule9()) {
                                     $DB_err = '\\"The clerk of a session must be the clerk of the court where the session is held.\\"';
                                 } else {
                                     if (!checkRule10()) {
                                         $DB_err = '\\"All sessions are scheduled\\"';
                                     } else {
                                         if (!checkRule12()) {
                                             $DB_err = '\\"An appeal lodged against a decision of an administrative authority of a province or municipality, or a water management board, or a region as referred to in article 21 of the 1993 Police Act, or of a joint body or public body established under the Joint Arrangements Act, falls within the jurisdiction of the district court within whose district the administrative authority has its seat. (art. 8:7 par.1 Awb.)\\"';
                                         } else {
                                             if (!checkRule13()) {
                                                 $DB_err = '\\"\\"';
                                             } else {
                                                 if (!checkRule14()) {
                                                     $DB_err = '\\"\\"';
                                                 } else {
                                                     if (!checkRule15()) {
                                                         $DB_err = '\\"\\"';
                                                     } else {
                                                         if (!checkRule16()) {
                                                             $DB_err = '\\"\\"';
                                                         } else {
                                                             if (!checkRule17()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (!checkRule18()) {
                                                                     $DB_err = '\\"\\"';
                                                                 } else {
                                                                     if (!checkRule19()) {
                                                                         $DB_err = '\\"\\"';
                                                                     } else {
                                                                         if (!checkRule20()) {
                                                                             $DB_err = '\\"\\"';
                                                                         } else {
                                                                             if (!checkRule21()) {
                                                                                 $DB_err = '\\"\\"';
                                                                             } else {
                                                                                 if (!checkRule22()) {
                                                                                     $DB_err = '\\"\\"';
                                                                                 } else {
                                                                                     if (!checkRule23()) {
                                                                                         $DB_err = '\\"\\"';
                                                                                     } else {
                                                                                         if (!checkRule24()) {
                                                                                             $DB_err = '\\"\\"';
                                                                                         } else {
                                                                                             if (!checkRule25()) {
                                                                                                 $DB_err = '\\"\\"';
                                                                                             } else {
                                                                                                 if (!checkRule27()) {
                                                                                                     $DB_err = '\\"\\"';
                                                                                                 } else {
                                                                                                     if (!checkRule29()) {
                                                                                                         $DB_err = '\\"\\"';
                                                                                                     } else {
                                                                                                         if (!checkRule31()) {
                                                                                                             $DB_err = '\\"\\"';
                                                                                                         } else {
                                                                                                             if (!checkRule33()) {
                                                                                                                 $DB_err = '\\"\\"';
                                                                                                             } else {
                                                                                                                 if (!checkRule34()) {
                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                 } else {
                                                                                                                     if (!checkRule35()) {
                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                     } else {
                                                                                                                         if (!checkRule36()) {
                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                         } else {
                                                                                                                             if (!checkRule37()) {
                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                             } else {
                                                                                                                                 if (!checkRule38()) {
                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                 } else {
                                                                                                                                     if (!checkRule39()) {
                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                     } else {
                                                                                                                                         if (!checkRule40()) {
                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                         } else {
                                                                                                                                             if (!checkRule41()) {
                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                             } else {
                                                                                                                                                 if (!checkRule42()) {
                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                 } else {
                                                                                                                                                     if (!checkRule43()) {
                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                     } else {
                                                                                                                                                         if (!checkRule44()) {
                                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                                         } else {
                                                                                                                                                             if (!checkRule46()) {
                                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                                             } else {
                                                                                                                                                                 if (!checkRule47()) {
                                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                                 } else {
                                                                                                                                                                     if (!checkRule48()) {
                                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                                     } else {
                                                                                                                                                                         if (!checkRule49()) {
                                                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                                                         } else {
                                                                                                                                                                             if (!checkRule51()) {
                                                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                                                             } else {
                                                                                                                                                                                 if (!checkRule53()) {
                                                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                                                 } else {
                                                                                                                                                                                     if (!checkRule56()) {
                                                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                                                     } else {
                                                                                                                                                                                         if (!checkRule57()) {
                                                                                                                                                                                             $DB_err = '\\"\\"';
                                                                                                                                                                                         } else {
                                                                                                                                                                                             if (!checkRule59()) {
                                                                                                                                                                                                 $DB_err = '\\"\\"';
                                                                                                                                                                                             } else {
                                                                                                                                                                                                 if (!checkRule60()) {
                                                                                                                                                                                                     $DB_err = '\\"\\"';
                                                                                                                                                                                                 } else {
                                                                                                                                                                                                     if (!checkRule61()) {
                                                                                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                                                                                     } else {
                                                                                                                                                                                                         if (true) {
                                                                                                                                                                                                             // all rules are met
                                                                                                                                                                                                             DB_doquer('COMMIT');
                                                                                                                                                                                                             return true;
                                                                                                                                                                                                         }
                                                                                                                                                                                                     }
                                                                                                                                                                                                 }
                                                                                                                                                                                             }
                                                                                                                                                                                         }
                                                                                                                                                                                     }
                                                                                                                                                                                 }
                                                                                                                                                                             }
                                                                                                                                                                         }
                                                                                                                                                                     }
                                                                                                                                                                 }
                                                                                                                                                             }
                                                                                                                                                         }
                                                                                                                                                     }
                                                                                                                                                 }
                                                                                                                                             }
                                                                                                                                         }
                                                                                                                                     }
                                                                                                                                 }
                                                                                                                             }
                                                                                                                         }
                                                                                                                     }
                                                                                                                 }
                                                                                                             }
                                                                                                         }
                                                                                                     }
                                                                                                 }
                                                                                             }
                                                                                         }
                                                                                     }
                                                                                 }
                                                                             }
                                                                         }
                                                                     }
                                                                 }
                                                             }
                                                         }
                                                     }
                                                 }
                                             }
                                         }
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 checkRule3();
 checkRule4();
 checkRule5();
 checkRule6();
 checkRule7();
 checkRule8();
 checkRule9();
 checkRule10();
 checkRule11();
 checkRule12();
 checkRule13();
 checkRule14();
 checkRule15();
 checkRule16();
 checkRule17();
 checkRule18();
 checkRule19();
 checkRule20();
 checkRule21();
 checkRule22();
 checkRule23();
 checkRule24();
 checkRule25();
 checkRule26();
 checkRule27();
 checkRule28();
 checkRule29();
 checkRule30();
 checkRule31();
 checkRule32();
 checkRule33();
Example #7
0
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "cases" => $this->_cases, "role" => $this->_role, "authorized" => $this->_authorized);
     DB_doquer("DELETE FROM `party` WHERE `i`='" . addslashes($me['id']) . "'", 5);
     foreach ($me['cases'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `areaoflaw` WHERE `i`='" . addslashes($v0['area of law']) . "'", 5);
     }
     foreach ($me['cases'] as $i0 => $v0) {
         foreach ($v0['type of case'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `casetype` WHERE `i`='" . addslashes($v1) . "'", 5);
         }
     }
     DB_doquer("DELETE FROM `role` WHERE `i`='" . addslashes($me['role']) . "'", 5);
     foreach ($me['authorized'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `writtenauthof` WHERE `document`='" . addslashes($v0['id']) . "'", 5);
     }
     if (!checkRule1()) {
         $DB_err = '\\"The plaintiff in an administrative case is a juristic person\\"';
     } else {
         if (!checkRule2()) {
             $DB_err = '\\"The defendant in an administrative case is an administrative authority as referred to in art.1:1 Awb.\\"';
         } else {
             if (!checkRule3()) {
                 $DB_err = '\\"Written authorizations for representatives of a case are not put in the case file\\"';
             } else {
                 if (!checkRule4()) {
                     $DB_err = '\\"Every administrative case is either an appeal or an objection or an appeal to an administrative court. (Art.6:4 Awb)\\"';
                 } else {
                     if (!checkRule5()) {
                         $DB_err = '\\"Every party is either a person or an organization or an administrative authority.\\"';
                     } else {
                         if (!checkRule12()) {
                             $DB_err = '\\"An appeal lodged against a decision of an administrative authority of a province or municipality, or a water management board, or a region as referred to in article 21 of the 1993 Police Act, or of a joint body or public body established under the Joint Arrangements Act, falls within the jurisdiction of the district court within whose district the administrative authority has its seat. (art. 8:7 par.1 Awb.)\\"';
                         } else {
                             if (!checkRule13()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule14()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule15()) {
                                         $DB_err = '\\"\\"';
                                     } else {
                                         if (!checkRule17()) {
                                             $DB_err = '\\"\\"';
                                         } else {
                                             if (!checkRule18()) {
                                                 $DB_err = '\\"\\"';
                                             } else {
                                                 if (!checkRule19()) {
                                                     $DB_err = '\\"\\"';
                                                 } else {
                                                     if (!checkRule20()) {
                                                         $DB_err = '\\"\\"';
                                                     } else {
                                                         if (!checkRule21()) {
                                                             $DB_err = '\\"\\"';
                                                         } else {
                                                             if (!checkRule22()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (!checkRule23()) {
                                                                     $DB_err = '\\"\\"';
                                                                 } else {
                                                                     if (!checkRule24()) {
                                                                         $DB_err = '\\"\\"';
                                                                     } else {
                                                                         if (!checkRule25()) {
                                                                             $DB_err = '\\"\\"';
                                                                         } else {
                                                                             if (!checkRule27()) {
                                                                                 $DB_err = '\\"\\"';
                                                                             } else {
                                                                                 if (!checkRule29()) {
                                                                                     $DB_err = '\\"\\"';
                                                                                 } else {
                                                                                     if (!checkRule31()) {
                                                                                         $DB_err = '\\"\\"';
                                                                                     } else {
                                                                                         if (!checkRule33()) {
                                                                                             $DB_err = '\\"\\"';
                                                                                         } else {
                                                                                             if (!checkRule36()) {
                                                                                                 $DB_err = '\\"\\"';
                                                                                             } else {
                                                                                                 if (!checkRule43()) {
                                                                                                     $DB_err = '\\"\\"';
                                                                                                 } else {
                                                                                                     if (!checkRule45()) {
                                                                                                         $DB_err = '\\"\\"';
                                                                                                     } else {
                                                                                                         if (!checkRule46()) {
                                                                                                             $DB_err = '\\"\\"';
                                                                                                         } else {
                                                                                                             if (!checkRule51()) {
                                                                                                                 $DB_err = '\\"\\"';
                                                                                                             } else {
                                                                                                                 if (true) {
                                                                                                                     // all rules are met
                                                                                                                     DB_doquer('COMMIT');
                                                                                                                     return true;
                                                                                                                 }
                                                                                                             }
                                                                                                         }
                                                                                                     }
                                                                                                 }
                                                                                             }
                                                                                         }
                                                                                     }
                                                                                 }
                                                                             }
                                                                         }
                                                                     }
                                                                 }
                                                             }
                                                         }
                                                     }
                                                 }
                                             }
                                         }
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
     }
     DB_doquer('ROLLBACK');
     return false;
 }