Haskell Syntax Test and Haskell Runtime Test for Common Error Clustering

mysql.sql

@@ -77,6 +77,30 @@ CREATE TABLE IF NOT EXISTS `groups_tutors` (
 
 -- --------------------------------------------------------
 
+--
+-- Tabellenstruktur für Tabelle `haskellruntimetestidentifier`
+--
+
+DROP TABLE IF EXISTS `haskellruntimetestidentifier`;
+CREATE TABLE `haskellruntimetestidentifier`
+(
+  `identifierid`                   integer      NOT NULL AUTO_INCREMENT,
+  `classdefinition`                longtext,
+  `classname`                      varchar(255),
+  `functionconcretetype`           varchar(255),
+  `functiondefaulttype`            varchar(255),
+  `functionname`                   varchar(255),
+  `functiontype`                   varchar(255),
+  `identifierclass`                varchar(255) NOT NULL,
+  `newtypeordataarbitraryinstance` longtext,
+  `newtypeordatadefinition`        varchar(255),
+  `newtypeordatatypename`          varchar(255),
+  `testid`                         integer      NOT NULL,
+  PRIMARY KEY (`identifierid`)
+) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_bin;
+
+-- --------------------------------------------------------
+
 --
 -- Tabellenstruktur für Tabelle `javaadvancedioteststep`
 --
@@ -473,7 +497,7 @@ CREATE TABLE IF NOT EXISTS `users` (
   UNIQUE KEY `username` (`username`)
 ) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_bin;
 
-create table commonerrors (errorid integer not null auto_increment, commonerrorname varchar(255) not null, title varchar(255) not null, type tinyint(4), testid integer not null, primary key (errorid)) engine=InnoDB;
+create table commonerrors (errorid integer not null auto_increment, commonerrorname longtext not null, title longtext not null, type tinyint(4), testid integer not null, primary key (errorid)) engine=InnoDB;
 create table testresults_commonerror (errorid integer not null, testresultid integer not null, primary key (errorid, testresultid)) engine=InnoDB;
 alter table commonerrors add constraint FK84b477b3adpufhy6yca79d79r foreign key (testid) references tests (id) on delete cascade;
 alter table testresults_commonerror add constraint FK787leerpp7s7yak6btbhtbh48 foreign key (testresultid) references testresults (id);
@@ -509,6 +533,12 @@ ALTER TABLE `groups_tutors`
   ADD CONSTRAINT `FK8EAE7CC842D82B98` FOREIGN KEY (`tutors_id`) REFERENCES `participations` (`id`),
   ADD CONSTRAINT `FK8EAE7CC8BB3EB910` FOREIGN KEY (`groups_gid`) REFERENCES `groups` (`gid`);
 
+--
+-- Constraints der Tabelle `haskellruntimetestidentifier`
+--
+ALTER TABLE `haskellruntimetestidentifier`
+  ADD CONSTRAINT FKimd1t2tucxm6cy4b7l1vxj7b2 FOREIGN KEY (`testid`) REFERENCES `tests` (`id`) ON DELETE CASCADE;
+
 --
 -- Constraints der Tabelle `javaadvancedioteststep`
 --

safe-docker/Dockerfile

@@ -1,13 +1,13 @@
 # inspired by https://github.com/KITPraktomatTeam/Praktomat/tree/master/docker-image
 # version e0d53616b7a81f15d6717f76ba53d9415913f7b5
 
-FROM debian:buster
+FROM debian:bookworm
 
 # make sure we have a fully patched image
 RUN apt-get update -qq && apt-get dist-upgrade -y && apt-get clean && rm -rf /var/lib/apt/lists/*
 
 # set up Haskell
-RUN apt-get -qq update && apt-get install -qq --yes ghc libghc-test-framework-dev libghc-test-framework-hunit-dev libghc-test-framework-quickcheck2-dev && apt-get clean && rm -rf /var/lib/apt/lists/*
+RUN apt-get -qq update && apt-get install -qq --yes ghc libghc-test-framework-dev libghc-test-framework-hunit-dev libghc-test-framework-quickcheck2-dev libghc-hashable-dev && apt-get clean && rm -rf /var/lib/apt/lists/*
 
 # set default language, but with UTF-8; needed for Haskell
 ENV LC_ALL="C.UTF-8"

sql-update.sql

@@ -165,3 +165,28 @@ alter table commonerrors add constraint FK84b477b3adpufhy6yca79d79r foreign key
 alter table testresults_commonerror add constraint FK787leerpp7s7yak6btbhtbh48 foreign key (testresultid) references testresults (id);
 alter table testresults_commonerror add constraint FKcfm4aoanp948updtgcn1pn07j foreign key (errorid) references commonerrors (errorid);
 ALTER TABLE `testresults_commonerror` DROP FOREIGN KEY `FK787leerpp7s7yak6btbhtbh48`; ALTER TABLE `testresults_commonerror` ADD CONSTRAINT `FK787leerpp7s7yak6btbhtbh48` FOREIGN KEY (`testresultid`) REFERENCES `testresults`(`id`) ON DELETE CASCADE ON UPDATE RESTRICT; ALTER TABLE `testresults_commonerror` DROP FOREIGN KEY `FKcfm4aoanp948updtgcn1pn07j`; ALTER TABLE `testresults_commonerror` ADD CONSTRAINT `FKcfm4aoanp948updtgcn1pn07j` FOREIGN KEY (`errorid`) REFERENCES `commonerrors`(`errorid`) ON DELETE CASCADE ON UPDATE RESTRICT;
+
+-- haskell runtime test
+CREATE TABLE `haskellruntimetestidentifier`
+(
+  `identifierid`                   integer      NOT NULL AUTO_INCREMENT,
+  `classdefinition`                longtext,
+  `classname`                      varchar(255),
+  `functionconcretetype`           varchar(255),
+  `functiondefaulttype`            varchar(255),
+  `functionname`                   varchar(255),
+  `functiontype`                   varchar(255),
+  `identifierclass`                varchar(255) NOT NULL,
+  `newtypeordataarbitraryinstance` longtext,
+  `newtypeordatadefinition`        varchar(255),
+  `newtypeordatatypename`          varchar(255),
+  `testid`                         integer      NOT NULL,
+  PRIMARY KEY (`identifierid`)
+) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_bin;
+
+ALTER TABLE IF EXISTS `haskellruntimetestidentifier`
+    ADD CONSTRAINT FKimd1t2tucxm6cy4b7l1vxj7b2 FOREIGN KEY (`testid`) REFERENCES `tests` (`id`) ON DELETE CASCADE;
+
+ALTER TABLE IF EXISTS `commonerrors`
+    MODIFY COLUMN `title` longtext NOT NULL,
+    MODIFY COLUMN `commonerrorname` longtext NOT NULL;

src/main/java/de/tuclausthal/submissioninterface/persistence/dao/TestDAOIf.java

@@ -24,6 +24,8 @@
 import de.tuclausthal.submissioninterface.persistence.datamodel.CommentsMetricTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.CompileTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.DockerTest;
+import de.tuclausthal.submissioninterface.persistence.datamodel.HaskellRuntimeTest;
+import de.tuclausthal.submissioninterface.persistence.datamodel.HaskellSyntaxTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.JUnitTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.JavaAdvancedIOTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.Task;
@@ -62,6 +64,10 @@ public interface TestDAOIf {
 
 	DockerTest createDockerTest(Task task);
 
+	HaskellSyntaxTest createHaskellSyntaxTest(Task task);
+
+	HaskellRuntimeTest createHaskellRuntimeTest(Task task);
+
 	ChecklistTest createChecklistTest(Task task);
 
 	/**

src/main/java/de/tuclausthal/submissioninterface/persistence/dao/impl/TestDAO.java

@@ -35,6 +35,8 @@
 import de.tuclausthal.submissioninterface.persistence.datamodel.CommentsMetricTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.CompileTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.DockerTest;
+import de.tuclausthal.submissioninterface.persistence.datamodel.HaskellRuntimeTest;
+import de.tuclausthal.submissioninterface.persistence.datamodel.HaskellSyntaxTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.JUnitTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.JavaAdvancedIOTest;
 import de.tuclausthal.submissioninterface.persistence.datamodel.Task;
@@ -162,6 +164,24 @@ public DockerTest createDockerTest(Task task) {
 		return test;
 	}
 
+	@Override
+	public HaskellSyntaxTest createHaskellSyntaxTest(Task task) {
+		Session session = getSession();
+		HaskellSyntaxTest test = new HaskellSyntaxTest();
+		test.setTask(task);
+		session.persist(test);
+		return test;
+	}
+
+	@Override
+	public HaskellRuntimeTest createHaskellRuntimeTest(Task task) {
+		Session session = getSession();
+		HaskellRuntimeTest test = new HaskellRuntimeTest();
+		test.setTask(task);
+		session.persist(test);
+		return test;
+	}
+
 	@Override
 	public ChecklistTest createChecklistTest(Task task) {
 		Session session = getSession();

src/main/java/de/tuclausthal/submissioninterface/persistence/datamodel/CommonError.java

@@ -75,7 +75,7 @@ public void setErrorID(int errorID) {
 		this.errorID = errorID;
 	}
 
-	@Column(nullable = false)
+	@Column(nullable = false, length = 65536)
 	public String getTitle() {
 		return title;
 	}
@@ -116,7 +116,7 @@ public Type getTypedType() {
 		return Type.values()[this.type];
 	}
 
-	@Column(nullable = false)
+	@Column(nullable = false, length = 65536)
 	public String getCommonErrorName() {
 		return commonErrorName;
 	}

src/main/java/de/tuclausthal/submissioninterface/persistence/datamodel/HaskellRuntimeTest.java

@@ -0,0 +1,77 @@
+/*
+ * Copyright 2025 Sven Strickroth <email@cs-ware.de>
+ * Copyright 2025 Christian Wagner <christian.wagner@campus.lmu.de>
+ *
+ * This file is part of the GATE.
+ *
+ * GATE is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 3 as
+ * published by the Free Software Foundation.
+ *
+ * GATE is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with GATE. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+package de.tuclausthal.submissioninterface.persistence.datamodel;
+
+import java.io.Serial;
+import java.util.ArrayList;
+import java.util.List;
+
+import jakarta.persistence.CascadeType;
+import jakarta.persistence.Entity;
+import jakarta.persistence.OneToMany;
+import jakarta.persistence.OrderBy;
+import jakarta.persistence.Transient;
+
+import org.hibernate.annotations.OnDelete;
+import org.hibernate.annotations.OnDeleteAction;
+
+import com.fasterxml.jackson.annotation.JsonManagedReference;
+import com.fasterxml.jackson.dataformat.xml.annotation.JacksonXmlElementWrapper;
+import com.fasterxml.jackson.dataformat.xml.annotation.JacksonXmlProperty;
+
+import de.tuclausthal.submissioninterface.testframework.tests.AbstractTest;
+
+/**
+ * Haskell runtime test, extends the DockerTest by automatically generating haskell testcases and by clustering
+ * @author Christian Wagner
+ */
+@Entity
+public class HaskellRuntimeTest extends DockerTest {
+	@Serial
+	private static final long serialVersionUID = 1L;
+
+	@OneToMany(mappedBy = "haskellRuntimeTest", cascade = CascadeType.PERSIST)
+	@OnDelete(action = OnDeleteAction.CASCADE)
+	@OrderBy("identifierid asc")
+	@JacksonXmlElementWrapper(localName = "identifiers")
+	@JacksonXmlProperty(localName = "identifier")
+	@JsonManagedReference
+	private List<HaskellRuntimeTestIdentifier> identifiers = new ArrayList<>();
+
+	@Override
+	@Transient
+	public AbstractTest<DockerTest> getTestImpl() {
+		return new de.tuclausthal.submissioninterface.testframework.tests.impl.HaskellRuntimeTest(this);
+	}
+
+	/**
+	 * @return the haskell runtime test identifiers
+	 */
+	public List<HaskellRuntimeTestIdentifier> getIdentifiers() {
+		return identifiers;
+	}
+
+	/**
+	 * @param identifiers the haskell runtime test identifiers to set
+	 */
+	public void setIdentifiers(List<HaskellRuntimeTestIdentifier> identifiers) {
+		this.identifiers = identifiers;
+	}
+}