[server] another NPE guard

theia-ide · Aug 22, 2017 · f547be1 · f547be1
1 parent f030bc6
commit f547be1
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/...t-diagram/src/main/java/io/typefox/sprotty/server/xtext/tracing/TraceRegionProvider.xtend b/...t-diagram/src/main/java/io/typefox/sprotty/server/xtext/tracing/TraceRegionProvider.xtend
@@ -35,10 +35,12 @@ class TraceRegionProvider {
 
 	def TextRegion getSignificantRegion(EObject element) {
 		val feature = element.relevantFeature
-		if (feature !== null) 
-			return NodeModelUtils.findNodesForFeature(element, feature).head.toTextRegion
-		else 
-			return NodeModelUtils.findActualNodeFor(element).toTextRegion
+		if (feature !== null) {
+			val node = NodeModelUtils.findNodesForFeature(element, feature).head
+			if(node !== null)
+				return node.toTextRegion
+		}
+		return NodeModelUtils.findActualNodeFor(element).toTextRegion
 	}
 
 	protected def toTextRegion(INode node) {