From aff916e48abb883ed33b2bd76e9de72dfb8ec3e2 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:26:10 +0200
Subject: [PATCH] imported patch common-smmd-ExpressionIsNextMinus.patch

---
 prism/src/parser/ast/Expression.java | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/prism/src/parser/ast/Expression.java b/prism/src/parser/ast/Expression.java
index 3fdc8c66..fa67b099 100644
--- a/prism/src/parser/ast/Expression.java
+++ b/prism/src/parser/ast/Expression.java
@@ -749,6 +749,18 @@ public abstract class Expression extends ASTElement
 		return expr instanceof ExpressionLiteral && expr.getType() instanceof TypeDouble;
 	}
 
+	public static boolean isMinus(Expression expr)
+	{
+		return expr instanceof ExpressionUnaryOp && ((ExpressionUnaryOp) expr).getOperator() == ExpressionUnaryOp.MINUS;
+	}
+
+	/** Deprecated, use ExpressionTemporal.isNext(expr) */
+	@Deprecated
+	public static boolean isNext(Expression expr)
+	{
+		return expr instanceof ExpressionTemporal && ((ExpressionTemporal) expr).getOperator() == ExpressionTemporal.P_X;
+	}
+
 	public static boolean isNot(Expression expr)
 	{
 		return expr instanceof ExpressionUnaryOp && ((ExpressionUnaryOp) expr).getOperator() == ExpressionUnaryOp.NOT;