Systemmodell-basierte Definition objektbasierter ...

112 Kapitel 6 Werkzeugunterstützte Definition einer Modellierungssprache
Optionen
Jede MontiCore-Grammatik kann einen Block enthalten, indem Optionen angegeben werden
können.
1 grammar CDSimp { //...
2
3 options {
4 compilationunit CDDef
5 }
6
7 CDDef = "cd" Name "{" CDElem* "}";
8 }
CDSimp
MontiCore-Grammatik
1 theory CDSimpAS imports "Main"
2 begin (*...*)
3
CDSimpAS
4 datatype CDDef = CDDef Name "CDElem list"
5
6 datatype MCCompilationUnit =
7 MCCompilationUnit "Name list" "Name list" "STRING option" CDDef
8 end
Isabelle-Theorie (gen)
Abbildung 6.9: Compilation Unit
identrule Der hinter dieser Option angegebene Name bestimmt den Namen der Regel für Identifikatoren.
Der Name wird auch in den HOL-Datentypen berücksichtigt. Standardmäßig
wird Name als Name für die Identifikatorregel verwendet.
noident, nostring Hiermit lassen sich die Generierung der Lexer-Regeln für Identifikatoren
und STRING verhindern. Diese werden dann auch nicht automatisch als HOL-Typen zur
Verfügung gestellt.
nomlcomment, noslcomment Mit diesem Optionen können die Standardkommentare abgeschaltet
werden. Diese Option betrifft nicht die HOL-Typen, da Kommentare nicht übernommen
werden.
dotident Hier wird eine Identifikatoregel gewählt, bei der Identifikatoren Punkte beinhalten
können. Diese ist dann automatisch auch im HOL-Datentyp enthalten.
lookahead, noanything, nocharvocab, header, prettyprinter Diese Optionen sind entweder
Parser-, Lexer- oder DSLTool-spezifisch und müssen nicht berücksichtigt werden.
compilationunit Abb. 6.9 zeigt die Verwendung der Option compilationunit, mit der
eine Startproduktion für die Grammatik festgelegt werden kann. Die Angabe von CDDef