From b24a6258e6a4275485176f8069daddb9d2599334 Mon Sep 17 00:00:00 2001
From: Octavian Patrascoiu <opatrascoiu@yahoo.com>
Date: Tue, 29 Oct 2024 16:12:19 +0000
Subject: [PATCH] [#655] DMN 1.5: Support for negative duration function
 (DMN15-86)

---
 .../semantics/FEELSemanticVisitor.java        |   4 +-
 .../AbstractFEELInterpreterVisitor.java       |   7 +-
 .../synthesis/FEELToTripleNativeVisitor.java  |  11 +-
 .../dmn/feel/AbstractFEELProcessorTest.java   |  35 ++++-
 .../AbstractCL3DMNInterpreterTest.java        |   5 +
 .../java/com/gs/dmn/feel/lib/BaseFEELLib.java |  11 ++
 .../dmn/feel/lib/type/time/DurationType.java  |   2 +
 .../time/pure/TemporalAmountDurationType.java |  15 ++
 .../type/time/xml/DefaultDurationType.java    |  16 +++
 .../lib/type/time/xml/DoubleDurationType.java |  16 +++
 .../dmn/feel/lib/stub/DurationTypeStub.java   |   5 +
 .../0099-arithmetic-negation-test-01.xml      | 135 ++++++++++++++++++
 .../0099-arithmetic-negation.dmn              | 108 ++++++++++++++
 .../translator/0099-arithmetic-negation.dmn   | 108 ++++++++++++++
 .../0099-arithmetic-negation-test-01.xml      | 135 ++++++++++++++++++
 .../pure/0099-arithmetic-negation-test-01.xml | 135 ++++++++++++++++++
 16 files changed, 736 insertions(+), 12 deletions(-)
 create mode 100644 dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation-test-01.xml
 create mode 100644 dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation.dmn
 create mode 100644 dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/0099-arithmetic-negation.dmn
 create mode 100644 dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/mixed/0099-arithmetic-negation-test-01.xml
 create mode 100644 dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/pure/0099-arithmetic-negation-test-01.xml

diff --git a/dmn-core/src/main/java/com/gs/dmn/feel/analysis/semantics/FEELSemanticVisitor.java b/dmn-core/src/main/java/com/gs/dmn/feel/analysis/semantics/FEELSemanticVisitor.java
index fb3c0e729..5944008a1 100644
--- a/dmn-core/src/main/java/com/gs/dmn/feel/analysis/semantics/FEELSemanticVisitor.java
+++ b/dmn-core/src/main/java/com/gs/dmn/feel/analysis/semantics/FEELSemanticVisitor.java
@@ -648,12 +648,12 @@ public Element<Type> visit(ArithmeticNegation<Type> element, DMNContext context)
 
         // Derive type
         Type type = element.getLeftOperand().getType();
-        element.setType(NUMBER);
-        if (type != NUMBER) {
+        if (type != NUMBER && !(type instanceof DurationType)) {
             handleError(context, element, String.format("Operator '%s' cannot be applied to '%s'", element.getOperator(), type));
         }
 
         // Derive type
+        element.setType(type);
         return element;
     }
 
diff --git a/dmn-core/src/main/java/com/gs/dmn/feel/interpreter/AbstractFEELInterpreterVisitor.java b/dmn-core/src/main/java/com/gs/dmn/feel/interpreter/AbstractFEELInterpreterVisitor.java
index b0d33ffca..7d594ad74 100644
--- a/dmn-core/src/main/java/com/gs/dmn/feel/interpreter/AbstractFEELInterpreterVisitor.java
+++ b/dmn-core/src/main/java/com/gs/dmn/feel/interpreter/AbstractFEELInterpreterVisitor.java
@@ -725,7 +725,12 @@ public Object visit(ArithmeticNegation<Type> element, DMNContext context) {
         LOGGER.debug("Visiting element '{}'", element);
 
         Object leftOperand = element.getLeftOperand().accept(this, context);
-        return this.lib.numericUnaryMinus((NUMBER) leftOperand);
+        Type type = element.getType();
+        if (type == NumberType.NUMBER) {
+            return this.lib.numericUnaryMinus((NUMBER) leftOperand);
+        } else {
+            return this.lib.durationUnaryMinus((DURATION) leftOperand);
+        }
     }
 
     @Override
diff --git a/dmn-core/src/main/java/com/gs/dmn/feel/synthesis/FEELToTripleNativeVisitor.java b/dmn-core/src/main/java/com/gs/dmn/feel/synthesis/FEELToTripleNativeVisitor.java
index ef327c194..a7789fb25 100644
--- a/dmn-core/src/main/java/com/gs/dmn/feel/synthesis/FEELToTripleNativeVisitor.java
+++ b/dmn-core/src/main/java/com/gs/dmn/feel/synthesis/FEELToTripleNativeVisitor.java
@@ -56,6 +56,8 @@
 import java.util.*;
 import java.util.stream.Collectors;
 
+import static com.gs.dmn.feel.analysis.semantics.type.NumberType.NUMBER;
+
 public class FEELToTripleNativeVisitor extends AbstractFEELToJavaVisitor<Object> {
     private static final int INITIAL_VALUE = -1;
     private int filterCount = INITIAL_VALUE;
@@ -366,7 +368,7 @@ public Triple visit(FilterExpression<Type> element, DMNContext context) {
         // Filter
         if (filterType == BooleanType.BOOLEAN) {
             return this.triples.makeCollectionLogicFilter(source, newParameterName, filter);
-        } else if (filterType == NumberType.NUMBER) {
+        } else if (filterType == NUMBER) {
             // Compute element type
             Type elementType;
             if (sourceType instanceof ListType) {
@@ -514,7 +516,12 @@ public Triple visit(Exponentiation<Type> element, DMNContext context) {
     public Triple visit(ArithmeticNegation<Type> element, DMNContext context) {
         Expression<Type> leftOperand = element.getLeftOperand();
         Triple leftOpd = (Triple) leftOperand.accept(this, context);
-        return this.triples.makeBuiltinFunctionInvocation("numericUnaryMinus", leftOpd);
+        Type type = element.getType();
+        if (type == NUMBER) {
+            return this.triples.makeBuiltinFunctionInvocation("numericUnaryMinus", leftOpd);
+        } else {
+            return this.triples.makeBuiltinFunctionInvocation("durationUnaryMinus", leftOpd);
+        }
     }
 
     //
diff --git a/dmn-core/src/test/java/com/gs/dmn/feel/AbstractFEELProcessorTest.java b/dmn-core/src/test/java/com/gs/dmn/feel/AbstractFEELProcessorTest.java
index a7a4d3b2f..2481380cc 100644
--- a/dmn-core/src/test/java/com/gs/dmn/feel/AbstractFEELProcessorTest.java
+++ b/dmn-core/src/test/java/com/gs/dmn/feel/AbstractFEELProcessorTest.java
@@ -2192,8 +2192,12 @@ public void testExponentiation() {
     @Test
     public void testArithmeticNegation() {
         String number = "1";
+        String yearsAndMonthsDuration = "@\"P1Y1M\"";
+        String daysAndTimeDuration = "@\"P1DT1H\"";
+        String duration = "duration(\"P1DT1H\")";
         List<EnvironmentEntry> entries = Collections.singletonList(
-                new EnvironmentEntry("input", NUMBER, this.lib.number("1")));
+                new EnvironmentEntry("input", NUMBER, this.lib.number("1"))
+        );
 
         doExpressionTest(entries, "", String.format("- %s", number),
                 "ArithmeticNegation(NumericLiteral(1))",
@@ -2201,37 +2205,54 @@ public void testArithmeticNegation() {
                 "numericUnaryMinus(number(\"1\"))",
                 this.lib.numericUnaryMinus(this.lib.number("1")),
                 this.lib.number("-1"));
-
         doExpressionTest(entries, "", String.format("-- %s", number),
                 "NumericLiteral(1)",
                 "number",
                 "number(\"1\")",
                 this.lib.number("1"),
                 this.lib.number("1"));
-
         doExpressionTest(entries, "", String.format("--- %s", number),
                 "ArithmeticNegation(NumericLiteral(1))",
                 "number",
                 "numericUnaryMinus(number(\"1\"))",
                 this.lib.numericUnaryMinus(this.lib.number("1")),
                 this.lib.number("-1"));
+
+        doExpressionTest(entries, "", String.format("- %s", yearsAndMonthsDuration),
+                "ArithmeticNegation(DateTimeLiteral(duration, \"P1Y1M\"))",
+                "years and months duration",
+                "durationUnaryMinus(duration(\"P1Y1M\"))",
+                this.lib.durationUnaryMinus(this.lib.duration("P1Y1M")),
+                this.lib.duration("-P1Y1M"));
+        doExpressionTest(entries, "", String.format("- %s", daysAndTimeDuration),
+                "ArithmeticNegation(DateTimeLiteral(duration, \"P1DT1H\"))",
+                "days and time duration",
+                "durationUnaryMinus(duration(\"P1DT1H\"))",
+                this.lib.durationUnaryMinus(this.lib.duration("P1DT1H")),
+                this.lib.duration("-PT25H"));
+        doExpressionTest(entries, "", String.format("- %s", duration),
+                "ArithmeticNegation(DateTimeLiteral(duration, \"P1DT1H\"))",
+                "days and time duration",
+                "durationUnaryMinus(duration(\"P1DT1H\"))",
+                this.lib.durationUnaryMinus(this.lib.duration("P1DT1H")),
+                this.lib.duration("-PT25H"));
     }
 
     @Test
     public void testArithmeticNegationOnIncorrectOperands() {
         Assertions.assertThrows(SemanticError.class, () -> {
-            String yearsAndMonthsDuration = "duration(\"P1Y1M\")";
-            String daysAndTimeDuration = "duration(\"P1DT1H\")";
+            String date = "date(\"2020-01-01\")";
+            String time = "time(\"21:00:00\")";
 
             List<EnvironmentEntry> entries = Collections.singletonList(
                     new EnvironmentEntry("input", NUMBER, this.lib.number("1")));
-            doExpressionTest(entries, "", String.format("- %s", yearsAndMonthsDuration),
+            doExpressionTest(entries, "", String.format("- %s", date),
                     "ArithmeticNegation(DateTimeLiteral(duration, \"P1Y1M\"))",
                     "years and months duration",
                     "numericUnaryMinus(duration(\"P1Y1M\"))",
                     null,
                     null);
-            doExpressionTest(entries, "", String.format("- %s", daysAndTimeDuration),
+            doExpressionTest(entries, "", String.format("- %s", time),
                     "ArithmeticNegation(DateTimeLiteral(duration, \"P1DT1H\"))",
                     "days and time duration",
                     "numericUnaryMinus(duration(\"P1DT1H\"))",
diff --git a/dmn-core/src/test/java/com/gs/dmn/runtime/interpreter/AbstractCL3DMNInterpreterTest.java b/dmn-core/src/test/java/com/gs/dmn/runtime/interpreter/AbstractCL3DMNInterpreterTest.java
index ef354502a..069ba5847 100644
--- a/dmn-core/src/test/java/com/gs/dmn/runtime/interpreter/AbstractCL3DMNInterpreterTest.java
+++ b/dmn-core/src/test/java/com/gs/dmn/runtime/interpreter/AbstractCL3DMNInterpreterTest.java
@@ -622,6 +622,11 @@ public void test_15_cl3_0068_feel_equality() {
         doSingleModelTest("1.5", "0068-feel-equality", new Pair<>("strongTyping", "false") );
     }
 
+    @Test
+    public void test_15_cl3_0099_arithmetic_negation() {
+        doSingleModelTest("1.5", "0099-arithmetic-negation");
+    }
+
     @Test
     public void test_15_cl3_1155_list_replace_function() {
         doSingleModelTest("1.5", "1155-list-replace-function");
diff --git a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/BaseFEELLib.java b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/BaseFEELLib.java
index d3bf9d085..07a6e8d59 100644
--- a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/BaseFEELLib.java
+++ b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/BaseFEELLib.java
@@ -1113,6 +1113,17 @@ public DURATION durationDivideNumber(DURATION first, NUMBER second) {
         }
     }
 
+    @Override
+    public DURATION durationUnaryMinus(DURATION first) {
+        try {
+            return durationType.durationUnaryMinus(first);
+        } catch (Exception e) {
+            String message = String.format("durationUnaryMinus(%s", first);
+            logError(message, e);
+            return null;
+        }
+    }
+
     //
     // List operators
     //
diff --git a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/DurationType.java b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/DurationType.java
index 2eea3611a..d9aa8b594 100644
--- a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/DurationType.java
+++ b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/DurationType.java
@@ -46,4 +46,6 @@ default boolean isDuration(Object value) {
     DURATION durationMultiplyNumber(DURATION first, NUMBER second);
 
     DURATION durationDivideNumber(DURATION first, NUMBER second);
+
+    DURATION durationUnaryMinus(DURATION first);
 }
diff --git a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/pure/TemporalAmountDurationType.java b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/pure/TemporalAmountDurationType.java
index d99a5d231..c60c5e676 100644
--- a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/pure/TemporalAmountDurationType.java
+++ b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/pure/TemporalAmountDurationType.java
@@ -185,6 +185,21 @@ public TemporalAmount durationDivideNumber(TemporalAmount first, Number second)
         }
     }
 
+    @Override
+    public TemporalAmount durationUnaryMinus(TemporalAmount first) {
+        if (first == null) {
+            return null;
+        }
+
+        if (isDaysAndTimeDuration(first)) {
+            return ((Duration) first).negated();
+        } else if (isYearsAndMonthsDuration(first)) {
+            return ((Period) first).negated();
+        } else {
+            throw new DMNRuntimeException(String.format("Cannot negate '%s'", first));
+        }
+    }
+
     private Long value(Period duration) {
         return duration == null ? null : duration.toTotalMonths();
     }
diff --git a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DefaultDurationType.java b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DefaultDurationType.java
index e02e0a359..75ad7a913 100644
--- a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DefaultDurationType.java
+++ b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DefaultDurationType.java
@@ -19,6 +19,7 @@
 import javax.xml.datatype.Duration;
 import java.math.BigDecimal;
 import java.math.RoundingMode;
+import java.time.Period;
 
 public class DefaultDurationType extends BaseDefaultDurationType implements DurationType<Duration, BigDecimal> {
     public DefaultDurationType() {
@@ -110,6 +111,21 @@ public Duration durationDivideNumber(Duration first, BigDecimal second) {
         }
     }
 
+    @Override
+    public Duration durationUnaryMinus(Duration first) {
+        if (first == null) {
+            return null;
+        }
+
+        if (isDaysAndTimeDuration(first)) {
+            return first.negate();
+        } else if (isYearsAndMonthsDuration(first)) {
+            return first.negate();
+        } else {
+            throw new DMNRuntimeException(String.format("Cannot negate '%s'", first));
+        }
+    }
+
     private BigDecimal multiplyNumbers(Long firstValue, BigDecimal second) {
         return BigDecimal.valueOf(firstValue).multiply(second);
     }
diff --git a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DoubleDurationType.java b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DoubleDurationType.java
index dc12826d1..396602170 100644
--- a/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DoubleDurationType.java
+++ b/dmn-runtime/src/main/java/com/gs/dmn/feel/lib/type/time/xml/DoubleDurationType.java
@@ -17,6 +17,7 @@
 import com.gs.dmn.runtime.DMNRuntimeException;
 
 import javax.xml.datatype.Duration;
+import java.time.Period;
 
 public class DoubleDurationType extends BaseDefaultDurationType implements DurationType<Duration, Double> {
     public DoubleDurationType() {
@@ -100,4 +101,19 @@ public Duration durationDivideNumber(Duration first, Double second) {
             throw new DMNRuntimeException(String.format("Cannot divide '%s' by '%s'", first, second));
         }
     }
+
+    @Override
+    public Duration durationUnaryMinus(Duration first) {
+        if (first == null) {
+            return null;
+        }
+
+        if (isDaysAndTimeDuration(first)) {
+            return first.negate();
+        } else if (isYearsAndMonthsDuration(first)) {
+            return first.negate();
+        } else {
+            throw new DMNRuntimeException(String.format("Cannot negate '%s'", first));
+        }
+    }
 }
diff --git a/dmn-runtime/src/test/java/com/gs/dmn/feel/lib/stub/DurationTypeStub.java b/dmn-runtime/src/test/java/com/gs/dmn/feel/lib/stub/DurationTypeStub.java
index 5f543c8a1..d3c10140c 100644
--- a/dmn-runtime/src/test/java/com/gs/dmn/feel/lib/stub/DurationTypeStub.java
+++ b/dmn-runtime/src/test/java/com/gs/dmn/feel/lib/stub/DurationTypeStub.java
@@ -90,4 +90,9 @@ public DURATION durationMultiplyNumber(DURATION first, NUMBER second) {
     public DURATION durationDivideNumber(DURATION first, NUMBER second) {
         throw new DMNRuntimeException("Not supported yet");
     }
+
+    @Override
+    public DURATION durationUnaryMinus(DURATION first) {
+        throw new DMNRuntimeException("Not supported yet");
+    }
 }
diff --git a/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation-test-01.xml b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation-test-01.xml
new file mode 100644
index 000000000..fa5af9301
--- /dev/null
+++ b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation-test-01.xml
@@ -0,0 +1,135 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<!-- Contributed to DMN TCK by StrayAlien -->
+<testCases xmlns="http://www.omg.org/spec/DMN/20160719/testcase"
+           xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+           xsi:schemaLocation=""
+           xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+    <modelName>0099-arithmetic-negation.dmn</modelName>
+
+    <testCase id="decision_001">
+        <description>negate number</description>
+        <resultNode name="decision_001" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">-10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_002">
+        <description>negate negative number</description>
+        <resultNode name="decision_002" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_003">
+        <description>negate days and time duration</description>
+        <resultNode name="decision_003" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">-P1D</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_003_a">
+        <description>negate a negative days and time duration</description>
+        <resultNode name="decision_003_a" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">P1D</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_004">
+        <description>negate years and months duration</description>
+        <resultNode name="decision_004" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">-P1Y</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_004_a">
+        <description>negate a negative years and months duration</description>
+        <resultNode name="decision_004_a" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">P1Y</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_005">
+        <description>negate date gives null</description>
+        <resultNode name="decision_005" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_006">
+        <description>negate datetime gives null</description>
+        <resultNode name="decision_006" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_007">
+        <description>negate time gives null</description>
+        <resultNode name="decision_007" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_008">
+        <description>negate context gives null</description>
+        <resultNode name="decision_008" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_009">
+        <description>negate string gives null</description>
+        <resultNode name="decision_009" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_010">
+        <description>negate singleton list gives null</description>
+        <resultNode name="decision_010" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_011">
+        <description>negate range gives null</description>
+        <resultNode name="decision_011" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_012">
+        <description>negate expression result</description>
+        <resultNode name="decision_012" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">-10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+</testCases>
diff --git a/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation.dmn b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation.dmn
new file mode 100644
index 000000000..a738f4ce8
--- /dev/null
+++ b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/0099-arithmetic-negation.dmn
@@ -0,0 +1,108 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<definitions namespace="http://www.montera.com.au/spec/DMN/0099-arithmetic-negation"
+             name="0099-arithmetic-negation"
+             id="_i9fboPUUEeesLuP4RHs4vA"
+             xmlns="https://www.omg.org/spec/DMN/20230324/MODEL/"
+>
+    <description>arithmetic negation</description>
+
+    <decision name="decision_001" id="_decision_001">
+        <variable name="decision_001"/>
+        <literalExpression>
+            <text>-10</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_002" id="_decision_002">
+        <variable name="decision_002"/>
+        <literalExpression>
+            <text>--10</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_003" id="_decision_003">
+        <variable name="decision_003"/>
+        <literalExpression>
+            <text>-@"P1D"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_003_a" id="_decision_003_a">
+        <variable name="decision_003_a"/>
+        <literalExpression>
+            <text>-@"-P1D"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_004" id="_decision_004">
+        <variable name="decision_004"/>
+        <literalExpression>
+            <text>-@"P1Y"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_004_a" id="_decision_004_a">
+        <variable name="decision_004_a"/>
+        <literalExpression>
+            <text>-@"-P1Y"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_005" id="_decision_005">
+        <variable name="decision_005"/>
+        <literalExpression>
+            <text>-@"2021-01-01"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_006" id="_decision_006">
+        <variable name="decision_006"/>
+        <literalExpression>
+            <text>-@"2021-01-01T10:10:10"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_007" id="_decision_007">
+        <variable name="decision_007"/>
+        <literalExpression>
+            <text>-@"10:10:10"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_008" id="_decision_008">
+        <variable name="decision_008"/>
+        <literalExpression>
+            <text>-{a: 1}</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_009" id="_decision_009">
+        <variable name="decision_009"/>
+        <literalExpression>
+            <text>-"10"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_010" id="_decision_010">
+        <variable name="decision_010"/>
+        <literalExpression>
+            <text>-[10]</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_011" id="_decision_011">
+        <variable name="decision_011"/>
+        <literalExpression>
+            <text>-[1..5]</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_012" id="_decision_012">
+        <variable name="decision_012"/>
+        <literalExpression>
+            <text>-(function(a) a)(10)</text>
+        </literalExpression>
+    </decision>
+
+</definitions>
+
diff --git a/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/0099-arithmetic-negation.dmn b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/0099-arithmetic-negation.dmn
new file mode 100644
index 000000000..a738f4ce8
--- /dev/null
+++ b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/0099-arithmetic-negation.dmn
@@ -0,0 +1,108 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<definitions namespace="http://www.montera.com.au/spec/DMN/0099-arithmetic-negation"
+             name="0099-arithmetic-negation"
+             id="_i9fboPUUEeesLuP4RHs4vA"
+             xmlns="https://www.omg.org/spec/DMN/20230324/MODEL/"
+>
+    <description>arithmetic negation</description>
+
+    <decision name="decision_001" id="_decision_001">
+        <variable name="decision_001"/>
+        <literalExpression>
+            <text>-10</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_002" id="_decision_002">
+        <variable name="decision_002"/>
+        <literalExpression>
+            <text>--10</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_003" id="_decision_003">
+        <variable name="decision_003"/>
+        <literalExpression>
+            <text>-@"P1D"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_003_a" id="_decision_003_a">
+        <variable name="decision_003_a"/>
+        <literalExpression>
+            <text>-@"-P1D"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_004" id="_decision_004">
+        <variable name="decision_004"/>
+        <literalExpression>
+            <text>-@"P1Y"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_004_a" id="_decision_004_a">
+        <variable name="decision_004_a"/>
+        <literalExpression>
+            <text>-@"-P1Y"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_005" id="_decision_005">
+        <variable name="decision_005"/>
+        <literalExpression>
+            <text>-@"2021-01-01"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_006" id="_decision_006">
+        <variable name="decision_006"/>
+        <literalExpression>
+            <text>-@"2021-01-01T10:10:10"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_007" id="_decision_007">
+        <variable name="decision_007"/>
+        <literalExpression>
+            <text>-@"10:10:10"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_008" id="_decision_008">
+        <variable name="decision_008"/>
+        <literalExpression>
+            <text>-{a: 1}</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_009" id="_decision_009">
+        <variable name="decision_009"/>
+        <literalExpression>
+            <text>-"10"</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_010" id="_decision_010">
+        <variable name="decision_010"/>
+        <literalExpression>
+            <text>-[10]</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_011" id="_decision_011">
+        <variable name="decision_011"/>
+        <literalExpression>
+            <text>-[1..5]</text>
+        </literalExpression>
+    </decision>
+
+    <decision name="decision_012" id="_decision_012">
+        <variable name="decision_012"/>
+        <literalExpression>
+            <text>-(function(a) a)(10)</text>
+        </literalExpression>
+    </decision>
+
+</definitions>
+
diff --git a/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/mixed/0099-arithmetic-negation-test-01.xml b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/mixed/0099-arithmetic-negation-test-01.xml
new file mode 100644
index 000000000..fa5af9301
--- /dev/null
+++ b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/mixed/0099-arithmetic-negation-test-01.xml
@@ -0,0 +1,135 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<!-- Contributed to DMN TCK by StrayAlien -->
+<testCases xmlns="http://www.omg.org/spec/DMN/20160719/testcase"
+           xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+           xsi:schemaLocation=""
+           xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+    <modelName>0099-arithmetic-negation.dmn</modelName>
+
+    <testCase id="decision_001">
+        <description>negate number</description>
+        <resultNode name="decision_001" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">-10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_002">
+        <description>negate negative number</description>
+        <resultNode name="decision_002" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_003">
+        <description>negate days and time duration</description>
+        <resultNode name="decision_003" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">-P1D</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_003_a">
+        <description>negate a negative days and time duration</description>
+        <resultNode name="decision_003_a" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">P1D</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_004">
+        <description>negate years and months duration</description>
+        <resultNode name="decision_004" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">-P1Y</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_004_a">
+        <description>negate a negative years and months duration</description>
+        <resultNode name="decision_004_a" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">P1Y</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_005">
+        <description>negate date gives null</description>
+        <resultNode name="decision_005" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_006">
+        <description>negate datetime gives null</description>
+        <resultNode name="decision_006" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_007">
+        <description>negate time gives null</description>
+        <resultNode name="decision_007" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_008">
+        <description>negate context gives null</description>
+        <resultNode name="decision_008" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_009">
+        <description>negate string gives null</description>
+        <resultNode name="decision_009" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_010">
+        <description>negate singleton list gives null</description>
+        <resultNode name="decision_010" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_011">
+        <description>negate range gives null</description>
+        <resultNode name="decision_011" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_012">
+        <description>negate expression result</description>
+        <resultNode name="decision_012" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">-10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+</testCases>
diff --git a/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/pure/0099-arithmetic-negation-test-01.xml b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/pure/0099-arithmetic-negation-test-01.xml
new file mode 100644
index 000000000..fa5af9301
--- /dev/null
+++ b/dmn-test-cases/standard/tck/1.5/cl3/0099-arithmetic-negation/translator/pure/0099-arithmetic-negation-test-01.xml
@@ -0,0 +1,135 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<!-- Contributed to DMN TCK by StrayAlien -->
+<testCases xmlns="http://www.omg.org/spec/DMN/20160719/testcase"
+           xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+           xsi:schemaLocation=""
+           xmlns:xsd="http://www.w3.org/2001/XMLSchema">
+    <modelName>0099-arithmetic-negation.dmn</modelName>
+
+    <testCase id="decision_001">
+        <description>negate number</description>
+        <resultNode name="decision_001" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">-10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_002">
+        <description>negate negative number</description>
+        <resultNode name="decision_002" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_003">
+        <description>negate days and time duration</description>
+        <resultNode name="decision_003" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">-P1D</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_003_a">
+        <description>negate a negative days and time duration</description>
+        <resultNode name="decision_003_a" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">P1D</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_004">
+        <description>negate years and months duration</description>
+        <resultNode name="decision_004" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">-P1Y</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_004_a">
+        <description>negate a negative years and months duration</description>
+        <resultNode name="decision_004_a" type="decision">
+            <expected>
+                <value xsi:type="xsd:duration">P1Y</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_005">
+        <description>negate date gives null</description>
+        <resultNode name="decision_005" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_006">
+        <description>negate datetime gives null</description>
+        <resultNode name="decision_006" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_007">
+        <description>negate time gives null</description>
+        <resultNode name="decision_007" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_008">
+        <description>negate context gives null</description>
+        <resultNode name="decision_008" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_009">
+        <description>negate string gives null</description>
+        <resultNode name="decision_009" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_010">
+        <description>negate singleton list gives null</description>
+        <resultNode name="decision_010" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_011">
+        <description>negate range gives null</description>
+        <resultNode name="decision_011" type="decision" errorResult="true">
+            <expected>
+                <value xsi:nil="true"></value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+    <testCase id="decision_012">
+        <description>negate expression result</description>
+        <resultNode name="decision_012" type="decision">
+            <expected>
+                <value xsi:type="xsd:decimal">-10</value>
+            </expected>
+        </resultNode>
+    </testCase>
+
+</testCases>