Checkerkonfiguration: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
PRanz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
PRanz (Diskussion | Beiträge) |
||
| Zeile 60: | Zeile 60: | ||
====Source Files==== | ====Source Files==== | ||
====Test Driver Class==== | ====Test Driver Class==== | ||
Die Java-Datei der Testtreiber-Klasse. | |||
====Visualization configuration==== | ====Visualization configuration==== | ||
Version vom 31. März 2021, 09:58 Uhr
Im Folgenden werden die verschiedenen Konfigurationsmöglichkeiten der JACK2-Checker beschrieben.
Allgemeine Konfigurationen
Diese Konfigurationen gibt es bei allen Checkern.
Variablenname
Eindeutige Id des Checkers. Diese kann in der Evaluierungsregel genutzt werden.
Checker-Name
Name des Checkers. Wird in den Lösungsdetails angezeigt.
Ergebnis-Label
Mit diesem Label werden Ergebnisse des Checkers in den Lösungsdetails benannt.
Zeige Ergebnis in der Übersicht
Das Ergebnis des Checkers wird in den Lösungsdetails angezeigt.
Zeige Ergebnisdetails
In den Lösungsdetails werden die Details des Checker-Ergebnisses angezeigt.
Checker ist aktiviert
Gibt an, ob der Checker zur Überprüfung der Aufgabe genutzt wird.
Checker-spezifische Konfigurationen
Dynamic C++ Checker
Config File
Source Files
Test Files
Static C++ Checker
Rule File
Source Files
Dynamic R Checker
Initial Code
XML File
Static R Checker
Rule File
Static Java Checker (GreQL)
Rule File
Source Files
Static Java Checker (AGG)
Rule Files
Script File
Source Files
UML Checker
XMI File
Rule File
Java Visualizer
Source Files
Test Driver Class
Die Java-Datei der Testtreiber-Klasse.