R GReQL Checker (JACK3)

Der statische Checker prüft den eingegebenen Programmcode auf statische Eigenschaften und verwendet dazu Abfragen auf dem Syntaxgraphen. Die Checks werden für diesen Checker regelbasiert in einer textuellen Notation konfiguriert. Für die Abfragen auf dem Syntaxbaum wird die Sprache GReQL verwendet. Durch das Klicken auf den Button Statischer Testfall wird ein statischer Test erzeugt und ein Fenster öffnet sich. Dort lassen sich die folgenden Einstellungen vornehmen:

• Name: Name des Testfalls.
• GReQL Regel: Hier können die aus Jack2 bekannten GReQL-Regeln angegeben werden. XML-Sonderzeichen dürfen nicht mehr wie in Jack2 excaped werden.
• Regelart: Hier kann man zwischen Absence und Presence wählen. Presence fordert, dass die obige GReQL-Regel erfüllt wird und Absence fordert, dass die obige GReQL-Regel nicht zutrifft.
• Punkte: Die Anzahl der Punkte, die entweder aufaddiert oder abgezogen werden.
• Punktemodus: Hier kann zwischen Deduction (abziehen) und Gain (aufaddieren) gewählt werden.
• Feedback (im Fehlerfall): Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.