Initial commit

Author: MarcellPerger1

.gitignore

@@ -0,0 +1,38 @@
+target/
+!.mvn/wrapper/maven-wrapper.jar
+!**/src/main/**/target/
+!**/src/test/**/target/
+
+### IntelliJ IDEA ###
+.idea/modules.xml
+.idea/jarRepositories.xml
+.idea/compiler.xml
+.idea/libraries/
+*.iws
+*.iml
+*.ipr
+
+### Eclipse ###
+.apt_generated
+.classpath
+.factorypath
+.project
+.settings
+.springBeans
+.sts4-cache
+
+### NetBeans ###
+/nbproject/private/
+/nbbuild/
+/dist/
+/nbdist/
+/.nb-gradle/
+build/
+!**/src/main/**/build/
+!**/src/test/**/build/
+
+### VS Code ###
+.vscode/
+
+### Mac OS ###
+.DS_Store

.idea/.gitignore

@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+
+    <groupId>org.example</groupId>
+    <artifactId>First</artifactId>
+    <version>1.0-SNAPSHOT</version>
+
+    <properties>
+        <maven.compiler.source>21</maven.compiler.source>
+        <maven.compiler.target>21</maven.compiler.target>
+        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+    </properties>
+    <dependencies>
+        <dependency>
+            <groupId>org.jetbrains</groupId>
+            <artifactId>annotations</artifactId>
+            <version>24.1.0</version>
+            <scope>compile</scope>
+        </dependency>
+        <dependency>
+            <groupId>org.junit.jupiter</groupId>
+            <artifactId>junit-jupiter</artifactId>
+            <version>[5.10.2,6.0)</version>
+            <scope>test</scope>
+        </dependency>
+    </dependencies>
+
+</project>

pom.xml

@@ -0,0 +1,13 @@
+package net.marcellperger.first;
+
+
+public class AddOperation extends LTRBinaryOperationLeftRight {
+    public AddOperation(MathSymbol left_, MathSymbol right_) {
+        super(left_, right_);
+    }
+
+    @Override
+    public double calculateValue() {
+        return left.calculateValue() + right.calculateValue();
+    }
+}

src/main/java/net/marcellperger/first/AddOperation.java

@@ -0,0 +1,39 @@
+package net.marcellperger.first;
+
+import java.util.Objects;
+
+public class BasicDoubleSymbol implements LeafNode {
+    double value;
+
+    @Override
+    public String toString() {
+        return "BasicDoubleSymbol{value=" + value + '}';
+    }
+
+    public BasicDoubleSymbol(double value) {
+        this.value = value;
+    }
+
+    @Override
+    public double calculateValue() {
+        return value;
+    }
+
+    @Override
+    public String fmt() {
+        return String.valueOf(value);
+    }
+
+    @Override
+    public boolean equals(Object o) {
+        if (this == o) return true;
+        if (o == null || getClass() != o.getClass()) return false;
+        BasicDoubleSymbol that = (BasicDoubleSymbol) o;
+        return Double.compare(value, that.value) == 0;
+    }
+
+    @Override
+    public int hashCode() {
+        return Objects.hash(value);
+    }
+}

src/main/java/net/marcellperger/first/BasicDoubleSymbol.java

@@ -0,0 +1,7 @@
+package net.marcellperger.first;
+
+
+@FunctionalInterface
+public interface BinOpBiConstructor<R extends MathSymbol> {
+    R construct(MathSymbol left, MathSymbol right);
+}

src/main/java/net/marcellperger/first/BinOpBiConstructor.java

@@ -0,0 +1,11 @@
+package net.marcellperger.first;
+
+public interface BinaryOperation extends MathSymbol {
+    MathSymbol getLeft();
+    MathSymbol getRight();
+
+    @Override
+    default String fmt() {
+        return "%s(%s, %s)".formatted(this.getClass().getSimpleName(), getLeft().fmt(), getRight().fmt());
+    }
+}

src/main/java/net/marcellperger/first/BinaryOperation.java

@@ -0,0 +1,82 @@
+package net.marcellperger.first;
+
+// I wish I could put these on 1 line like in Rust like
+// import org.jetbrains.annotations.{Contract, NotNull, Nullable}
+// This would be especially nice as the import paths are ENORMOUS
+import org.jetbrains.annotations.Contract;
+import org.jetbrains.annotations.NotNull;
+import org.jetbrains.annotations.Nullable;
+
+import java.util.Objects;
+
+/**
+ * Adds the {@link #left} and {@link #right} fields along with getters (TODO setters?)
+ * and a better {@link #fmt()} (using {@link #getInfixInst()} and {@link #getGroupingDirectionInst()})
+ */
+public abstract class BinaryOperationLeftRight implements BinaryOperation {
+    MathSymbol left;
+    MathSymbol right;
+
+    public BinaryOperationLeftRight(MathSymbol left_, MathSymbol right_) {
+        left = left_;
+        right = right_;
+    }
+
+    @Override
+    public MathSymbol getLeft() {
+        return left;
+    }
+
+    @Override
+    public MathSymbol getRight() {
+        return right;
+    }
+
+    @Contract(pure = true)
+    public @Nullable String getInfixInst() {
+        return SymbolInfo.infixFromClass(getClass());
+    }
+
+    @Contract(pure = true)
+    public @Nullable GroupingDirection getGroupingDirectionInst() {
+        return SymbolInfo.groupingDirectionFromClass(getClass());
+    }
+
+    @Override
+    public String fmt() {
+        String infix = getInfixInst();
+        if(infix == null) return BinaryOperation.super.fmt(); // fallback
+        return "%s %s %s".formatted(
+                left.fmtWithParensIfRequired(instPrecedenceInt(), _parensRequiredIfEqual(LeftRight.LEFT)),
+                infix,
+                right.fmtWithParensIfRequired(instPrecedenceInt(), _parensRequiredIfEqual(LeftRight.RIGHT)));
+    }
+
+    protected boolean _parensRequiredIfEqual(@NotNull LeftRight side) {
+//        return true;
+        // This code be lookin' proper Rust-y
+        return switch (getGroupingDirectionInst()) {
+            case null -> true;
+            case LeftToRight -> side == LeftRight.RIGHT;  // e.g. 1 - 2 + 3 == (1 - 2) + 3 != 1 - (2 + 3)
+            case RightToLeft -> side == LeftRight.LEFT;  // e.g. 2**3**4 == 2**(3**4) != (2**3)**4
+        };
+    }
+
+    @Override
+    public boolean equals(Object o) {
+        if (this == o) return true;
+        if (o == null || getClass() != o.getClass()) return false;
+        BinaryOperationLeftRight that = (BinaryOperationLeftRight) o;
+        return Objects.equals(left, that.left) && Objects.equals(right, that.right);
+    }
+
+    @Override
+    public int hashCode() {
+        return Objects.hash(left, right);
+    }
+
+    @Override
+    public String toString() {
+        return getClass().getSimpleName() + "{left=" + left + ", right=" + right + '}';
+    }
+}

src/main/java/net/marcellperger/first/BinaryOperationLeftRight.java

@@ -0,0 +1,13 @@
+package net.marcellperger.first;
+
+
+public class DivOperation extends LTRBinaryOperationLeftRight {
+    public DivOperation(MathSymbol left_, MathSymbol right_) {
+        super(left_, right_);
+    }
+
+    @Override
+    public double calculateValue() {
+        return left.calculateValue() / right.calculateValue();
+    }
+}

src/main/java/net/marcellperger/first/DivOperation.java

@@ -0,0 +1,6 @@
+package net.marcellperger.first;
+
+public enum GroupingDirection {
+    LeftToRight,
+    RightToLeft,
+}