From 937a6c2a435a0bc98eb9136180830fdd01a88417 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 15 Sep 2016 09:27:36 +0000
Subject: [PATCH] VarList: add getIndexFromDeclaration()

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

diff --git a/prism/src/parser/VarList.java b/prism/src/parser/VarList.java
index 99675e06..aae59f2e 100644
--- a/prism/src/parser/VarList.java
+++ b/prism/src/parser/VarList.java
@@ -229,6 +229,19 @@ public class VarList
 		return vars.get(i).decl;
 	}
 
+	/**
+	 * Get the index in this VarList for a given declaration.
+	 */
+	public int getIndexFromDeclaration(Declaration d)
+	{
+		for (int i=0;i<vars.size();i++) {
+			if (vars.get(i).decl == d) {
+				return i;
+			}
+		}
+		return -1;
+	}
+
 	/**
 	 * Get the name of the ith variable in this list.
 	 */