tags 424444 + patch usertags 424444 + touched thanks Here's a patch that fixes the FTBFS
--Ken -- Ken Bloom. PhD candidate. Linguistic Cognition Laboratory. Department of Computer Science. Illinois Institute of Technology. http://www.iit.edu/~kbloom1/
--- trang-20030619.orig/src/com/thaiopensource/relaxng/parse/compact/CompactSyntax.java
+++ trang-20030619/src/com/thaiopensource/relaxng/parse/compact/CompactSyntax.java
@@ -3448,8 +3448,8 @@
jj_expentry[i] = jj_lasttokens[i];
}
boolean exists = false;
- for (java.util.Enumeration enum = jj_expentries.elements(); enum.hasMoreElements();) {
- int[] oldentry = (int[])(enum.nextElement());
+ for (java.util.Enumeration enum_ = jj_expentries.elements(); enum_.hasMoreElements();) {
+ int[] oldentry = (int[])(enum_.nextElement());
if (oldentry.length == jj_expentry.length) {
exists = true;
for (int i = 0; i < jj_expentry.length; i++) {
--- trang-20030619.orig/src/com/thaiopensource/relaxng/output/rng/Analyzer.java
+++ trang-20030619/src/com/thaiopensource/relaxng/output/rng/Analyzer.java
@@ -208,8 +208,8 @@
if (context == null || context == lastContext)
return;
lastContext = context;
- for (Enumeration enum = context.prefixes(); enum.hasMoreElements();) {
- String prefix = (String)enum.nextElement();
+ for (Enumeration enum_ = context.prefixes(); enum_.hasMoreElements();) {
+ String prefix = (String)enum_.nextElement();
noteNs(prefix, context.resolveNamespacePrefix(prefix));
}
}
--- trang-20030619.orig/src/com/thaiopensource/relaxng/output/xsd/NamespaceManager.java
+++ trang-20030619/src/com/thaiopensource/relaxng/output/xsd/NamespaceManager.java
@@ -180,7 +180,7 @@
(NamespaceUsage)best.getValue())
// avoid output depending on order of hash table iteration
|| (tem.getValue().equals(best.getValue())
- && ((String)tem.getKey()).compareTo(best.getKey()) < 0))
+ && ((String)tem.getKey()).compareTo((String)best.getKey()) < 0))
best = tem;
}
namespaceUsageMap.clear();
--- trang-20030619.orig/src/com/thaiopensource/relaxng/output/xsd/PrefixManager.java
+++ trang-20030619/src/com/thaiopensource/relaxng/output/xsd/PrefixManager.java
@@ -49,8 +49,8 @@
si.getGrammar().componentsAccept(this);
Context context = si.getGrammar().getContext();
if (context != null) {
- for (Enumeration enum = context.prefixes(); enum.hasMoreElements();) {
- String prefix = (String)enum.nextElement();
+ for (Enumeration enum_ = context.prefixes(); enum_.hasMoreElements();) {
+ String prefix = (String)enum_.nextElement();
if (!prefix.equals(""))
notePrefix(prefix, resolveNamespace(context.resolveNamespacePrefix(prefix)));
}
signature.asc
Description: This is a digitally signed message part.
