[jdom-commits] CVS Update: jdom/src/java/org/jdom

[Jason Hunter]

****************************************
Date:   Mon Aug 14, 2006 @17:42:18 PDT
Author: 

Update of /home/cvs/jdom/src/java/org/jdom
In directory servlets:/tmp/cvs-serv25858

Modified Files:
Element.java
Log Message:
Committed a patch set from Victor Toni.

He fixed the bug he reported earlier where the attribute type would
change on a setAttribute() call.

He did a stylistic fix to remove the cast to Element in the loop of
the isAncestor() method which was unnecessary because one can iterate
over the returned parent.

He changed almost all local variables and parameters to final.
This doesn't affect compiled code or inheritance. It's just an
optimization and a safety check.

-jh-

===================================================================
File: no file Element.java		Status: Needs Checkout

   Working revision:	1.155	Tue Aug 15 00:42:18 2006
   Repository revision:	1.155	/home/cvs/jdom/src/java/org/jdom/Element.java,v

   Existing Tags:
	jdom_1_0                 	(revision: 1.152)
	jdom_1_0_rc1             	(revision: 1.152)
	BEFORE_UNCHECKED         	(revision: 1.148)
	jdom_1_0_b10             	(revision: 1.145)
	jdom_1_0_b10_rc1         	(revision: 1.143)
	after_rolf               	(revision: 1.140)
	before_rolf              	(revision: 1.139)
	jdom_1_0_b9              	(revision: 1.130)
	jdom_1_0_b8              	(revision: 1.115)
	jdom_prefilter           	(revision: 1.102)
	jdom_1_0_b7              	(revision: 1.96)
	jdom_1_0_b6              	(revision: 1.52)
	start                    	(revision: 1.1.1.1)
	jdom                     	(branch: 1.1.1)