From 511dee5e74a9f73c5a72cb1a238f2d562518729b Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Fri, 9 Apr 1999 08:16:06 +0000
Subject: [PATCH] don't merge "this"

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@550 379699f6-c40d-0410-875b-85095c16579e
---
 jode/jode/flow/StructuredBlock.java | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/jode/jode/flow/StructuredBlock.java b/jode/jode/flow/StructuredBlock.java
index f41f6f6..b202805 100644
--- a/jode/jode/flow/StructuredBlock.java
+++ b/jode/jode/flow/StructuredBlock.java
@@ -72,6 +72,7 @@ public abstract class StructuredBlock {
      * The analyzation is done in makeDeclaration
      */
     VariableSet declare;
+    VariableSet done;
 
     /**
      * The surrounding structured block.  If this is the outermost
@@ -418,6 +419,7 @@ public abstract class StructuredBlock {
      * @param done The set of the already declare variables.
      */
     public void makeDeclaration(VariableSet done) {
+	this.done = (VariableSet) done.clone();
 	declare = new VariableSet();
 	java.util.Enumeration enum = used.elements();
     next_used:
@@ -439,8 +441,12 @@ public abstract class StructuredBlock {
 		     * One bad thing that may happen is that the name
 		     * of prevLocal (it has already a name) doesn't match
 		     * the intersected type.
+		     *
+		     * A special case: this mustn't be merged, since it is
+		     * special.  "this" can't be assigned to.
 		     */
-		    if (prevLocal.getType().isOfType(local.getType())) {
+		    if (prevLocal.getType().isOfType(local.getType())
+			&& prevLocal.getName() != "this") {
 			local.combineWith(prevLocal);
 			continue next_used;
 		    }
@@ -538,6 +544,8 @@ public abstract class StructuredBlock {
 	if (jode.Decompiler.isDebugging) {
 	    if (declare != null)
 		writer.println("declaring: "+declare);
+	    if (done != null)
+		writer.println("done: "+done);
 	    writer.println("using: "+used);
 	}