From d373fddd99bfe91fe9087373a65f9fa0080aeec1 Mon Sep 17 00:00:00 2001
From: gmantele <gmantele@ari.uni-heidelberg.de>
Date: Tue, 16 Jun 2015 15:40:30 +0200
Subject: [PATCH] [ADQL] Replace a String.isEmpty() (Java 6) by
String.length()==0 (Java 1.5).
---
src/adql/parser/ADQLParser.java | 2 +-
src/adql/parser/adqlGrammar.jj | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/adql/parser/ADQLParser.java b/src/adql/parser/ADQLParser.java
index 3bad241..c5833b4 100644
--- a/src/adql/parser/ADQLParser.java
+++ b/src/adql/parser/ADQLParser.java
@@ -389,7 +389,7 @@ public class ADQLParser implements ADQLParserConstants {
try{
- if (file == null || file.isEmpty())
+ if (file == null || file.length()==0)
parser = new ADQLParser(System.in);
else if (file.matches(urlRegex))
parser = new ADQLParser((new java.net.URL(file)).openStream());
diff --git a/src/adql/parser/adqlGrammar.jj b/src/adql/parser/adqlGrammar.jj
index 25f5657..83ff390 100644
--- a/src/adql/parser/adqlGrammar.jj
+++ b/src/adql/parser/adqlGrammar.jj
@@ -433,7 +433,7 @@ public class ADQLParser {
try{
- if (file == null || file.isEmpty())
+ if (file == null || file.length()==0)
parser = new ADQLParser(System.in);
else if (file.matches(urlRegex))
parser = new ADQLParser((new java.net.URL(file)).openStream());
--
GitLab