Domänenspezifische Sprachen

Größe: px

Ab Seite anzeigen:

Download "Domänenspezifische Sprachen"

Sofie Pohl
vor 5 Jahren
Abrufe

4 Domänenspezifische Sprachen

5 Agenda: 'Programmiersprachen' 'Domänenspezifische' 'Sprachen' 'Vorteile' 'Technische' 'Erwartungen', 'Xtext' 'Demo';

6 'Programmiersprachen'

14 Domäne

15 GPL Domäne

16 GPL Domäne DSL

17 'Domänenspezifische' 'Sprachen'

18 Bestimmte Aufgaben

19 Bestimmte Aufgaben Domäne => Maschine

20 SELECT * FROM Mitarbeiter m INNER JOIN Abteilung a ON m.id = a.mid;

21 \documentclass{article} \begin{document} \LaTeX rockt! \end{document}

22 /bookstore/book[price>35.00] /bookstore/book[price>35.00]/title

23 <!DOCTYPE html> <html> <head> <title>domänenspezifische Sprachen</title> </head> <body> <h1>überschrift</h1> <p>paragraph</p> </body> </html>

24 h1 { text-align: center; color: red; } h2 { text-align: center; color: red; } p { } text-align: center; color: red;

25 OCR DSL Archiv

26 if (beschlagwortung.dokumentenklasse.equals("abrech") && beschlagwortung.dokumentntyp.equals("rechnung")) { foreach (var gruppe in this.gruppen) { if (HatPamSperreBeiGruppe(vorgang.Status, gruppe)) { zuweisung = new ZuweisungGruppe(gruppe)) } } } if (vorgang.basiskennzeichen.equals(versis.kennzeichen_basistarif)) { zuweisung = new ZuweisungBenutzer("AMSHOVE"); } if (vorgang.basiskennzeichen.equals(versis.kennzeichen_standardtarif)) { var name = vorgang.name; if (NameIstImBereich(name, 'A', 'M')) { zuweisung = new ZuweisungBenutzer("MUSTERMANN"); } if (Name.IstImBereich(name, 'N', 'Z')) { zuweisung = new ZuweisungBenutzer("MUSTERFRAU"); } } zuweisung = null;

27 zuweisung = null;???

28 Klammer "Kennzeichen Standardtarif" { BasisKennzeichen = "S" Regel "Name A bis M" => Benutzer "MUSTERMANN" { Name zwischen "A" und "M" } } Regel "Name N bis Z" => Benutzer "MUSTERFRAU" { Name zwischen "N" und "Z" }

29 % Kommentare Durchschnittliche Komplexität % Durchschnittliche Kommentare Durchschnittliche Tiefe Methoden pro Klasse Maximale Tiefe 37 Maximale Komplexität 35 2

33 Vorteile

47 'Technische' 'Erwartungen'

48 Abstract Syntax Tree

53 public class Main { public static void main(string[] args) { System.out.println("Hello World"); } } => Compiled from "Main.java" public class Main { public Main(); Code: 0: aload_0 1: invokespecial #1 4: return } public static void main(java.lang Code: 0: getstatic #2 3: ldc #3 5: invokevirtual #4 8: return

56 public void methodeeins() { } int a = 5; public void methodezwei() { } a = 10;

57 public void methodeeins() { } int a = 5; public void methodezwei() { } a = 10;

62 'Xtext'

64 Textuelle Entwicklung

65 Generate once, develop everywhere

66 Generate once, develop everywhere Grammatik

67 Generate once, develop everywhere Grammatik Sprachinfrastruktur IDE-Integration

68 Generate once, develop everywhere

69 Generate once, develop everywhere

70 Generate once, develop everywhere

71 Generate once, develop everywhere

72 Generate once, develop everywhere

73 Generate once, develop everywhere Language Server Protocol

74 Generate once, develop everywhere Language Server Protocol [ ]

75 Grammatik Language Server Protocol [ ]

84 Person: 'Person' name=id 'ist' geschlecht=geschlecht;

85 Parserregel Person: 'Person' name=id 'ist' geschlecht=geschlecht;

86 Parserregel Feature (Attribut) Person: 'Person' name=id 'ist' geschlecht=geschlecht;

87 Parserregel Feature (Attribut) Person: 'Person' name=id 'ist' geschlecht=geschlecht;

88 Parserregel Feature (Attribut) Person: 'Person' name=id 'ist' geschlecht=geschlecht; Keyword

89 Person: 'Person' name=id 'ist' ;

90 Person: 'Person' name=id 'ist' ; enum Geschlecht: Maennlich Weiblich;

91 Person: 'Person' name=id 'ist' ; enum Geschlecht: Maennlich Weiblich;

92 Person: 'Person' 'ist' geschlecht=geschlecht; terminal ID : '^'?('a'..'z' 'A'..'Z' '_') ('a'..'z' 'A'..'Z' '_' '0'..'9')*;

93 Person: 'Person' 'ist' geschlecht=geschlecht; terminal ID : '^'?('a'..'z' 'A'..'Z' '_') ('a'..'z' 'A'..'Z' '_' '0'..'9')*;

94 Person: 'Person' name=id 'ist' geschlecht=geschlecht;

95 Person: 'Person' name=id 'ist' geschlecht=geschlecht; Person Markus ist Maennlich

96 Person Markus ist Maennlich

97 Person Markus ist Maennlich public interface Person extends EObject { String getname(); } Geschlecht getgeschlecht();

98 Gruss: 'Hallo' person=[person] '!';

99 Gruss: 'Hallo' person=[person] '!'; Referenz auf Instanz

100 Person Markus ist Maennlich Hallo Markus!

101 Person Markus ist Maennlich Hallo Markus!

102 Hallo Markus!

103 Hallo Markus! public interface Gruss extends AbstraktesModellElement { Person getperson(); }

104 Modell: elemente+=abstraktesmodellelement*; AbstraktesModellElement: Person Gruss;

105 EList<AbstraktesModellElement> getelemente(); List Modell: elemente+=abstraktesmodellelement*; AbstraktesModellElement: Person Gruss;

106 EList<AbstraktesModellElement> getelemente(); List 0.. Modell: elemente+=abstraktesmodellelement*; AbstraktesModellElement: Person Gruss;

107 EList<AbstraktesModellElement> getelemente(); List 0.. Modell: elemente+=abstraktesmodellelement*; AbstraktesModellElement: Person Gruss; Person ODER Gruss

108 Modell: elemente+=abstraktesmodellelement*; AbstraktesModellElement: Person Gruss; Person: 'Person' name=id 'ist' geschlecht=geschlecht; enum Geschlecht: Maennlich Weiblich; Gruss: 'Hallo' person=[person] '!';

109 Modell: elemente+=abstraktesmodellelement*; AbstraktesModellElement: Person Gruss; Person: 'Person' name=id 'ist' geschlecht=geschlecht; enum Geschlecht: Maennlich Weiblich; Gruss: 'Hallo' person=[person] '!';

110

111 if (!Character.isUpperCase(person.name.charAt(0))) { warning( "Namen sollten groß geschrieben werden", Literals.PERSON NAME, NICHT_VALIDER_NAME ) }

112 if (!Character.isUpperCase(person.name.charAt(0))) { warning( "Namen sollten groß geschrieben werden", Literals.PERSON NAME, NICHT_VALIDER_NAME ) } Stelle im Code

113 if (!Character.isUpperCase(person.name.charAt(0))) { warning( "Namen sollten groß geschrieben werden", Literals.PERSON NAME, NICHT_VALIDER_NAME ) } Identifier

114 acceptor.accept(issue, 'Schreibe groß', 'Schreibt den Namen groß.', 'image.png') [ val dokument = it.xtextdocument val ersterbuchstabe = dokument.get(issue.offset, 1) dokument.replace(issue.offset, 1, ersterbuchstabe.touppercase) ]

115 Identifier acceptor.accept(issue, 'Schreibe groß', 'Schreibt den Namen groß.', 'image.png') [ val dokument = it.xtextdocument val ersterbuchstabe = dokument.get(issue.offset, 1) dokument.replace(issue.offset, 1, ersterbuchstabe.touppercase) ]

116

117 Person Markus ist Maennlich Person Tina ist Weiblich Hallo Tina! Hallo Markus!

118 def dispatch void format(person person, extension IFormattableDocument document) { person.append[newline] } def dispatch void format(gruss gruss, extension IFormattableDocument document) { gruss.append[newline] }

119 Person Markus ist Maennlich Person Tina ist Weiblich Hallo Tina! Hallo Markus!

120

121 class Generator extends AbstractGenerator {

122 class Generator extends AbstractGenerator { override void dogenerate(resource resource, IFileSystemAccess2 fsa, IGeneratorContext context) { }

123 private def generieregruss(gruss gruss) { return ''' Hallo «generieregeschlecht(gruss.person.geschlecht)» «gruss.person.name»! ''' }

124 private def generieregruss(gruss gruss) { return ''' Hallo «generieregeschlecht(gruss.person.geschlecht)» «gruss.person.name»! ''' } private def generieregeschlecht(geschlecht geschlecht) { return switch (geschlecht) { case MAENNLICH: "Herr" case WEIBLICH: "Frau" } }

125 Person Markus ist Maennlich Person Tina ist Weiblich Hallo Tina! Hallo Markus!

126 Person Markus ist Maennlich Person Tina ist Weiblich Hallo Tina! Hallo Markus! => Hallo Herr Markus! Hallo Frau Tina!

127 'Demo'

128 Ende Was könnt ihr nun damit machen? Entwickelt eine neue Sprache die in JavaScript übersetzt

Ähnliche Dokumente

Das Unternehmen Die Abteilung

1 Das Unternehmen Die Abteilung 2 Projektbeschreibung 3 Beschlagworten Routen Erkennen Prüfen BREPL Leisten smartfix BREPL PAM 4 Projektziel 5 Projektbegründung if (beschlagwortung.dokumentenklasse.equals("abrech")