commit 92d6188c388e3800336dbe771d627c7092b3400f Author: schrom01 Date: Tue Nov 8 10:38:18 2022 +0100 initial commit diff --git a/build.gradle b/build.gradle new file mode 100644 index 0000000..2430006 --- /dev/null +++ b/build.gradle @@ -0,0 +1,26 @@ +plugins { + id 'application' +} + +repositories { + mavenCentral() +} + +dependencies { + implementation 'org.junit.jupiter:junit-jupiter:5.9.0' + implementation 'org.junit.platform:junit-platform-engine:1.9.0' + implementation 'org.junit.platform:junit-platform-launcher:1.9.0' +} + +application { + mainClass = 'ch.zhaw.ads.ExBox' +} + +sourceSets { + main.java.srcDirs = ['src'] + test.java.srcDirs = ['src'] +} + +tasks.named('test') { + useJUnitPlatform() +} diff --git a/gradle/wrapper/gradle-wrapper.jar b/gradle/wrapper/gradle-wrapper.jar new file mode 100644 index 0000000..41d9927 Binary files /dev/null and b/gradle/wrapper/gradle-wrapper.jar differ diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties new file mode 100644 index 0000000..aa991fc --- /dev/null +++ b/gradle/wrapper/gradle-wrapper.properties @@ -0,0 +1,5 @@ +distributionBase=GRADLE_USER_HOME +distributionPath=wrapper/dists +distributionUrl=https\://services.gradle.org/distributions/gradle-7.4.2-bin.zip +zipStoreBase=GRADLE_USER_HOME +zipStorePath=wrapper/dists diff --git a/gradlew b/gradlew new file mode 100644 index 0000000..1b6c787 --- /dev/null +++ b/gradlew @@ -0,0 +1,234 @@ +#!/bin/sh + +# +# Copyright © 2015-2021 the original authors. +# +# 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 +# +# https://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. +# + +############################################################################## +# +# Gradle start up script for POSIX generated by Gradle. +# +# Important for running: +# +# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is +# noncompliant, but you have some other compliant shell such as ksh or +# bash, then to run this script, type that shell name before the whole +# command line, like: +# +# ksh Gradle +# +# Busybox and similar reduced shells will NOT work, because this script +# requires all of these POSIX shell features: +# * functions; +# * expansions «$var», «${var}», «${var:-default}», «${var+SET}», +# «${var#prefix}», «${var%suffix}», and «$( cmd )»; +# * compound commands having a testable exit status, especially «case»; +# * various built-in commands including «command», «set», and «ulimit». +# +# Important for patching: +# +# (2) This script targets any POSIX shell, so it avoids extensions provided +# by Bash, Ksh, etc; in particular arrays are avoided. +# +# The "traditional" practice of packing multiple parameters into a +# space-separated string is a well documented source of bugs and security +# problems, so this is (mostly) avoided, by progressively accumulating +# options in "$@", and eventually passing that to Java. +# +# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS, +# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly; +# see the in-line comments for details. +# +# There are tweaks for specific operating systems such as AIX, CygWin, +# Darwin, MinGW, and NonStop. +# +# (3) This script is generated from the Groovy template +# https://github.com/gradle/gradle/blob/master/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt +# within the Gradle project. +# +# You can find Gradle at https://github.com/gradle/gradle/. +# +############################################################################## + +# Attempt to set APP_HOME + +# Resolve links: $0 may be a link +app_path=$0 + +# Need this for daisy-chained symlinks. +while + APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path + [ -h "$app_path" ] +do + ls=$( ls -ld "$app_path" ) + link=${ls#*' -> '} + case $link in #( + /*) app_path=$link ;; #( + *) app_path=$APP_HOME$link ;; + esac +done + +APP_HOME=$( cd "${APP_HOME:-./}" && pwd -P ) || exit + +APP_NAME="Gradle" +APP_BASE_NAME=${0##*/} + +# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"' + +# Use the maximum available, or set MAX_FD != -1 to use that value. +MAX_FD=maximum + +warn () { + echo "$*" +} >&2 + +die () { + echo + echo "$*" + echo + exit 1 +} >&2 + +# OS specific support (must be 'true' or 'false'). +cygwin=false +msys=false +darwin=false +nonstop=false +case "$( uname )" in #( + CYGWIN* ) cygwin=true ;; #( + Darwin* ) darwin=true ;; #( + MSYS* | MINGW* ) msys=true ;; #( + NONSTOP* ) nonstop=true ;; +esac + +CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar + + +# Determine the Java command to use to start the JVM. +if [ -n "$JAVA_HOME" ] ; then + if [ -x "$JAVA_HOME/jre/sh/java" ] ; then + # IBM's JDK on AIX uses strange locations for the executables + JAVACMD=$JAVA_HOME/jre/sh/java + else + JAVACMD=$JAVA_HOME/bin/java + fi + if [ ! -x "$JAVACMD" ] ; then + die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +else + JAVACMD=java + which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." +fi + +# Increase the maximum file descriptors if we can. +if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then + case $MAX_FD in #( + max*) + MAX_FD=$( ulimit -H -n ) || + warn "Could not query maximum file descriptor limit" + esac + case $MAX_FD in #( + '' | soft) :;; #( + *) + ulimit -n "$MAX_FD" || + warn "Could not set maximum file descriptor limit to $MAX_FD" + esac +fi + +# Collect all arguments for the java command, stacking in reverse order: +# * args from the command line +# * the main class name +# * -classpath +# * -D...appname settings +# * --module-path (only if needed) +# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables. + +# For Cygwin or MSYS, switch paths to Windows format before running java +if "$cygwin" || "$msys" ; then + APP_HOME=$( cygpath --path --mixed "$APP_HOME" ) + CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" ) + + JAVACMD=$( cygpath --unix "$JAVACMD" ) + + # Now convert the arguments - kludge to limit ourselves to /bin/sh + for arg do + if + case $arg in #( + -*) false ;; # don't mess with options #( + /?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath + [ -e "$t" ] ;; #( + *) false ;; + esac + then + arg=$( cygpath --path --ignore --mixed "$arg" ) + fi + # Roll the args list around exactly as many times as the number of + # args, so each arg winds up back in the position where it started, but + # possibly modified. + # + # NB: a `for` loop captures its iteration list before it begins, so + # changing the positional parameters here affects neither the number of + # iterations, nor the values presented in `arg`. + shift # remove old arg + set -- "$@" "$arg" # push replacement arg + done +fi + +# Collect all arguments for the java command; +# * $DEFAULT_JVM_OPTS, $JAVA_OPTS, and $GRADLE_OPTS can contain fragments of +# shell script including quotes and variable substitutions, so put them in +# double quotes to make sure that they get re-expanded; and +# * put everything else in single quotes, so that it's not re-expanded. + +set -- \ + "-Dorg.gradle.appname=$APP_BASE_NAME" \ + -classpath "$CLASSPATH" \ + org.gradle.wrapper.GradleWrapperMain \ + "$@" + +# Use "xargs" to parse quoted args. +# +# With -n1 it outputs one arg per line, with the quotes and backslashes removed. +# +# In Bash we could simply go: +# +# readarray ARGS < <( xargs -n1 <<<"$var" ) && +# set -- "${ARGS[@]}" "$@" +# +# but POSIX shell has neither arrays nor command substitution, so instead we +# post-process each arg (as a line of input to sed) to backslash-escape any +# character that might be a shell metacharacter, then use eval to reverse +# that process (while maintaining the separation between arguments), and wrap +# the whole thing up as a single "set" statement. +# +# This will of course break if any of these variables contains a newline or +# an unmatched quote. +# + +eval "set -- $( + printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" | + xargs -n1 | + sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' | + tr '\n' ' ' + )" '"$@"' + +exec "$JAVACMD" "$@" diff --git a/gradlew.bat b/gradlew.bat new file mode 100644 index 0000000..107acd3 --- /dev/null +++ b/gradlew.bat @@ -0,0 +1,89 @@ +@rem +@rem Copyright 2015 the original author or authors. +@rem +@rem Licensed under the Apache License, Version 2.0 (the "License"); +@rem you may not use this file except in compliance with the License. +@rem You may obtain a copy of the License at +@rem +@rem https://www.apache.org/licenses/LICENSE-2.0 +@rem +@rem Unless required by applicable law or agreed to in writing, software +@rem distributed under the License is distributed on an "AS IS" BASIS, +@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +@rem See the License for the specific language governing permissions and +@rem limitations under the License. +@rem + +@if "%DEBUG%" == "" @echo off +@rem ########################################################################## +@rem +@rem Gradle startup script for Windows +@rem +@rem ########################################################################## + +@rem Set local scope for the variables with windows NT shell +if "%OS%"=="Windows_NT" setlocal + +set DIRNAME=%~dp0 +if "%DIRNAME%" == "" set DIRNAME=. +set APP_BASE_NAME=%~n0 +set APP_HOME=%DIRNAME% + +@rem Resolve any "." and ".." in APP_HOME to make it shorter. +for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi + +@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m" + +@rem Find java.exe +if defined JAVA_HOME goto findJavaFromJavaHome + +set JAVA_EXE=java.exe +%JAVA_EXE% -version >NUL 2>&1 +if "%ERRORLEVEL%" == "0" goto execute + +echo. +echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:findJavaFromJavaHome +set JAVA_HOME=%JAVA_HOME:"=% +set JAVA_EXE=%JAVA_HOME%/bin/java.exe + +if exist "%JAVA_EXE%" goto execute + +echo. +echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:execute +@rem Setup the command line + +set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar + + +@rem Execute Gradle +"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %* + +:end +@rem End local scope for the variables with windows NT shell +if "%ERRORLEVEL%"=="0" goto mainEnd + +:fail +rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of +rem the _cmd.exe /c_ return code! +if not "" == "%GRADLE_EXIT_CONSOLE%" exit 1 +exit /b 1 + +:mainEnd +if "%OS%"=="Windows_NT" endlocal + +:omega diff --git a/settings.gradle b/settings.gradle new file mode 100644 index 0000000..1396f24 --- /dev/null +++ b/settings.gradle @@ -0,0 +1,10 @@ +/* + * This file was generated by the Gradle 'init' task. + * + * The settings file is used to specify which projects to include in your build. + * + * Detailed information about configuring a multi-project build in Gradle can be found + * in the user manual at https://docs.gradle.org/7.4.2/userguide/multi_project_builds.html + */ + +rootProject.name = 'ADS Praktikum 8' diff --git a/src/ch/zhaw/ads/ADS8_2_test.java b/src/ch/zhaw/ads/ADS8_2_test.java new file mode 100644 index 0000000..0b3d5fa --- /dev/null +++ b/src/ch/zhaw/ads/ADS8_2_test.java @@ -0,0 +1,43 @@ +package ch.zhaw.ads; + +import org.junit.jupiter.api.BeforeEach; +import org.junit.jupiter.api.Test; + +import static org.junit.jupiter.api.Assertions.fail; + +/** + * @author K Rege + * @version 1.00 2018/3/17 + * @version 1.01 2021/8/1 + */ +public class ADS8_2_test { + LabyrinthServer labyrinthServer; + Graph graph; + + @BeforeEach + public void init() { + String labyrinth = "0-6 4-6\n4-6 7-6\n7-6 9-6\n7-6 7-4\n7-4 6-4\n7-4 9-4\n9-4 9-1\n" + + "7-4 7-1\n7-1 5-1\n4-6 4-4\n4-4 4-3\n4-4 1-4\n1-4 1-1\n1-1 3-1\n3-1 3-2\n3-1 3-0\n"; + labyrinthServer = new LabyrinthServer(); + graph = labyrinthServer.createGraph(labyrinth); + } + + private void testEdge(String startName, String destName) { + DijkstraNode node = graph.findNode(startName); + for (Edge edge : node.getEdges()) { + if (edge.getDest().getName().equals(destName)) { + return; + } + } + fail(startName + " not connected to " + destName); + } + + @Test + public void testCreateGraph() { + testEdge("0-6", "4-6"); + testEdge("4-6", "0-6"); + testEdge("1-4", "1-1"); + testEdge("3-1", "3-0"); + testEdge("3-0", "3-1"); + } +} diff --git a/src/ch/zhaw/ads/ADS8_3_test.java b/src/ch/zhaw/ads/ADS8_3_test.java new file mode 100644 index 0000000..c4123e7 --- /dev/null +++ b/src/ch/zhaw/ads/ADS8_3_test.java @@ -0,0 +1,57 @@ +package ch.zhaw.ads; + +import org.junit.jupiter.api.BeforeEach; +import org.junit.jupiter.api.Test; + +import static org.junit.jupiter.api.Assertions.fail; + +/** + * @author K Rege + * @version 1.00 2018/3/17 + * @version 1.01 2021/8/1 + */ +public class ADS8_3_test { + LabyrinthServer labyrinthServer; + Graph graph; + + @BeforeEach + public void init() { + String labyrinth = "0-6 4-6\n4-6 7-6\n7-6 9-6\n7-6 7-4\n7-4 6-4\n7-4 9-4\n9-4 9-1\n" + + "7-4 7-1\n7-1 5-1\n4-6 4-4\n4-4 4-3\n4-4 1-4\n1-4 1-1\n1-1 3-1\n3-1 3-2\n3-1 3-0\n"; + labyrinthServer = new LabyrinthServer(); + graph = labyrinthServer.createGraph(labyrinth); + } + + private void testEdge(String startName, String destName) { + DijkstraNode node = graph.findNode(startName); + for (Edge edge : node.getEdges()) { + if (edge.getDest().getName().equals(destName)) { + return; + } + } + fail(startName + " not connected to " + destName); + } + + @Test + public void testCreateGraph() { + testEdge("0-6", "4-6"); + testEdge("4-6", "0-6"); + testEdge("1-4", "1-1"); + testEdge("3-1", "3-0"); + testEdge("3-0", "3-1"); + } + + private void testPath(String trace, String path) { + if (!trace.contains(path)) { + fail(path + " not found"); + } + } + + @Test + public void testDrawLabyrinth() { + labyrinthServer.drawLabyrinth(graph); + String trace = ServerGraphics.instance().getTrace(); + testPath(trace, " graph; + + @BeforeEach + public void init() { + String labyrinth = "0-6 4-6\n4-6 7-6\n7-6 9-6\n7-6 7-4\n7-4 6-4\n7-4 9-4\n9-4 9-1\n" + + "7-4 7-1\n7-1 5-1\n4-6 4-4\n4-4 4-3\n4-4 1-4\n1-4 1-1\n1-1 3-1\n3-1 3-2\n3-1 3-0\n"; + labyrinthServer = new LabyrinthServer(); + graph = labyrinthServer.createGraph(labyrinth); + } + + private void testEdge(String startName, String destName) { + DijkstraNode node = graph.findNode(startName); + for (Edge edge : node.getEdges()) { + if (edge.getDest().getName().equals(destName)) { + return; + } + } + fail(startName + " not connected to " + destName); + } + + @Test + public void testCreateGraph() { + testEdge("0-6", "4-6"); + testEdge("4-6", "0-6"); + testEdge("1-4", "1-1"); + testEdge("3-1", "3-0"); + testEdge("3-0", "3-1"); + } + + private void testPath(String trace, String path) { + if (!trace.contains(path)) { + fail(path + " not found"); + } + } + + @Test + public void testDrawLabyrinth() { + labyrinthServer.drawLabyrinth(graph); + String trace = ServerGraphics.instance().getTrace(); + testPath(trace, ""); + testPath(trace, ""); + testPath(trace, ""); + testPath(trace, ""); + testPath(trace, ""); + testPath(trace, ""); + } +} diff --git a/src/ch/zhaw/ads/AdjListGraph.java b/src/ch/zhaw/ads/AdjListGraph.java new file mode 100644 index 0000000..b74fd48 --- /dev/null +++ b/src/ch/zhaw/ads/AdjListGraph.java @@ -0,0 +1,53 @@ +package ch.zhaw.ads; + +import java.util.LinkedList; +import java.util.List; + +public class AdjListGraph + implements Graph { + private final List nodes = new LinkedList<>(); + private final Class nodeClazz; + private final Class edgeClazz; + + public AdjListGraph(Class nodeClazz, Class edgeClazz) { + this.nodeClazz = nodeClazz; + this.edgeClazz = edgeClazz; + } + + /** füge Knoten hinzu, gebe alten zurück falls Knoten schon existiert */ + public N addNode(String name) throws Throwable { + N node = findNode(name); + if (node == null) { + node = nodeClazz.getConstructor().newInstance(); + node.setName(name); + nodes.add(node); + } + return node; + } + + /** füge gerichtete Kante hinzu */ + public void addEdge(String source, String dest, double weight) throws Throwable { + N src = addNode(source); + N dst = addNode(dest); + + E edge = edgeClazz.getConstructor().newInstance(); + edge.setDest(dst); + edge.setWeight(weight); + src.addEdge(edge); + } + + /** finde den Knoten anhand seines Namens */ + public N findNode(String name) { + for (N node : nodes) { + if (node.getName().equals(name)) { + return node; + } + } + return null; + } + + /** Iterator über alle Knoten */ + public Iterable getNodes() { + return nodes; + } +} diff --git a/src/ch/zhaw/ads/AnyServer.java b/src/ch/zhaw/ads/AnyServer.java new file mode 100644 index 0000000..cf89f5f --- /dev/null +++ b/src/ch/zhaw/ads/AnyServer.java @@ -0,0 +1,15 @@ +package ch.zhaw.ads; + +/** + * AnyServer -- Praktikum Experimentierkasten -- ADS + * + * @author E. Mumprecht + * @version 1.0 -- Geruest fuer irgendeinen Server + */ +public class AnyServer implements CommandExecutor { + //----- Dies implementiert das CommandExecutor Interface. + @Override + public String execute(String command) { + return "Die Eingabe ist \"" + command + "\"\n"; + } +} diff --git a/src/ch/zhaw/ads/CommandExecutor.java b/src/ch/zhaw/ads/CommandExecutor.java new file mode 100644 index 0000000..bb2a018 --- /dev/null +++ b/src/ch/zhaw/ads/CommandExecutor.java @@ -0,0 +1,20 @@ +package ch.zhaw.ads; + +/** + * CommandExecutor -- Praktikum Experimentierkasten -- SW3 Dieses Interface muss + * von jedem Server implementiert werden. + * + * @author E. Mumprecht + * @version 1.0 -- Geruest fuer irgendeinen Server + * @version 1.1 -- K. Rege Fehlerueckgabe hinzugefuegt + */ +public interface CommandExecutor { + /** + * execute -- nimmt eine Kommandozeile, tut irgendetwas gescheites, und + * berichtet das Resultat. + * + * @param command Kommandozeile + * @return Resultat, ueblicherweise eine oder mehrere Zeilen. + */ + String execute(String command) throws Exception; +} \ No newline at end of file diff --git a/src/ch/zhaw/ads/DijkstraNode.java b/src/ch/zhaw/ads/DijkstraNode.java new file mode 100644 index 0000000..44a7bc2 --- /dev/null +++ b/src/ch/zhaw/ads/DijkstraNode.java @@ -0,0 +1,41 @@ +package ch.zhaw.ads; + +class DijkstraNode extends Node implements Comparable { + boolean mark; + DijkstraNode prev; + double dist; + + public DijkstraNode() { } + + public double getDist (){ + return dist; + } + + public void setDist(double dist) { + this.dist = dist; + } + + public void setMark(boolean m) { + mark = m; + } + + public boolean getMark() { + return mark; + } + + public void setPrev(DijkstraNode p) { + prev = p; + } + + public DijkstraNode getPrev() { + return prev; + } + + public String toString() { + return getName() + " "+getDist(); + } + + public int compareTo(DijkstraNode n) { + return (int)(dist - n.dist); + } +} diff --git a/src/ch/zhaw/ads/Edge.java b/src/ch/zhaw/ads/Edge.java new file mode 100644 index 0000000..ab04413 --- /dev/null +++ b/src/ch/zhaw/ads/Edge.java @@ -0,0 +1,19 @@ +package ch.zhaw.ads; + +public class Edge { + protected Node dest; // Zielknoten der Kante + protected double weight; // Kantengewicht + + public Edge() {} + + public Edge(Node dest, double weight) { + this.dest = dest; + this.weight = weight; + } + + public void setDest(Node node) { this.dest = node; } + public Node getDest() { return dest; } + + public void setWeight(double w) { this.weight = w; } + double getWeight() { return weight; } +} diff --git a/src/ch/zhaw/ads/ExBox.java b/src/ch/zhaw/ads/ExBox.java new file mode 100644 index 0000000..81a6992 --- /dev/null +++ b/src/ch/zhaw/ads/ExBox.java @@ -0,0 +1,13 @@ +package ch.zhaw.ads; + +/** + * @author K. Rege + * @version 1.0 -- Experimentierkasten + */ +public class ExBox { + public static void main(String[] args) { + ExBoxFrame f = new ExBoxFrame(); + f.setLocationRelativeTo(null); + f.setVisible(true); + } +} \ No newline at end of file diff --git a/src/ch/zhaw/ads/ExBoxFrame.java b/src/ch/zhaw/ads/ExBoxFrame.java new file mode 100644 index 0000000..7eb69cf --- /dev/null +++ b/src/ch/zhaw/ads/ExBoxFrame.java @@ -0,0 +1,294 @@ +package ch.zhaw.ads; + +import javax.swing.*; +import java.awt.*; +import java.awt.event.ActionEvent; +import java.awt.event.ActionListener; +import java.awt.event.ItemEvent; +import java.awt.event.ItemListener; +import java.io.BufferedReader; +import java.io.FileInputStream; +import java.io.InputStreamReader; +import java.net.URISyntaxException; +import java.nio.file.Path; +import java.nio.file.Paths; +import java.util.Set; + +/** + * @(#)ExBoxFrame.java + * + * JFC ExBox application + * + * @author K.Rege + * @version 1.00 2014/2/3 + * @version 1.01 2016/8/2 + * @version 2.00 2017/8/30 Test + * @version 2.01 2018/2/5 AutoscaleFaktor + * @version 2.02 2018/3/12 Reconnect (inspired by S. Kunz) + * @version 2.03 2021/7/24 Test (repeat) + * @version 2.04 2021/9/11 Test as plugin + */ +public class ExBoxFrame extends JFrame implements ActionListener, ItemListener { + private final int UHDTHRESHOLD = 1920; + private final String STANDARDENCODING = "ISO-8859-1"; + + private JMenuItem connect, exit, open, test, retest, textView, graphicView, clear; + private JMenu menuServer; + private JButton enter; + private JTextField arguments; + private JComboBox history; + private JTextArea output; + private JScrollPane scrollPane; + private CommandExecutor command; + private CommandExecutor unitTest; + private boolean graphicOn; + private GraphicPanel graphic; + private String lastServer; + private String lastTestFile; + + public void setFontSize(int size) { + Set keySet = UIManager.getLookAndFeelDefaults().keySet(); + for (Object key : keySet) { + if (key != null && key.toString().toLowerCase().contains("font")) { + Font font = UIManager.getDefaults().getFont(key); + if (font != null) { + font = font.deriveFont((float) size); + UIManager.put(key, font); + } + } + } + } + + private void initMenu() { + JMenuBar menuBar = new JMenuBar(); + setJMenuBar(menuBar); + + JMenu menuFile = new JMenu("File"); + menuBar.add(menuFile); + open = new JMenuItem("Open..."); + open.addActionListener(this); + menuFile.add(open); + exit = new JMenuItem(); + exit.setText("Exit"); + exit.addActionListener(this); + menuFile.add(exit); + + menuServer = new JMenu("Server"); + menuBar.add(menuServer); + connect = new JMenuItem("Connect ..."); + connect.addActionListener(this); + menuServer.add(connect); + + JMenu menuView = new JMenu("View"); + menuBar.add(menuView); + clear = new JMenuItem("Clear"); + clear.addActionListener(this); + menuView.add(clear); + textView = new JMenuItem("Text"); + textView.addActionListener(this); + menuView.add(textView); + graphicView = new JMenuItem("Graphic"); + graphicView.addActionListener(this); + menuView.add(graphicView); + } + + private void initJUnit() { + try { + unitTest = ServerFactory.createServer(getPathCompiled().resolve("ExBoxJUnit.class").toString()); + test = new JMenuItem("Test ..."); + test.addActionListener(this); + menuServer.add(test); + retest = new JMenuItem("Test"); + retest.addActionListener(this); + menuServer.add(retest); + } catch (Exception e) { + warning("Test Plugin not found\n"); + } + } + + private void initComponents() { + setLayout(new BorderLayout()); + output = new JTextArea(); + scrollPane = new JScrollPane(output); + add(BorderLayout.CENTER, scrollPane); + + JPanel panel = new JPanel(new BorderLayout()); + panel.setBorder(BorderFactory.createEmptyBorder(4, 4, 4, 4)); + arguments = new JTextField(); + arguments.addActionListener(this); + panel.add(BorderLayout.CENTER, arguments); + enter = new JButton("enter"); + enter.addActionListener(this); + panel.add(BorderLayout.EAST, enter); + history = new JComboBox<>(); + history.addItemListener(this); + panel.add(BorderLayout.SOUTH, history); + add(BorderLayout.SOUTH, panel); + } + + /** + * get default path for file open dialog + */ + private Path getPathCompiled() { + try { + Path path = Paths.get(getClass().getProtectionDomain().getCodeSource().getLocation().toURI()); + for (String part : getClass().getPackage().getName().split("\\.")) { + path = path.resolve(part); + } + return path; + } catch (URISyntaxException e) { + throw new RuntimeException(e); + } + } + + /** + * The constructor + */ + public ExBoxFrame() { + try { + UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); + } catch (Exception ex) { + ex.printStackTrace(); + } + Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); + double scaleFaktor = (screenSize.getWidth() <= UHDTHRESHOLD) ? 1 : 2; + setFontSize((int) (11 * scaleFaktor)); + setSize( + new Dimension((int) (400 * scaleFaktor), (int) (400 * scaleFaktor))); + setTitle("ExBox"); + setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); + initComponents(); + initMenu(); + initJUnit(); + } + + private void warning(String s) { + System.err.println("\nWARNING: " + s + "\n"); + } + + private void error(String s) { + output.append("\nERROR: " + s + "\n"); + } + + private void execute(String args) throws Exception { + if (lastServer != null) { + command = ServerFactory.createServer(lastServer); + } + if (!arguments.getText().equals(history.getItemAt(0)) + && !arguments.getText().equals(history.getSelectedItem())) { + history.insertItemAt(arguments.getText(), 0); + } + if (command == null) { + error("no Server connected"); + } else { + String res = command.execute(args); + if (graphicOn) { + graphic.setFigure(res); + } else { + output.append(res); + } + } + } + + private void setGraphicView() { + if (!graphicOn) { + remove(scrollPane); + graphic = new GraphicPanel(); + output.removeNotify(); + add(BorderLayout.CENTER, graphic); + graphicOn = true; + validate(); + repaint(); + } + } + + private void setTextView() { + if (graphicOn) { + remove(graphic); + add(BorderLayout.CENTER, scrollPane); + graphicOn = false; + validate(); + repaint(); + } + } + + private String openFileDialog(Path startDirectory, String pattern) { + FileDialog fd = new FileDialog(this, "Open"); + if (pattern != null) fd.setFile(pattern); + if (startDirectory != null) fd.setDirectory(startDirectory.toString()); + fd.setVisible(true); + return fd.getDirectory() + fd.getFile(); + } + + private void testCommand(boolean retest) throws Exception { + if (!retest) { + lastTestFile = openFileDialog(getPathCompiled(), "*test.class"); + } + if (lastTestFile == null) { + output.append("ERROR no Test spezified\n"); + } else if (unitTest != null) { + output.append(unitTest.execute(lastTestFile)); + } + } + + private void connectCommand() throws Exception { + String name = openFileDialog(getPathCompiled(), "*Server.class"); + command = ServerFactory.createServer(name); + lastServer = name; + String fullClassName = command.getClass().getName(); + String simpleClassName = fullClassName.substring( + fullClassName.lastIndexOf('.') + 1); + setTitle("ExBox connected to " + simpleClassName); + + } + + private void openFile() throws Exception { + String name = openFileDialog(null, null); + + BufferedReader br = new BufferedReader( + new InputStreamReader(new FileInputStream(name), STANDARDENCODING)); + StringBuilder b = new StringBuilder(); + String line; + while ((line = br.readLine()) != null) { + b.append(line); + b.append('\n'); + } + execute(b.toString()); + } + + public void itemStateChanged(ItemEvent e) { + try { + arguments.setText((String) e.getItem()); + execute(arguments.getText()); + } catch (Throwable ex) { + error(ex.toString()); + } + } + + public void actionPerformed(ActionEvent e) { + try { + if ((e.getSource() == arguments) || (e.getSource() == enter)) { + execute(arguments.getText()); + } else if (e.getSource() == connect) { + connectCommand(); + } else if (e.getSource() == test) { + testCommand(false); + } else if (e.getSource() == retest) { + testCommand(true); + } else if (e.getSource() == open) { + openFile(); + } else if (e.getSource() == textView) { + setTextView(); + } else if (e.getSource() == graphicView) { + setGraphicView(); + } else if (e.getSource() == clear) { + output.setText(""); + } else if (e.getSource() == exit) { + System.exit(0); + } + } catch (Throwable ex) { + ex.printStackTrace(); + error(ex.toString()); + } + } +} \ No newline at end of file diff --git a/src/ch/zhaw/ads/ExBoxJUnit.java b/src/ch/zhaw/ads/ExBoxJUnit.java new file mode 100644 index 0000000..b382669 --- /dev/null +++ b/src/ch/zhaw/ads/ExBoxJUnit.java @@ -0,0 +1,92 @@ +package ch.zhaw.ads; + +import org.junit.platform.engine.TestDescriptor; +import org.junit.platform.engine.TestExecutionResult; +import org.junit.platform.engine.discovery.DiscoverySelectors; +import org.junit.platform.launcher.Launcher; +import org.junit.platform.launcher.LauncherDiscoveryRequest; +import org.junit.platform.launcher.TestExecutionListener; +import org.junit.platform.launcher.TestIdentifier; +import org.junit.platform.launcher.core.LauncherDiscoveryRequestBuilder; +import org.junit.platform.launcher.core.LauncherFactory; + +import java.io.*; +import java.util.LinkedList; +import java.util.List; + +public class ExBoxJUnit implements CommandExecutor { + @Override + public String execute(String testFile) throws Exception { + final List successfulTests = new LinkedList<>(); + final List failedResults = new LinkedList<>(); + + StringBuilder output = new StringBuilder(); + + output.append("\nRUN TESTS ").append(new File(testFile).getName().split("\\.")[0]).append("\n"); + + LauncherDiscoveryRequest request = LauncherDiscoveryRequestBuilder.request() + .selectors(DiscoverySelectors.selectClass(ServerFactory.loadClass(testFile))) + .build(); + + Launcher launcher = LauncherFactory.create(); + launcher.discover(request); + launcher.registerTestExecutionListeners(new TestExecutionListener() { + @Override + public void executionFinished(TestIdentifier testIdentifier, TestExecutionResult testExecutionResult) { + if (testIdentifier.getType() != TestDescriptor.Type.TEST) { + return; + } + + if (testExecutionResult.getStatus() == TestExecutionResult.Status.SUCCESSFUL) { + successfulTests.add(testIdentifier.getDisplayName()); + } else { + failedResults.add(new TestFailure(testIdentifier.getDisplayName(), + testExecutionResult.getThrowable().orElse(null))); + } + } + }); + launcher.execute(request); + + for (String testName : successfulTests) { + output.append(testName).append(": OK\n"); + } + for (TestFailure result : failedResults) { + output.append(result.getName()).append(": ERROR\n"); + String error = result.errorString(); + if (!error.isEmpty()) { + output.append(error).append("\n"); + } + } + boolean wasSuccessful = failedResults.isEmpty(); + output.append("TESTS ").append(wasSuccessful ? "PASSED" : "FAILED").append(": ") + .append(wasSuccessful ? "OK \u263a" : failedResults.size() + " ERRORS").append("\n"); + return output.toString(); + } + + private static class TestFailure { + private final String name; + private final Throwable throwable; + + TestFailure(String name, Throwable throwable) { + this.name = name; + this.throwable = throwable; + } + + public String getName() { + return name; + } + + public String errorString() { + if (throwable == null) { + return ""; + } + try (StringWriter stringWriter = new StringWriter(); + PrintWriter printWriter = new PrintWriter(stringWriter)) { + throwable.printStackTrace(printWriter); + return stringWriter.toString(); + } catch (IOException e) { + throw new UncheckedIOException(e); + } + } + } +} \ No newline at end of file diff --git a/src/ch/zhaw/ads/Graph.java b/src/ch/zhaw/ads/Graph.java new file mode 100644 index 0000000..dff1c69 --- /dev/null +++ b/src/ch/zhaw/ads/Graph.java @@ -0,0 +1,15 @@ +package ch.zhaw.ads; + +public interface Graph { + /** füge Knoten hinzu, tue nichts, falls Knoten schon existiert */ + N addNode (String name) throws Throwable; + + /** finde den Knoten anhand seines Namens */ + N findNode(String name); + + /** Iterator über alle Knoten des Graphen */ + Iterable getNodes(); + + /** füge gerichtete und gewichtete Kante hinzu */ + void addEdge(String source, String dest, double weight) throws Throwable ; +} diff --git a/src/ch/zhaw/ads/GraphicPanel.java b/src/ch/zhaw/ads/GraphicPanel.java new file mode 100644 index 0000000..ae0b1f0 --- /dev/null +++ b/src/ch/zhaw/ads/GraphicPanel.java @@ -0,0 +1,84 @@ +package ch.zhaw.ads; + +import javax.swing.*; +import java.awt.*; +import java.util.StringTokenizer; + +public class GraphicPanel extends JPanel { + String figure; + + public void setFigure(String figure) { + this.figure = figure; + paint(getGraphics()); + } + + private void drawRect(Graphics g, double x, double y, double width, double height, String style) { + int w = getWidth(); + int h = getHeight(); + int ix0 = (int) (w * x); + int iy0 = (int) (h * y); + int ix1 = (int) (w * (x + width)); + int iy1 = (int) (h * (y + height)); + if (style.equals("draw")) { + g.drawRect(ix0, h - iy1, ix1 - ix0, iy1 - iy0); + } else { + g.fillRect(ix0, h - iy1, ix1 - ix0, iy1 - iy0); + } + } + + private void drawFigure(Graphics g) { + if (figure != null) { + int w = getWidth(); + int h = getHeight(); + g.setColor(Color.black); + StringTokenizer tok = new StringTokenizer(figure, " <>=/,\"\n"); + while (tok.hasMoreTokens()) { + String fig = tok.nextToken(); + if (fig.equals("line")) { + tok.nextToken(); + double x1 = Double.parseDouble(tok.nextToken()); + tok.nextToken(); + double y1 = Double.parseDouble(tok.nextToken()); + tok.nextToken(); + double x2 = Double.parseDouble(tok.nextToken()); + tok.nextToken(); + double y2 = Double.parseDouble(tok.nextToken()); + g.drawLine((int) (x1 * w), h - (int) (y1 * h), + (int) (x2 * w), h - (int) (y2 * h)); + } else if (fig.equals("rect")) { + tok.nextToken(); + double x = Double.parseDouble(tok.nextToken()); + tok.nextToken(); + double y = Double.parseDouble(tok.nextToken()); + tok.nextToken(); + double width = Double.parseDouble(tok.nextToken()); + tok.nextToken(); + double height = Double.parseDouble(tok.nextToken()); + tok.nextToken(); + String style = tok.nextToken(); + drawRect(g, x, y, width, height, style); + } else if (fig.equals("color")) { + tok.nextToken(); + int red = Integer.parseInt(tok.nextToken()); + tok.nextToken(); + int green = Integer.parseInt(tok.nextToken()); + tok.nextToken(); + int blue = Integer.parseInt(tok.nextToken()); + g.setColor(new Color(red, green, blue)); + } + } + } + } + + private void clear(Graphics g) { + int w = getWidth(); + int h = getHeight(); + g.setColor(new Color(240, 240, 240)); + g.fillRect(0, 0, w, h); + } + + public void paint(Graphics g) { + clear(g); + drawFigure(g); + } +} \ No newline at end of file diff --git a/src/ch/zhaw/ads/Labyrinth.txt b/src/ch/zhaw/ads/Labyrinth.txt new file mode 100644 index 0000000..e4dba83 --- /dev/null +++ b/src/ch/zhaw/ads/Labyrinth.txt @@ -0,0 +1,16 @@ +0-6 4-6 +4-6 7-6 +7-6 9-6 +7-6 7-4 +7-4 6-4 +7-4 9-4 +9-4 9-1 +7-4 7-1 +7-1 5-1 +4-6 4-4 +4-4 4-3 +4-4 1-4 +1-4 1-1 +1-1 3-1 +3-1 3-2 +3-1 3-0 \ No newline at end of file diff --git a/src/ch/zhaw/ads/LabyrinthServer.java b/src/ch/zhaw/ads/LabyrinthServer.java new file mode 100644 index 0000000..bb5ef6d --- /dev/null +++ b/src/ch/zhaw/ads/LabyrinthServer.java @@ -0,0 +1,30 @@ +package ch.zhaw.ads; + +public class LabyrinthServer implements CommandExecutor { + ServerGraphics g = new ServerGraphics(); + + public Graph createGraph(String s) { + // TODO implement 8.2 + } + + public void drawLabyrinth(Graph graph) { + // TODO implement 8.3 + } + + private boolean search(DijkstraNode current, DijkstraNode ziel) { + // TODO implement 8.4 + } + + // search and draw result + public void drawRoute(Graph graph, String startNode, String zielNode) { + // TODO implement 8.4 + } + + public String execute(String s) { + Graph graph; + graph = createGraph(s); + drawLabyrinth(graph); + drawRoute(graph, "0-6", "3-0"); + return g.getTrace(); + } +} diff --git a/src/ch/zhaw/ads/Node.java b/src/ch/zhaw/ads/Node.java new file mode 100644 index 0000000..ca8e8b6 --- /dev/null +++ b/src/ch/zhaw/ads/Node.java @@ -0,0 +1,34 @@ +package ch.zhaw.ads; + +import java.util.LinkedList; +import java.util.List; + +public class Node { + protected String name; // Name + protected List edges; // Kanten + + public Node() { + edges = new LinkedList<>(); + } + + public Node(String name) { + super(); + this.name = name; + } + + public String getName() { + return name; + } + + public void setName(String name) { + this.name = name; + } + + public Iterable getEdges() { + return edges; + } + + public void addEdge(Edge edge) { + edges.add(edge); + } +} diff --git a/src/ch/zhaw/ads/ServerFactory.java b/src/ch/zhaw/ads/ServerFactory.java new file mode 100644 index 0000000..16805ae --- /dev/null +++ b/src/ch/zhaw/ads/ServerFactory.java @@ -0,0 +1,76 @@ +package ch.zhaw.ads; + +import java.io.File; +import java.io.IOException; +import java.io.RandomAccessFile; + +/** + * Classloader that handles file path of class + */ +class MyClassLoader extends ClassLoader { + private String path; + + MyClassLoader(ClassLoader parent) { + super(parent); + } + + /** + * @param name filename of class + * return content of file as array of bytes; if file does not exist return null + */ + private byte[] getBytes(String name) { + try { + System.out.println(name); + RandomAccessFile file = new RandomAccessFile(name, "r"); + byte[] data = new byte[(int) file.length()]; + file.readFully(data); + file.close(); + return data; + } catch (IOException e) { + } + return null; + } + + /** + * @param name filename of class + */ + public Class loadClass(String name, boolean resolve) throws ClassNotFoundException { + System.out.println("load:" + name + " " + resolve); + Class clazz; + byte[] classData = getBytes(name); + if (classData != null) { + clazz = defineClass(null, classData, 0, classData.length); + path = name.substring(0, + name.length() - clazz.getName().length() - ".class".length()); + return clazz; + } + if (!resolve) { + classData = getBytes( + path + name.replace(".", File.separator) + ".class"); + if (classData != null) { + return defineClass(null, classData, 0, classData.length); + } + } + return findSystemClass(name); + } +} + +/** + * ServerFactory -- Praktikum Experimentierkasten -- + * + * @author K. Rege + * @version 1.0 -- Factory zur Erstellung von Server Objekten + * @version 2.0 -- Dynamisches Nachladen + * @version 2.01 -- Fix deprecated Functions + */ +public class ServerFactory { + public static Class loadClass(String name) throws Exception { + MyClassLoader myClassLoader = new MyClassLoader( + MyClassLoader.class.getClassLoader()); + return myClassLoader.loadClass(name, true); + } + + public static CommandExecutor createServer(String name) throws Exception { + return (CommandExecutor) loadClass(name).getConstructor(new Class[]{}).newInstance(); + } +} \ No newline at end of file diff --git a/src/ch/zhaw/ads/ServerGraphics.java b/src/ch/zhaw/ads/ServerGraphics.java new file mode 100644 index 0000000..a73e979 --- /dev/null +++ b/src/ch/zhaw/ads/ServerGraphics.java @@ -0,0 +1,103 @@ +package ch.zhaw.ads; + +import java.awt.Color; + +public class ServerGraphics { + + private StringBuffer b; + private static ServerGraphics theGraphics; + + public static ServerGraphics instance() { + if (theGraphics == null) { + theGraphics = new ServerGraphics(); + } + return theGraphics; + } + + public ServerGraphics() { + clear(); + theGraphics = this; + } + + public void clear() { + b = new StringBuffer(); + } + + public String getTrace() { + return new String(b); + } + + private double round(double d) { + return Math.round(d * 10000) / 10000.0; + } + + public void drawLine(double x1, double y1, double x2, double y2) { + b.append("\n"); + } + + public void drawRect(double x, double y, double w, double h) { + b.append("\n"); + } + + public void fillRect(double x, double y, double w, double h) { + b.append("\n"); + } + + public void setColor(Color c) { + b.append("\n"); + } + + public void drawPath(String from, String to, boolean line) { + double scale = 11; + double xh0 = from.charAt(0) - '0'; + double yh0 = from.charAt(2) - '0'; + double xh1 = to.charAt(0) - '0'; + double yh1 = to.charAt(2) - '0'; + double x0 = Math.min(xh0, xh1) / scale; + double y0 = Math.min(yh0, yh1) / scale; + double x1 = Math.max(xh0, xh1) / scale; + double y1 = Math.max(yh0, yh1) / scale; + double w = 1 / scale; + if (line) { + drawLine(x0 + w / 2, y0 + w / 2, x1 + w / 2, y1 + w / 2); + } else { + if (Math.abs(y0 - y1) < 1E-10) { + fillRect(x0, y0, x1 - x0 + w, w); + } else { + fillRect(x0, y0, w, y1 - y0 + w); + } + } + } +}