Fix nasty ClassMapper issue with POPreOpExpressions

nickbattle · Oct 26, 2024 · a392994 · a392994
1 parent bc9e5bd
commit a392994
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/po/expressions/POPreOpExpression.java b/vdmj/src/main/java/com/fujitsu/vdmj/po/expressions/POPreOpExpression.java
@@ -24,16 +24,17 @@
 
 package com.fujitsu.vdmj.po.expressions;
 
+import com.fujitsu.vdmj.lex.LexLocation;
 import com.fujitsu.vdmj.po.expressions.visitors.POExpressionVisitor;
 
 public class POPreOpExpression extends POExpression
 {
 	private static final long serialVersionUID = 1L;
 	public final POExpression expression;
 
-	public POPreOpExpression(POExpression expression)
+	public POPreOpExpression(LexLocation location, POExpression expression)
 	{
-		super(expression);
+		super(location);
 		this.expression = expression;
 	}
 

diff --git a/vdmj/src/main/resources/tc-po.mappings b/vdmj/src/main/resources/tc-po.mappings
@@ -123,7 +123,7 @@ map TCPlusPlusExpression{left, op, right, ltype, rtype, exptype} to POPlusPlusEx
 map TCPostOpExpression{location, postexpression, exptype} to POPostOpExpression(location, postexpression) set exptype;
 map TCPowerSetExpression{location, exp, exptype} to POPowerSetExpression(location, exp) set exptype;
 map TCPreExpression{location, function, args, exptype} to POPreExpression(location, function, args) set exptype;
-map TCPreOpExpression{expression, exptype} to POPreOpExpression(expression) set exptype;
+map TCPreOpExpression{location, expression, exptype} to POPreOpExpression(location, expression) set exptype;
 map TCProperSubsetExpression{left, op, right, ltype, rtype, exptype} to POProperSubsetExpression(left, op, right, ltype, rtype) set exptype;
 map TCQuoteLiteralExpression{type, exptype} to POQuoteLiteralExpression(type) set exptype;
 map TCRangeResByExpression{left, op, right, ltype, rtype, exptype} to PORangeResByExpression(left, op, right, ltype, rtype) set exptype;