From 56a21c71cde8d8e5cb3afd341bc34200888fe93a Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 20 Jun 2013 10:42:52 +0200
Subject: [PATCH] work around rodin db exception when a symbolic attribute is
 not set

---
 .../src/de/prob/symbolic/SymbolicAttribute.java        | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java b/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
index de6ce38d..7d6f43b6 100644
--- a/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
+++ b/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
@@ -38,8 +38,14 @@ public class SymbolicAttribute extends AbstractBooleanManipulation {
 	@Override
 	public String getValue(IRodinElement element, IProgressMonitor monitor)
 			throws RodinDBException {
-		return asInternalElement(element).getAttributeValue(ATTRIBUTE) ? SYMBOLIC
-				: CONCRETE;
+		try {
+			return asInternalElement(element).getAttributeValue(ATTRIBUTE) ? SYMBOLIC
+					: CONCRETE;
+		} catch (RodinDBException ex) {
+			// happens if the attribute is not set on this element
+			// just return a default instead of throwing a RodinDBException
+		}
+		return CONCRETE;
 	}
 
 	@Override
-- 
GitLab