From 6e415b1403c98282be15bbbe46e6158582faeaef Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 11 Jul 2014 07:40:36 +0000
Subject: [PATCH] Added Expression.isFunc() tester method.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8797 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Expression.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/prism/src/parser/ast/Expression.java b/prism/src/parser/ast/Expression.java
index 773a253e..60349183 100644
--- a/prism/src/parser/ast/Expression.java
+++ b/prism/src/parser/ast/Expression.java
@@ -649,6 +649,14 @@ public abstract class Expression extends ASTElement
 				&& ExpressionBinaryOp.isRelOp(((ExpressionBinaryOp) expr).getOperator());
 	}
 
+	/**
+	 * Test if an expression is a function of type {@code nameCode}.
+	 */
+	public static boolean isFunc(Expression expr, int nameCode)
+	{
+		return expr instanceof ExpressionFunc && ((ExpressionFunc) expr).getNameCode() == nameCode;
+	}
+
 	/**
 	 * Test if an expression is a quantitative property (P=?, R=? or S=?) 
 	 */