Checker: Unterschied zwischen den Versionen
PRanz (Diskussion | Beiträge) |
PRanz (Diskussion | Beiträge) |
||
| Zeile 15: | Zeile 15: | ||
==Static Java Checker (GreQL)== | ==Static Java Checker (GreQL)== | ||
[[GReQLJavaChecker| | Der GReQLJavaChecker ermöglicht statische Checks auf Programmcode und verwendet dazu Abfragen auf dem Syntaxgraphen. Um einen statischen Check mit dem Checker durchzuführen, müssen die zu untersuchenden Dateien in der Liste "Source Files" ausgewählt werden und eine einzelne Datei mit Prüfregeln ("Rule File") angegeben werden. Die Regeln werden in dieser Datei im XML-Format organisiert und verwenden die Sprache GReQL für Abfragen auf dem Syntaxbaum. Weitere Infos finden Sie [[GReQLJavaChecker|hier]]. | ||
==Java Visualizer== | ==Java Visualizer== | ||
Version vom 6. November 2018, 13:34 Uhr
In JACK gibt es viele verschiedene Checker für die unterschiedlichen Aufgabentypen. Aktuell stehen die folgenden Checker zur Verfügung:
Dynamic R Checker
Wird in R-Aufgaben genutzt. Genauere Informationen zum Checker finden Sie hier.
Genutzte Tags in der Stagedatei
Static R Checker
Java metric Checker
Tracing Java Checker
Static Java Checker(AGG)
Static Java Checker (GreQL)
Der GReQLJavaChecker ermöglicht statische Checks auf Programmcode und verwendet dazu Abfragen auf dem Syntaxgraphen. Um einen statischen Check mit dem Checker durchzuführen, müssen die zu untersuchenden Dateien in der Liste "Source Files" ausgewählt werden und eine einzelne Datei mit Prüfregeln ("Rule File") angegeben werden. Die Regeln werden in dieser Datei im XML-Format organisiert und verwenden die Sprache GReQL für Abfragen auf dem Syntaxbaum. Weitere Infos finden Sie hier.
Java Visualizer
UML Checker
Static C++ Checker (GreQL)
Dynamic C++ Checker
InstantMultipleChoiceChecker
Wird in MutlipleChoice-Aufgaben genutzt.
Genutzte Tags in der Stagedatei
InstantFillInChecker
Wird in FillIn-Aufgaben genutzt.