generators

.github/workflows/maintenance.yaml

@@ -10,14 +10,18 @@ jobs:
         runs-on: ubuntu-latest
         steps:
             - uses: actions/checkout@v4
+            - uses: actions/setup-java@v4
+              with:
+                  java-version: '21'
+                  distribution: 'temurin'
             - run: >-
                    sudo apt update                                                   &&
                    sudo apt install wget                                             &&
                    wget https://apt.llvm.org/llvm.sh                                 &&
                    sudo bash ./llvm.sh 19                                            &&
                    (sudo rm /usr/bin/clang-format || exit 0)                         &&
                    sudo apt -y install clang-format-19
-            - run: find src -type f | xargs -n1 clang-format-19 --dry-run -Werror
+            - run: gradle format
 
     build:
         timeout-minutes: 10

.gitignore

@@ -5,3 +5,4 @@
 # Build artifacts
 .gradle
 build
+src/testgen/dist-*

build.gradle.kts

@@ -109,6 +109,13 @@ pitest {
     timestampedReports.set(false)
 }
 
+// Test generation
+
+tasks.register<Exec>("generateQuickCheckTests") {
+    workingDir = file("src/testgen")
+    commandLine = listOf("cabal", "run")
+}
+
 tasks.register<JavaExec>("generateEvoSuiteTests") {
     classpath = evoSuiteDownload
     mainClass = "org.evosuite.EvoSuite"
@@ -136,9 +143,21 @@ tasks.named<JavaExec>("run") {
     standardInput = System.`in`
 }
 
+tasks.register<Exec>("repl") {
+    workingDir = file("src/testgen")
+    commandLine = listOf("cabal", "repl")
+    standardInput = System.`in`
+}
+
+tasks.register<Exec>("haddock") {
+    workingDir = file("src/testgen")
+    commandLine = listOf("cabal", "haddock", "--haddock-all")
+}
+
 tasks.register<Exec>("format") {
     workingDir = file(rootDir)
     commandLine = listOf("sh", "-c",
-        "find src -type f | xargs -n1 sh -c 'clang-format -i $0; sed -i s/\\\\r//g $0'"
+        "(find src/ -type f -not -path 'src/testgen/*' | xargs -n1 sh -c 'clang-format -i $0; sed -i s/\\\\r//g $0') &&" +
+        "(cd src/testgen && ./format.sh)"
     )
 }

src/testgen/format.sh

@@ -0,0 +1,30 @@
+#!/bin/sh
+
+# This script checks for formatting errors in the Haskell code.
+
+# Copyright 2025 Humberto Gomes, José Lopes, Mariana Rocha
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+grep_error_message() {
+    sed -r "s/^([^:]*):([^:]*):.*$/\1:\2: $1/g"
+}
+
+cabal format || exit 1
+
+# shellcheck disable=SC2266
+find . -type f -name "*.hs" | while IFS="" read -r file; do
+    grep -PHn '.{101,}$' "$file" | grep_error_message "Column exceeds 100 characters"
+    grep -PHn '\t$'      "$file" | grep_error_message "Use of tabs"
+    grep -PHn '\s+$'     "$file" | grep_error_message "Trailing whitespace"
+done | sort -V | tee /dev/stderr | test "$(wc -l)" = 0

src/testgen/testgen.cabal

@@ -0,0 +1,26 @@
+cabal-version: 2.4
+name:          testgen
+version:       0.0.0.1
+license:       Apache-2.0
+author:
+    Humberto Gomes <a104348@alunos.uminho.pt>
+    José Lopes     <a104541@alunos.uminho.pt>
+    Mariana Rocha  <a90187@alunos.uminho.pt>
+
+synopsis:      Business layer facade test generator
+
+executable testgen
+    main-is:          Main.hs
+    hs-source-dirs:   testgen
+    other-modules:
+        FacadeTemplates
+        Generators
+        Java
+        TestClass
+        TestTemplate
+
+    default-language: Haskell2010
+    build-depends:
+        base >=4.15.1.0 && <5,
+        QuickCheck ^>=2.15.0.1,
+        process ^>=1.6.26.1

src/testgen/testgen/FacadeTemplates.hs

@@ -0,0 +1,34 @@
+-- Copyright 2025 Humberto Gomes, José Lopes, Mariana Rocha
+--
+-- Licensed under the Apache License, Version 2.0 (the "License");
+-- you may not use this file except in compliance with the License.
+-- You may obtain a copy of the License at
+--
+--     http://www.apache.org/licenses/LICENSE-2.0
+--
+-- Unless required by applicable law or agreed to in writing, software
+-- distributed under the License is distributed on an "AS IS" BASIS,
+-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+-- See the License for the specific language governing permissions and
+-- limitations under the License.
+
+module FacadeTemplates (
+    equalityTemplate
+  ) where
+
+import Java (assertEquals, toJavaExpression)
+import TestTemplate (TestTemplate, genToTestTemplate)
+import Test.QuickCheck (Gen, arbitrary)
+
+equalityTestGenerator :: Gen [String]
+equalityTestGenerator = do
+  elem <- arbitrary :: Gen Int
+  return [assertEquals (toJavaExpression elem) (toJavaExpression elem)]
+
+  -- Other usage examples
+  -- return [assertTrue (toJavaExpression elem ++ " == " ++ toJavaExpression elem)]
+  -- return [assertSame (toJavaExpression elem) (toJavaExpression elem)]
+  -- return $ assertThrows "Exception" [assertEquals "1" "1"]
+
+equalityTemplate :: TestTemplate
+equalityTemplate = genToTestTemplate "equals" equalityTestGenerator 3