fix IRI to file resolution

opencaesar · Oct 18, 2022 · bbef123 · bbef123
1 parent 72cab4a
commit bbef123
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/build.gradle b/build.gradle
@@ -1,6 +1,6 @@
 subprojects {
 	group = 'io.opencaesar.owl'
-	version = '1.0.9'
+	version = '1.0.10'
 
 	ext.versions = [
 		owl: '5.1.17',

diff --git a/owl-diff/src/main/java/io/opencaesar/owl/diff/XMLCatalogIRIMapper.java b/owl-diff/src/main/java/io/opencaesar/owl/diff/XMLCatalogIRIMapper.java
@@ -33,8 +33,8 @@ public IRI getDocumentIRI(IRI originalIri) {
 				File f = new File(new URI(documentUri));
 				if (!f.exists() || !f.isFile()) {
 					String fileWithExtensionPath = f.toString()+".owl";
-					f = new File(fileWithExtensionPath);
-					if (f.exists() && f.isFile())
+					File f_ext = new File(fileWithExtensionPath);
+					if (f_ext.exists() && f_ext.isFile())
 						return IRI.create("file:" + fileWithExtensionPath);
 				}
 			}

diff --git a/owl-load/src/main/java/io/opencaesar/owl/load/XMLCatalogIRIMapper.java b/owl-load/src/main/java/io/opencaesar/owl/load/XMLCatalogIRIMapper.java
@@ -38,8 +38,8 @@ public IRI getDocumentIRI(IRI originalIri) {
 				if (!f.exists() || !f.isFile()) {
 					for ( String ext : extensions ) {
 						String fileWithExtensionPath = (ext.startsWith(".")) ? f.toString()+ext : f.toString()+"." + ext;
-						f = new File(fileWithExtensionPath);
-						if (f.exists() && f.isFile())
+						File f_ext = new File(fileWithExtensionPath);
+						if (f_ext.exists() && f_ext.isFile())
 							return IRI.create("file:" + fileWithExtensionPath);
 					}
 				}

diff --git a/owl-reason/src/main/java/io/opencaesar/owl/reason/XMLCatalogIRIMapper.java b/owl-reason/src/main/java/io/opencaesar/owl/reason/XMLCatalogIRIMapper.java
@@ -38,8 +38,8 @@ public IRI getDocumentIRI(IRI originalIri) {
 				if (!f.exists() || !f.isFile()) {
 					for ( String ext : extensions ) {
 						String fileWithExtensionPath = (ext.startsWith(".")) ? f.toString()+ext : f.toString()+"." + ext;
-						f = new File(fileWithExtensionPath);
-						if (f.exists() && f.isFile())
+						File f_ext = new File(fileWithExtensionPath);
+						if (f_ext.exists() && f_ext.isFile())
 							return IRI.create("file:" + fileWithExtensionPath);
 					}
 				}