Checkerkonfiguration: Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 4: Zeile 4:


Diese Konfigurationen gibt es bei allen Checkern.
Diese Konfigurationen gibt es bei allen Checkern.
[[File:CheckerAllgKonf.PNG|right]]


===Variablenname===
===Variablenname===

Version vom 31. März 2021, 10:47 Uhr

Im Folgenden werden die verschiedenen Konfigurationsmöglichkeiten der JACK2-Checker beschrieben.

Allgemeine Konfigurationen

Diese Konfigurationen gibt es bei allen Checkern.

CheckerAllgKonf.PNG

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

Visualization configuration

Java Metric Checker

Source Files

Code Reading Checker

Classes To Trace

Reference Source

Test Driver Class

Tracing Java Checker

Library Files

Sample Traces

Source Files

Test Driver Class