Browse Source

imported patch common-smmd-ExpressionIsNextMinus.patch

tud-infrastructure-2018-10-12
Joachim Klein 7 years ago
parent
commit
b7211784bf
  1. 12
      prism/src/parser/ast/Expression.java

12
prism/src/parser/ast/Expression.java

@ -740,6 +740,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;

Loading…
Cancel
Save