From d7c915394c85d56fee846acdfe2eea867c8d9064 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 14 Sep 2016 11:34:49 +0000
Subject: [PATCH] JDDVars: deprecate addVars() and refAll(), instead use copy()
 or copyVarsFrom()

Methods addVars and refAll are not used anymore on trunk. Using the copy methods
improves debugging of the reference counting.



git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11818 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jdd/JDDVars.java | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index e115e13b..8ce236fd 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/prism/src/jdd/JDDVars.java
@@ -84,7 +84,11 @@ public class JDDVars implements Iterable<JDDNode>
 	/**
 	 * Appends the variables of another JDDVars container to this container.
 	 * Does not increase the refcount of the JDDNodes!
+	 * <br>
+	 * This method is deprecated, better use copy() or copyVarsFrom() instead.
+	 * These simplify variable reference count debugging.
 	 */
+	@Deprecated
 	public void addVars(JDDVars ddv)
 	{
 		vars.addAll(ddv.vars);
@@ -207,7 +211,12 @@ public class JDDVars implements Iterable<JDDNode>
 
 	/**
 	 * Increases the refcount of all contained JDDNodes.
+	 * <br>
+	 * This method is deprecated, please use copy() and
+	 * copyVarsFrom() instead.
+	 * This simplifies reference counting debugging.
 	 */
+	@Deprecated
 	public void refAll()
 	{
 		int i;