4verif grammar

Author: mathias-pfeiffer

cc/README.md

@@ -0,0 +1 @@
+

doc/ComponentConnector.md

@@ -1,3 +1,17 @@
+<!-- (c) https://github.com/MontiCore/monticore -->
+# Error Codes
+
+| Code    | Reason                                             |
+|---------|----------------------------------------------------|
+| 0x00xxx | CLI Tool                                           |
+| 0x10xxx | CoCos                                              |
+| 0xD0xxx | ST serialization                                   |
+| 0x80xxx | Type Check (CoCo)                                  |
+| 0x81xxx | Type Derivation (might happen while ST completion) |
+| 0x90xxx | Refinement related                                 |
+| 0xFFxxx | Verification-specific                              |
+| 0xA0xxx | Internal error                                     |
+
 # Language Server - Running with only the Plug-in
 
 ## Prerequisites

language-server/doc/FOR_DEVELOPERS.md doc/Developers.mdlanguage-server/doc/FOR_DEVELOPERS.md renamed to doc/Developers.md

@@ -0,0 +1,23 @@
+<!-- (c) https://github.com/MontiCore/monticore -->
+# (De)Serialisierung von Symboltabellen mit identischen ArtifactScope-Namen
+
+## Problem
+
+Beim Serialisieren von zwei Modellen mit identischen Paketnamen, z.B.package
+MyPackage (explizit in SysML erlaubt),kann dem Symbolspeichermechanismus ein
+Pfad zur Ziel-.sym-Datei bereitgestellt werden.Beim erneuten Laden sucht der
+Auflösungsmechanismus jedoch nach MyPackage.sym im Symbolpfad,wenn kein
+passendes Symbol gefunden wird (z.B. MyPackage.someSymbol).Da Symbole auf
+beliebige Dateinamen gespeichert werden können, führt dies im Standardfall,in
+dem die Datei MyPackage.sym heißt, zu einem Fehler.
+
+## Naive Lösungen
+
+Einführung eines Namensschemas für die Speicherung von ArtifactScopes mit
+identischen Namen, zB. MyPackage$index.sym. Beim Laden kann dann teilweise – STs
+werden geladen, bis das Symbol aufgelöst ist – oder vollständig – alle STs mit
+dem angegebenen Paketpräfix werden geladen – vorgegangen werden.
+
+Verwendung einer Ordnerstruktur, bei der alle Unterelemente mit einem Index
+benannt werden, und Anwendung eines ähnlichen Ladeverfahrens, falls
+Sonderzeichen in MontiCore problematisch sind.