From 6ac61690b1a6e470e6f9a0e22b18ceaef98e89b6 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Oct 2018 14:25:45 +0200 Subject: [PATCH] imported patch copyBoundsFrom-use-for-toUntil.patch --- prism/src/parser/ast/ExpressionTemporal.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/parser/ast/ExpressionTemporal.java b/prism/src/parser/ast/ExpressionTemporal.java index a4459346..81a61116 100644 --- a/prism/src/parser/ast/ExpressionTemporal.java +++ b/prism/src/parser/ast/ExpressionTemporal.java @@ -298,28 +298,28 @@ public class ExpressionTemporal extends Expression // F a == true U a op1 = Expression.True(); exprTemp = new ExpressionTemporal(P_U, op1, operand2); - exprTemp.setBoundsFrom(this); + exprTemp.copyBoundsFrom(this); return exprTemp; case P_G: // G a == !(true U !a) op1 = Expression.True(); op2 = Expression.Not(operand2); exprTemp = new ExpressionTemporal(P_U, op1, op2); - exprTemp.setBoundsFrom(this); + exprTemp.copyBoundsFrom(this); return Expression.Not(exprTemp); case P_W: // a W b == !(a&!b U !a&!b) op1 = Expression.And(operand1, Expression.Not(operand2)); op2 = Expression.And(Expression.Not(operand1), Expression.Not(operand2)); exprTemp = new ExpressionTemporal(P_U, op1, op2); - exprTemp.setBoundsFrom(this); + exprTemp.copyBoundsFrom(this); return Expression.Not(exprTemp); case P_R: // a R b == !(!a U !b) op1 = Expression.Not(operand1); op2 = Expression.Not(operand2); exprTemp = new ExpressionTemporal(P_U, op1, op2); - exprTemp.setBoundsFrom(this); + exprTemp.copyBoundsFrom(this); return Expression.Not(exprTemp); } throw new PrismLangException("Cannot convert " + getOperatorSymbol() + " to until form");