/** * Relation constructor * Private function to prevent outside instantiation of Relations. Use Relation::getRelation($relationSignature) * * @param array $relationDef */ public function __construct($relationDef) { $this->db = Database::singleton(); $this->logger = Logger::getLogger('FW'); $this->name = $relationDef['name']; $this->srcConcept = Concept::getConcept($relationDef['srcConceptId']); $this->tgtConcept = Concept::getConcept($relationDef['tgtConceptId']); $this->signature = $relationDef['signature']; $this->isUni = $relationDef['uni']; $this->isTot = $relationDef['tot']; $this->isInj = $relationDef['inj']; $this->isSur = $relationDef['sur']; $this->isProp = $relationDef['prop']; foreach ((array) $relationDef['affectedConjuncts'] as $conjId) { $conj = Conjunct::getConjunct($conjId); $this->affectedConjuncts[] = $conj; if ($conj->isSigConj()) { $this->affectedSigConjuncts[] = $conj; } if ($conj->isInvConj()) { $this->affectedInvConjuncts[] = $conj; } // if (!$conj->isSigConj() && !$conj->isInvConj()) $this->logger->warning("Affected conjunct '{$conj->id}' (specified for relation '{$this->__toString()}') is not part of an invariant or signal rule"); } // Specify mysql table information $this->mysqlTable = new RelationTable($relationDef['mysqlTable']['name'], $relationDef['mysqlTable']['tableOf']); $srcCol = $relationDef['mysqlTable']['srcCol']; $tgtCol = $relationDef['mysqlTable']['tgtCol']; $this->mysqlTable->addSrcCol(new DatabaseTableCol($srcCol['name'], $srcCol['null'], $srcCol['unique'])); $this->mysqlTable->addTgtCol(new DatabaseTableCol($tgtCol['name'], $tgtCol['null'], $tgtCol['unique'])); }
} $database = Database::singleton(); include_once Config::get('absolutePath') . Config::get('logPath') . "{$file}"; // check if all concepts and relations are defined foreach ((array) $allAtoms as $cpt => $atoms) { if (!empty($atoms)) { Concept::getConcept($cpt); } } foreach ((array) $allLinks as $rel => $links) { if (!empty($links)) { Relation::getRelation($rel); } } foreach ((array) $allAtoms as $cpt => $atoms) { $concept = Concept::getConcept($cpt); foreach ($atoms as $atomId) { $atom = new Atom($atomId, $concept); $atom->addAtom(); } } foreach ((array) $allLinks as $rel => $links) { if (!empty($links)) { $relation = Relation::getRelation($rel); } foreach ($links as $link) { if (is_null($link['src']) || is_null($link['tgt'])) { continue; } // skip $relation->addLink(new Atom($link['src'], $relation->srcConcept), new Atom($link['tgt'], $relation->tgtConcept));
$result = array('patches' => $app->request->getBody(), 'content' => $content, 'notifications' => Notifications::getAll(), 'invariantRulesHold' => $session->database->getInvariantRulesHold(), 'requestType' => $session->database->getRequestType(), 'sessionRefreshAdvice' => $session->getSessionRefreshAdvice()); print json_encode($result, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES); }); $app->post('/resources/:resourceType/:resourceId/:ifcPath+', function ($resourceType, $resourceId, $ifcPath) use($app) { $session = Session::singleton(); $roleIds = $app->request->params('roleIds'); $session->activateRoles($roleIds); $options = $app->request->params(); $ifcPath = implode('/', $ifcPath); $atom = new Atom($resourceId, Concept::getConcept($resourceType)); $atomOrIfc = $atom->walkIfcPath($ifcPath); // Perform create $content = $atomOrIfc->create($app->request->getBody(), $options); // Return result $result = array('content' => $content, 'notifications' => Notifications::getAll(), 'invariantRulesHold' => $session->database->getInvariantRulesHold(), 'requestType' => $session->database->getRequestType(), 'sessionRefreshAdvice' => $session->getSessionRefreshAdvice()); print json_encode($result, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES); }); $app->delete('/resources/:resourceType/:resourceId/:ifcPath+', function ($resourceType, $resourceId, $ifcPath) use($app) { $session = Session::singleton(); $roleIds = $app->request->params('roleIds'); $session->activateRoles($roleIds); $options = $app->request->params(); $ifcPath = implode('/', $ifcPath); $atom = new Atom($resourceId, Concept::getConcept($resourceType)); $atomOrIfc = $atom->walkIfcPath($ifcPath); // Perform delete $atomOrIfc->delete($options); // Return result $result = array('notifications' => Notifications::getAll(), 'invariantRulesHold' => $session->database->getInvariantRulesHold(), 'requestType' => $session->database->getRequestType(), 'sessionRefreshAdvice' => $session->getSessionRefreshAdvice()); print json_encode($result, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES); });
/** * Rule constructor * Private function to prevent outside instantiation. Use Rule::getRule($ruleName) * * @param array $ruleDef * @param boolean $type */ private function __construct($ruleDef, $type = null) { $this->logger = Logger::getLogger('FW'); $this->id = $ruleDef['name']; $this->origin = $ruleDef['origin']; $this->ruleAdl = $ruleDef['ruleAdl']; $this->srcConcept = Concept::getConcept($ruleDef['srcConceptId']); $this->tgtConcept = Concept::getConcept($ruleDef['tgtConceptId']); $this->meaning = $ruleDef['meaning']; $this->message = $ruleDef['message']; // Conjuncts foreach ($ruleDef['conjunctIds'] as $conjId) { $this->conjuncts[] = Conjunct::getConjunct($conjId); } $this->violationSegments = (array) $ruleDef['pairView']; switch ($type) { case 'sig': $this->isSignal = true; break; case 'inv': $this->isInvariant = true; break; case null: break; default: throw new Exception("Unknown/unsupported rule type. Allowed types are signal or invariant", 500); } }
/** * InterfaceObject constructor * @param array $ifcDef Interface object definition as provided by Ampersand generator * @param string $pathEntry * @param boolean $rootIfc Specifies if this interface object is a toplevel interface (true) or subinterface (false) */ public function __construct($ifcDef, $pathEntry = null, $rootIfc = false) { $this->database = Database::singleton(); $this->logger = Logger::getLogger('FW'); $this->isRoot = $rootIfc; // Set attributes from $ifcDef $this->id = $ifcDef['id']; $this->label = $ifcDef['label']; $this->view = is_null($ifcDef['viewId']) ? null : View::getView($ifcDef['viewId']); $this->path = is_null($pathEntry) ? $this->id : "{$pathEntry}/{$this->id}"; // Information about the (editable) relation if applicable $this->relation = is_null($ifcDef['relation']) ? null : Relation::getRelation($ifcDef['relation']); $this->relationIsFlipped = $ifcDef['relationIsFlipped']; // Interface expression information $this->srcConcept = Concept::getConcept($ifcDef['expr']['srcConceptId']); $this->tgtConcept = Concept::getConcept($ifcDef['expr']['tgtConceptId']); $this->isUni = $ifcDef['expr']['isUni']; $this->isTot = $ifcDef['expr']['isTot']; $this->isIdent = $ifcDef['expr']['isIdent']; $this->query = $ifcDef['expr']['query']; // CRUD rights $this->crudC = $ifcDef['crud']['create']; $this->crudR = $ifcDef['crud']['read']; $this->crudU = $ifcDef['crud']['update']; $this->crudD = $ifcDef['crud']['delete']; if ($this->crudU && $this->tgtConcept->isObject) { $this->editableConcepts[] = $this->tgtConcept; } // Interface expression must equal (editable) relation when crudU is specified if ($this->crudU && is_null($this->relation)) { $this->logger->warning("Update rights (crUd) specified while interface expression is not an editable relation for (sub)interface: {$this->path}"); } // Check for unsupported patchReplace functionality due to missing 'old value'. Related with issue #318 if (!is_null($this->relation) && $this->crudU && !$this->tgtConcept->isObject && $this->isUni) { // Only applies to editable relations // Only applies to crudU, because issue is with patchReplace, not with add/remove // Only applies to scalar, because objects don't use patchReplace, but Remove and Add // Only if interface expression (not! the relation) is univalent, because else a add/remove option is used in the UI if (!$this->relationIsFlipped && $this->relation->getMysqlTable()->tableOf == 'tgt' || $this->relationIsFlipped && $this->relation->getMysqlTable()->tableOf == 'src') { $this->logger->warning("Unsupported edit functionality due to combination of factors for (sub)interface: '{$this->path}' - {$this->relation->__toString()}" . ($this->relationIsFlipped ? '~' : '') . " administrated in table of '{$this->relation->getMysqlTable()->tableOf}'"); } } // Subinterfacing if (!is_null($ifcDef['subinterfaces'])) { // Subinterfacing is not supported/possible for tgt concepts with a scalar representation type (i.e. non-objects) if (!$this->tgtConcept->isObject) { throw new Exception("Subinterfacing is not supported for concepts with a scalar representation type (i.e. non-objects). (Sub)Interface '{$this->path}' with target {$this->tgtConcept->__toString()} (type:{$this->tgtConcept->type}) has subinterfaces specified", 501); } // Reference to top level interface $this->refInterfaceId = $ifcDef['subinterfaces']['refSubInterfaceId']; $this->isLinkTo = $ifcDef['subinterfaces']['refIsLinTo']; // Inline subinterface definitions foreach ((array) $ifcDef['subinterfaces']['ifcObjects'] as $subIfcDef) { $ifc = new InterfaceObject($subIfcDef, $this->path); $this->subInterfaces[$ifc->id] = $ifc; $this->editableConcepts = array_merge($this->editableConcepts, $ifc->editableConcepts); } } }
/** * Returns largest generalization concept (can be itself) * @return Concept */ public function getLargestConcept() { return Concept::getConcept($this->largestConceptId); }