[vwfox]

Fasst #180 und #181 zusammen.

Teil 1: OCL im Instanz-Editor (#180)

Worum es geht

Im Uni-Workspace (genE/uni) bekam ein Student einen Kurs einer fremden Uni:

• nichts wurde ausgegraut,
• keine Warnung beim Zuweisen,
• „Validate OCL (local)“ fand nichts.

Modell und Daten sind in Ordnung – Martin (Uni Jena) mit Informatik (Mittweida) verletzt KurseNurVonEigenerUni. Gene hat schlicht nicht geprüft.

Ursachen und Änderungen

„Validate OCL“ war tot

• Der Menüpunkt sendet validate-ocl-request; seit d42388f hörte niemand darauf. Der alte Handler prüfte zudem die gemeinsame Ressource statt des Tab-Dokuments.
• Jetzt beantwortet das Instanzbaum-Plugin die Anfrage mit allen Ressourcen des vorderen Tabs. Der tote Handler ist entfernt.

Keine Live-Prüfung

• attachTo merkte sich die Ressource nur (sein Kommentar versprach anderes). Jetzt hängt ein EContentAdapter daran: jede echte Änderung prüft entprellt neu.
• Jedes Instanz-Tab-Dokument meldet seine Ressourcen an; beim Schließen werden sie abgelöst.
• validateResource ersetzt nur noch die Befunde dieser Ressource – Parser-Meldungen und andere Tabs bleiben.

OCL verglich Objekte falsch

• wrapEObjectForOcl baute bei jedem Zugriff eine neue Hülle; uk = k war nie wahr. Sobald die Prüfung lief, hätte jeder Kurs als fremder gegolten. Jetzt eine Hülle je Objekt.

Constraint-Dateien des Workspace

• .c-ocl/.cocl im Ordner der .wsp werden beim Öffnen mitgeladen (vor den Instanzen). Damit greift der Referenz-Filter aus university.c-ocl und graut fremde Kurse aus.
• Ein Feld in der .wsp wäre die ausdrückliche Lösung, bräuchte aber ein neues Generat – das eingecheckte passt schon heute nicht zum Modell (EditorBinding fehlt).

Tests

• OCL lädt jetzt in Vitest: @emfts/ocl.* importiert in dist ohne Dateiendung, Node lehnt das ab; Vitest wandelt die Pakete nun selbst um.
• Problems-Service mit dem Uni-Modell: Verstoß auf Anfrage, eigener Kurs erlaubt, live nach Zuweisung und nach Korrektur, später hinzugefügte Objekte, abgelöste Ressource, andere Tabs und Parser-Meldungen bleiben, Referenz-Filter der .c-ocl. Ohne die Änderungen scheitern 5 von 6 der Live-Tests.
• Instanzbaum: Beobachter der Tab-Ressourcen, Validieren eines Dokuments, Plugin hört auf „Validate OCL“ und meldet Dokumente an.
• Workspace: Suche der .c-ocl neben der .wsp (nur dieser Ordner, Wurzel, .cocl, Fehler bricht nichts ab).
• Alle Unit-Tests grün, keine neuen Typfehler, ESLint ohne Fehler.

Nachtrag: Anzeige im Editor

Nach dem ersten Stand schlug die Prüfung an, im Editor war aber nichts zu sehen.

• Suchdialog graut aus: kurse wird über die Suche gefüllt. Sie bekommt jetzt auch den REFERENCE_FILTER aus der .c-ocl und wertet Filter mit self (Student) und target (Kurs) aus – query bindet dafür target je Kandidat. Bisher gab die Suche bei solchen Ausdrücken auf.
• Feld wird rot: Das Referenzfeld wertet den Filter je Kandidat aus (statt Umschreiben und Namensvergleich) und markiert zugewiesene Werte, die der Filter ablehnt, mit Meldung am Feld.
• Rot war nie rot: var(--red-500) gibt es im PrimeVue-4-Theme nicht; die Felder des Instanz-Editors nutzen jetzt var(--p-red-500) mit Rückfall. Andere Bereiche (Layout, Atlas, Aktionen) haben dieselbe Variable noch.
• Geprüft: Tests für query mit target, das Feld (Informatik bei Martin markiert, Mathe nicht) und die Suche (Kurse aus Mittweida gesperrt); im Browser mit dem Uni-Workspace.

Teil 2: Ladeanzeige für Instanz- und Modell-Editor (#181)

Worum es geht

Im CWM-Zweig (features_cwm) gibt es beim Öffnen eines Editors eine Ladeanzeige. Instanz- und Modell-Editor bekommen sie jetzt auch.

Was sich ändert

• Übernommen aus features_cwm:
  • 0247856: Overlay beim Öffnen eines Workspace, bis Modelle und Instanzen geladen sind.
  • f2819b8: „Editor wird geladen“ und das überarbeitete Overlay (Karte im Panel-Stil, Ring in der Primärfarbe, deutsche Titel). Ohne den CWM-Öffner, den es auf main nicht gibt.
• Instanz- und Modell-Editor: loadInstances und openMetamodelInEditor laufen über die Ladeanzeige. Sie erscheint zwei Bilder vor der blockierenden Arbeit und bleibt, bis der Tab gezeichnet ist; verschachteltes Öffnen hält sie bis zum äußersten Aufruf.
• Eigener Baustein: services/editorLoading.ts statt Code in App.vue, damit testbar.

Geprüft

• Tests: Overlay steht mit Dateiname vor der Arbeit, verschachtelt bis zum Ende, verschwindet bei Fehlern.
• Im Browser: university-instance.xmi (Instanz-Editor) und university.ecore (Modell-Editor) zeigen „Editor wird geladen“ mit Dateinamen, danach ist das Overlay weg.
• Alle Unit-Tests grün, keine neuen Typfehler, ESLint ohne Fehler.

Hinweis

Wird features_cwm später auf main gezogen, kommen 0247856 und f2819b8 dort schon mit; beim CWM-Öffner bietet sich dann withEditorLoading statt der eigenen Kopie an.

Zusammen

• Beim Öffnen eines Workspace laufen jetzt auch die .c-ocl-Dateien unter dem Workspace-Overlay.
• Alle Unit-Tests grün (585), keine neuen Typfehler, ESLint ohne Fehler.

Teil 3: Geladener Workspace in der Kopfzeile

• Die Kopfzeile zeigt den geladenen Workspace: ein kleines Quadrat mit dem Anfangsbuchstaben, daneben der Name (aus der .wsp, sonst der Dateiname), der Pfad im Tooltip. Die Farbe kommt aus dem Namen.
• Bisher stand dort immer „Gene Workspace“: die Kopfzeile fragte den Perspektiven-Dienst einmal beim Aufbau, bevor das Plugin ihn anmeldete. Jetzt über whenService.
• Tests für Name, Buchstabe und Farbe; im Browser geprüft (uni/uni.wsp → „U“ und „uni“).

Teil 4: Ungespeicherte Workspace-Änderungen

• Punkt in der Kopfzeile: neben dem Workspace-Namen, solange es ungespeicherte Änderungen gibt; ein Klick schreibt die .wsp. Bisher zeigte das nur der Einstellungsdialog.
• Rückfrage beim Wechsel: Hat der geladene Workspace ungespeicherte Änderungen, fragt ein Dialog vor dem Öffnen eines anderen: Speichern, Verwerfen oder Abbrechen. Schlägt das Speichern fehl, bleibt der alte offen. Bisher gingen die Änderungen still verloren.
• Appearance sitzt jetzt rechts in der ersten Kopfzeile statt in der Menüleiste unter dem Tab.
• Tests: Komponente der Kopfzeile, Ablauf beim Wechsel (alle Wege). Im Browser geprüft: Punkt erscheint und speichert, Abbrechen behält „uni“, Verwerfen öffnet „karla“.

Teil 5: Beim Wechsel den alten Workspace entladen

• Bisher blieb beim Öffnen eines anderen Workspace alles vom vorigen geladen: Metamodelle (Registry und EPackageRegistry), OCL-Pakete, Constraints und C-OCL-Filter, offene Datei-Tabs, Issues, Atlas-Verbindungen.
• Jetzt wird vor dem Laden entladen: Datei-Tabs schließen (Panels wie Model Atlas und die Workspace-Vorschau bleiben), Modelle entladen (unloadUserModels, eingebaute bleiben), OCL-Dienst zurücksetzen, Atlas-Verbindungen trennen.
• Geänderte Dateien in diesen Tabs nennt die Rückfrage beim Wechsel.
• Tests: Entladen in der Registry, Auswahl der Tabs, Ablauf des Entladens. Im Browser geprüft: uni → karla lässt nichts übrig, zurück zu uni lädt wieder alles.

Teil 6: Workspace-Editor

• Mit geladenem Workspace zeigte der Tab „Workspace“ bisher „Noch keine Workspaces geoeffnet“. Jetzt zeigt er den Workspace nach Abschnitten, jeder Eintrag mit Status:

  • Modelle / Instanzen: öffnen, entfernen (entlädt bzw. schließt den Tab mit), hinzufügen aus den passenden Dateien der Quelle
  • Constraints: die .c-ocl neben der .wsp, öffnen
  • Atlas: Verbindungsstatus, verbinden und trennen
  • Package-Resolver: Übersicht; bearbeitet wird weiter im Einstellungsdialog

• Kopfzeile mit Speichern (aktiv bei ungespeicherten Änderungen) und Einstellungen.

• Eine im Explorer gewählte Datei wird weiter im Tab vorgeschaut, mit Rückweg zum Workspace.

• Fix: Instanzdateien des Workspace wurden beim Öffnen nicht geladen, wenn ihr Pfad relativ zur Quelle eingetragen war (so schreibt ihn addInstanceSource).

• Tests für die Übersicht; im Browser geprüft: Status, Entfernen und Hinzufügen einer Instanz.

• Fix: Rechtsklick auf eine .wsp zeigte kein Menü. Jetzt gibt es „Workspace öffnen“ und „Öffnen mit → XML-Editor“ (die XML-Ansicht kennt .wsp/.workspace).

Teil 7: Offene Tabs im Workspace

• Neu im Modell: LayoutConfig.openEditors (OpenEditor: filePath, editorId, active), Code per npm run generate.

• Beim Speichern werden die offenen Datei-Tabs eingetragen (Reihenfolge und vorderer Tab). Ein geöffneter oder geschlossener Tab allein macht den Workspace nicht ungespeichert.

• Beim Öffnen kommen sie im jeweiligen Editor zurück, der vordere wieder nach vorn. Ist keiner gespeichert, liegt der Workspace-Tab vorne.

• Generator: Die genconfig nutzt jetzt ecorePackage="#/". Mit der nsURI erzeugte der Lauf nur Factory, Package und Index.

• editorBindings stand in der Ecore, war aber nie generiert. Bisher hat editorConfigFixup das Feature zur Laufzeit ergänzt. Jetzt liefert es der Generator, und der Fixup erkennt das und tut nichts mehr. Er kann bei Gelegenheit weg.

• Tests für Sammeln und Wiederherstellen. Im Browser geprüft: Instanz, Metamodell und XML-Ansicht offen, speichern, karla → uni stellt alle drei wieder her, der XML-Tab liegt vorne.

• Fix: Ein geschlossener Workspace-Tab ließ sich nicht wieder öffnen. Jetzt holt ein Klick auf den Workspace-Namen in der Kopfzeile ihn zurück. Auch das Öffnen eines Workspace und die Auswahl einer Datei im Explorer legen ihn an, wenn er fehlt.

• Fremde .wsp: Wer eine andere Workspace-Datei als die geladene anwählt, sieht sie jetzt im Workspace-Editor, nur lesend. Die Abschnitte zeigen, was die Datei einträgt, und markieren fehlende Dateien. Statt „Speichern“ gibt es „Workspace öffnen“. Bisher erschien die alte Dateivorschau mit rohem XML.