Permalink
Browse files

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-
  • Loading branch information...
1 parent 0107926 commit b48373d95cd91986f83ac5345566258d80e88027 jhunter committed Aug 15, 2006
Showing with 115 additions and 95 deletions.
  1. +115 −95 core/src/java/org/jdom/Element.java

0 comments on commit b48373d

Please sign in to comment.