function save()
 {
     DB_doquer('START TRANSACTION');
     /**************************\
        * All attributes are saved *
        \**************************/
     $me = array("id" => 1, "IS-a relaties" => $this->_ISarelaties);
     foreach ($me['IS-a relaties'] as $i0 => $v0) {
         if (isset($v0['id'])) {
             DB_doquer("UPDATE `isarelation` SET `specific`='" . addslashes($v0['het specifieke concept']) . "', `general`='" . addslashes($v0['is een']) . "' WHERE `i`='" . addslashes($v0['id']) . "'", 5);
         }
     }
     // no code for het specifieke concept,i in concept
     // no code for is een,i in concept
     foreach ($me['IS-a relaties'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `string` WHERE `i`='" . addslashes($v0['pattern']) . "'", 5);
     }
     foreach ($me['IS-a relaties'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `string` (`i`) VALUES ('" . addslashes($v0['pattern']) . "')", 5);
     }
     foreach ($me['IS-a relaties'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `containsconcept` (`i`) VALUES ('" . addslashes($v0['het specifieke concept']) . "')", 5);
     }
     foreach ($me['IS-a relaties'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `containsconcept` (`i`) VALUES ('" . addslashes($v0['is een']) . "')", 5);
     }
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /**************************\
        * All attributes are saved *
        \**************************/
     $me = array("id" => 1, "Session" => $this->_Session);
     // no code for file,Id in BestandTbl
     foreach ($me['Session'] as $i0 => $v0) {
         if (isset($v0['id'])) {
             DB_doquer("UPDATE `SessieTbl` SET `Id`='" . addslashes($v0['id']) . "', `ip`='" . addslashes($v0['ip']) . "', `bestand`=" . (null != $v0['file'] ? "'" . addslashes($v0['file']) . "'" : "NULL") . " WHERE `Id`='" . addslashes($v0['id']) . "'", 5);
         }
     }
     // no code for id,Id in SessieTbl
     // no code for file,bestand in SessieTbl
     foreach ($me['Session'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `Text` WHERE `I`='" . addslashes($v0['ip']) . "'", 5);
     }
     foreach ($me['Session'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `Text` (`I`) VALUES ('" . addslashes($v0['ip']) . "')", 5);
     }
     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(), "sessies" => $this->_sessies);
     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(), "populatie" => $this->_populatie);
     foreach ($me['populatie'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0) . "'", 5);
     }
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /**************************\
        * All attributes are saved *
        \**************************/
     $me = array("id" => 1, "Conceptenlijst" => $this->_Conceptenlijst);
     // no code for Conceptenlijst,I in Concept
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /**************************\
        * All attributes are saved *
        \**************************/
     $me = array("id" => 1, "Patternlijst" => $this->_Patternlijst);
     // no code for regels die overtreden worden,I in UserRule
     // no code for relaties waarvan een eigenschap overtreden wordt,I in Relation
     // no code for Patternlijst,I in Pattern
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /**************************\
        * All attributes are saved *
        \**************************/
     $me = array("id" => 1, "Operations" => $this->_Operations);
     foreach ($me['Operations'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `OperationTbl` WHERE `Id`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Operations'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `OperationTbl` (`Id`,`name`,`call`,`output`) VALUES (" . (null != $v0['id'] ? "'" . addslashes($v0['id']) . "'" : "NULL") . ", '" . addslashes($v0['name']) . "', '" . addslashes($v0['call']) . "', '" . addslashes($v0['outputURL']) . "')", 5);
         if ($res !== false && !isset($v0['id'])) {
             $v0['id'] = mysql_insert_id();
         }
     }
     foreach ($me['Operations'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `Text` WHERE `I`='" . addslashes($v0['name']) . "'", 5);
     }
     foreach ($me['Operations'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `Text` WHERE `I`='" . addslashes($v0['call']) . "'", 5);
     }
     foreach ($me['Operations'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `Text` (`I`) VALUES ('" . addslashes($v0['name']) . "')", 5);
     }
     foreach ($me['Operations'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `Text` (`I`) VALUES ('" . addslashes($v0['call']) . "')", 5);
     }
     foreach ($me['Operations'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `Compilation` WHERE `I`='" . addslashes($v0['outputURL']) . "'", 5);
     }
     foreach ($me['Operations'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `Compilation` (`I`) VALUES ('" . addslashes($v0['outputURL']) . "')", 5);
     }
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /**************************\
        * All attributes are saved *
        \**************************/
     $me = array("id" => 1, "Relatielijst" => $this->_Relatielijst);
     // no code for Relatielijst,I in Relation
     foreach ($me['Relatielijst'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0['voorbeeld']) . "'", 5);
     }
     foreach ($me['Relatielijst'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `String` (`I`) VALUES ('" . addslashes($v0['voorbeeld']) . "')", 5);
     }
     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, "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;
 }
Exemple #10
0
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "court office" => $this->_courtoffice, "jurisdiction" => $this->_jurisdiction, "court of appeal" => $this->_courtofappeal, "sessions" => $this->_sessions);
     foreach ($me['sessions'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `date` WHERE `i`='" . addslashes($v0['scheduled']) . "'", 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 (!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 (!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 (!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;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /****************************************\
        * Attributes that will not be saved are: *
        * -------------------------------------- *
        \****************************************/
     $me = array("id" => 1, "Process" => $this->_Process);
     // no code for session,i in session
     // no code for case,i in legalcase
     foreach ($me['Process'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `process` WHERE `i`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Process'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `process` (`i`,`session`,`legalcase`) VALUES ('" . addslashes($v0['id']) . "', '" . addslashes($v0['session']) . "', '" . addslashes($v0['case']) . "')", 5);
         if ($res !== false && !isset($v0['id'])) {
             $v0['id'] = mysql_insert_id();
         }
     }
     // no code for nr,i in process
     foreach ($me['Process'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `date` WHERE `i`='" . addslashes($v0['scheduled']) . "'", 5);
     }
     foreach ($me['Process'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `date` (`i`) VALUES ('" . addslashes($v0['scheduled']) . "')", 5);
     }
     // no code for case,legalcase in plaintiff
     // no code for session,session in judge
     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 (!checkRule10()) {
                     $DB_err = '\\"All sessions are scheduled\\"';
                 } else {
                     if (!checkRule13()) {
                         $DB_err = '\\"\\"';
                     } else {
                         if (!checkRule15()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule19()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule21()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule23()) {
                                         $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 (!checkRule42()) {
                                                                     $DB_err = '\\"\\"';
                                                                 } else {
                                                                     if (!checkRule44()) {
                                                                         $DB_err = '\\"\\"';
                                                                     } else {
                                                                         if (!checkRule47()) {
                                                                             $DB_err = '\\"\\"';
                                                                         } else {
                                                                             if (!checkRule48()) {
                                                                                 $DB_err = '\\"\\"';
                                                                             } else {
                                                                                 if (!checkRule49()) {
                                                                                     $DB_err = '\\"\\"';
                                                                                 } else {
                                                                                     if (!checkRule57()) {
                                                                                         $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(), "regels" => $this->_regels, "relaties" => $this->_relaties, "Conceptueel diagram" => $this->_Conceptueeldiagram);
     DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($me['Conceptueel diagram']) . "'", 5);
     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, "Sessions" => $this->_Sessions);
     foreach ($me['Sessions'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `session` WHERE `i`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `session` (`i`,`panel`,`location`,`clerk`,`scheduled`,`occured`) VALUES ('" . addslashes($v0['id']) . "', '" . addslashes($v0['panel']) . "', '" . addslashes($v0['court']) . "', '" . addslashes($v0['clerk']) . "', '" . addslashes($v0['scheduled']) . "', " . (null != $v0['date of occurence'] ? "'" . addslashes($v0['date of occurence']) . "'" : "NULL") . ")", 5);
         if ($res !== false && !isset($v0['id'])) {
             $v0['id'] = mysql_insert_id();
         }
     }
     // no code for nr,i in session
     // no code for city,i in city
     // no code for court,i in court
     // no code for judge,i in party
     // no code for clerk,i in party
     // no code for panel,i in panel
     foreach ($me['Sessions'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `date` WHERE `i`='" . addslashes($v0['scheduled']) . "'", 5);
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `date` WHERE `i`='" . addslashes($v0['date of occurence']) . "'", 5);
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `date` (`i`) VALUES ('" . addslashes($v0['scheduled']) . "')", 5);
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `date` (`i`) VALUES ('" . addslashes($v0['date of occurence']) . "')", 5);
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `judge` WHERE `session`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Sessions'] as $i0 => $v0) {
         foreach ($v0['judge'] as $judge) {
             $res = DB_doquer("INSERT IGNORE INTO `judge` (`session`,`party`) VALUES ('" . addslashes($v0['id']) . "', '" . addslashes($judge) . "')", 5);
         }
     }
     // no code for nr,session in judge
     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 (!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 (!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 (!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 (!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 (!checkRule62()) {
                                                                                                                                         $DB_err = '\\"\\"';
                                                                                                                                     } else {
                                                                                                                                         if (true) {
                                                                                                                                             // all rules are met
                                                                                                                                             DB_doquer('COMMIT');
                                                                                                                                             return true;
                                                                                                                                         }
                                                                                                                                     }
                                                                                                                                 }
                                                                                                                             }
                                                                                                                         }
                                                                                                                     }
                                                                                                                 }
                                                                                                             }
                                                                                                         }
                                                                                                     }
                                                                                                 }
                                                                                             }
                                                                                         }
                                                                                     }
                                                                                 }
                                                                             }
                                                                         }
                                                                     }
                                                                 }
                                                             }
                                                         }
                                                     }
                                                 }
                                             }
                                         }
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
     }
     DB_doquer('ROLLBACK');
     return false;
 }
function display($tbl, $col, $id)
{
    return firstRow(firstCol(DB_doquer("SELECT DISTINCT `" . $col . "` FROM `" . $tbl . "` WHERE `i`='" . addslashes($id) . "'")));
}
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "session" => $this->_session, "case" => $this->_case);
     DB_doquer("DELETE FROM `process` WHERE `i`='" . addslashes($me['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 (!checkRule13()) {
                     $DB_err = '\\"\\"';
                 } else {
                     if (!checkRule15()) {
                         $DB_err = '\\"\\"';
                     } else {
                         if (!checkRule19()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule21()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule23()) {
                                     $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 (!checkRule42()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (!checkRule44()) {
                                                                     $DB_err = '\\"\\"';
                                                                 } else {
                                                                     if (!checkRule48()) {
                                                                         $DB_err = '\\"\\"';
                                                                     } else {
                                                                         if (!checkRule57()) {
                                                                             $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(), "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;
 }
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "uitleg" => $this->_uitleg, "overtredingen" => $this->_overtredingen, "populatie van subexpressies" => $this->_populatievansubexpressies, "relaties" => $this->_relaties, "source" => $this->_source, "target" => $this->_target, "ga naar pattern" => $this->_ganaarpattern, "ga naar vorige regel" => $this->_ganaarvorigeregel, "ga naar volgende regel" => $this->_ganaarvolgenderegel, "Conceptueel diagram" => $this->_Conceptueeldiagram);
     DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($me['uitleg']) . "'", 5);
     foreach ($me['overtredingen'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0) . "'", 5);
     }
     DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($me['Conceptueel diagram']) . "'", 5);
     DB_doquer("DELETE FROM `morphisms1` WHERE `UserRule`='" . addslashes($me['id']) . "'", 5);
     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, "Judges" => $this->_Judges, "Clerks" => $this->_Clerks);
     // no code for court,i in court
     // no code for court,i in court
     foreach ($me['Judges'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `party` WHERE `i`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Clerks'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `party` WHERE `i`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Judges'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `party` (`i`,`actsas`) VALUES ('" . addslashes($v0['id']) . "', '" . addslashes($v0['role']) . "')", 5);
         if ($res !== false && !isset($v0['id'])) {
             $v0['id'] = mysql_insert_id();
         }
     }
     // no code for name,i in party
     foreach ($me['Clerks'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `party` (`i`,`actsas`) VALUES ('" . addslashes($v0['id']) . "', '" . addslashes($v0['role']) . "')", 5);
         if ($res !== false && !isset($v0['id'])) {
             $v0['id'] = mysql_insert_id();
         }
     }
     // no code for name,i in party
     foreach ($me['Judges'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `role` WHERE `i`='" . addslashes($v0['role']) . "'", 5);
     }
     foreach ($me['Clerks'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `role` WHERE `i`='" . addslashes($v0['role']) . "'", 5);
     }
     foreach ($me['Judges'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `role` (`i`) VALUES ('" . addslashes($v0['role']) . "')", 5);
     }
     foreach ($me['Clerks'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `role` (`i`) VALUES ('" . addslashes($v0['role']) . "')", 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 (!checkRule5()) {
                 $DB_err = '\\"Every party is either a person or an organization or an administrative authority.\\"';
             } 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 (!checkRule27()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule29()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule31()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule33()) {
                                         $DB_err = '\\"\\"';
                                     } else {
                                         if (!checkRule40()) {
                                             $DB_err = '\\"\\"';
                                         } else {
                                             if (!checkRule41()) {
                                                 $DB_err = '\\"\\"';
                                             } else {
                                                 if (!checkRule43()) {
                                                     $DB_err = '\\"\\"';
                                                 } else {
                                                     if (!checkRule45()) {
                                                         $DB_err = '\\"\\"';
                                                     } else {
                                                         if (!checkRule46()) {
                                                             $DB_err = '\\"\\"';
                                                         } else {
                                                             if (!checkRule51()) {
                                                                 $DB_err = '\\"\\"';
                                                             } else {
                                                                 if (!checkRule53()) {
                                                                     $DB_err = '\\"\\"';
                                                                 } else {
                                                                     if (!checkRule56()) {
                                                                         $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 del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "type Document" => $this->_typeDocument);
     if (!checkRule3()) {
         $DB_err = '\\"Written authorizations for representatives of a case are not put in the case file\\"';
     } else {
         if (!checkRule16()) {
             $DB_err = '\\"\\"';
         } else {
             if (!checkRule17()) {
                 $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(), "eigenschap van relatie" => $this->_eigenschapvanrelatie, "overtredingen" => $this->_overtredingen, "uitleg" => $this->_uitleg, "pattern" => $this->_pattern);
     foreach ($me['overtredingen'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0) . "'", 5);
     }
     DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($me['uitleg']) . "'", 5);
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }
function setTimestamp()
{
    $time = explode(' ', microTime());
    // yields [seconds,microseconds] both in seconds, e.g. ["1322761879", "0.85629400"]
    $microseconds = substr($time[0], 2, 6);
    // we drop the leading "0." and trailing "00"  from the microseconds
    $seconds = $time[1] . $microseconds;
    $date = date("j-M-Y, H:i:s.") . $microseconds;
    DB_doquer("INSERT INTO `__History__` (`Seconds`,`Date`) VALUES ('{$seconds}','{$date}')");
    // TODO: add error checking
}
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "naam" => $this->_naam, "call" => $this->_call, "outputURL" => $this->_outputURL);
     DB_doquer("DELETE FROM `OperationTbl` WHERE `Id`='" . addslashes($me['id']) . "'", 5);
     DB_doquer("DELETE FROM `Text` WHERE `I`='" . addslashes($me['naam']) . "'", 5);
     DB_doquer("DELETE FROM `Text` WHERE `I`='" . addslashes($me['call']) . "'", 5);
     DB_doquer("DELETE FROM `Compilation` WHERE `I`='" . addslashes($me['outputURL']) . "'", 5);
     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, "Plaintiffs" => $this->_Plaintiffs, "Defendants" => $this->_Defendants);
     // no code for Plaintiffs,i in party
     // no code for Defendants,i in party
     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 (!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 (!checkRule27()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule29()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule31()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule33()) {
                                         $DB_err = '\\"\\"';
                                     } else {
                                         if (!checkRule43()) {
                                             $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;
 }
Exemple #24
0
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "court" => $this->_court, "members" => $this->_members, "sessions" => $this->_sessions);
     DB_doquer("DELETE FROM `panel` WHERE `i`='" . 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 (!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 (!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 (!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 (!checkRule48()) {
                                                                                 $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;
 }
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "beschrijving" => $this->_beschrijving, "populatie" => $this->_populatie, "toepassing in regel(s)" => $this->_toepassinginregels, "Conceptueel diagram" => $this->_Conceptueeldiagram);
     DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($me['beschrijving']) . "'", 5);
     foreach ($me['populatie'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0) . "'", 5);
     }
     DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($me['Conceptueel diagram']) . "'", 5);
     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, "Authorizations" => $this->_Authorizations);
     foreach ($me['Authorizations'] as $i0 => $v0) {
         if (isset($v0['id'])) {
             DB_doquer("UPDATE `document` SET `i`='" . addslashes($v0['id']) . "' WHERE `i`='" . addslashes($v0['document']) . "'", 5);
         }
     }
     // no code for document,i in document
     // no code for for,i in legalcase
     // no code for by,i in party
     // no code for representative,i in party
     // no code for for,legalcase in plaintiff
     foreach ($me['Authorizations'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `writtenauthof` WHERE `document`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Authorizations'] as $i0 => $v0) {
         foreach ($v0['representative'] as $representative) {
             $res = DB_doquer("INSERT IGNORE INTO `writtenauthof` (`party`,`document`) VALUES ('" . addslashes($representative) . "', '" . addslashes($v0['id']) . "')", 5);
         }
     }
     foreach ($me['Authorizations'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `authfor` WHERE `document`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Authorizations'] as $i0 => $v0) {
         foreach ($v0['for'] as $for) {
             $res = DB_doquer("INSERT IGNORE INTO `authfor` (`legalcase`,`document`) VALUES ('" . addslashes($for) . "', '" . addslashes($v0['id']) . "')", 5);
         }
     }
     foreach ($me['Authorizations'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `authby` WHERE `document`='" . addslashes($v0['id']) . "'", 5);
     }
     foreach ($me['Authorizations'] as $i0 => $v0) {
         foreach ($v0['by'] as $by) {
             $res = DB_doquer("INSERT IGNORE INTO `authby` (`party`,`document`) VALUES ('" . addslashes($by) . "', '" . 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 (!checkRule13()) {
                             $DB_err = '\\"\\"';
                         } else {
                             if (!checkRule15()) {
                                 $DB_err = '\\"\\"';
                             } else {
                                 if (!checkRule17()) {
                                     $DB_err = '\\"\\"';
                                 } else {
                                     if (!checkRule19()) {
                                         $DB_err = '\\"\\"';
                                     } else {
                                         if (!checkRule21()) {
                                             $DB_err = '\\"\\"';
                                         } else {
                                             if (!checkRule23()) {
                                                 $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 (!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;
 }
 function del()
 {
     DB_doquer('START TRANSACTION');
     $me = array("id" => $this->getId(), "uitleg" => $this->_uitleg, "cardinaliteitseigenschappen" => $this->_cardinaliteitseigenschappen, "homogene eigenschappen" => $this->_homogeneeigenschappen, "concepten" => $this->_concepten, "toepassing in regels" => $this->_toepassinginregels, "pattern" => $this->_pattern, "populatie" => $this->_populatie);
     DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($me['uitleg']) . "'", 5);
     foreach ($me['cardinaliteitseigenschappen'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0['eigenschap']) . "'", 5);
     }
     foreach ($me['cardinaliteitseigenschappen'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0['afgeleide regel']) . "'", 5);
     }
     foreach ($me['cardinaliteitseigenschappen'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['homogene eigenschappen'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0['eigenschap']) . "'", 5);
     }
     foreach ($me['homogene eigenschappen'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0['afgeleide regel']) . "'", 5);
     }
     foreach ($me['homogene eigenschappen'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['populatie'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0) . "'", 5);
     }
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }
                // TODO: with multiple users, this mechanism may lead to non-unique new atom names, until we enocode a session number
                //       in the unique atom name. But since the atom names are based on microseconds, the chances of a problem are pretty slim.
                if ($isNew) {
                    DB_doquer('START TRANSACTION');
                    addAtomToConcept($atom, $concept);
                }
                // we need an extra ScrollPane div because the log windows need to be outside scroll area but inside ampersand root
                // (since their css depends on the 'editing' attribute)
                echo '<div id=ScrollPane>';
                echo generateAtomInterfaces($allInterfaceObjects[$interface], $atom, true);
                echo '</div>';
                echo '</div>';
                echo '<div id=Rollback></div>';
                // needs to be outside AmpersandRoot, so it's easy to address all interface elements not in the Rollback
                if ($isNew) {
                    DB_doquer('ROLLBACK');
                }
            }
        }
    }
}
?>
</body>
</html>

<?php 
SetSMF('pause', false);
function topLevelInterfaceLinks()
{
    global $allInterfaceObjects;
    global $selectedRoleNr;
Exemple #29
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;
 }
 function save()
 {
     DB_doquer('START TRANSACTION');
     /**************************\
        * All attributes are saved *
        \**************************/
     $me = array("id" => 1, "de regel" => $this->_deregel, "de cardinaliteitseigenschap" => $this->_decardinaliteitseigenschap, "de homogene eigenschap" => $this->_dehomogeneeigenschap);
     // no code for de regel,I in UserRule
     foreach ($me['de homogene eigenschap'] as $i0 => $v0) {
         if (isset($v0['id'])) {
             DB_doquer("UPDATE `HomogeneousRule` SET `on`='" . addslashes($v0['van relatie']) . "' WHERE `I`='" . addslashes($v0['id']) . "'", 5);
         }
     }
     foreach ($me['de cardinaliteitseigenschap'] as $i0 => $v0) {
         if (isset($v0['id'])) {
             DB_doquer("UPDATE `MultiplicityRule` SET `on`='" . addslashes($v0['van relatie']) . "' WHERE `I`='" . addslashes($v0['id']) . "'", 5);
         }
     }
     // no code for van relatie,I in Relation
     // no code for van relatie,I in Relation
     foreach ($me['de regel'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['de cardinaliteitseigenschap'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0['eigenschap']) . "'", 5);
     }
     foreach ($me['de cardinaliteitseigenschap'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['de homogene eigenschap'] as $i0 => $v0) {
         DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v0['eigenschap']) . "'", 5);
     }
     foreach ($me['de homogene eigenschap'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             DB_doquer("DELETE FROM `String` WHERE `I`='" . addslashes($v1) . "'", 5);
         }
     }
     foreach ($me['de regel'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             $res = DB_doquer("INSERT IGNORE INTO `String` (`I`) VALUES ('" . addslashes($v1) . "')", 5);
         }
     }
     foreach ($me['de cardinaliteitseigenschap'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `String` (`I`) VALUES ('" . addslashes($v0['eigenschap']) . "')", 5);
     }
     foreach ($me['de cardinaliteitseigenschap'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             $res = DB_doquer("INSERT IGNORE INTO `String` (`I`) VALUES ('" . addslashes($v1) . "')", 5);
         }
     }
     foreach ($me['de homogene eigenschap'] as $i0 => $v0) {
         $res = DB_doquer("INSERT IGNORE INTO `String` (`I`) VALUES ('" . addslashes($v0['eigenschap']) . "')", 5);
     }
     foreach ($me['de homogene eigenschap'] as $i0 => $v0) {
         foreach ($v0['wordt overtreden door'] as $i1 => $v1) {
             $res = DB_doquer("INSERT IGNORE INTO `String` (`I`) VALUES ('" . addslashes($v1) . "')", 5);
         }
     }
     if (true) {
         // all rules are met
         DB_doquer('COMMIT');
         return true;
     }
     DB_doquer('ROLLBACK');
     return false;
 }