diff --git a/org.framed.iorm.transformation/src/org/framed/iorm/transformation/TransformationExecutor.java b/org.framed.iorm.transformation/src/org/framed/iorm/transformation/TransformationExecutor.java index fdd3e1ce3459f17e754f81bd9d38e79c36c063e8..7dd16dd3f41f85c647fa13f9b985e88843efb1e6 100644 --- a/org.framed.iorm.transformation/src/org/framed/iorm/transformation/TransformationExecutor.java +++ b/org.framed.iorm.transformation/src/org/framed/iorm/transformation/TransformationExecutor.java @@ -321,7 +321,15 @@ public class TransformationExecutor extends EpsilonStandalone { return models; } - private URI resolveURL(URL url) throws URISyntaxException { + /** + * Translator from URLs to URIs that creates correct URIs, in contrast to URL.toURI(). + * (cf. https://stackoverflow.com/questions/14676966/escape-result-of-filelocator-resolveurl/14677157) + * + * @param url the given URL + * @return a new correctly initialized URI object + * @throws URISyntaxException + */ + private static URI resolveURL(URL url) throws URISyntaxException { return new URI(url.getProtocol(), url.getPath(), null); } } diff --git a/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java b/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java index a6cc6fcea8a7dae65d75d5bb11ccd759d2437ea3..c8ba6e95f66bf3eb3d7b110b0b758175b1728017 100644 --- a/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java +++ b/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java @@ -186,6 +186,14 @@ public class FRaMEDFeatureEditor extends EditorPart { } } + /** + * Translator from URLs to URIs that creates correct URIs, in contrast to URL.toURI(). + * (cf. https://stackoverflow.com/questions/14676966/escape-result-of-filelocator-resolveurl/14677157) + * + * @param url the given URL + * @return a new correctly initialized URI object + * @throws URISyntaxException + */ private static URI resolveURL(URL url) throws URISyntaxException { return new URI(url.getProtocol(), url.getPath(), null); }