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

@@ -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=?) 
 	 */