From d2981f9b274fa5390e4bbf3cc8461444d124ad03 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 11 Apr 2008 11:14:28 +0000
Subject: [PATCH] Tweaks to expression types (and last commit).

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

diff --git a/prism/src/parser/ast/ASTElement.java b/prism/src/parser/ast/ASTElement.java
index 7303efb6..50b488e8 100644
--- a/prism/src/parser/ast/ASTElement.java
+++ b/prism/src/parser/ast/ASTElement.java
@@ -127,6 +127,14 @@ public abstract class ASTElement
 		return type;
 	}
 
+	/**
+	 * Get the type for this element, as a string.
+	 */
+	public String getTypeString()
+	{
+		return Expression.getTypeString(getType());
+	}
+
 	public boolean hasPosition()
 	{
 		return beginLine != -1;