commit | d9559513bc6929b22cc2070e40876ca5b4aa8e85 | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Tue Aug 31 18:03:49 2021 +0100 |
committer | Ed Willink <ed@willink.me.uk> | Tue Aug 31 18:16:38 2021 +0100 |
tree | 78974ebcac4246834fbda4a7da7e8a0e2bd1bbc4 | |
parent | 062514536cd59ffcc356edcde949d9defa973c25 [diff] |
[575560] Fix editor input from unmarkable Stream
diff --git a/plugins/org.eclipse.ocl.xtext.base.ui/src/org/eclipse/ocl/xtext/base/ui/model/BaseCSorASDocumentProvider.java b/plugins/org.eclipse.ocl.xtext.base.ui/src/org/eclipse/ocl/xtext/base/ui/model/BaseCSorASDocumentProvider.java index f98541d..a2a0ba7 100644 --- a/plugins/org.eclipse.ocl.xtext.base.ui/src/org/eclipse/ocl/xtext/base/ui/model/BaseCSorASDocumentProvider.java +++ b/plugins/org.eclipse.ocl.xtext.base.ui/src/org/eclipse/ocl/xtext/base/ui/model/BaseCSorASDocumentProvider.java
@@ -306,14 +306,15 @@ } protected boolean isXML(@NonNull InputStream inputStream, String encoding) throws IOException { + String xmlIntro = "<?xml"; + inputStream.mark(xmlIntro.length()); BufferedReader reader = new BufferedReader(new InputStreamReader(inputStream, encoding)); try { String line = reader.readLine(); - inputStream.reset(); - return (line != null) && line.startsWith("<?xml"); + return (line != null) && line.startsWith(xmlIntro); } finally { - reader.close(); + inputStream.reset(); } }