Checkerkonfiguration

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

Static C++ Checker

Rule File

XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.

Static Java Checker (GreQL)

Rule File

XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.

Source Files

Alle Dateien (außer die Regel-Datei), die für die Bewertung der Aufgabe benötigt werden.

Java Visualizer

Test Driver Class

Die Java-Datei der Testtreiber-Klasse.

Tracing Java Checker

Library Files

Hier können jar-Dateien eintragen werden, wenn diese an die Aufgabe anhängt und notwendig sind, damit die Tests laufen. Es dürfen keine normalen Source-Dateien markiert sein, sonst kommt es zu Backend-Fehlern.

Test Driver Class

Java-Klasse des Testtreibers.