JACK Wiki - Benutzerbeiträge [de]

ContainsAllWithOrder

2024-11-05T09:39:30Z

Bbunten:

{{Vorlage:Warnung|Warnung=Diese Seite ist beinhaltet eine Evaluatorfunktion für JACK3.}}

===Zugehörige Evaluatoren===
*'''MathEvaluator'''

===Beschreibung===
Die Funktion ''containsAllWithOrder'' überprüft, ob die erste [[List|Liste]] alle Elemente der zweiten Liste in der richtigen Reihenfolge enthält.

===Syntax===
containsAllWithOrder([[List]] a, [[List]] b)

===Parameter===
* '''a''' - die [[List|Liste]], die überprüft wird
* '''b''' - die [[List|Liste]], die in [[List|Liste]] '''a''' enthalten soll

===Return Value===
* Gibt einen Boolean zurück. ''True'', wenn alle Elemente von [[List|Liste]] '''b''' in [[List|Liste]] '''a''' in der richtigen Reihenfolge enthalten sind.

===Beispiele===
==== Standardfälle ====
containsAllWithOrder(list(a,b,c),list(a,b)) --> returns ''true''
containsAllWithOrder(list(a,b,c),list(b,a)) --> returns ''false''

=== Hinweise ===
* Eine weitere Funktion, die zwei Listen miteinander vergleicht ist [[containsAll]]

[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Testfunktionen]][[Kategorie:Listfunktionen]][[Kategorie:JACK3]]

Gatterschaltung (JACK3)

2024-10-30T14:25:39Z

Bbunten: Absatz "Studentische Eingabe" hinzugefügt

Der Aufgabentyp Gatterschaltungen ermöglicht asynchron geprüfte Aufgabenteile, in denen eingereichte Gatterschaltungen auf Basis von Wahrheitstabellen automatisch bewertet werden. Bei mehrteiligen Aufgaben können nach dem Einreichen optional schon weitere Aufgabenteile bearbeitet werden, während die asynchronen Checks noch im Hintergrund laufen.
===Aufgabeninhalt===
In dem Bereich Aufgabeninhalt wird der Aufgabentext erstellt und spezifische Eingaben für den jeweiligen Aufgabenteil gemacht.

'''Titel (extern):''' Hier kann man optional dem Aufgabenteil einen Namen geben.

'''Aufgabentext:''' Im Aufgabentext steht die Aufgabenstellung. Der Editor für den Aufgabetext lässt sich öffnen in dem man reinklickt. In dem Fließtext kann Latex-Code verwendet werden, indem man diesen mit $-Zeichen einspannt. Der Editor bietet einige Formatierungen an wie z.B. fett, kursiv und unterstrichen. Einfache Tabellen können auch mithilfe des Editors erstellt werden. Wenn man den Button ''source code'' [[File:Icon-source_code.jpg|35px]] verwendet kann man HTML-Code nutzen. Über den Button '''Ressource Einfügen''' lässt sich ein hochgeladenes Bild oder ein Link in den Aufgabentext einfügen.
[[Datei:LogicCircuitStage Aufgabeninhalt.png|zentriert|mini|800x800px|Aufgabentext einer Gatterschaltungsaufgabe]]
'''Verfügbare Gatter auswählen:''' Hier kann man auswählen, welche logischen Gatter den Studierenden für die Aufgabenlösung zur Verfügung stehen sollen. Wählen Sie aus einer Vielzahl von Gattern, darunter UND, ODER, NICHT, NAND (Nicht-UND), NOR (Nicht-ODER), XOR (exklusives ODER) sowie die Konstanten TRUE und FALSE.
[[Datei:LogicCircuitStage- Wahl der Gatter.png|alternativtext=|zentriert|mini|800x800px|Wahl der logischen Gatter]]
'''Konfiguration der Ein- und Ausgänge:''' Hier legt man die Anzahl der Ein- und Ausgänge fest. Diese Einstellungen bestimmen die Spaltenanzahl in der Wahrheitstabelle und die Ein- und Ausgangsgatter, die den Studierenden im Editor zur Verfügung stehen.
[[Datei:LogicCircuitStage Konfiguration der Ein- und Ausgänge.png|zentriert|mini|800x800px|Konfiguration der Ein- und Ausgänge]]
'''Konfiguration der Wahrheitstabelle:''' Hier kann man festlegen, ob JACK für jeden Studierenden eine zufällig generierte Wahrheitstabelle basierend auf der Konfiguration der Ein- und Ausgänge bereitstellen soll, oder ob eine feste Belegung vorgegeben wird. Bei einer manuell erstellten Tabelle lässt sich außerdem einstellen, ob die Tabelle unterhalb der Aufgabenbeschreibung für die Studierenden sichtbar sein soll.
[[Datei:LogicCircuitStage Konfiguration der Wahrheitstabelle.png|zentriert|mini|800x800px|Konfiguration der Wahrheitstabelle]]

=== Studentische Eingabe ===
Die Studierenden erstellen im LogicCircuit-Editor per Drag-and-Drop die vom Lehrenden konfigurierten Gatter und verbinden diese mit den Ein- und Ausgängen. Verbindungen sind nur von einem Ausgang (Gatter oder Eingangsgatter) zu einem Eingang (Gatter oder Ausgangsgatter) möglich. Um den Editor schließen und die Lösung anschließend einreichen zu können, müssen alle Ein- und Ausgänge, einschließlich derer der erstellten Gatter, verbunden sein.

Eine mögliche studentische Lösung des oben genannten Beispiels würde dann wie folgt aussehen:
[[Datei:LogicCircuitStage LogicCircuitEditor.png|zentriert|mini|800x800px|Editor zur studentischen Eingabe der Gatterschaltung]]

Datei:LogicCircuitStage LogicCircuitEditor.png

2024-10-30T14:20:00Z

Bbunten:

LogicCircuitEditor

Gatterschaltung (JACK3)

2024-10-30T13:40:10Z

Bbunten: Kapitel Aufgabeninhalt erstellt

Datei:LogicCircuitStage Konfiguration der Wahrheitstabelle.png

2024-10-30T13:38:48Z

Bbunten:

Konfiguration der Wahrheitstabelle

Datei:LogicCircuitStage Konfiguration der Ein- und Ausgänge.png

2024-10-30T13:31:26Z

Bbunten:

Konfiguration der Ein- und Ausgänge

Datei:LogicCircuitStage- Wahl der Gatter.png

2024-10-30T13:24:03Z

Bbunten:

Wahl der logischen Gatter

Datei:LogicCircuitStage Aufgabeninhalt.png

2024-10-30T13:14:43Z

Bbunten:

Aufgabentext einer Gatterschaltungsaufgabe

UML (JACK3)

2024-07-01T07:27:21Z

Bbunten: Integrierter Editor

Der Aufgabentyp UML ermöglicht asynchron geprüfte Aufgabenteile, in denen eingereichte UML-Modelle automatisch bewertet werden. Bei mehrteiligen Aufgaben können nach dem Einreichen optional schon weitere Aufgabenteile bearbeitet werden, während die asynchronen Checks noch im Hintergrund laufen.

===Aufgabeninhalt===
In dem Bereich Aufgabeninhalt wird der Aufgabentext erstellt und spezifische Eingaben für den jeweiligen Aufgabenteil gemacht.

'''Titel (extern):''' Hier kann man optional dem Aufgabenteil einen Namen geben.

'''Aufgabentext:''' Im Aufgabentext steht die Aufgabenstellung. Der Editor für den Aufgabetext lässt sich öffnen in dem man reinklickt. In dem Fließtext kann Latex-Code verwendet werden, indem man diesen mit $-Zeichen einspannt. Der Editor bietet einige Formatierungen an wie z.B. fett, kursiv und unterstrichen. Einfache Tabellen können auch mithilfe des Editors erstellt werden. Wenn man den Button ''source code'' [[File:Icon-source_code.jpg|35px]] verwendet kann man HTML-Code nutzen. Über den Button '''Ressource Einfügen''' lässt sich ein hochgeladenes Bild oder ein Link in den Aufgabentext einfügen.

[[File:UMLStage Aufgabeninhalt.png|center|thumb|800px|Aufgabentext einer UML Aufgabe]]

'''Editor:''' Optional steht ein integrierter Editor zur Verfügung, mit dem Studierende UML-Diagramme direkt in JACK erstellen können. Derzeit ist der Editor in der Lage, UML Klassen-, Aktivitäts- und Komponentendiagramme zu erstellen. Der Editor kann über eine Checkbox aktiviert werden. Anschließend kann aus den verfügbaren Optionen eine Modellierungssprache ausgewählt werden.
[[Datei:Editor Konfiuration.png|zentriert|mini|803x803px|Konfiguration des integrierten Editors]]
Im Moment können Einreichungen noch nicht gesteuert werden, d.h. die Zahl der hochgeladenen Dateien oder deren Benennung kann nicht eingeschränkt werden.

===Feedback===
Für das Feedback zu diesem Aufgabenteil stehen folgende Einstellungsmöglichkeiten zur Verfügung:
* '''Reaktion bei fehlendem Dateianhang:''' Hier wird festgelegt, wie Jack reagieren soll, wenn keine Datei angehängt wurde. Es besteht die Wahl zwischen Aufgabenteil wiederholen lassen oder diesen mit 0 Punkten bewerten.
* '''GReQL-Regelsatz zur statischen Überprüfung:''' In dem Textfeld werden die Regeln und Feedbacktexte konfiguriert (Beispiele finden sie [[GReQL_Regeln#Beispiele_f.C3.BCr_statische_Pr.C3.BCfregeln_f.C3.BCr_UML-Modelle_im_XMI2-Format|hier]]).
** Der gesamte Regelsatz muss durch den Tag <tt><checkerrules>...</checkerrules></tt> eingeschlossen werden.
** Wenn Regeln vom Typ "report" verwendet werden, stehen die entsprechenden Rückgabewerte unter den im <tt>report</tt>-Clause genannten Namen als <tt>check</tt>-Variablen innerhalb des Aufgabenteils zur Verwendung im Feedback oder in den Variablenupdates (ausschließlich nach der Durchführung aller Checks) zur Verfügung.
* '''Verhalten bei internen Fehlern während der Überprüfung:''' Hier wird festgelegt, wie Jack reagieren soll, sollte es bei der Bewertung der Abgabe zu Fehlern kommen. Die Bearbeitung kann entweder abgebrochen werden oder es wird eine Nachricht ausgegeben und die Bearbeitung wird fortgesetzt. Bei der Wahl sollte berücksichtigt werden, ob die Aufgabe weitere Aufgabenteile hat, die womöglich von der Auswertung dieses Aufgabentyps abhängen.

[[File:UMLStage Feedback.png|center|thumb|800px|Feedback bei UML Aufgaben]]

{{JACK3:Hinweise}}

===Verknüpfungen===
Da die asynchronen Checks teilweise etwas länger dauern lässt sich bei der Verknüpfung einstellen, dass nicht auf das Feedback gewartet werden soll, sondern sofort der nächste Aufgabenteil angezeigt werden soll. Dabei ist zu beachten, wenn der nächste Aufgabenteil unmittelbar von der Bewertung der Einreichung abhängt darf diese Option nicht ausgewählt werden.

[[File:UMLStage Verknuepfungen.png|center|thumb|800px|Verknüpfungen bei UML Aufgaben]]

{{JACK3:Variablenupdates}}

{{JACK3:Dateien für Studierende}}

=== Variablen ===
Wenn im statischen Check ein Regelsatz verwendet wurde, der Regeln vom Typ "report" enthält, stehen die Ergebnisse als Variablen der Form <code>[check=<Name_der_Report-Variablen>]</code> zur Verfügung.

Für weitere Informationen über Variablen siehe [[Variablen (JACK3)|Variablen]].

[[category:Benutzerhandbuch]]

Datei:Editor Konfiuration.png

2024-06-26T14:07:23Z

Bbunten:

Konfigurationsmöglichkeiten des integrierten UML Editors