next up previous contents
Next: Transformace do CCS Up: Funkční část Previous: Metody pro manipulaci s hierarchií

Zajištění konzistence

Za účelem zajištění konzistence editovaného systému jsou implementovány v editoru sítě a v třídách grafických elementů pro příslušné editační operace metody zjišťující platnost relevantních podmínek konzistence (viz tabulka na straně gif). Tyto metody jsou volány při jednotlivých editačních operacích a manipulaci s hierarchickou strukturou sítí. Přehled využití těchto metod při jednotlivých operacích uvádí tabulka gif. Tyto metody se vzájemně volají a využívají dalších pomocných metod.

  
Table: Přehled metod zjišťujících platnost podmínek konzistence

Výše uvedené metody využívají seznamů volných portů, rozhraní a sběrnic, které jsou dynamicky udržovány v rámci každého editoru sítě. Tyto seznamy jsou implementovány pomocí šablony QList a využíváme je také v metodách realizujících transformaci do CCS (viz násl. odst.). Pro implementaci seznamu volných portů jsme použili třídu QSortedList, jež implementuje algoritmus třídění v čase . Setříděný seznam volných portů podle jména zefektivňuje algoritmus transformace do CCS.



David Safranek
Fri Apr 6 23:53:25 MET DST 2001